For a complex object model, a form of range restriction called specialization constraint (SC), has been proposed, which is associated not only with the properties themselves but also with property value paths. The domain and range of an SC, however, were limited to single classes. In this paper, SCs are generalized to have sets of classes as their domains and ranges. Let Σ be a set of SCs, where each SC in Σ has a set of classes as its domain and a non-empty set of classes as its range. It is proved that an SC is a logical consequence of Σ if and only if it is a finite logical consequence of Σ. Then a sound and complete axiomatization for SCs is presented. Finally, a polynomial-time algorithm is given, which decides whether or not an SC is a logical consequence of Σ.

In this paper, we present Branching Oriented System Equation based on-line error correction scheme for recursive digital signal processing. The target digital signal processing is linear and time-invariant, and the algorithm includes multiplications with constant coefficient, additions and delays. The difficulties of the algorithm-level fault tolerance for such algorithm without structural regularity include error distribution problem and right timing of error correction. To escape the error distribution problem, multiple fan-out nodes in an algorithm are specified as the nodes at which error corrections are performed. The Branching Oriented Graph and Branching Oriented System Equation are so introduced to formulate on-line correction schemes based on this strategy. The Branching Oriented Graph is treated as the collection of computation sub-blocks. Applying checksum code independently to each sub-block is our most trivial on-line error correction scheme, and it results in, with appropriate selection of error identification process, TMR in sub-block level. One of the advantages of our method is in the reduction of redundant operations performed by merging some computation sub-blocks. On the other hand, the schedulability of the system is an important issue for our method since our on-line error correction mechanism induces additional data dependencies. In this paper, the schedulability condition and some modifications on the scheme are also discussed.

A new current-mode dual-input configuration for the generation of a ratio (Y2/Y1) type network function using the second generation current conveyor (CC ) elements has been proposed. With nonideal CC s, a precise compensation of output current can be obtained simply by insertion of a grounded admittance (Yc). The design of precise insensitive current-mode integrator/differentiator type functional circuits follows directly if the Y1,2 admittances are suitably chosen as RC components.

This paper discusses a new design method for 2-D variable FIR digital filters, which is an extension of our previous work for 1-D case. The method uses a 3-D prototype FIR filter whose cross-sections correspond to the desired characteristics of 2-D variable FIR filters. A 2-D variable-angle FIR fan filter is given as a design example.

For system identification problems, such as noise and echo cancellation, FIR adaptive filters are mainly used for their simple adaptation and numerical stability. When the unknown system is a high-Q resonant system, having a very long impulse response, IIR adaptive filters are more efficient for reduction in the order of a transfer function. One way to realize the IIR adaptive filter is a separate form, in which the numerator and the denominator are separately realized and adjusted. In the actual applications, the order of the unknown system is not known. In this case, it is very important to estimate the total order and the order assignment on the numerator and the denominator. In this paper, effects of the order estimation error on the residual error are investigated. In this form, indirect error evaluation called "equation error" is used. Through theoretical and numerical investigation, the following results are obtained. First, under estimation of the order of the denominator causes large degradation. Second, over estimation can improve the performance. However, this improvement is saturated to some extent due to cancellation of the redundant poles and zeros. Third, the system identification error is proportional to the equation error as the adaptive filter approaching the optimum. Finally, there is possibility of recovering from the unstable state as the order assignment approaches to the optimum in an adaptive process using the equation error. Computer solutions are provided to aid in gaining insight of the order assignment and stability problem.

We present a method of extracting the digital inphase (I) and quadrature (Q) components from oversampled bandpass signals using narrow-band bandpass Hilbert transformers. Down-conversion of the digitized IF signals to baseband and reduction of the quantization noise are accomplished by the multistage decimator with the complex coefficient bandpass digital filters (BPFs), which construct the bandpass Hilbert transformers. Most of the complex coefficient BPFs in the multistage decimator can be replaced with the lowpass filters (LPFs) under some conditions, which reduces computational burden. We evaluate the signal to quantization noise ratio of the I and Q components for the sinusoidal input by computer simulation. Simulation results show that the equivalent amplitude resolution of the I and Q components can be increased by 3 bits in comparison with non-oversampling case.

