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.
在避免系统死锁的前提下，设计了基于目录的无效使能协议，并证明其保证了缓存一致性。
2
Axial resolution in optical coherence tomography (OCT) imaging is determined by the coherence length of light source and the beam-focusing condition.