A new electrostatic wobble motor design and fabrication method were proposed, and micromotors were successfully fabricated and operated. The advantages are (1) thicker structural size, resulting in larger torque, (2) simple and safe fabrication process and (3) needle-shaped bearing to support the rotor. Needle-shaped bearing used here is expected to have lower friction comparing with the existing motor, since the load is smaller for this kind of bearing structure. Two major sources of the load, electrostatic force and capillary force, were considered to prove this tendency. Diamond-like Carbon (DLC) film was employed as a solid lubricant for its bearing. The friction of DLC and that of ilicon-dioxide were compared by experiment.

In this paper, an electrostatic actuator with electret is proposed. Electrets are the electrical equivalent of magnets. They are dielectric's carrying a non equilibrium permanent space charge or polarization distribution. This distribution can create either an external electric field or internal properties such as piezo or pyroelectricity. In the first case it is possible to make new types of electrostatic actuators by the external electric field. An electrostatic relay with electret is fabricated to demonstrate the possibility of an electrostatic actuator with electret. The size of relay is 5.2 mm11.5 mm. Its amature beam is 50 µm thick, 2.9 mm wide, 6.3 mm long, and acts as a moving electrode. Facing it, the stationary electrode is 20 µm away from the moving electrode. On the stationary electrode, new type of electret made from SiO2 is deposited. We have succeeded in making the armature operate at low applied voltage 20 V. On the same structure without electret, we need more than 120 V to make the same armature operation. We have also succeeded in making the armature latching.

Dynamic Term Rewriting Calculus (DTRC) is a new computation model aiming at formal description and verification of algorithms treating Term Rewriting Systems (TRSs). In this paper, we show that we can use DTRC to mechanize explicit induction for proving an inductive theorem, that is, we can translate the statements of base and induction steps for proving by induction into a DTRC term. The translation reduces the proof of the statements into the evaluation of the corresponding DTRC term.

We define a new framework for rewriting graphs, called a formal graph system (FGS), which is a logic program having hypergraphs instead of terms in first-order logic. We first prove that a class of graphs is generated by a hyperedge replacement grammar if and only if it is defined by an FGS of a special form called a regular FGS. In the same way as logic programs, we can define a refutation tree for an FGS. The classes of TTSP graphs and outerplanar graphs are definable by regular FGSs. Then, we consider the problem of constructing a refutation tree of a graph for these FGSs. For the FGS defining TTSP graphs, we present a refutation tree algorithm of O(log2nlogm) time with O(nm) processors on an EREW PRAM. For the FGS defining outerplanar graphs, we show that the refutation tree problem can be solved in O(log2n) time with O(nm) processors on an EREW PRAM. Here, n and m are the numbers of vertices and edges of an input graph, respectively.

In this paper, a new off-line handwritten word recognition method based on the explicit modeling of character junctures is presented. A handwritten word is regarded as a sequence of characters and junctures of four types. Hence both characters and junctures are explicitly modeled. A handwriting system employing hidden Markov models as the main statistical framework has been developed based on this scheme. An interconnection network of character and ligature models is constructed to model words of indefinite length. This model can ideally describe any form of hamdwritten words including discretely spaced words, pure cursive words, and unconstrained words of mixed styles. Also presented are efficient encoding and decoding schemes suitable for this model. The system has shown encouraging performance with a standard USPS database.

A conventional anode coupled plasma etching process has been developed to etch 300 µm-deep cavities and 600 µm-through holes with nearly vertical sidewalls into single crystal silicon. An optimized SF6/O2 gas mixture results in a nearly vertical etching profile. A silicon wafer was fabricated with a large number of cavities and through holes with less than 1 percent uniformity. It was also experimentally confirmed that this process can be used to etch vertical cavities and through holes in single-crystal silicon with any orientation. This process has the advantage of unlimited etching depth and etching patterns. Advantages in mechanical strength are obtained because a micro-curve is formed at the bottom edge of the cavities. This etching process developed on a conventional plasma etching system was utilized to fabricate a torsional vibrator that consists of single-crystal silicon and Pyrex glass.

A method of driving the effects caused by finite input impedance and nonzero output impedance of functional building blocks into a frequency shift of transfer characteristics is proposed. The method is quite simple and systematic. The input and output impedances can have arbitrary values under a simple condition which meets the monolithic integration of circuits. The effects of non ideal input and output impedances are converted to a change of integrator gain leading to a simple frequency shift of circuits. The frequency shift can easily be adjusted by conventional methods. A typical example shows a remarkable effect of the method.

