Linearity stablized fiber-optic thermometer using pseudo-heterodyne phase detection

A temperature sensor using a fiber-optic Fabry-Perot interferometer is described. A pseudo-heterodyne detection scheme is adopted to read the light phase difference in the Fabry-Perot interference output. A higher harmonic components comparison method is used to stabilize the system and to increase detection linearity. This system realizes not only highly sensitive temperature sensing with good linearity and minimal adjusting error, but also application to the sensing of other physical quantities such as vibrations. Additionally, the signal-to-noise ratio and distortion of the detected signal are investigated as functions of fiber end reflectivity. These results will be useful in designing a high performance fiber-optic Fabry-Perot thermometer.     

Inference of message sequence charts

Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.     

Quality-Assurance Technology in Japan

A survey of the state of SQA in Japan finds that the situation is much like, but slightly different than, that in the US.     

Measurement of PLL phase error caused by power supply noise

The measurement of the accumulated phase error of phase-locked loops (PLLs) in microprocessor systems is discussed. A system which creates controlled power supply noise and measures the PLL response is described. Examples of the use of this technique are shown for a PLL used in a 400 MHz microprocessor