After a sufficient condition of the deadlock-free design has been given, the directory-based invalidate cache coherence protocol is introduced and its cache coherence is verified using belief.

在避免系统死锁的前提下，设计了基于目录的无效使能协议，并证明其保证了缓存一致性。

youdao

Axial resolution in optical coherence tomography (OCT) imaging is determined by the coherence length of light source and the beam-focusing condition.

其轴向分辨率由光源带宽和探测光束的聚焦条件共同决定。

youdao