This paper attempts to account for intelligibility of practices-based learning (so-called 'learning control') for skill refinement from the viewpoint of Newtonian mechanics. It is shown from an axiomatic approach that an extended notion of passivity for the residual error dynamics of robots plays a crucial role in their ability of learning. More precisely, it is shown that the exponentially weighted passivity with respect to residual velocity vector and torque vector leads the robot system to the convergence of trajectory tracking errors to zero with repeating practices. For a class of tasks when the endpoint is constrained geometrically on a surface, the problem of convergence of residual tracking errors and residual contact-force errors is also discussed on the basis of passivity analysis.

It is known that the uniquely decodable code pairs (C1, C2) for the two-user binary adder channel relates to the maximum independent set of a graph associated with a binary code. This paper formulates the independence number of a class of graphs associated with binary linear codes, and presents an algorithm of the maximum independent set for those graphs. Uniquely decodable code pairs (C1, C2)'s are produced, where C1 is a linear code and C2 is a maximum independent set of the graph associated with C1. For the given C1, the transmission rate of C2 is higher than that by Khachatrian, which is known as the best result as so far. This is not rather surprising because the code C2 is a maximum independent set in this paper but not be Khachatrian's.

An application of wavelength conversion laser diodes (WCLDs) to a photonic cross-connect system using wavelength-division (WD) technology is presented. We propose a novel WD photonic cross-connect node architecture with multiwavelength selective filters. By using the filters, we can construct a nonblocking cross-connect switch by 2-stage connection. Next we describe the requirements to the optical devices in our switch, especially to the wavelength conversion devices in configuring a multistage connection of our switch. Finally, we have conducted the wavelength switching experiments using our wavelength conversion laser diode at a bit rate of 125Mb/s and shown its applicability to a WD photonic cross-connect system with over 3,000 channels.

A closure test MCT (meet-in-the-middle closure test) has been introduced to analyze the algebraic properties of cryptosystems. Since MCT needs a large amount of memory, it is hard to implement with an ordinary meet-in-the-middle method. As a feasible version of MCT, this paper presents a switching closure test SCT based on a new memoryless meet-in-the-middle method. To achieve the memoryless method, appropriate techniques, such as expansion of cycling detection methods for one function into a method for two functions and an efficient intersection search method that uses only a small amount of memory, are effectively used.

This paper examines the key technologies and applications of optical frequency division multiplexing (OFDM) systems. It is clarified that a 100-channel OFDM system is feasible as a result of multichannel frequency stabilization, common optical amplification and channel selection utilizing a tunable optical filter. Transmission limitation due to fiber four-wave mixing is also described. Major functions and applications of the OFDM are summarized and the applicability of OFDM add/drop multiplexing is examined.

Multiple-site diversity systems are foreseen for earth to satellite paths operating at frequencies above 10GHz in localities with high rain-induced attenuation. In some severe cases double-site protection can be proved to be inadequate and consequently triple-site diversity becomes indispensable. In the present paper, an approach for the prediction of the triple-site diversity performance based on an appropriate three-dimensional gamma distribution is proposed. The model is oriented for application to earth-space paths located in Japan and other locations with similar climatic conditions. Numerical results are compared with the only available set of experimental data taken from some parts of the United States. Some useful conclusions are deduced.

Mechanism for radiation phenomenon caused by a finite-length transmission line is discussed. Coupling of an external wave to a transmission line has been studied by using a circuit concept because of a TEM transmission. Since the relationship between coupling and radiation is reciprocal, radiation can be treated by using the circuit concept. It is shown that the equations obtained by using the field theory are quite coincident with those by the circuit theory. From the resultant, it can be concluded that the radiated fields are composed of those by the line current of TEM and the terminal currents. A method for an application of the circuit concept to radiation due to a trace on a printed circuit board is studied by comparing the experimental results.

