Recent physiological studies on synaptic plasticity have shown that synaptic weights change depending on fine timing of presynaptic and postsynaptic spikes. Here, we show that a phenomenon similar to stochastic resonance with respect to background noise is observed on spike-timing dependent synaptic plasticity (STDP) that can contribute to stable propagation of precisely timed spikes in a multi-layered feedforward neural network.

In recent years, the domino logic has received much attention as a design technique of high-speed circuits. However, in the case of standard domino logic, only non-inverting functions are allowed. Then, the clock-delayed (CD) domino logic that provides any logic function is proposed in order to overcome such domino's drawback. In addition, domino circuits are more sensitive to circuit noise compared with static CMOS circuits. In particular, crosstalk causes critical problems. Therefore, we focus our attention on crosstalk faults in CD domino circuits. However, in CD domino circuits, there are faults that don't propagate faulty values to any primary output even though crosstalk pulses are generated. Then, we remove such faults from the target fault list by considering structures of CD domino circuits, and perform a fault simulation for the reduced target fault list using two kinds of fault simulation method together. We realize CD domino circuits in VHDL and perform the proposed fault simulation for the combinational part of some benchmark circuits of ISCAS'89 on a VHDL simulator. Fault coverage for random vectors was obtained for s27 to s1494 under the limitation of simulation time.

A novel technique for automatic segmentation of a brain region in single channel MR images for visualization and analysis of a human brain is presented. The method generates a volume of brain masks by automatic thresholding using a dual curve fitting technique and by 3D morphological operations. The dual curve fitting can reduce an error in curve fitting to the histogram of MR images. The 3D morphological operations, including erosion, labeling of connected-components, max-feature operation, and dilation, are applied to the cubic volume of masks reconstructed from the thresholded brain masks. This method can automatically segment a brain region in any displayed type of sequences, including extreme slices, of SPGR, T1-, T2-, and PD-weighted MR image data sets which are not required to contain the entire brain. In the experiments, the algorithm was applied to 20 sets of MR images and showed over 0.97 of similarity index in comparison with manual drawing.

This paper presents the transmission performance of a class-IV partial-response signaling SSB system and proposes a method that can improve its power efficiency. A line code that has no dc component has been used in the SSB transmission of digital signals. The type of line code, such as a partial-response signaling, increases the modulation states, and as a result, decreases the power efficiency. To overcome this obstacle, a new demodulation method called "re-filtering and combining" is proposed on the assumption of orthogonal phase detection. The demodulated quadrature channel is re-filtered by a Hilbert filter and is combined with the in-phase channel. It is confirmed by computer simulations that the new demodulation method improves the BER performance and a 3 dB improvement of the power efficiency is obtained.

In this paper, we propose an equalizer for indoor infrared wireless systems using on-off keying code-division multiple-access (OOK-CDMA). The proposed equalizer has a decision-feedforward filter to mitigate the effects of inter symbol interference (ISI) at the previous chip position of the sampling instant. We evaluate the performance of indoor infrared wireless systems using OOK-CDMA with three kinds of equalizers: the decision-feedback qualizer (DFE), the feedforward equalizer (FE), and the proposed equalizer. To estimate the impulse response, we use the training sequence that alternates '1' and '0' sequentially. Among three kinds of equalizers, we show that the system with the proposed equalizer can achieve the best bit error rate (BER) performance at high bit rate, while the system with the FE achieves the best BER performance when the bit rate is low.

In this letter, an analysis of bit error probability of 4-state soft decision Viterbi decoding is presented. The bit error probability of recursive systematic convolutional code is also derived.

Recently, neural networks (NNs) have been extensively applied to many signal processing problem due to their robust abilities to form complex decision regions. In particular, neural networks add flexibility to the design of equalizers for digital communication systems. Recurrent neural network (RNN) is a kind of neural network with one or more feedback loops, whereas self-organizing map (SOM) is characterized by the formation of a topographic map of the input patterns in which the spatial locations (i.e., coordinates) of the neurons in the lattice are indicative of intrinsic statistical features contained in the input patterns. In this paper, we propose a novel receiver structure by combining adaptive RNN equalizer with a SOM detector under serious ISI and nonlinear distortion in QAM system. According to the theoretical analysis and computer simulation results, the performance of the proposed scheme is shown to be quite effective in channel equalization under nonlinear distortion.