There have been many investigations of mutual synchronization of oscillators. In this article, N oscillators with the same natural frequencies mutually coupled by one resistor are analyzed. In this system, various synchronization phenomena can be observed because the system tends to minimize the current through the coupling resistor. When the nonlinear characteristics are third-power, we can observe N-phase oscillation, and this system can take (N 1)! phase states. When the nonlinear characteristics are fifth-power, we can observe (N 1),(N 2)3 and 2-phase oscillations as well as N-phase oscillations and we can get much more phase states from this system than that of the system with third-power nonlinear characteristics. Because of their coupling structure and huge number of steady states of the system, our system would be a structural element of cellular neural networks. In this study, it is confirmed that our systems can stably take huge number of phase states by theoretical analysis, computer calculations and circuit experiments.

This paper proposes the overlapped block relaxation Newton method for greatly reducing the number of iterations needed for simulating large scale nonlinear circuits. The circuit is partitioned into subcircuits, i.e., overlapped blocks consisting of core nodes and overlapped nodes. The core nodes form the core circuit for each overlapped block and the overlapped nodes form the overlapped circuit. The Newton-Raphson method is applied to all overlapped blocks independently and the approximation vector for relaxation is determined by node voltages of core nodes. An overlapped circuit is considered to be the representative circuit of the outside circuit for the core circuit. Therefore, the accuracy of the approximation vector for relaxation may be improved and the number of relaxation steps may be greatly reduced. Core nodes are determined automatically by reflecting the circuit structure, then the overlapping level is determined automatically. We show that this method has good performance for simulating large scale circuits, and that it is faster than the nonlinear direct method which is used in standard circuit simulators.

This paper proposes a new approach for the development of a module generator that can parameterize both the size and the structure of layout. The proposed method acquires a design procedure from the design process of a designer, and reuses it to synthesize new layouts with different input parameters that affect the size or the structure of layout. In this method, a designer creates a module layout on a layout editor instead of writing a program. From his design process, a procedure to synthesize the layout is automatically derived. Then, it is generalized so that it could be valid under different values of input parameters. The generalized procedure is independent of design rules, and is capable of synthesizing error-free module layouts of different size and structure. Also, the procedure includes designer's requirements on how the layout should be designed. The experimental results of applying the approach for developing generators of analog device components show effectiveness of our approach.

We propose a new compaction problem that allows layout elements to have many shape possibilities. The objective of the problem is to find not only positions but also shapes of layout elements. We present an efficient method to solve the problem--compaction with shape optimization. This method simplifies the problem by considering the optimization of shapes only for the layout elements on a critical path. The layout is compacted step by step while optimizing the shapes of layout elements. Another importance of this compaction technique is that it makes layout to be "recyclable" for other set of device parameters. The experimental examples, which attempt shape optimization and recycle of analog layout, confirms the importance and efficiency of our method.

A systematic theory of the optimum multi-path interpolation using parallel filter banks is presented with respect to a family of n-dimensional signals which are not necessarily band-limited. In the first phase, we present the optimum spacelimited interpolation functions minimizing simultaneously the wide variety of measures of error defined independently in each separate range in the space variable domain, such as 8 8 pixels, for example. Although the quantization of the decimated sample values in each path is contained in this discussion, the resultant interpolation functions possess the optimum property stated above. In the second phase, we will consider the optimum approximation such that no restriction is imposed on the supports of interpolation functions. The Fourier transforms of the interpolation functions can be obtained as the solutions of the finite number of linear equations. For a family of signals not being band-limited, in general, this approximation satisfies beautiful orthogonal relation and minimizes various measures of error simultaneously including many types of measures of error defined in the frequency domain. These results can be extended to the discrete signal processing. In this case, when the rate of the decimation is in the state of critical-sampling or over-sampling and the analysis filters satisfy the condition of paraunitary, the results in the first phase are classified as follows: (1) If the supports of the interpolation functions are narrow and the approximation error necessarily exists, the presented interpolation functions realize the optimum approximation in the first phase. (2) If these supports become wide, in due course, the presented approximation satisfies perfect reconstruction at the given discrete points and realizes the optimum approximation given in the first phase at the intermediate points of the initial discrete points. (3) If the supports become wider, the statements in (2) are still valid but the measure of the approximation error in the first phase at the intermediate points becomes smaller. (4) Finally, those interpolation functions approach to the results in the second phase without destroying the property of perfect reconstruction at the initial discrete points.

An excitation signal for a synthesis filter plays an important role in producing high quality speech at a low bit rate. This paper presents a new efficient excitation model, Adaptive Density Pulse (ADP) , for low bit-rate speech coding. This ADP is a pulse train whose density (spacing interval) is constant within a subframe but can be varied subframe by subframe. First, the ADP excitation signal is defined. A procedure for finding the optimal ADP excitation is presented. Some results on investigating the effects of the ADP parameters on the synthesized speech quality are discussed. ADP excitation is introduced to the CELP (Code Excited Linear Prediction) coding method to improve speech quality at bit rates around 4 kbps. A CELP coder with an ADP (ADP-CELP) is described. ADP excitation makes it possible for the CELP coder to follow transient portions of speech signals. Also ADP excitation can reduce computational complexity in selecting the best excitation from a codebook, which has been the primary drawback of CELP. The number of multiplications can be reduced to the order of 1/D2 by utilizing the sparseness of ADP excitation, where D is the pulse interval. The authors evaluated the speech quality of a 4 kbps ADP-CELP coder by computer simulation. ADP excitation improved the performance of conventional CELP in segmental SNR.

