Special Section on Net Theory and Its Applications to Discrete Event System Design
==================================================================================
 . FOREWORD ....................................................... 1445
        Tomohiro MURATA

PAPERS
======
 . Equivalent Net Reduction for Firing Sequence ................... 1447
        Masato NAKAGAWA, Sadatoshi KUMAGAI, Toshiyuki MIYAMOTO, and
        Dong-Ik S.LEE

 . Protocol Verification Tool with Extended Petri Net and Horn Clause
            ....................................................... 1458
        Takashi WATANABE, Tsuyoshi OHTA, Fumiaki SATO, and Tadanori
        MIZUNO

 . Verification and Refinement for System Requirements ............ 1468
        Kukhwan SONG, Atushi TOGASHI, and Norio SHIRATORI

 . On Symbolic Model Checking in Petri Nets ....................... 1479
        Kunihiko HIRAISHI and Minoru NAKANO

 . Practical Program Validation for State-Based Reactive Concurrent
   Systems --Harmonization of Simulation and Verification-- ....... 1487
        Naoshi UCHIHIRA and Hideji KAWATA

 . An Analysis of Simulation between Petri Nets through Rewriting Logic
            ....................................................... 1498
        Yasuyuki TAHARA and Shinichi HONIDEN

 . An Efficient State Space Search for the Synthesis of Asynchronous
   Circuits by Subspace Construction .............................. 1504
        Toshiyuki MIYAMOTO, Dong-Ik LEE, and Sadatoshi KUMAGAI

 . Petri Nets-Based Super Scalar Computing in Programmable Controllers
            ....................................................... 1511
        Naehyuck CHANG, Jaehyun PARK, and Wook Hyun KWON

 . Evaluation of Transmission Control Method in a Slotted Ring Network
            ....................................................... 1519
        Ken TERUYA and Norio SHIRATORI

Special Section of Letters Selected from the 1995 IEICE General Conference
==========================================================================
 . FOREWORD ....................................................... 1527
        Masakazu SENGOKU

LETTERS
=======
 . A Study on Start-Up Characteristics of Crystal Oscillators Using
   Resonators with Nonlinear Drive Level Characteristics .......... 1528
        Naoto OHTAKA, Yasuaki WATANABE, and Hitoshi SEKIMOTO

 . A Clock-Feedthrough and Offset Compensated Fully-Differential
   Switched-Current Circuit ....................................... 1531
        Hyeong-Woo CHA and Kenzo WATANABE

 . On a Problem of Designing a 2-Switch Node Network .............. 1534
        Yoshitsugu TSUCHIYA, Yoshihiro KANEKO, and Kazuo HORIUCHI

 . Improvement of Performance by Method for Predicting Targets in
   Pointing by Mouse .............................................. 1537
        Atsuo MURATA

 . An Adaptive Coding-Based Selection Scheme for a Communication Aid
            ....................................................... 1542
        Satoshi KOYAMA

 . Scattering of Electromagnetic Wave by Double Periodic Array with a
   Dielectric Substrate ........................................... 1545
        Hideaki WAKABAYASHI, Masanobu KOMINAMI, and Jiro YAMAKITA

 . A Study on Mouth Shape Features Suitable for HMM Speech Recognition
   Using Fusion of Visual and Auditory Information ................ 1548
        Naoshi DOI, Akira SHINTANI, Yasuhisa HAYASHI, Akio OGIHARA, and
        Shinobu TAKAMATSU

 . Effect of Impairment Ranges on Reliability of the Modified EBU
   Method ......................................................... 1553
        Nagato NARITA

 . Generating Realistic Calligraphy Words ......................... 1556
        Qinglian GUO

 . Color Assimilation of Strip Fields Displayed on CRT with a Dark
   Background ..................................................... 1559
        Takashi NAKAGAWA and Yukitaka GOHARA

 . Linguistic Intelligent CAI System Using Speech Data-Base ....... 1562
        Kyu-Keon LEE and Katsuhiko SHIRAI

Regular Section
===============
PAPERS
======
[Digital Signal Processing]

 . A Subband Adaptive Filter with the Optimum Analysis Filter Bank  1566
        Hiroshi OCHI, Yoshito HIGA, and Shigenori KINJO

 . The Skipping Technique: A Simple and Fast Algorithm to Find the
   Pitch in CELP Vocoder .......................................... 1571
        JooHun LEE, MyungJin BAE, and Souguil ANN

 . Performance of Single- and Multi-Reference NLMS Noise Canceller
   Based on Correlation between Signal and Noise .................. 1576
        Yapi ATSE, Kenji NAKAYAMA, and Zhiqiang MA

[Systems and Control]

 . Parameter Insensitive Disturbance-Rejection Problem with
   Incomplete-State Feedback ...................................... 1589
        Naohisa OTSUKA, Hiroshi INABA, and Kazuo TORAICHI

[Algorithms and Data Structures]

 . Parallel Genetic Algorithms Based on a Multiprocessor System FIN and
   Its Application ................................................ 1595
        Myung-Mook HAN, Shoji TATSUMI, Yasuhiko KITAMURA, and Takaaki
        OKUMOTO

[Graphs and Networks]

 . Embeddings of Hyper-Rings in Hypercubes ........................ 1606
        Yukihiro HAMADA, Aohan MEI, Yasuaki NISHITANI, and Yoshihide
        IGARASHI

 . ABSTRACTS (IEICE Trans., Vol.J78-A, No.11 in Japanese) ......... 1614