This paper presents a method for disambiguating word senses in Korean-Japanese machine translation by using a language independent ontology. This ontology stores semantic constraints between concepts and other world knowledge, and enables a natural language processing system to resolve semantic ambiguities by making inferences with the concept network of the ontology. In order to acquire a language-independent and reasonably practical ontology in a limited time and with less manpower, we extend the existing Kadokawa thesaurus by inserting additional semantic relations into its hierarchy, which are classified as case relations and other semantic relations. The former can be obtained by converting valency information and case frames from previously-built electronic dictionaries used in machine translation. The latter can be acquired from concept co-occurrence information, which is extracted automatically from a corpus. In practical machine translation systems, our word sense disambiguation method achieved an improvement of average precision by 6.0% for Japanese analysis and by 9.2% for Korean analysis over the method without using an ontology.

A dynamic pre-allocated connection (DPC) scheme is proposed to support fast handoff and to effectively utilize wireline links in a multi-connection call environment. Handoff can be quickly executed in real-time with reduced connection overhead, since the proposed scheme uses pre-allocated switched virtual connections (PSVCs). This dynamic resource management scheme increases link utilization due to statistical multiplexing effects. A path-loop elimination algorithm can be applied to remove duplicate resource usages. The DPC scheme in an environment of multi-connection calls is analyzed to obtain three probabilities; 1) new multi-connection call blocking probability, 2) multi-connection handoff call blocking probability, and 3) fast handoff failure probability.

Multiple access interference (MAI) due to many simultaneous users is the main factor that limits the performance of DS-CDMA system. Multiuser detection is a method to avoid performance degradation due to MAI. We propose a blind multiuser detection method based on the algorithm consisting of two-stage decoding process, i.e., linearly constrained constant modulus (LCCM) and iterative least squares (ILS). The computer simulations confirmed that the algorithm is near-far resistant and that the proposed method is effective in the application to the slow fading channels.

This paper proposes a design method of 2-D variable IIR digital filters with high frequency tuning accuracy. In the proposed method, a parallel complex allpass structure is used as the prototype structure of the 2-D variable digital filters in order to obtain low sensitivity characteristic. Because the proposed 2-D variable digital filter is composed of first-order complex allpass sections connected in parallel, the proposed variable digital filter possesses several advantages such as low sensitivity characteristic in the passband, simple stability monitoring and high parallelism. In order to improve the frequency tuning accuracy of the proposed variable digital filter, each first-order complex allpass section is substituted by a new first-order complex allpass section with low sensitivity characteristic. Moreover, the coefficient sensitivity analysis of a 2-D parallel complex allpass structure is presented. Numerical examples show that the proposed 2-D variable IIR digital filter has high tuning accuracy under the finite coefficient wordlength.

In this paper, we propose a new neural filter to which the features related to a given task are input, called a neural filter with features (NFF), to improve further the performance of the conventional neural filter. In order to handle the issue concerning the optimal selection of input features, we propose a framework composed of 1) manual selection of candidates for input features related to a given task and 2) training with automatically selection of the optimal input features required for achieving the given task. Experiments on the proposed framework with an application to improving the image quality of medical X-ray image sequences were performed. The experimental results demonstrated that the performance on edge-preserving smoothing of the NFF, obtained by the proposed framework, is superior to that of the conventional neural and dynamic filters.

The transient phenomenon of electromagnetic waves caused by a time dependent resistive screen in a waveguide is treated by using Wiener-Hopf technique. A boundary-value problem is formulated to describe the phenomenon, in which the resistivity of screen varies from infinite to zero in dependence on time. Application of the Fourier transformation with respect to time derives a Wiener-Hopf equation, which is solved by a commonly known decomposition procedure. The transient field is derived from the solution of the equation in terms of the Fourier inverse transform. By using the incomplete Lipschitz-Hankel integral for the computation of the field, numerical examples are given and the transient phenomenon is discussed.

One of the reasons of slow convergence in Backpropagation learning is the diminishing value of the derivative of the commonly used activation functions as the nodes approach extreme values, namely, 0 or 1. In this letter, we propose arctangent activation function to accelerate learning speed. Simulation results indicate considerable improvement in convergence performance.

