During TCP/IP communications, MobileIP routing optimization functions causes out-of-order TCP packet sequences. To solve this problem, we propose a dynamic delayed ACK control scheme in which the wireless link-state management part notifies the upper TCP/IP layer of base-station hand-over, and at this time the TCP/IP layer sends dynamic delayed ACKs in response by using two-level-timer (i.e., hard-timer and soft-timer) processing. Simulation results confirm that applying dynamic delayed ACK control to MobileIP networks improves average throughput.

The effect of NiP as a seed layer for the [Co/Pd]n multilayer perpendicular recording media was studied. It was found that a thin layer of 2 nm NiP inserted between the FeCoC soft magnetic underlayer and the [Co/Pd]n recording layer improved the magnetic properties such as coercivity, squareness and nucleation field. These improvements may be due to the enhanced grain isolation promoted by the NiP seed layer, as well as the lower surface roughness of the NiP seed layer. Read/write test using Guzik spin stand with a ring-type head showed a D50 value 220 kFCI in the roll-off curve. The magnetic transitions recorded up to 390 kFCI for [Co/Pd]n media with the NiP seed layer can be observed clearly with MFM.

A performance comparison is developed between a chaotic communication system and a spread spectrum system with similar features in terms of bandwidth and transceiver structure but based on more conventional Gold sequences. Comparison is made in the presence of noise and multipath contributions which degrade the channel quality. It is shown that, because of its more favourable correlation properties, the chaotic scheme exhibits lower error rates, at a parity of the bandwidth expansion factor. The same favourable correlation properties are also used to explain and show, through a numerical example, the benefits of chaotic segments in a multi-user environment.

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.

In this paper, we have analyzed transmission time for WAP (Wireless Application Protocol) over Bluetooth using a multi-slot segmentation scheme. In order for SAR to improve the transfer capability, the transmission of messages have been simulated using a fragmentation scheme that begins with the total package and incremental fragmentation for each layer using the WTP (Wireless Transaction Protocol) to define the resultant packet size and the level of fragmentation for each proceeding layer. The data is divided into individual packets at the baseband level. This scheme decreases transmission time of L2CAP (Logical Link Control And Adaptation Protocol) baseband packets by sending packets that span multiple slots. From the results, we were able to obtain packet transmission time and optimal WTP packet size for WAP over Bluetooth in a Rician fading channel.

Interpolation surfaces, such as Bezier or B-spline surface, are usually used for representing smooth man-made objects and provide an excellent ability to control the shape of a surface by intuitively moving control points. In contrast, the fractal technique is used for creating various complex shapes, mainly of natural objects, that have self-similarity using simple procedures. We have proposed the "wrinkly surface (WR surface)" for combining the advantages of interpolation surfaces and fractals. In this paper, we propose the expansion of the construction scheme of the WR surface to irregular meshes. Control points of a WR surface are interpolated using the "Iterated Shuffle Transformation (IST)." Therefore, in order to achieve the expansion, we first generalize the IST on code spaces, and then propose multi-dimensional IST defined on geometric spaces. By creating various shape model examples, we demonstrate the usefulness of the WR surface as a modeling tool.

In this paper, we propose a new resource management scheme for multiple video stream transmission in a wireless environment. The proposed scheme adaptively determines transmission parameters such as the number of assigned time slots, modulation format, and forward error correction (FEC) code rate according to the required bit rate and error sensitivity of the video stream as well as the channel state. The computer simulation results show that the proposed scheme drastically improves the image quality degradation due to channel errors.

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.