A multi-channel high temperature superconducting interference device (high Tc SQUID) system with high magnetic field resolution has been developed. Step edge junctions were employed as weakly coupled Josephson junctions for the SQUID. These junctions worked well and their I-V curves fit the resistively shunted junction (RSJ) model. The SQUID design was investigated to improve magnetic field resolution. The size of the SQUID's center hole was investigated, and we found the optimized size of the hole to be about 25 µm. Meissner effect of superconductor was used in order to concentrate magnetic fluxes. A large washer SQUID and a flux concentrating plate was developed to concentrate magnetic flux to the SQUID center hole. The magnetic field resolution became 370 fT/Hz at 10 Hz and 220 fT/Hz at 10 kHz. This field resolution was enough to detect biomagnetic signals such as magnetocardiac signals. The SQUID was mounted on a special chip carrier and was sealed with epoxy resin for protection from humidity. We have designed and developed a 4-channel and a 16-channel high Tc SQUID system. We used them in a magnetically shielded room to measure magnetic signals of the human heart. We obtained clear multi-channel magnetocardiac signals, which showed clear so called QRS and T wave peaks. A clear isofield contour map of magnetocardiac signals was also obtained. These data indicated that high Tc SQUID is feasible for these biomagnetic applications.

A capacitor-error-free SC voltage inverter with zero sensitivity to element-value variations is proposed. By virtue of the capacitor-error-free property, this SC voltage inverter is free from the capacitor mismatch. The performance of this SC voltage inverter has been confirmed from both the simulation and experiment.

This paper proposes a repairable and diagnosable k-valued cellular array. We assume a single fault, i.e., either stuck-at-O fault or stuck-at-(k1) fault of switches occurs in the array. By building in a duplicate column iteratively, when a stuck-at-(k1) fault occurs in the array, the fault never influences the output of the array. That is, we can construct a fault-tolerant array for the stuck-at-(k1) fault. While, for the stuck-at-O fault, the diagnosing method is simple and easy because we don't have to diagnose the stuck-at-(k1) fault. Moreover, our array can be repaired easily for the fault. The comparison with other rectangular arrays shows that our array has advantages for the number of cells and the cost of the fault diagnosis.

Multilevel RLL (Runlength Limited) sequences are analyzed. Their noiseless capacity and lower bounds on the channel capacity in the presence of additive white Gaussian noise are given. Moreover, the analytical power spectra formulae for those sequences which generalize the previously derived one for binary sequences are newly derived. We conclude from the analysis of the power spectra that multilevel RLL sequences are attractive from the point of view that they increase information rate while keeping low DC-content and self-clocking capability of binary RLL sequences.

A new design method for 2-D IIR digital filters, having a separable denominator,in the spatial domain is presented. The modified Gauss Method is applied in the iterating calculation of the filter coefficients. Also, the 1-D state space representation of the denominator is utilized in determining the impulse response of the designed IIR transfer function and its partial derivatives systematically while the numerator is expressed by a nonseparable polynomial. The error criterion function, which also includes the response outside the given region of support, is minimized in the least square sense. Convergence, together with the stability of the resulting filttr, are guaranteed.

The factored state space approach (FSS) can be a powerful mathematical tool for the synthesis and analysis of non state space digital filters. In the following letter, this technique is used for the rederivation of some classes of low sensitivity filters described by a II-cascade two-pair structure. This method leads to a simplified synthesis algorithm (with applications to automated synthesis procedures for many classes of non state space digital filters) as well as a straightforward analysis of roundoff noise and norm scaling problems.

A fast Newton/LMS algorithm is proposed which uses an efficient inversion technique of input autocorrelation matrix when the periodic pseudo random sequence is used as the reference signal. The number of operations is greatly reduced and the computational results show fast convergence rate and low misadjustment error. And the application of the algorithm to the case of nonperiodic reference signal is described.

In direct connection with the signal information processing, a practical method of identification and probabilistic prediction for sound insulation systems is theoretically proposed in the object-oriented expression forms by introducing a few functional system parameters. Concretely, a trial of identification of the above functional system parameters and the output probabilistic prediction for a panel thickness change of double-wall type sound insulation system, especially, under the existence of a strong background noise inside of the reception room, is newly proposed based on one of wide sense digital filters and SEA (Statistical Energy Analysis) method. Finally, by using the actual music sound of an arbitrary distribution type, the effectiveness of the proposad method is confirmed experimentally by applying it to some problems of predicting the cumulative probability distribution of the transmitted sound level fluctuation.