The plan of High Altitude Platform Station (HAPS) is considered as a revolutionary wireless system plan with several economic and technological advantages over both space- or ground-based counterparts. In this paper, we propose a joint system of terrestrial and HAPS cellular for Wideband-CDMA mobile communication. This system makes the conventional terrestrial W-CDMA cellular area smaller and the remainder area covered by HAPS to increase the total capacity. Furthermore in down link channel, we introduce the polarized wave and doughnut-like radiation. However, in the proposed system, the performance would be dependent on the terminal position especially near the boundary of doughnut-like cell zone. To overcome this, site diversity that uses both signals from terrestrial Base Station and HAPS Base Station is also introduced. To confirm the availability of the proposed system, we evaluate the system performance by computer simulation.

In conventional Web Geographic Information System (GIS), there are serious drawbacks of high waiting time and low accessibility because the subsequent query has to wait until all the spatial data has been completely transmitted. In addressing these problems, this paper proposes a progressive transmission method which can reduce waiting time and increase accessibility. The proposed method has the following steps. First, significant vertices of geographic objects are selected into based on an algorithm, Priority_Order_Estimation (POE). Second, the selected vertices are inserted the data structure, Priority_Order_Queue (POQ). This allows a client to view, to request and occasionally to reject spatial data, rather than waiting for the whole map to arrive. Third, the transmission steps are processed progressively, where significant vertices of POQ are sent from server to client one by one. In the final step, if necessary, the entire spatial data set of SENDOBJSP, which is a transmission structure, is transmitted so that the original map is accurately displayed. The performance of the system proposed here has been evaluated according to the factors such as system response time and client storage space. For the comparisons, the total transmission method, layer transmission method and the proposed four-step transmission method were used. Compared with the conventional Web-based GIS, the system response time is twenty-two percent shorter and client storage space is reduced by about twenty-one percent. As a result, performance improvement, fast response time and less client storage usage, is achieved. Therefore, the proposed method can make a significant contribution in support of Web-based Vector GIS applications such as Environmental Management, Map On Demand Service and Assessment and Planning System.

This paper deals with formal verification of high-level designs, in particular, symbolic comparison of register-transfer-level descriptions and behavioral descriptions. We use state machines extended by quantifier-free first-order logic with equality, as models of those descriptions. We cannot adopt the classical notion of equivalence for state machines, because the signals in the corresponding outputs of such two descriptions do not change in the same way. This paper defines a new notion of consistency based on signal-transitions of the corresponding outputs, and proposes an algorithm for checking consistency of those descriptions, up to a limited number of steps from initial states. As an example of high-level designs, we take a simple hardware/software codesign. A C program for digital signal processing called PARCOR filter was compared with its corresponding design given as a register-transfer-level description, which is composed of a VLIW architecture and assembly code. Since this example terminates within approximately 4500 steps, symbolic exploration of a finite number of steps is sufficient to verify the descriptions. Our prototype verifier succeeded in the verification of this example in 31 minutes.

The present paper deals with the frequency-dependent finite difference time domain ((FD)2TD) method analysis of the light-beam scattering from a land/groove recording magneto-optical (MO) disk model with an Al reflective layer (ALRL) in order to improve the conventional analysis for MO disk models under the assumption of perfectly conducting reflective layer (PCRL). Numerical examples of main- and cross-polarized scattered fields and the phase difference between them are presented. We show the comparison of the scattering characteristics between ALRL and PCRL, and also examine the dependence of the cross talk of the readout signal due to adjacent recorded marks on both the recorded mark size and the depth of grooves.

This paper proposes an idea for modeling aggregated TCP/IP traffic arriving at a bottleneck link by focusing on its scaling behavior. Here, the aggregated TCP/IP traffic means the IP packet traffic from many TCP connections sharing the bottleneck link. The model is constructed based on the outcomes of our previous works investigating how the TCP/IP networking mechanism affects the self-similar scaling behavior of the aggregated TCP/IP traffic in a LAN/WAN environment. The proposed traffic model has been examined from the perspective of application to network performance estimation. The examinations have shown that it models the scaling behavior and queueing behavior of actual traffic, though it neglects the interaction among TCP connections that compete with each other for the single bottleneck link bandwidth.

Carrying IP traffic over connection-oriented networks requires the use of bandwidth on demand schemes at gateways or network interfaces. A new virtual queue occupancy, which is more accurate than the classical one, is being proposed for IP/SONET bandwidth on demand. Based on the virtual queue occupancy, two enhanced periodic approaches for lossless services, LAVQ and LAVQL, are simulated and evaluated. Simulations show that LAVQ outperforms its counterpart LAQ in terms of bandwidth utilization. By curbing the queue occupancy fluctuation, LAVQL further promotes bandwidth utilization and conceals the influence of the system latency on delay jitter as well.