In this paper, an approach to derive a logic function of asynchronous circuits from a graph-based model called Signal Transition Graphs (STG) is discussed. STG's are Petri nets, whose transitions are interpreted as a signal transition on the circuit inputs or gate outputs, and its marking represents a binary state of the circuit. STG's can represent a behavior of circuit, to derive logic functions, however, the reachability graph should be constructed. In the verification of STG's some method based on Occurrence nets (OCN) and its prefix, called unfolding, has been proposed. OCN's can represent both causality and concurrency between two nodes by net structure. In this paper, we propose a method to derive a logic function by generating substate space of a given STG using the structural properties of OCN. The proposed method can be seem as a parallel algorithm for deriving a logic function.

Scientific database systems for the analysis of genes and proteins are becoming very important these days. We have developed a deductive database system PACADE for analyzing the three dimensional and secondary structures of proteins. In this paper, we describe the statistical data classification component of PACADE. We implemented the component for cluster analysis and discrimination analysis. In addition, we enhanced the aggregation function in order to calculate the characteristic values which are useful for data classification. By using the cluster analysis function, the proteins are thereby classified into different types of structural characteristics. The results of these structural analysis experiments are also described in this paper.

A new method is developed to generate fuzzy rules from numerical data. This method consists of two algorithms: Algorithm 1 is used to identify structures of the given data set, that is, the optimal number of rules of system; Algorithm 2 is used to identify parameter of the used model. The former is belonged to unsupervised learning, and the latter is belonged to supervised learning. To identify parameters of fuzzy model, we developed a neural network which is referred to as Unsymmetrical Gaussian Function Network (UGFN). Unlike traditional fuzzy modelling methods, in the present method, a) the optimal number of rules (clusters) is determinde by input-output data pairs rather than by only output data as in sugeno's method, b) parameter identification of ghe present model is based on a like-RBF network rather than backpropagation algorithm. Our method is simple and effective because it integrates fuzzy logic with neural networks from basic network principles to neural architecture, thereby establishing an unifying framework for different fuzzy modelling methods such as one with cluster analysis or neural networks and so on.

In general, multimedia files are much larger than ordinary text files because they consist of multiple monomedia. In order to process large multimedia files in real time, the file system must be able to store and access files efficiently. In th UNIX s5 file system, a multimedia file may be scattered into many disk blocks over the entire disk space, and accessing a multimedia file requires a considerable amount of time for random disk head movement. This paper proposes the internal structure of a multimedia file and its inode which is modified from UNIX s5 file system's. Also, we propose a mechanism for allocating and deallocating contiguous disk blocks for large multimedia files using the bitmap tree and compares its performance with that of the UNIX s5 file system. Our results show that the proposed mechanism reduces considerably the number of disk I/Os required to allocate and deallocate contiguous disk blocks. It also reduces the total access time for large multimedia files by approximately 95% due to the contiguous allocation of disk spaces.

A soft magnetic force microscope (MFM) tip was used to evaluate the magnetic recording characteristics of compositionally separated Co-Cr perpendicular media. Small magnetic bits were recorded on thick (350 nm). and thin (100 nm) films, focusing on the fineness of compositionally separated microstructures. MFM images showed bit marks 230 and 150 nm in diameter, measured at full-width at half maximum (FWHM) for the thick and thin films, respectively. These results verify that the recordable bit size can be decreased by using a thinner film with a finer compositionally separated microstructure. Simulation was used to clarify the relationship between the actual sizes of the recorded bits and the sizes of their MFM images. The recorded bit size was found to closely correspond to the FWHM of the MFM bit images.

Currently, many efforts are underway to design wideband mobile communication system. The system is one of alternative of Future Public Land Mobile Telecommunication Systems (FPLMTS). In this paper, we clarify received signal level characteristics for wideband mobile radio channels in line-of-sight (LOS) microcells. The results from urban-area field experiments, where received signal levels for various receiver bandwidths and power delay profiles were measured, show that the depth of fading of the-received signal decreases as normalized RMS delay spread, defined as the product of receiver bandwidth and RMS delay spread, increases. These results are useful in designing wideband microcell systems for urban areas.

This letter describes the power absorption of a cylindrical man model placed near a flat reflector exposed to TE microwave. The numerical results show that the absorption is in some cases an order of magnitude or more greater than that of the man model without a reflector.

I have examined factors for implementing a high-speed, low-power-consumption thermal head. In conventional thermal heads, a heat insulation layer is provided between the heating resistor and the radiator. I found it desirable to implement fast operation and low power consumption to lower the thermal conductivity of the heat insulation layer and to thin the heat insulation layer. I also found there is an optimum heat characteristic to the thickness of one heat insulation layer. I assumed polyimide as a material for the heat insulation layer which could materialize the hypothesis, and studied necessary items based on the thermal calculation. I manufactured a trial thermal head on the basis of this result and confirmed that our assumptions were correct. In addition, to confirm that the assumption is also ultimately correct, I fabricated a trial thermal head only consisting of a heating resistor and without a protective coat and a heat insulation layer. I confirmed that the structure with only the heating resistor exhibited excellent heat response and consumed less power necessary for heating.

