模型检测MESIF Cache一致性协议

在处理器从单核向多核演进的过程中,为了获得更好的性能和可扩展性,适用于多核处理器系统的Cache一致性协议变得越来越复杂。Cache一致性协议的验证一直是模型检测在工业界主要应用之一,被工业界和学术界关注。相对传统方法而言,微结构级的模型检测能够描述和验证更多的协议细节。利用NuSMV工具对Intel公司的MESIF Cache一致性协议进行模型检测在微结构层次上进行了建模,并对该协议进行模型检测,试验结果证明了此方法的有效性。

Effects of spontaneously induced coherence on absorption of a ladder-type atom

This paper investigates the effects of spontaneously induced coherence on absorption properties in a nearly equispaced three-level ladder-type system driven by two coherent fields. It find that the absorption properties of this system with the probe field applied on the lower transition can be significantly modified if this coherence is optimized. In the case of small spontaneous decay rate in the upper excited state, it finds that such coherence does not destroy the electromagnetically induced transparency (EIT). Nevertheless, the absorption peak on both sides of zero detuning and the linewidth of absorption line become larger and narrower than those in the case corresponding to the effects of spontaneously induced coherence; while in the case of large decay rate, it finds that, instead of EIT with low resonant absorption, a sharp absorption peak at resonance appears. That is, electromagnetically induced absorption in the nearly equispaced ladder-type system can occur due to such coherent effects.

Enhancing Kerr nonlinearity via spontaneously generated coherence

A theoretical investigation is carried out into the effect of spontaneously generated coherence on the Kerr nonlinearity of general three-level systems of Lambda, ladder, and V-shape types. It is found, with spontaneously generated coherence present, that the Kerr nonlinearity can be clearly enhanced. In the Lambda- and ladder-type systems, the maximal Kerr nonlinearity increases and at the same time enters the electromagnetically induced transparency window as the spontaneously generated coherence intensifies. As for the V-type system, the absorption property is significantly modified and therefore enhanced Kerr nonlinearity without absorption occurs for certain probe detunings. We attribute the enhancement of Kerr nonlinearity mainly to the presence of an extra atomic coherence induced by the spontaneously generated coherence.

Effect of phases on the dynamic evolution of a Lambda system with spontaneously generated coherence

The dynamic evolution of a A system coupled by two strong coherent fields is investigated by taking spontaneously generated coherence (SGC) into account. By numericaly simulation, it is shown that the relative phase of the two coherent fields affects significantly the time scale to the coherent population trapping state. In addition, an analytical expression to the evolution rate which is consistent with the numerical results is given. (c) 2005 Elsevier B.V. All rights reserved.

Controllable Kerr nonlinearity with perfect transparency in the existence of spontaneously generated coherence

We investigate the Kerr nonlinearity of a V-type three-level atomic system where the upper two states decay outside to another state and hence spontaneous generated coherence may exist. It is shown that dark state and hence perfect transparency present under certain conditions. Meanwhile, the Kerr nonlinearity can be controlled by manipulation of the decay rates and the splitting of the two excited states. Therefore, enhanced Kerr nonlinearity without absorption can be obtained under proper parameters.

Effect of vacuum-induced coherence on lasing without inversion in an equispaced three-level ladder system

The effects of vacuum-induced coherence (VIC) on the properties of the absorption and gain of the probe field in an equispaced three-level ladder atomic system are investigated. It is found that lasing without inversion (LWI) is remarkably enhanced due to the effect of VIC in the case of the small incoherent pump rate.

Phase effects on group velocity propagation in a V-type system with spontaneously generated coherence

The effects of the relative phase between two laser beams on the propagation of a weak electromagnetic pulse are investigated in a V-type system with spontaneously generated coherence (SGC). Due to the relative phase, the subluminal and superluminal group velocity can be unified. Meanwhile, SGC can be regarded as a knob to manipulate light propagation between subluminal and superluminal.

Spatial longitudinal coherence length of a thermal source and its influence on lensless ghost imaging

The spatial longitudinal coherence length (SLCL), which is determined by the size of and the distance from the source, is introduced to investigate the longitudinal resolution of lensless ghost imaging. Its influence is discussed quantitatively by simulation. The discrepancy of position sensitivity between Scareelli et al. [Appl. Phys. Lett. 88, 061106 (2006)] and Basano and Ottonello [Appl. Phys. Lett. 88, 091109 (2006)] is clarified. (C) 2008 Optical Society of America.

Dynamic full-range Fourier-domain optical coherence tomography using sinusoidal phase-modulating interferometry

We propose a technique for dynamic full-range Fourier-domain optical coherence tomography by using sinusoidal phase-modulating interferometry, where both the full-range structural information and depth-resolved dynamic information are obtained. A novel frequency-domain filtering algorithm is proposed to reconstruct a time-dependent complex spectral interferogram from the sinusoidally phase-modulated interferogram detected with a high-rate CCD camera. By taking the amplitude and phase of the inverse Fourier transform of the complex spectral interferogram, a time-dependent full-range cross-sectional image and depth-resolved displacement are obtained. Displacement of a sinusoidally vibrating glass cover slip behind a fixed glass cover slip is measured with subwavelength sensitivity to demonstrate the depth-resolved dynamic imaging capability of our system. (c) 2007 Society of Photo-Optical Instrumentation Engineers.

Coherence measurement of a Ti:sapphire femtosecond pulsed laser

The interference patterns produced by Gaussian-shaped broad-bandwidth femtosecond pulsed laser sources are derived. The interference pattern contains both spatial and temporal properties of laser beam. Interference intensity dependent on the bandwidth of femtosecond laser are given. We demonstrate experimentally both the spatial and the temporal coherence properties of a Ti:sapphire femtosecond pulse laser, as well as its power spectrum by using a pinhole pair.

Full-range parallel Fourier-domain optical coherence tomography using sinusoidal phase-modulating interferometry

We demonstrate a full-range parallel Fourier-domain optical coherence tomography (FD-OCT) in which a tomogram free of mirror images as well as DC and autocorrelation terms is obtained in parallel. The phase and amplitude of two-dimensional spectral interferograms are accurately detected by using sinusoidal phase-modulating interferometry and a two-dimensional CCD camera, which allows for the reconstruction of two-dimensional complex spectral interferograms. By line-by-line inverse Fourier transformation of the two-dimensional complex spectral interferogram, a full-range parallel FD-OCT is realized. Tomographic images of two separated glass coverslips obtained with our method are presented as a proof-of-principle experiment.

Change in degree of coherence of partially coherent electromagnetic beams propagating through atmospheric turbulence

We study the change in the degree of coherence of partially coherent electromagnetic beam (so called electromagnetic Gaussian Schell-model beam). It is shown analytically that with a fixed set of source parameters and under a particular atmospheric turbulence model, an electromagnetic Gaussian Schell-model beam propagating through atmospheric turbulence reaches its maximum value of coherence after the beam propagates a particular distance, and the effective width of the spectral degree of coherence also has its maximum value. This phenomenon is independent of the used turbulence model. The results are illustrated by numerical curves. (c) 2006 Elsevier B.V. All rights reserved.