Masashi HASHIMOTO Yukio FUKUDA Shigeki ISHIBASHI Ken-ichi KITAYAMA
The newly developed GaAs-pin/SLM, that is structured with a GaAs-pin diode photodetector and a ferroelectric liquid crystal as the light phase modulator, shows the accumulative thresholding characteristic against the optical energy of the write-in pulse train. We experimentally investigate this characteristic and discuss its applications to optical parallel processings.
An FENG Tohru KIKUNO Koji TORII
When a group of developers are involved in the distributed development of some software product, they must communicate with one another frequently to exchange information about the product. To reduce the penalty of communication, the support environment should provide developers with their necessary information and update the information automatically while the product is modified by developers. Furthermore, the environment must meet the following requirements despite of workstation failures: whether a specific information is correct or not should always be decidable; as much information as possible should be updated correctly and efficiently. This paper presents a framework to construct such a fault-tolerant environment based on attribute grammars. In the framework, a product is represented by an attributed tree, which is partitioned into several subtrees {T1,,Tm}. Attribute values in each subtree Ti(1im) express the information about the product required by a developer. We introduce a set of redundant data and algorithms to meet the fault-tolerance requirements mentioned above. The correctness of an attribute value in Ti can then be decided in O(mn0log n) time, where n0n, and n is the number of attribute instances in Ti. All available attribute values can be updated with time complexity O(m2n1 log n) and communication complexity O(m2), where n1 is the number of attribute instances that must be reevaluated.
Yoshio HARADA Yutaka HIRAKAWA Toyofumi TAKENAKA Nobuyoshi TERASHIMA
A conflict detection support method for combining additional telecommunication services with existing services is proposed. In this method, telecommunication services are described by the STR (State Transition Rule) method which specifies a set of state transition rules. Though conflict detection in the past depended on manual analysis by the designer, with this method, conflict candidates are mechanically narrowed down and indicated to the designer. All conflicts between five actual telecommunication service descriptions are detected in an experiment using a system developed in line with the proposed method.
Yasushi WAKAHARA Atsushi ITO Eiji UTSUNOMIYA Fumio NITTA
The purpose of this paper is to propose a technique to simplify the communications software descriptions written in a procedural language in order to enhance their comprehensibility. Although such a technique was not much studied and discussed in the past, this technique is important to realize high productivity and high quality of the communications software by reducing the complexity of the software description. This paper firstly systematically presents various simplification methods with their principles for the descriptions of the communications software from the viewpoints of their layout, syntactical structures etc. Then, it describes a simplification support system based on these principles for the software specifications written in SDL. Lastly, this paper demonstrates the usefulness and effectiveness of the proposed simplification technique by analyzing the evaluation results of the simplification system.
Hikaru YAGI Masanobu FUJIOKA Yasushi WAKAHARA
In this paper, the software structure for telecommunication user support are discussed, and it is proposed to apply knowledge processing technology to the software. Capabilities of telecommunications networks are becoming quite complicated, and the number of service items and parameters which have to be selected and memorized will become too large for telecommunications end users to make full use of the network capabilities. As such, more effort should be focused on assisting telecommunications end users to use the network and providing user friendly human interfaces of the network. However, this kind of software has additional type of requirements other than those for protocol handling software and call control software, and the realization of such support software has not yet been fully studied. To realize such support software, this paper stressed the realization of the user-system interface. Especially identified in this paper are meaning-based interpretation of user inputs to permit the handling of synonyms and multivocations, and a method to access the database in the support system without consideration of its data schema. To satisfy these objectives, this paper has proposed that the application data should be represented in both a character string and a meaning representation, and that the thesauruses should have the attribute-value relation. In line with these studies, an experimental system called CAPRIS (CAlling PRocedure Instruction System) was developed. It is used to assist the calling party in a telecommunications network to find an appropriate contact point depending on the purpose of the communication. Implementation of CAPRIS is completed and it was confirmed that all the functions described in this paper were actually realized. Some functional experiments were performed on CAPRIS, and the system was concluded to realize satisfactory user-friendliness.
This paper describes a reduction algorithm for SW method which generates test sequences for communication systems. SW method is based upon the Finite State Machine (FSM). SW method uses a set of characterizing sequences and a state transition checking approach. This paper concentrates the characteristics of the SW sequences, and proposes the new derivation algorithm of characterizing sequences. Furthermore, Chinese Postman Tour and Extended Chinese Postman Tour is proposed to reduce redundancy of the SW sequences. This paper also presents an evaluation of this method in terms of an upper bound of the sequence length and generated test sequence length. The evaluation shows that the algorithm dramatically reduces the sequence length of the original method.
Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO
This paper presents a protocol verification method which verifies that the behaviors of a protocol meet requirements. In this method, a protocol specification is expressed as Extended Finite State Machines (EFSM's) that can handle variables, and requirements are expressed using a branching-time temporal logic for a concise and unambiguous description. Using the acyclic expansion algorithm extended such that it can deal with EFSM's, the verification method first generates a state transition graph consisting of executable transitions for each process. Then a branching-time temporal logic formula representing a requirement is evaluated on one of the generated graphs which is relevant to the requirement. An executable state transition graph for each process is much smaller than a global state transition graph which has been used in the conventional verification techniques to represent the behaviors of the whole protocol system consisting of all processes. The computation for generating the graphs is also reduced to much extent for a large complex protocol. As a result, the presented method achieves efficient verification for requirements regarding a state of a process, transmission and reception of messages by a process, varibales of a process and sequences that interact among processes. The validity of the method is illustrated in the paper by the verification of a path-updating protocol for requirements such as process state reachability or fair termination among processes.
Noriyuki HIRAKATA Mitsuaki FUJIHIRA Akihiro NAKAMURA Tomihiro SUZUKI
High frequency and low power 128/129 dual modulus prescaler ICs are developed for mobile communication applications, using 0.5 µm GaAs MESFET technology. Provided with an on-chip voltage regulator, a prescaler IC with an input amplifier operates in a wide frequency range from 200 MHz to 1,500 MHz at input power from -15 dBm to +17 dBm at the temperature of -30 to +120 with supply voltage of 2.7 V, 3.0 V and 5.0 V. At the same time, it demonstrated its low power characteristics consuming 3.68 mA with 3.0 V at +30 in operation, 0.16 mA while powered-off. Another prescaler IC without an input amplifier operates up to 1,650 MHz with Vdd=2.7 V, 3.0 V and 5.0 V at +30, dissipating 2.74 mA/3.0 V.
Masahiro HIGUCHI Hiroyuki SEKI Tadao KASAMI
Many practical communication protocols provide priority service as well as ordinary service. In such a protocol, the protocol machines can initiate a priority service at most of the states. This characteristic leads an extreme increment of the number of state transitions on the protocol machines and causes state space explosion in verification of safety property of the protocol. This paper describes a method of constructing a communication protocol from composition of a subprotocol for ordinary service and that for priority service. This paper also presents a sufficient condition for a composed protocol to inherit safety property from the subprotocols. By using the composition method and the sufficient condition, the decision problem for safety property of the composed protocol can be reduced to those of the subprotocols. An experimental result of verification of a part of OSI session protocol is also described. The result shows that the method can reduce the computation time for verifying safety property to about 3% against the naive way.
An integrated platform INTEGRAL has been developed for developing large complex communication software systems. At the heart of INTEGRAL, a pair of graphical and textual specification languages, DISCOL (DIStributed Communication-Oriented Language), has been developed based on Petri nets. Around DISCOL, a wide variety of design and analysis tools have been integrated in coherent manner so that a seamless support from design to verification and testing are made available along with software life-cycle. The platform has been applied to the development of a PBX simulator named UICPBX. In the development, some real communication services have been fully specified with DISCOL. Such experiences have revealed the effectiveness of the proposed techniques.
Junichi YOSHIDA Satoshi SEKINE Hiroshi TERUI Toshimi KOMINATO Kaoru YOSHINO Nobuyori TSUZUKI Morio KOBAYASHI Kenji OKADA
A hybrid integrated optical module composed of a silica-based planar lightwave circuit (PLC), a laser diode with an integrated monitor-photodiode, and a pin-photodiode is fabricated for use in high-performance, compact and cost-effective fiber optic subscriber systems. Its applicability to a wavelength-division-multiplex (WDM) system with a 1.3-µm bi-directional signal and a 1.5-µm one-way signal is demonstrated. The PLC was fabricated by a combination of flame hydrolysis deposition (FHD) and reactive ion etching (RIE), and it simultaneously achieved 1.3-µm/1.5-µm multi/demultiplexing and 1.3-µm Y-branching functions. The optical module exhibited insertion losses of 4.1dB at 1.31µm (including a Y-branch circuit loss of 3dB) and 0.5dB at 1.53µm. An optical output power of more than -4dBm was obtained from the optical module and the crosstalk was sufficiently low at less than -20dB between wavelengths of 1.3µm and 1.5µm. Temperature cycle tests on the optical module showed reliable and stable operation with an optical power fluctuation of less than 0.3dB for 500 cycles.
Takeshi KAWAI Atsutaka KURIHARA Masakazu MORI Toshio GOTO Akira MIYAUCHI Takakiyo NAKAGAMI
The mode partition noise of 1.3µm distributed feedback laser diodes (DFB LD's), which is induced by the externally reflected light, is studied experimentally and numerically. The mode partition noise is evaluated by the k-value. It is observed that the mode parition noise monotonically increases with the DC bias current when the reflected light affects DFB LD's and the DC bias current is above the threshold current. From the dependence of the k-value on the external power reflection coefficient, it is observed that the k-value dramatically increases when the external power reflection coefficient is above a value which differs from LD to LD. This is closely related to the fact that the tolerance to the externally reflected light depends on the threshold gain difference between the main mode and the dominant side mode.
Ichirou YAMASHITA Ikutarou KOBAYASHI Hiromichi SHINOHARA
Subscriber network opticalization is the key issue for the next generation network. Fiber-optic systems have been limited to mainly big business applications, so far. Massive opticalization including home and small business customers remains the ultimate goal. Opticalization of the subscriber network needs an enormous investment and a long construction period. In order to achieve smooth evolution towards B-ISDN, the subscriber network must be effectively opticalized well in advance of full B-ISDN deployment. This paper presents the development concept of optical subscriber network. It also describes the design concept and configuration of fiber-optic subscriber systems. Deployment strategies and the developing technologies for the future subscriber network are also addressed.
Shinji TSUZUKI Toshiyuki AIBARA Saburo TAZAKI Yoshio YAMADA
In power line SS communication system, since available frequency range is limited from 10 kHz to 450 kHz by the law, we can't transmit any components of lower and higher frequency regions. In this paper, we propose a method for improving bit error rate by using the PN sequence coded by the new channel code, FM-V5 code, instead of PE code to have correlation property in the coded PN sequence. Correlation property in the coded PN sequence makes us effectively use Viterbi decoding technique on the receiving side. To enhance correlation property more, we also examine to apply additionally partial response (PR) system, so called PRML system, on the receiving side. The results of computer simulation show the improvement of about 4.5 dB on SNR at bit error rate 10-5 by using FM-V5 code without PR system compared with PE code. In the case of FM-V5 code with PR(1, -1) system, we get the further improvement of about 11 dB on SNR at the same bit error rate 10-5 compared with PE code. As a result, our method can attain SNR improvement about 20 dB compared with conventional simple PN sequence, that is the conventional Direct Sequence/Spread Spectrum (DS/SS), method.
Junji YAMAUCHI Morihiko IKEGAYA Takashi ANDO Hisamatsu NAKANO
Analysis of the propagation of circularly symmetric fields is made using the finite-difference beam-propagation method. After testing the accuracy of this method, we analyze the guided-mode transmission of connected fibers whose core radii are different. The propagation behavior of the unguided-mode field generated at the junction is revealed using a transparent boundary condition.
In this paper, we analyze a photodetection process of new kind theoretically, which transforms a coherent state of light so as to lead to nonstandard property, namely, sub-Poissonian distribution of its output photoelectron during its photodetection process. The properties of the photoelectron distribution are studied used as preamplifiers of both direct-detection and homodyne detection cases.
Taroh SASAKI Ryuji KOHNO Hideki IMAI
Although individual segments of a natural language such as words have different importance on human interpretation of the meaning, every segment has been uniformly protected by an error-correcting code. If the importance of individual segments is defined by considering their meaning in the sentence, we can adaptively control the level of error-protection for each segment according to its importance in order to reduce errors on human interpretation of the meaning. In this paper, we propose an error-control scheme based on the varying importance of each word. We first introduce a method which determines the importance of each word and then propose an error-control scheme in which several error-correcting codes are alternately used to protect each word according to its importance. Probablity of semantic errors, that is, errors on human interpretation of the meaning, is defined and used as a criterion in mapping error-correcting codes to words possessing different importance. We theoretically formalize the problem of obtaining an optimum mapping which minimizes the probability of semantic errors under some constraint. Given a certain probability distribution of the importance of words and set of error-correcting codes, we can derive the optimum mapping. The proposed error-controlling scheme is theoretically evaluated by comparing its probability of semantic errors with that of a conventional scheme in which every word is uniformly protected by a single error-correcting code. Results show that the proposed scheme can considerably raduce the probability of semantic errors while retaining the same average transmission rate or redundancy.
Koichi MIZUNO Hidetaka HIGASHINO Kentaro SETSUNE Kiyotaka WASA
Sandwich-type Josephson junctions with the structure Bi2Sr2Ca1Cu2Ox/Bi2Sr2Cu1Oy/Bi2Sr2Ca1Cu2Oz (BSCCO/BSCO/BSCCO), have been fabricated and their characterstics determined. The BSCO barrier layer, which is characterized by a crystal structure close to that of the BSCCO electrode layer, is a normal conductor at 4.2 K. Superconductor/normal-conductor/superconductor (S/N/S) type current-voltage characteristics are obtained with these junctions. Distinctive Shapiro steps are observed when they are exposed to microwave radiation. An oscillating behavior of each step in their I-V characteristics are confirmed for increased microwave power. The critical current, Ic, is found to be proportional to (1-T/Tc)2 in the neighborhood of Tc. These results coincide with the ones observed with conventional S/N/S junctions.
Takehiko TSUKIJI Yasunori KUMON
In order to provide a low profile wire antenna for mobile communication, we have developed a new type of the transmission line type antenna, which we call a Modified Transmission Line Antenna (MTLA). Analysis of a certain type of the modified transmission line antenna has revealed that the input impedance and the gain can be determined independently by appropriately choosing antenna configuration. In this paper, we first explain the fundamental characteristics of the modified transmission line antenna. We then introduce two types of MTLA, i. e. a zigzag MTLA and a double MTLA, for practical application of the MTLA to mobile communication. Their characteristics are also discussed theoretically and experimentally.
Masayuki SUGIURA Yasuhiko MATSUNAGA Kunihiro ASADA Takuo SUGANO
Among the many fabrication methods for oxide superconductor films, metal organic chemical vapor deposition (MOCVD) is particularly suitable for industrial application because of its mass productivity and the low growth temperature. Therefore we have studied this technique using the horizontal cold wall furnace type MOCVD method to obtain high quality superconducting films. As the result, we have succeeded in fabricating YBa2Cu3Oy films which have high critical temperatures (over 80 K) under substrate temperatures as low as 700 without post-annealing. But, in the course of our experiments, it was found that the thicknesses of YBa2Cu3Oy films fabricated by MOCVD were not uniform. The cause of this non-uniformity is believed to be that the deposition rate exponentially falls off along the flow direction because of the decrease of the source gas concentration through the reaction. In this paper, this non-uniformity is analytically studied. It is shown that the deposition rate decrease can be controlled with a tapered inner tube, and that these theoretical results are in good agreement with the results of experiment. In addition, it is indicated that the superconducting property of the films has less dependence on substrate position as a result of the tapered inner tube.