In this paper, electromagnetic scattering by infinite double two-dimensional periodic array of resistive upper and lower elements is considered. The electric field equations are solved by using the moment method in the spectral domain. Some numerical results are shown and frequency selective properties are discussed.

Theoretical and experimental results are presented for angle-multiplexed and wavelength-multiplexed holographic recording. The recording medium is a cerium doped Sr1-XBaXNb2O6 (SBN) single crystal, and the light sources are a laser diode excited second harmonic generation (SHG) laser and a tunable laser diode. The SBN single crystal has high recording sensitivity, high diffraction efficiency and high temperature stability. The laser diodes miniaturize the holographic recording system. Crosstalk between hologram pages is theoretically calculated by using modified coupled-wave equations, and is also experimentally measured. The experimental results agree well with the theoretical results. Two-dimensional alphabetical character images are recorded using angle- and wavelength-multiplexed holographic methods, and are successfully reconstructed. The theoretical results indicate that several hundred multiplexed holograms can be recorded with little crosstalk using the proposed system. This multiplexed holographic recording technique will enable high-density recording and high data-transfer rates.

This paper proposed a practical method of program validation for state-based reactive concurrent systems. The proposed method is of particular relevance to plant control systems. Plant control systems can be represented by extended state transition systems (e.g., communicating asynchronous transition systems). Our validation method is based on state space analysis. Since naive state space analysis causes the state explosion problem, techniques to ease state explosion are necessary. One of the most promising techniques is the partial order method. However, these techniques usually require some structural assumptions and they are not always effective for actual control systems. Therefore, we claim integration and harmonization of verification (i.e., state space analysis based on the partial order method) and simulation (i.e., conventional validation technique). In the proposed method, verification is modeled as exhaustive simulation over the state space, and two types of simulation management techniques are introduced. One is logical selection (pruning) based on the partial order method. The other is heuristic selection based on priority (a priori precedence) specified by the user. In order to harmonize verification (logical selection) and conventional simulation (heuristic selection), we propose a new logical selection mechanism (the default priority method). The default priority method which prunes redundant state generation based on default priority is in harmony with heuristic selection based on the user's priority. We have implemented a practical validation tool, Simulation And Verification Environment for Reactive Concurrent Systems (SAVE/RCS), and applied it to chemical plant control systems.

Efficient retrieval of nested objects is an important issue in advanced database systems. So far, a number of indexing methods for nested objects have been proposed. However, they do not consider retrieval of nested objects based on the set comparison operators such as and . Previouly, we proposed four set access facilities for nested objects and compared their performance in terms of retrieval cost, storage cost, and update cost. In this paper, we extend the study and present refined algorithms and cost formulas applicable to more generalized situations. Our cost models and analysis not only contribute to the study of set-valued retrieval but also to cost estimation of various indexing methods for nested objects in general.

Secure communications via chaotic synchronization is experimentally demonstrated using 3-pieces of commercial integrated circuit phase-locked loops, MC14046. Different from the conventional chaotic synchronization secure communication systems where one channel is used, our system uses two channels to send one signal to be concealed. Namely, one channel is used to send a synchronizing chaotic signal. The other channel is used to send the informational signal superimposed on the chaotic masking signal at transmitter side. The synchronizing chaotic signal is applied as a common input to two identical PLL's located at both transmitter and receiver sides. It has been shown previously by us that the VCO inputs of almost identical two PLL's driven by a common chaotic signal become chaotic, and synchronized with each other. This synchronization is only possible for those who knows exact internal configuration and exact parameter values of the PLL at transmitter side. Therefore, we can use the synchronized VCO input signal as a masking signal which can be used as a key for secure communications. The advantage of this method compared to the previous one channel method is that informational signal frequency range does not affect the quality of recovered signal. Our experiments demonstrate good masking and recovery characteristics for sinusoidal, triangular, and square waves.

Considered is the theory of several dielectric waveguide phenomena for which the vector nature of the electromagnetic field is essential. These phenomena are the following rotation of the plane of polarization in chiral and twisted waveguides, Bragg's reflection in a twisted waveguide in a narrow frequency band, and excitation of a waveguide at a near-cutoff frequency.