The demand for mobile communication services is rapidly increasing, because the mobile communication service is synonymy of an ideal communication style realizing communication in anytime, anywhere and with anyone. The development of economic and social activities is a primary factor of the increasing demand for mobile communication services. The demand stimulates the development of technology in mobile communication including personal communication services. Thus mobile communication has been one of the most active research in communications in the last several years. There exist various problems to which graph & network theory is applicable in mobile communication services (for example, channel assignment algorithm in cellular system, protocol in modile communication networks and traffic control in mobile communication ). A model of a cellular system has been formulated using a graph and it is known that the channel assignment problem is equivalent to the coloring problem of graph theory. Recently, two types of coloring problems on graphs or networks related to the channel assignment problem were proposed. Mainly, we introduce these coloring problems and show some results on these problems in this paper.

A bounded complex (BC) digital transfer function realized with a II-cascade structure of Lossless Bounded Complex (LBC) two-pairs is known to have low magnitude sensitivity. In this letter, it is shown that the two-pairs parameters depend directly on some invariants of the transfer function corresponding to the transmission zeros of the structure. An analysis of the existence and the numbering of these invariants leads to a simplified automated LBC filter structure design avoiding the need for polynomial manipulations. These results are also easily applied for the real filtering case.

In this paper we propose a method for increasing the reliability in multiprocessor realization of lowpass and highpass FIR digital filters possessing a maximally flat magnitude response. This method is based on the use of array realization of the filter which has been proposed earlier by the authors. It is shown that if a processing module of the array functions erroneously, it is possible to exclude the module and still obtain a lowpass FIR filter. However, as a price we should tolerate a slight degradation in the magnitude response of the filter that is equivalent to a wider transition band. We also analyze the behavior of the filter when our proposed schemes are implemented on more than one module. The justification of our approach is based on that a slight degradation of the spectral characteristics of a filter may be well tolerated in most filtering applications and thus a graceful degradation in the frequency domain can sufficiently reduce the vulnerability to errors.

This paper presents an optimal filtering algorithm using the covariance information in linear continuous distributed parameter systems. It is assumed that the signal is observed with additive white Gaussian noise. The autocovariance function of the signal, the variance of white Gaussian noise, the observed value and the observation matrix are used in the filtering algorithm. Then, the current filter has an advantage that it can be applied to the case where a partial differential equation, which generates the signal process, is unknown.

This paper discusses a common channel signaling system in which multiple micro-switching systems can converse as though configured like a conventional centralized switching system. A micro-switching system is a switching system whose main functions are integrated on a chip, like a microprocessor. Progress in MOS technology will soon make micro-switching systems possible, and their small scale and economy will allow subscriber switching systems to be distributed closer to subscribers. This will allow shorter subscriber loops, so subscriber networks will be able to reuse existing metallic lines as H1 (1.544/2.048Mb/s)-class subscriber loops. Economical micro-switching systems and reuse of existing network resources will contribute to the establishment H0 (384kb/s)-ISDN, so that every subscriber will be able to enjoy multimedia communications through HO-calls as simply as using present telephones. Four alternative signaling network architectures are examined, classified by arrangement of their signaling transfer junctions and signaling links, and a new signaling system featuring cell-based transfer functions is proposed. This is suitable for a distributed micro-switching-system network in order to minimize the figures of merit, which collectively estimate network cost and signaling delay.

A new design methodology is proposed and analyzed for the design of ternary logic systems. In the new ternary logic systems, no conversions among radices are required and only the two-state ternary literals associated with the ternary signals are transmitted in the whole system. With the new design methodology, the ternary systems can be realized by the dynamic CMOS logic circuits which are simple and fully compatible with those of the conventional binary logic circuits in process, power supply, and logic levels. A new dynamic differential logic called the CMOS Redundant Differential Logic (CRDL) is also developed to increase the logic flexibility and the circuit performance. Using the new design methodology and the CRDL circuits, the multiplier with redundant binary addition tree is designed in both non-pipelined and pipelined systems. The experimental chip has been fabricated and measured, which successfully verifies the correctness of the logic functions and the speed performance of the designed circuits.