Hiroshi HANAIZUMI Shinji CHINO Sadao FUJIMURA
A new method is proposed for realizing a flexible change detection which is free from the limitation that multitemporal images must have the same spectral bands whose center wavelength and bandwidth are identical. As spaceborne multispectral scanners are continuously improved for performance and new scanners do not necessarily have the same spaectral bands for observation, this limitation is a serious obstacle for detecting long term temporal change. The proposed method removes this limitation by using an image normalization technique based on multiple regression analysis. The method is successfully applied to actual remotely sensed multitemporal images.
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.
Anis AHMED Ryuichi KOYA Osami WADA Ming WANG Ryuji KOGA
To evaluate the radial eigenmode field distributions and the resonance wavelengths of axially symmetric pillbox resonator, a numerical method is described which is based on the FE-BPM expression in cylindrical coordinates. Under the weakly guiding approximation, we solve Fresnel equation and can get a fairly accurate result. By using effective index method, 3-D pillbox guiding structure is reduced to 2-D one which is then used for the analysis. One advantage of this method is that it is applicable for the axially symmetric optical waveguides with arbitrary index distribution. The validity of this method is checked by comparing the results of this method with those of the analytical ones. This method is applied for the evaluation of the coupling properties of a coupled structure consisting of a pillbox resonator and a curved waveguide placed outside the pillbox. This coupled structure has a good prospect to be used as optical wavelength filter. By varying the separation distance between the pillbox and the outer curved waveguide, the power transfer due to coupling is determined near the resonance wavelength 0.9 µm.
Kukhwan SONG Atushi TOGASHI Norio SHIRATORI
Due to the large and complex information processing systems, formal description methods are needed for specification of systems and their efficient and reliable designs. During the early stage of system design, it is often necessary to modify or change system requirements which may influence the whole system design. We have proposed a new flexible description methodology, which copes with the modifications or changes in the system requirements, in order to obtain the formal specification of the system. We have also shown that function requirements can be modeled by a Logical Petri Net (LPN), which is a kind of extended Petri Nets, in order to derive the formal specification. In this paper, we propose a verification method of system requirements that contain some kinds of logical errors. Further, we show a method to decompose and refine a requirement description hierarchically, and discuss how to derive a formal specification from a requirement description flexibly along our refinement method against the changes of the requirement description in the system.
Naoshi DOI Akira SHINTANI Yasuhisa HAYASHI Akio OGIHARA Shinobu TAKAMATSU
Recently, some speech recognition methods using fusion of visual and auditory information have been researched. In this paper, a study on the mouth shape image suitable for fusion of visual and auditory information has been described. Features of mouth shape which are extracted from gray level image and binary image are adopted, and speech recognition using linear combination method has been performed. From results of speech recognition, the studies on the mouth shape features which are effective in fusion of visual and auditory information have been performed. And the effectiveness of using two kinds of mouth shape features also has been confirmed.
The coherence in the time movement of the spectral vector sequence is modelled by a vector linear predictor. Such a model of the stop consonant transition is used for discrimination of the places of articulation of/ba/,/dha/,/da/, and/ga/. The effect of cross-channel correlation in giving improved recognition performance and also in reducing the time asymmetry of the predictive recognizer is studied. The high recognition score of vector model and the considerable differnce in the forward reverse score of the scalar model than a vecter model is highlighted in this study on a speech data of a set of four speakers.
This paper describes a new intelligent computer assisted instruction (ICAI) system for Japanese beginners to learn Korean composition. This system is supported by speech synthesis which is generated by a new method for arbitrary sentences of Japanese and Korean using the natural speech data-base.
Ching-Fa HUANG Susumu YOSHIMURA Takuji KARAHASHI Norio SHIRATORI
To advance the productivity of software for communication systems, specification development is important as well as the implementation of the software. For this reason, we developed a specification description language HSC (Hierarchical Sequence Chart), which is useful during the early stage of specification development. The features of HDC are: a) HSC is suitable for a top-down style of specification development, b) specifications can be described by HSC with clear visibility of the whole system, and c) the specification development based on specification reuse is possible. The specification development of communication systems can be divided into three processes: specification acquisition, specification description and specification verification. In this paper we will concentrate on specification acquisition part. We will use the language developed by us, HSC, which is very suitable for this purpose. In this work, we noted that hierarchical structure is the characteristic feature of communication software. As the language HSC has inherent hierarchy and modularity, we conjectured it to be suitable for specifying the requirements of communication software. Efficient reuse of components is accomplished by using CBR technique. Furthermore, we propose a specification acquisition method AOBA, and implemented a support environment for it, called AOBA system, using the CBR tool ART-IM. We experimeted with the descriptions of communication systems, for example, the descriptions of services in a telephone system using AOBA System. Through these experiments, the effectiveness of AOBA and AOBA System is ensured.
Jiro ISHIKAWA Hisato FUJISAKA Chikara SATO
It is important to analyze a tracking or synchronizing process in Spread Spectrum (SS) receiving system. The most common SS tracking system considered here consists of pseudorandom (PN) generator, Lowpass Filter (LPE) and Voltage Controlled Oscillator (VCO). The SS receiver is to track or synchronize its local PN generator to the received PN waveform by VCO. The fundamental equation of the system is known by a second order nonlinear differential equation in terms of phase difference between local PN generator and received PN waveform. The differential equation is nonautonoumous due to PN function of time t with period T. Picking up the gain of VCO as the main parameter in the system we show that the system has bifurcation from the normal oscillation through subharmonic oscillation to finally chaos. In the final case, chaos is confirmed by investigating maximum Liapunov number and both stable and unstable manifolds.
Masahiro AKIYAMA Seiji NISHI Yasushi KAWAKAMI
High speed GaAs ICs (Integrated Circutis) using FETs (Field Effect Transistors) are reported. As the fabricating techniques, ion implantation processes for both 0.5 µm and 0.2 µm gate FETs using W/Al refractory metal and 0.2 µm recessed gate process with MBE grown epitaxial wafers are shown. These fabrication processes are selected depending on the circuit speed and the integration level. The outline of the circuit design and the examples of ICs, which are developed for 10 Gb/s optical communication systems, are also shown with the obtained characteristics.
In this paper, we propose a new approach to speaker independent isolated-word speech recognition using multisegment multiple vector quantization (VQ) codebooks. In this approach, words are recognized by means of multisegment multiple VQ codebooks, a separate multisegment multiple VQ codebooks are designed for each word in the recognition vocabulary by dividing equally the word into multiple segments which is correlative with number of syllables or phonemes of the word, and designing two individual VQ codebooks consisting of both instantaneous and transitional speech features for each segment. Using this approach, the influence of the within-word coarticulation can be minimized, the time-sequence information of speech can be used, and the word length differences in the vocabulary or speaking rates variations can be adapted automatically. Moreover, the mel-cepstral coefficients based on unbiased estimation of log spectrum (UELS) are used, and comparison experiment with LPC derived mel cepstral coefficients is made. Recognition experiments Using testing databases consisting of 100 Japanese words (Waseda database) and 216 phonetically balanced words (ATR database), confirmed the effectiveness of the new method and the new speech features. The approach is described, computational complexity as well as memory requirements are analyzed, the experimental results are presented.
Shinji TSUZUKI Shunsaku OSAKI Saburo TAZAKI Yoshio YAMADA
The periodic correlation properties of M sequences coded by channel codes are discussed. As for the channel codes, the Manchester code and the eight DC free codes in the FM family codes, which include the conventional FM code and the differential Manchester code, are adopted. The M sequences coded by the DC free codes in the FM family codes are referred to as FM coded M sequences. The periodic correlation properties of all combinations of the FM coded M sequences are checked, and the combinations which can provide almost the same or better properties as compared with those of the preferred pairs of M sequences are described. An example of code design using the FM coded M sequences for asynchronous direct sequence/spread spectrum multiple access systems is also discussed.
Eiichi SANO Yutaka MATSUOKA Tadao ISHIBASHI
Device figure-of-merits for digital ICs are derived from analytical delay expressions for emitter-coupled logic and source-coupled FET logic inverters and are compared with the operating speeds of D-F/Fs reported in previous studies. We show that device figure-of-merits for baseband amplifiers are equivalent to those for digital ICs. The validity of device figure-of-merits are confirmed by measuring the bandwidth of the baseband amplifiers fabricated with AlGaAs/GaAs LBCTs.
Tohru NAKAMURA Takeo SHIBA Takahiro ONAI Takashi UCHINO Yukihiro KIYOTA Katsuyoshi WASHIO Noriyuki HOMMA
Recent high-speed bipolar technologies based on SICOS (Sidewall Base Contact Structure) transistors are reviewed. Bipolar device structures that include polysilicon are key technologies for improving circuit characteristics. As the characteristics of the upward operated SICOS transistors are close to those of downward transistors, they can easily be applied in memory cells which have near-perfect soft-error-immunity. Newly developed process technologies for making shallow base and emitter junctions to improve circuit performance are also reviewed. Finally, complementary bipolar technology for low-power and high-speed circuits using pnp transistors, and a quasi-drift base transistor structure suitable for below 0.1 µm emitters are discussed.
Francis N. MUMBA Shinji TSUZUKI Yoshio YAMADA Saburo TAZAKI
The throughput performance of the non-persistent carrier sense spread spectrum with overload detection (NP-CSSS/OD) protocol is analysed and compared with that of the conventional non-persistent and one-persistent carrier sense multiple access with collision detection (NP-CSMA/CD and 1P-CSMA/CD) and the one-persistent carrier sense spread spectrum with overload detection (1P-CSSS/OD) protocols. We also introduced utilization measurements and did some performance comparisons between these protocols. At high offered loads, the NP-CSSS/OD protocol is found to offer the best throughput and utilization performances amongst them.
Tadahiro WADA Takaya YAMAZATO Masaaki KATAYAMA Akira OGAWA
This paper discusses the performance of non-coherent reception for M-ary spread-spectrum (M-ary/SS) signals in the presence of carrier frequency offset. In general, the M-ary/SS scheme is expected to be of higher spectral efficiency than the conventional DS/SS schemes, but its performance may be degraded by the carrier frequency offset. We, therefore, analyze the effect of carrier frequency offset on the performance of the non-coherent M-ary/SS system with orthogonal modulation using a set of sequences generated by the Hadamard matrix. As a result of the analysis, it has been found that the carrier frequency offset may cause a great deal of degradation in the performance, and that its effect has a distinctive property which is due to the characteristic of Hadamard matrix, at the same time. Making use of this property, we propose two schemes that can mitigate the effect of carrier frequency offset: one is based on choise of the code sequences, the other is on the error correcting code. The effectiveness of the schemes is evaluated in the terms of symbol-error-rates through analysis and computer simulation.
This work is concerned with a dynamic analysis of complex uniplanar guide-wave structures for MMICs at millimeter-wave frequencies. The enhanced spectral domain approach is effectively used to model such uniplanar structures with trapezoidal conducting strips involving microshielding enclosures. A wide range of line propagation and impedance characteristics is obtained for slotline and coplanar waveguide (CPW). The effect of different conductor profiles on line characteristics is discussed in detail. Results show an excellent agreement with other works. A class of dispersion-related curves are presented for design consideration.
Cinzia BERNARDESCHI Andrea BONDAVALLI Luca SIMONCINI
Data flow is a paradigm for concurrent computations in which a collection of parallel processes communicate asynchronously. For nondeterministic data flow networks many semantic models have been defined, however, it is complex to reason about the semantics of a network. In this paper, we introduce a transformation between data flow networks and the LOTOS specification language to make available theories and tools developed for process algebras for the semantic analysis based on traces of the networks. The transformation does not establish a one-to-one mapping between the traces of a data flow network and the LOTOS specification, but maps each network in a specification which usually contains more traces. The obtained system specification has the same set of traces as the corresponding network if they are finite, otherwise also non fair traces are included. Formal analysis and verification methods can still be applied to prove properties of the original data flow network, allowing in case of networks with finite traces to prove also network equivalence.
This paper describes a system that can enchance the speech quality degradation due to severe band limitation during speech transmission. We have already proposed a spectrum widening method that utilizes aliasing in sampling rate conversion and digital filtering for spectrum shaping. This paper proposes a new method that offers improved performance in terms of the spectrum distortion characteristics. Implementation procedures are clarified, and its performance is discussed. The proposed method can effectively enhance speech quality.