Discrete higher-order modes of stripline, both proper and leaky, as well as its continuous spectrum are conceptualized and quantified by a full-wave integral operator formulation through complex analysis in the axial Fourier-transform plane. Poles associated with the parallel-plate background environment lead to branch points in the axial transform plane. A criterion for choice of associated branch cuts to restrict the migration of poles in the transverse transform plane is identified. The higher-order discrete modes are both bound (proper), with a low-frequency cutoff, and leaky (improper). The higher-order proper mode has a propagation constant very nearly equal to that for the TM parallel-plate mode. Distributions of the continuous-spectrum currents appear to consist of a smooth transition from those of the highest propagating proper discrete mode, as might be expected physically. The continuous spectrum is dominated by the propagating portions associated with any TM background modes (poles) which are above cutoff, and in fact by spectral points in a region very near to the branch point.

Research in radar polarimetry is hampered by shortcomings of the conventional formulation of polarimetric backscatter concepts. In particular the correct form of the Sinclair backscatter matrix under changes of polarization bases is derived from the antenna voltage (energy transfer) equation yielding the erroneous impression that radar polarimetry is a mongrel between scattering behavior and network performance. The present contribution restores logical consistency in a natural way by introducing the concept of an antilinear backscatter operator. This approach decouples scattering process and network performance, illuminates matrix analytical properties of the radar backscatter matrix and highlights characteristic states of polarization.

The emphasis on nonisotropic media in the electromagnetics research community has recently brought forward a large amount of new literature on the material effects. The material phenomena affecting the electromagnetic characterization are contained in the constitutive relations between an electric and a magnetic excitation and an electric and a magnetic response. Starting from the constitutive equations, this article is an attempt to cast light on the labels, terms, notation, and classification of linear electromagnetic materials. Using dyadic analysis and physical concepts like reciprocity and magnetoelectric coupling, the different classes within bi-anisotropic media are presented in systematic form. Simple isotropic media can be characterized by two material parameters: the electric polarizability is measured by permittivity ε, and the magnetic polarizability by the permeability µ. For bi-isotropic media, there exists magnetoelectric coupling, but due to isotropy (independence of the direction of the field vectors) the two additional material parameters are scalars. The physical interpretation to these two parameters are chirality and nonreciprocity. The two subclasses of bi-isotropic materials are Pasteur and Tellegen media. If there is direction dependence in the medium, we call the material anisotropic, and a scalar quantity has to be described by a dyadic with nine components. Finally, the most general material is called bi-anisotropic, which means that in addition to a dyadic permittivity and permeability, the two magnetoelectric material parameters are dyadics. The essential feature in the classification of the present paper is the separation of all the four material parameter dyadics into symmetric and antisymmetric parts. For permittivity and permeability, the symmetric parts correspond to reciprocal media and the antisymmetric parts are nonzero for nonreciprocal media. In the cross-coupling dyadics the decomposition into symmetric and antisymmetric parts disriminates chiral media, omega media, classical magnetoelectric media, and moving media. Finally, possible alternative characterrizations of bi-anisotropic materials are discussed.

The dielectric rod waveguides with corrugation consisting of nonintegral-ratio period waves are investigated numerically. The leakage characteristics of HE11-type wave in the waveguide is analyzed by applying Yasuura's method. The complex propagation constants and the far field patterns are presented. The radiation pattern of a fabricated waveguide with corrugation agrees well with the calculated value. The dependence of radiation characteristics on the corrugation form is discussed. It is shown that the leakage directions and the intensity of leaky waves are controlled independently one another. The radiation pattern can be synthesized by choosing the geometric parameters of the corrugation properly.

The growth characteristics of a two-dimensional Cherenkov laser composed of a planar relativistic electron beam and a parallel plate waveguide one plate of which is loaded with a nonlinear dielectric sheet are analyzed. The permittivity of the nonlinear dielectric sheet becomes inhomogeneous due to the Kerr effect as the electromagnetic wave grows along the waveguide. For the analysis of the electromagnetic fields in the nonlinear dielectric sheet, it is replaced by a number of thin dielectric layers each of which is assumed to be homogeneous. From numerical analysis, it is found that just a few homogeneous layers for the nonlinear dielectric sheet are enough to get the same results as obtained previously by means of the finite element method. This is because the variation of the permittivity across the nonlinear dielectric sheet is as small as within 10% of the linear permittivity of the nonlinear material. Thus the multilayer approximation method is found to be more simple and more efficient for the analysis of the Cherenkov laser loaded with a Kerr-like medium than the finite element method.

In practical applications of the artificial boundary surfaces, such as corrugation and strips on a grounded dielectric slab, the surfaces have finite sizes. The diffraction fields from anisotropic surface of this kind can not be calculated using conventional diffraction coefficients. In this paper, uniform diffraction coefficients for the strips on a grounded dielectric slab are given in the sense of physical optics, as functions of incident angle, polarization and structural parameters of the surface. Firstly, the incident plane wave is decomposed into the two special polarization directions. Then uniform diffraction coefficients originally derived for isotropic surfaces with arbitrary impedance can be applied for each polarization component. Finally, expressions for the diffraction coefficients from the anisotropic surface are given as the sum of those for two polarization components. The validity of the diffraction coefficients is verified theoretically and experimentally.