For symmetric cryptosystems, their transformations should have nonlinear elements to be secure against various attacks. Several nonlinearity criteria have been defined and their properties have been made clear. This paper focuses on, among these criteria, the propagation criterion (PC) and the strict avalanche criterion (SAC), and makes a further investigation of them. It discusses the sets of Boolean functions satisflying the PC of higher degrees, the sets of those satisfying the SAC of higher orders and their relationships. We give a necessary and sufficient condition for an n-input Boolean function to satisfy the PC with respect to a set of all but one or two elements in {0,1}n{(0,...,0)}. From this condition, it follows that, for every even n 2, an n-input Boolean function satisfies the PC of degree n 1 if and only if it satisfies the PC of degree n. We also show a method that constructs, for any odd n 3, n-input Boolean functions that satisfy the PC with respect to a set of all but one elements in {0,1}n{(0,...,0)}. This method is a generalized version of a previous one. Concerned with the SAC of higher orders, it is shown that the previously proved upper bound of the nonlinear order of Boolean functions satisfying the criterion is tight. The relationships are discussed between the set of n-input Boolean functions satisfying the PC and the sets of those satisfying the SAC.

In this paper, a design of TCM signals for Middleton's class-A impulsive noise environment is investigated. The error event characteristics under the impulsive noise is investigated, and it is shown that the length of the signal sequence is more important than Euclidean distance between the signal sequences. Following this fact, we introduce the shortest error event path length as a measure of the signal design. In order to make this value large, increasing of states of convolutional codes is employed, and the performance improvement achieved by this method is evaluated. Numerical results show the great improvement of the error performance and conclude that the shortest error event path length is a good measure in the design of TCM signals under impulsive noise environment. Moreover, the capacity of class-A impulsive noise channel is evaluated, and the required signal sets expansion rates to obtain the achievable coding gain is discussed.

A black membrane is a biological-membrane analogue, i.e. a phospholipid bilayer membrane, artificially formed on an orifice immersed in water. It is used to investigate the properties of the membrane itself and channels embedded therein. In this paper, microfabrication techniques are applied to fabricate the orifice, and a glass substrate is isotropically etched to define the orifice geometry. The periphery of the orifice was patterned with aminosilane to anchor the membrane. The remainder part was coated with fluorosilane to make the surface hydrophobic and to prevent adsorption of channel-forming molecules. We demonstrated experimentally that a stable and reproducible membrane is easily obtainable using the orifice.

Theoretical and experimental investigations of dipole antenna factors were carried out with special interest in their height patterns, since difference between them is a main cause of disagreement in EMI measurement results obtained with different antennas types. Antenna factors were expressed by matrix representation and their dependence on antenna dimensions and balun construction were numerically evaluated with the moment method. Those analyses revealed that antenna dimensions and balun characteristics have little effect on antenna factor height patterns. Slight influence was observed only at frequencies around 30MHz, when an antenna was placed less than 1.5m above a metal ground plane.

The potential attenuation process of charged human body (HB) is analyzed. A two-dimensional circuit model is presented for predicting the potential attenuation characteristics of the HB charged on the floor. The theoretical equation for the HB potential is derived in the closed form in the Laplacian transformation domain, and the numerical inverse Laplace transform is used to compute it. The half-life or relaxation time of the HB potential for decay is numerically examined with respect to the electrical parameters of shoes. The experiment is also conducted for verifying the validity of the computed result.

The wave forms of electric and magnetic fields radiated by short gap discharges are measured to analyze electrostatic discharge (ESD) events in the near-field zone with the monopole antennas, the loop antenna and the 5.5GHz bandwidth waveform digitizer. The antenna outputs are corrected by the measured characteristics of the antennas. The relations between the measured electric field and the discharge currents are discussed.

Results of an empirical investigation of the shielding properties of a small pre-fabricated reinforced concrete building are presented. The electric field attenuation was measured in the frequency range of approximately 20kHz to 500MHz. The experiments were performed in collaboration with the Italian National Board of Post an Telecommunications (ISPT). An equivalent stick model has been analyzed in frequency domain by numerically solving a set of electric field integral equations. The influence of the real reinforcement mesh (dimensions, spatial disposition, electrical parameters) on the attenuation of the electric field has been investigated. A comparison between computed and measured results is presented.