A coherent communication system using squeezed light is one of candidates for a realization of super-reliable systems. In order to design such a system, it is essential to understand and to analyze modulators mathematically. However, quantum noise of squeezed light has a colored spectrum which changes with respect to phase of a local laser. Therefore the optimization of the relationship between signal and quantum noise spectrums is required at a modulator to obtain the ultimate performance of the communication system. In this paper, some ideas of modulators for squeezed light are proposed and their spectrum transformations are given. After the brief summary of squeezed quantum noise, a new concept which originates from the restriction of the local laser phase is applied to it. This concept makes a problem originated from a colored quantum noise spectrum more serious. It results in the optimization problem for the relationship between the quantum noise spectrum and signal power spectrum. The solution of this problem is also given under the restriction of local laser phase. As a result, a general design theory for coherent communication system using the squeezed light is given.

The physical system is considered more suitable for measurement purposes the greater is its linearity. However, in nature and engineering there are no purely linear physical transducing systems for convertion a primary onformation. The use of the linear features of the system in the measurement process finally causes the drawbacks: systematic error due to nonlinear distortions, low ratio informative signal/ noise, the necessity to evaluate a great number of the a priori parameters of the transducer in order to receive an absolute result, low thermostability because every a priori parameter itself has a temperature dependence. To exclude these drawbacks a method has been developed using nonlinear physical systems in the base of the displacements measurement. In this work is presented the realization of the method using electretic and electrostatic transducer as a converting physical system. A contactless transducer is placed parallelly to the surface of the object which displacements are measured. The transducer is driven to harmonic oscillations. Typical time intervals between even and odd extremums of the transducer output signal are measured. The object displacements are determined according to the changes of the typical time intervals. The method itself has no errors because approximations were not made while deriving the relations. The source of the errors is inaccurate registration of the start and the end of the typical time intervals. In the work are analysed the errors related to the concrete realization devices: analogue differentiator, peak detector and analog digital transducer. It is shown that the measurement is possible only if the physical system is nonlinear. The method is generalized to that case if the function of transformation of ths system has the form f(x) and monotonous character. The results of experimental investigations confirm the theoretical conclusions.

The test pattern generation for sequential circuits is more difficult than that for combinational circuits due to the presence of memory elements. Therefore we proposed a method for synthesizing sequential circuits with testability in the level of state transition table. The state transition table is augmented by adding extra two inputs so that it possesses a distinguishing sequence, a synchronizing sequence, and transfer sequences of short length. In this case the checking sequence which do a complete verification of the circuit can be test pattern. The checking sequence have been impractical due to the longer checking sequence required. However, in this paper, we have discussed the condition to reduce the length of checking sequence, then by using suitable state assignment codes sequential circuits with much shorter checking sequences can be realized. A heuristic algorithm of the state assignment which reduce the length of checking sequence is proposed and the algorithm and reduced checking sequence are presented with simple example. The state assignment is very simple with the state matrix which represents the state transition. Furthermore some experimental results of automated synthesis for the MCNC Logic Synthesis Workshop finite state machine benchmark set have shown that the state assignment procedure is efficient for reducing checking sequences.

This paper presents a simple numerical method for calculating the stationary transmission and reflection characteristics of a variety of nonlinear Fably-Perot resonators. In nonlinear media, Maxwell's equations are directly solved by using a numerical integration of complex variables. The input-output characteristics of the Kerr-like nonlinear film without reflection mirrors and with multilayer mirrors have been calculated to demonstrate the usefulness and versatility of the proposed method and to find out resonator configurations exhibiting optical bistability at low incident-power levels. The effects of saturation in the nonlinear permittivity on the input-output characteristics have also been investigated. It has been found that a single nonlinear film with oblique incidence exhibits optical bistability without using reflection mirrors even if the refractive index of the film is low. This offers a simple method for measuring third-order nonlinearities of optical materials.

A simple inequality that guarantees stability of perturbed linear state space models is proposed. It is shown that the result is superior to some existing result in sharpness and possesses some advantageous aspects.

The robust finite settling time stabilization problem is considered for a multivariable discrete time plant with structured uncertainties. Finite settling time (FST) stability of a feedback system is a notion introduced recently for discrete time systems as a generalization of the dead-beat response. The uncertain plant treated in this paper is described by (E0+ΣKi=1qiEi)x(t+1)(A0+ΣKi=1qiAi)x(t)+(B0+ΣKi=1qiBi)u(t), and y(t)=(C0+ΣKi=1qiCi)x(t) where Ei, Ai, Bi and Ci (0iK) are prescribed real matrices and qi (1iK) are uncertain parameters restricted to prescribed intervals [qi, i]. It is shown in this paper that a controller robustly FST stabilizes such an uncertain plant, if, the uncertain plant satisfies some conditions, and the controller simultaneously FST stabilizes a finite set of plants. The result leads to a testable necessary and sufficient condition of the existence of a solution to the robust FST stabilization problem, and a systematic method of designing a robust FST stable feedback system, in the case where the plant contains only one uncertain parameter.

Based on the Fornasini-Marchesini second model, an efficient algorithm is developed to derive the characteristic polynomial and the inverse of the system matrix from the state-space parameters. As a result, the external description of the Fornasini-Marchesini second model is clarified. A technique for designing 2-D recursive digital filters in the frequency domain is then presented by using the Fornasini-Marchesini second model. The resulting filter approximates both magnitude and group delay specifications and its stability is always guaranteed. Finally, three design examples are given to illustrate the utility of the proposed technique.

This paper describes the waveform relaxation (WR) algorithm with the under relaxation method based on the virtual state formulation (VSF) technique and the effect of multirate behavior in this algorithm. First, we present the virtual state relaxation method using VSF technique. Next, we introduce the VSF method into WR algorithm in order to exploit the multirate behavior. Furthermore, we construct the relaxation-based circuit simulator DESIRE2 and apply this simulator to the transient analysis of MOS circuits. Finally, we show that the present technique enables to use efficiently the multirate integration method in VSR and reduce the total simulation time without losing the waveform accuracy.

The outputs of all gates in a circuit are assumed to be observable unber the highly observable condition, which is mainly based on the use of E-beam testers. When using the E-beam tester, it is desirable that the test set for a circuit is small and the test vectors in the test set can be applied in a successive and repetitive manner. For a combinational circuit, these requirements can be satisfied by modifying the circuit into a k-UCP circuit, which needs only a small number of tests for diagnosis. For a sequential circuit, however, even if the combinational portion has been modified into a k-UCP circuit, it is impossible that the test vectors for the combinational portion can always be applied in a successive and repetitive manner because of the existence of feedback loops. To solve this problem, the concept of k-UCP scan circuits is proposed in this paper. It is shown that the test vectors for the combinational portion in a k-UCP scan circuit can be applied in a successive and repetitive manner through a specially constructed scan-path. An efficient method of modifying a sequential circuit into a k-UCP scan circuit is also presented.