This paper presents a comprehensive investigation of three optical wavelength-division multiplexed (WDM) mesh network protection approaches, namely minimal cost, single link basis and disjoint path approaches. The operation of each approach is described and their performances are extensively evaluated and compared. Key aspects that are taken into the consideration and comparison of the designs include a spare capacity requirement, ease of operation and practical feasibility. A mathematical model based on integer linear programming is introduced to obtain a lower bound on the spare capacity requirement for full protection against all single link failures. Two heuristic algorithms have also been developed to perform wavelength resource allocation under both normal and failure conditions for both systems with and without wavelength conversion capability. It is shown that the minimal cost approach can accomplish the lowest extra cost requirement for protection, but this approach is considered not appropriate for practical applications due to complicated restoration and management. The single link basis scheme is on the other hand more practical and very cost efficient. For the disjoint path technique, the cost for spare capacity is generally slightly greater than that of the single link basis scheme. Its main advantages lie in the simple re-configuration and inherent protection against node failure for in-transit traffic. Finally, a new framework for obtaining a good spare capacity cost estimate of a mesh restorable network is presented.

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 an iterative algorithm for decoding product codes based on syndrome decoding of component codes. This algorithm is devised to achieve an effective trade-off between error performance and decoding complexity. A simplified list decoding algorithm, which uses a modified syndrome decoding method, for linear block codes is devised to deliver soft outputs for iterative decoding of product codes. By adjusting the size of the list, the decoder can achieve a proper trade-off between decoding complexity and performance. Compared to the other iterative decoding algorithms for product codes, the proposed algorithm has lower complexity while offers at least the same performance, which is demonstrated by analyses and simulations. The proposed algorithm has been simulated for BPSK and 16-QAM modulations over both the additive white Gaussian noise (AWGN) and Raleigh fading channels. This paper also presents an efficient scheme for applying product codes and their punctured versions. This scheme can be implemented with variable packet size and channel data block.

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.

This paper describes an efficient symbolic model checking algorithm for verification of deadlock free property of high level robot control program called Task Control Architecture (TCA). TCA is a model of concurrent robot control processes. The verification tool we used is the Symbolic Model Verifier (SMV). Since the SMV is not so efficient for verification of liveness properties of many concurrent processes such as deadlock free property, we first described the deadlock free property by using safety properties that SMV can verify efficiently. In addition, we modify the symbolic model checking algorithm of the SMV so that it can handle many concurrent processes efficiently. Experimental measurements show that we can obtain more than 1000 times speed-up by these methods.

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.

This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarchical verification of timed circuits and systems. Finally, we relate our framework to those previously proposed for timing verification.

The effect of a nonmagnetic hcp-underlayer on the epitaxial growth of CoCr19Pt10 magnetic layers on substrates of Al2O3(0001) single-crystal has been investigated. Thin films of (0001)-oriented single-crystal CoCr19Pt10 were obtained by employing non-magnetic underlayers of CoCr25Ru25 and CoCr25Ru25/Ti, while thin films of polycrystalline CoCr19Pt10 were grown after the deposition of underlayers of TiCr10 and CoCr40. The growth of thin film CoCr19Pt10 on a Ti(0001) underlayer was interpreted as quasi-hetero-epitaxial where the continuity of the lattice across the interface is disturbed while the overall crystallographic relationship between the two layers is maintained. A thin film of epitaxially grown CoCr19Pt10 has a compositional variation of a few percent across the film plane in terms of elements that forms the alloy.

To obtain a high throughput for transmission control protocol (TCP) connections over the wireless links, we previously proposed a novel transmission power control method for code division multiple access (CDMA) packet communication systems. By using this transmission power control method, we developed a transmission power control method and a packet multiplexing method to transmit constant bit rate (CBR) and TCP packets over CDMA wireless systems. Our methods can guarantee the quality of service (QoS) for CBR connections and utilize bandwidth effectively without modifying the TCP protocol or using slot assignments. Evaluation of our methods by computer simulation showed that the proposed methods provide a near-maximum throughput and guarantee the packet loss ratio of CBR connections regardless of the number of connections.

In this paper, the analysis, design and experimental results of active array applicator are presented. The injection-locking technique is used to alter the magnitude of the microwave sources so that the steering of near fields can be achieved. This technique can be applied for microwave hyperthermia cancer treatment to provide the large uniform temperature distribution. The complexity of the system can be reduced by using this technique. The study shows that the temperature distribution can be controlled by varying the modulation index, modulating frequency and initial phase of modulating signal. The temperature distribution is also affected by applicator configuration, spacing between applicators, and heating time. The Spectral Domain approach is used to analyze the near field and then the near field data are used to find the temperature distribution by using the Finite Difference method. The study is carried out at frequency of 2,450 MHz. This design is useful for implementation of the low cost steerable applicator.

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.

In this paper, how the new service of non-authenticated multicasting can be implemented on the AWA system is described. The AP is forced to send IGMP packets periodically in order to keep transmitting IP multicast data grams. The program tables of the non-authenticated multicast are transmitted as IP multicast data to allow the all clients to receive the material. Furthermore, the list of program tables which shows the pairs of the ID of the AP and the IP address of the program table are used so that different APs can offer different program tables and programs. Experiments on non-authenticated multicasting were successfully conducted and we confirmed that the proposed service works well.