The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] Al(20498hit)

19961-19980hit(20498hit)

  • A Sufficient Condition of A Priori Estimation for Computational Complexity of the Homotopy Method

    Mitsunori MAKINO  Masahide KASHIWAGI  Shin'ichi OISHI  Kazuo HORIUCHI  

     
    PAPER-Numerical Homotopy Method and Self-Validating Numerics

      Vol:
    E76-A No:5
      Page(s):
    786-794

    A priori estimation is presented for a computational complexity of the homotopy method applying to a certain class of strongly monotone nonlinear equations. In the present papers, a condition is presented for a certain class of uniquely solvable equations, under which an upper bound of a computational complexity of the Newton type homotopy method can be a priori estimated. In this paper, a condition is considered in a case of linear homotopy equations including the Newton type homotopy equations. In the first place, the homotopy algorithm based on the simplified Newton method is introduced. Then by using Urabe type theorem, which gives a sufficient condition guaranteeing the convergence of the simplified Newton method, a condition is presented under which an upper bound of a computational complexity of the algorithm can be a priori estimated, when it is applied to a certain class of strongly monotone nonlinear equations. The presented condition is demonstrated by numerical experiments.

  • Environment-Dependent Self-Organization of Positional Information in Coupled Nonlinear Oscillator System--A New Principle of Real-Time Coordinative Control in Biological Distributed System--

    Yoshihiro MIYAKE  Yoko YAMAGUCHI  Masafumi YANO  Hiroshi SHIMIZU  

     
    LETTER-Neural Nets--Theory and Applications--

      Vol:
    E76-A No:5
      Page(s):
    780-785

    The mechanism of environment-dependent self-organization of "positional information" in a coupled nonlinear oscillator system is proposed as a new principle of realtime coordinative control in biological distributed system. By modeling the pattern formation in tactic response of Physarum plasmodium, it is shown that a global phase gradient pattern self-organized by mutual entrainment encodes not only the positional relationship between subsystems and the total system but also the relative relationship between internal state of the system and the environment.

  • On a Logic Based on Graded Modalities

    Akira NAKAMURA  

     
    PAPER-Logic and Logic Functions

      Vol:
    E76-D No:5
      Page(s):
    527-532

    The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.

  • Safety Control of Power Press by Using Fail-Safe Multiple-Valued Logic

    Masayoshi SAKAI  Masakazu KATO  Koichi FUTSUHARA  Masao MUKAIDONO  

     
    PAPER-Fail-Safe/Fault Tolerant

      Vol:
    E76-D No:5
      Page(s):
    577-585

    This paper first clarifies the logic construction of safety control for the operation of a power press and then describes fail-safe dual two-rail system signal processing and fail-safe multiple-valued logic operations as methods for achieving this control as a fail-safe system. It finally shows a circuit for generating fail-safe two-rail run button signals based on ternary logic for concrete operation of the power press and an operation control circuit for confirming brake performance for each cycle of slide operation by using the run button signals. The control circuit uses such multiple-valued logic operations that binary logic signals that do not erroneously go logic 1 are added to a multiple-valued logic signal and the multiple-valued logic signal is converted to a binary logic signal that does not erroneously go logic 1 by a threshold operation.

  • A Link Study of a Low-Earth Orbit Satellite Communications System Using Optical Intersatellite Links

    Mitsuo NOHARA  Yoshinori ARIMOTO  Wataru CHUJO  Masayuki FUJISE  

     
    PAPER

      Vol:
    E76-B No:5
      Page(s):
    536-543

    Link conditions of a low-earth orbit (LEO) satellite communications system were evaluated, to provide the information necessary for designing a broadband LEO-SAT communications system. The study was made both for optical intersatellite and user/satellite links. For the optical intersatellite link (ISL), we examined several ISL configurations in a circular polar orbit, and found that when the satellites are in the same orbital plane, the link parameters are quite stable, that is, the link between adjacent satellites can be regarded as fixed and, therefore, suitable for broadband transmission via an optical link. However, the link conditions between adjacent orbits change very quickly and over a wide range. To overcome this and extend the network path between satellites in adjacent orbital planes, we proposed intermittent use of the link between satellites in co-rotating adjacent orbital planes at the low latitude region, i.e., only during the period of stable conditions. The optical intersatellite link budget also sets link parameters that are realistic, given present optoelectronic technologies. From quantitative evaluations of the user/satellite link, we believe that both the satellite altitude and minimum elevation angle are critical, both in defining the quality of the service of the LEO-SAT system and in their impact on the other transmission parameters. The link loss, the visible period and the required number of satellites vs. satellite altitude and elevation angle are also indicated. These are important considerations for future system design.

  • A Differential-Geometrical Theory of Sensory System --Relations between the Psychophysical, the DL and the JND Functions

    Ryuzo TAKIYAMA  

     
    PAPER-Mathematical Theory

      Vol:
    E76-A No:5
      Page(s):
    683-688

    This paper discusses psychophysical aspects of human sensory system through a differential-geometrical formulation. The discussions reveal relationships among three fundamental functions--the psychophysical, the DL and the JND functions, which characterize sensory system.

  • Optical Multiplex Computing Based on Set-Valued Logic and Its Application to Parallel Sorting Networks

    Shuichi MAEDA  Takafumi AOKI  Tatsuo HIGUCHI  

     
    PAPER-Optical Logic

      Vol:
    E76-D No:5
      Page(s):
    605-615

    A new computer architecture using multiwavelength optoelectronic integrated circuits (OEICs) is proposed to attack the problems caused by interconnection complexity. Multiwavelength-OEIC architecures, where various wavelengths are employed as information carriers, provide the wavelength as an extra dimension of freedom for parallel processing, so that we can perform several independent computations in parallel in a single optical module using the wavelength space. This multiplex computing" enables us to reduce the wiring area required by a network and improve their complexity. In this paper, we discuss the efficient multiplexing of Batcher's bitonic sorting networks, highly parallel computing architectures that require global interconnections inherently. A systematic multiplexing of interconnection topology is presented using a binary representation of the connectivities of interconnection paths. It is shown that the wiring area can be reduced by a factor of 1/r2 using r kinds of wavelength components.

  • Usefulness of Spherical Model of Human Head in SAR Calculation for UHF Plane-Wave Exposure

    Osamu FUJIWARA  Koji UNO  

     
    LETTER-Electromagnetic Compatibility

      Vol:
    E76-B No:5
      Page(s):
    561-564

    This letter describes the usefulness of a homogeneous spherical model of the isolated human head in SAR calculation for UHF plane-wave exposure. Comparison is made between this SAR and several results that were computed and measured for the homogeneous but realistic whole-body model of the human by other researchers.

  • A Frequency Utilization Ffficiency Improvement on Superposed SSMA-QPSK Signal Transmission over High Speed QPSK Signals in Nonlinear Channels

    Takatoshi SUGIYAMA  Hiroshi KAZAMA  Masahiro MORIKURA  Shuji KUBOTA  Shuzo KATO  

     
    PAPER

      Vol:
    E76-B No:5
      Page(s):
    480-487

    This paper proposes a superposed SSMA (Spread Spectrum Multiple Access)-QPSK (Quadrature Phase Shift Keying) signal transmission scheme over high speed QPSK signals to achieve higher frequency utilization efficiency and to facilitate lower power transmitters for SSMA-QPSK signal transmission. Experimental results show that the proposed scheme which employs the coding-rate of one-half FEC (Forward Error Correction) and a newly proposed co-channel interference cancellation scheme for SSMA-QPSK signals can transmit twenty SSMA-QPSK channels simultaneously over a nonlinearly amplified high speed QPSK signal transmission channel and achieve as ten times SSMA channels transmission as that without co-channel interference cancellation when the SSMA-QPSK signal power to the high speed QPSK signal power ratio equals -30dB. Moreover, cancellation feasibility generation of the interference signals replica through practical hardware implementation is clarified.

  • Code Assignment Algorithm for Highly Parallel Multiple-Valued Combinational Circuits Based on Partition Theory

    Saneaki TAMAKI  Michitaka KAMEYAMA  Tatsuo HIGUCHI  

     
    PAPER-Logic Design

      Vol:
    E76-D No:5
      Page(s):
    548-554

    Design of locally computable combinational circuits is a very important subject to implement high-speed compact arithmetic and logic circuits in VLSI systems. This paper describes a multiple-valued code assignment algorithm for the locally computable combinational circuits, when a functional specification for a unary operation is given by the mapping relationship between input and output symbols. Partition theory usually used in the design of sequential circuits is effectively employed for the fast search for the code assignment problem. Based on the partition theory, mathematical foundation is derived for the locally computable circuit design. Moreover, for permutation operations, we propose an efficient code assignment algorithm based on closed chain sets to reduce the number of combinations in search procedure. Some examples are shown to demonstrate the usefulness of the algorithm.

  • An Implementation of Multiple-Valued Logic and Fuzzy Logic Circuits Using 1.5 V Bi-CMOS Current-Mode Circuit

    Mamoru SASAKI  Kazutaka TANIGUCHI  Yutaka OGATA  Fumio UENO  Takahiro INOUE  

     
    PAPER-Circuits

      Vol:
    E76-D No:5
      Page(s):
    571-576

    This paper presents Bi-CMOS current-mode multiple valued logic circuit with 1.5 V supply voltage. This circuit is composed of current mirror, threshold detector and current source. This circuit has advantages such as high accuracy, high speed, high density and low supply voltage. So, it is possible to realize high-radix multiple valued logic circuit. As an other application of the proposed circuit, a processing unit of fuzzy inference is given. This circuit operates with high speed and high accuracy. The circuit simulation of the proposed circuit has been performed using SPICE2 program.

  • Output Permutation and the Maximum Number of Implicants Needed to Cover the Multiple-Valued Logic Functions

    Yutaka HATA  Kazuharu YAMATO  

     
    PAPER-Logic Design

      Vol:
    E76-D No:5
      Page(s):
    555-561

    An idea of optimal output permutation of multiple-valued sum-of-products expressions is presented. The sum-of-products involve the TSUM operator on the MIN of window literal functions. Some bounds on the maximum number of implicants needed to cover an output permuted function are clarified. One-variable output permuted functions require at most p1 implicants in their minimal sum-of-products expressions, where p is the radix. Two-variable functions with radix between three and six are analyzed. Some speculations of maximum number of the implicants could be established for functions with higher radix and more than 2-variables. The result of computer simulation shows that we can have a saving of approximately 15% on the average using permuting output values. Moreover, we demonstrate the output permutation based on the output density as a simpler method. For the permutation, some speculation is shown and the computer simulation shows a saving of approximately 10% on the average.

  • Fundametal Properties of Multiple-Valued Logic Functions Monotonic with Respect to Ambiguity

    Kyoichi NAKASHIMA  Noboru TAKAGI  

     
    PAPER-Logic and Logic Functions

      Vol:
    E76-D No:5
      Page(s):
    540-547

    The paper considers multiple-valued logic systems having the property that the ambiguity of the system increases as the ambiguity of each component increases. The partial-ordering relation with respect to ambiguity with the greatest element 1/2 and minimal elements 0, 1 or simply the ambiguity relation is introduced in the set of truth values V {0, 1/ (p1), , 1/2, , (p2) / (p1), 1}. A-monotonic p-valued logic functions are defined as p-valued logic functions monotonic with respect to the ambiguity relation. A necessary and sufficient condition for A-monotonic p-valued logic functions is presented along with the proofs, and their logic formulae using unary operators defined in the ambiguity relation are given. Some discussions on the extension of theories to other partial-ordering relations are also given.

  • A Generalized Unsupervised Competitive Learning Scheme

    Ferdinand PEPER  Hideki NODA  

     
    PAPER-Neural Networks

      Vol:
    E76-A No:5
      Page(s):
    834-841

    In this article a Neural Network learning scheme is described, which is a generalization of VQ (Vector Quantization) and ART2a (a simplified version of Adaptive Resonance Theory 2). The basic differences between VQ and ART2a will be exhibited and it will be shown how these differences are covered by the generalized scheme. The generalized scheme enables a rich set of variations on VQ and ART2a. One such variation uses the expression ||I||2+||zj||2/||zj||sin(I,zj), as the distance measure between input vector I and weight vector zj. This variation tends to be more robust to noise than ART2a, as is shown by experiments we performed. These experiments use the same data-set as the ART2a experiments in Ref.(3).

  • Abrupt Variations of Attractors Caused by Argumental Discreteness in Non-Hermitian Associative Memories

    Akira HIROSE  

     
    LETTER-Neural Nets--Theory and Applications--

      Vol:
    E76-A No:5
      Page(s):
    777-779

    Abrupt variations of attractors caused by argumental discreteness in non-Hermitian complex-valued neural networks are reported. When we apply the complex-valued associative memories to dynamical processing, the weighting matrices are constructed as non-Hermitian in general so that they have motive force to the signal vectors. It is observed that competitions between argumental rotation force and noise-suppression ability of associative memories lead to trajectory distortions and abrupt variations of the attractors.

  • Time Series Analysis Based on Exponential Model Excited by t-Distribution Process and Its Algorithm

    Junibakti SANUBARI  Keiichi TOKUDA  Mahoki ONODA  

     
    PAPER-Digital Signal Processing

      Vol:
    E76-A No:5
      Page(s):
    808-819

    In this paper, a new time series analysis method is proposed. The proposed method uses the exponential (EXP) model. The residual signal is assumed to be identically and independently distributed (IID). To achieve accurate and efficient estimates, the parameter of the system model is calculated by maximizing the logarithm of the likelihood of the residual signal which is assumed to be IID t-distribution. The EXP model theoretically assures the stability of the system. This model is appropriate for analyzing signals which have not only poles, but also poles and zeroes. The asymptotic efficiency of the EXP model is addressed. The optimal solution is calculated by the Newton-Raphson iteration method. Simulation results show that only a small number of iterations are necessary to reach stationary points which are always local minimum points. When the method is used to estimate the spectrum of synthetic signals, by using small α we can achieve a more accurate and efficient estimate than that with large α. To reduce the calculation burden an alternative algorithm is also proposed. In this algorithm, the estimated parameter is updated in every sampling instant using an imperfect, short-term, gradient method which is similar to the LMS algorithm.

  • A 10-b 300-MHz Interpolated-Parallel A/D Converter

    Hiroshi KIMURA  Akira MATSUZAWA  Takashi NAKAMURA  Shigeki SAWADA  

     
    PAPER

      Vol:
    E76-C No:5
      Page(s):
    778-786

    This paper describes a monolithic 10-b A/D converter that realized a maximum conversion frequency of 300 MHz. Through the development of the interpolated-parallel scheme, the severe requirement for the transistor Vbe matching can be alleviated drastically, which improves differential nonlinearity (DNL) significantly to within 0.4 LSB. Furthermore, an extremely small input capacitance of 8 pF can be attained, which translates into better dynamic performance such as SNR of 56 dB and THD of 59 dB for an input frequency of 10 MHz. Additionally, the folded differential logic circuit has been developed to reduce the number of elements, power dissipation, and die area drastically. Consequently, the A/D converter has been implemented as a 9.0 4.2-mm2 chip integrating 36K elements, which consumes 4.0 W using a 1.0-µm-rule, 25-GHz ft, double-polysilicon self-aligned bipolar technology.

  • A Suitable Combination of Modulation and FEC Schemes for Satellite Digital Video Communication Networks

    Shuji KUBOTA  Masahiro MORIKURA  Kiyoshi ENOMOTO  Shuzo KATO  

     
    PAPER

      Vol:
    E76-B No:5
      Page(s):
    497-507

    This paper proposes a suitable combination of the digital modulation schemes and the coding-rate of forward error correction (FEC) schemes for satellite digital video communication networks. The comparative study is carried out by computer simulation considering non-linearly amplified, narrow bandwidth satellite channels with adjacent channel interference signals. The proposed system employs an offset QPSK modulation scheme supported by the coding-rate of 7/8 convolutional encoding and Viterbi decoding to realize high-quality and compact spectrum characteristics in non-linear channels. By employing a 32Mbps DPCM video codec, the developed prototype system achieves a post demodulated S/N ratio of higher than 52dB. Moreover, it achieves high protection ratio against co-channel interference than conventional analog FM systems. The optimized digital video transmission system makes it possible to transmit high-quality NTSC video signals over non-linearly amplified narrow bandwidth satellite channels, for example 27MHz or 36MHz bandwidth transponders, with high-security digital encryption.

  • A Modified Newton Method with Guaranteed Accuracy Based on Rational Arithmetic

    Akira INOUE  Masahide KASHIWAGI  Shin'ichi OISHI  Mitsunori MAKINO  

     
    PAPER-Numerical Homotopy Method and Self-Validating Numerics

      Vol:
    E76-A No:5
      Page(s):
    795-807

    In this paper, we are concerned with a problem of obtaining an approximate solution of a finite-dimensional nonlinear equation with guaranteed accuracy. Assuming that an approximate solution of a nonlinear equation is already calculated by a certain numerical method, we present computable conditions to validate whether there exists an exact solution in a neighborhood of this approximate solution or not. In order to check such conditions by computers, we present a method using rational arithmetic. In this method, both the effects of the truncation errors and the rounding errors of numerical computation are taken into consideration. Moreover, based on rational arithmetic we propose a new modified Newton interation to obtain an improved approximate solution with desired accuracy.

  • Group-Based Random Multiple Access System for Satellite Communication Networks

    Kyung S. KWAK  

     
    PAPER

      Vol:
    E76-B No:5
      Page(s):
    518-528

    A group-based random access communication system which consists of two groups of many users is considered. The two different groups share a common random multiple access channel. Users from a group are allocated a high transmitting power level and have a high probability of correct reception among overlapping packets. We set a threshold, θ, which is such that the group with the high power level will occupy the channel if less than or equal to θ packets are transmitted from the group with the low power level. We obtain a two-dimensional Markovian model by tracing the number of backlogged users in the two groups. The two-dimensional Markov chain is shown to be not ergodic and thus the system is not stable. A two-dimensional retransmission algorithm is developed to stabilize the system and the retransmission control parameters are chosen so as to maximize the channel throughput. An equilibrium point analysis is performed by studying the drift functions of the system backlog and it is shown that there is a unique global equilibrium point. The channel capacity for the system is found to be in the range from 0.47 up to 0.53, which is a remarkable increase compared to the conventional slotted ALOHA system.

19961-19980hit(20498hit)