LOTOS is a language developed within ISO for the formal description of communication protocols and distributed systems. In LOTOS, requirements for a distributed system are called a "service specification". Each node exchanges synchronization messages to ensure the temporal ordering for the execution of events in a service specification. The actions of each node are described as a "protocol specification". This paper gives a survey for a method to derive protocol specifications from a service specification written in a LOTOS based language. In order to derive the protocol specifications, we make the syntax tree of a given service specification and give some attributes for each node in the tree. The protocol specifications are derived automatically by evaluating these attributes. The derived protocol specifications satisfy the given service specification. We also explain a LOTOS simulator for the execution of derived protocol specifications. The related works are also summarized.

Networks in this paper consist of non-commensurate transmission lines with branches and branching resistors at junctions. When signals on a transmission line are divided multiple ways at the junctions of branched lines, multiple reflection waves occur by the impedance mismatching. For the analysis of multiple reflections and network design, lattice diagrams have been used so far. However, the expansions of network transfer functions provide an easier way for the same purpose as in the case of lattice diagram. The output transient responses can be directly calculated from the expansions of network transfer functions or can be numerically calculated by software such as the fast Laplace transform. Therefore, once the network transfer functions are given, calculation of transient responses can be carried out quite easily. In this paper, the expansions of network transfer functions have been derived with respect to delay elements ξi=exp(-sτi) by formularizing the propagation of multiple reflection waves, and then the multi-variable rational network transfer functions have been obtained from the expansions. As an example, a 3-port transmission line network with normalized characteristic impedances 1, 1, 6 and normalized branching resistors 1/23, 1/23, 126/23 has been taken up. As the terminal resistances at output ports can be determined from the relation of the first arriving wave to the steady state, the design of 3-port transmission line networks which will furnish output waveforms similar to the waveform of the input within given tolerances has been considered. The output waveforms have been calculated for pure terminal resistances and for the pure terminal resistances plus parasitic parallel capacitances.

We present a new apparent bandgap narrowing model for semiconductor device simulation. The new model is derived from revised data of previous measurements on the apparent bandgap narrowing by using a corrected intrinsic carrier concentration. The revised values reveal sufficient agreement with our theoretical calculation. The new model is implemented in a triangular mesh device simulator TRIMEDES. Simulated BJT current-voltage and current-temperature characteristics using the proposed model reveal excellent agreement with measurements.

In the coming information society, people will have to be engaged in the information environment for their everyday activities. We propose a new design concept of Contextual Metaphors for constructing a human interface. It introduces multiple metaphors and makes it easy for people to directly participate into the environment. The major part of the concept is to provide good contextual support for their everyday activities with a layered design of three cognitively distinct concepts. They are the use of everyday based object metaphors, the task oriented assignment of each of metaphors to system functions and the scenario based sequencings of scenes of those metaphors. A prototyping of the concept showed effectiveness of the concept together with some remarks on the actual design.

In this paper we study the problem of scheduling a tree-structured program on multiprocessors so as to minimize the total execution time, which includes communication delay between processors. It is assumed in the problem that a sufficiently large number of processors are available. It is known that if the program structures are restricted to be out-trees, the problem can be solved in O(n2) time, where n denotes the number of modules of a program. However, this problem is known to be NP-hard if the program structures are allowed to be in-trees. Up to now, no optimal algorithm, except an obvious one, was known for the latter case while some approximation algorithms were shown. We present an optimization algorithm with a nontrivial time bound O((1.52)nn log n) for the in-tree case.

Multiple context-free grammars (mcfg's) are a subclass of generalized context-free grammars introduced by Pollard in order to describe the syntax of natural languages. First, this paper shows that the universal recognition problem for mcfg's is EXP-POLY time-complete, where the universal recognition problem is the one to decide whether G generates w for a given grammar G and string w. Next, it is shown that the problem for linear context-free rewriting systems introduced by Vijay-Shanker et al., which is a proper subclass of mcfg's, is PSPACE-complete.

We propose two types of public-key cryptographic schemes based on elliptic curves modulo n, where n is the product of secret large primes p and q. The RSA-type scheme has an encryption function with an odd multiplier. The Rabin-type scheme has an encryption function with a multiplier of 2. The security of the proposed schemes is based on the difficulty of factoring n. Other security characteristics are also discussed. We show some applications to a master key scheme and blind signature scheme.