We propose Concatenated Location Management (CLM), utilizing tendency for mobile terminals (MTs) to move as a group. When many MTs are on the same train, for example, they move together and share the same mobility characteristics. Therefore, we propose to concatenate the MTs and link them to the train for more efficient location management. CLM can reduce the number of location management signals because the train sends only one location registration signal on behalf of all of the individual MTs when a location registration area boundary is crossed. We discuss the key functions for CLM including location registration, paging, and location register configuration.

We investigated the suppression of multiuser interference in uplink multicarrier CDMA systems using the minimum mean squared error combining (MMSEC) method. In MMSEC, many pilot symbols are required to converge the weight vectors, and if we use just a few pilot symbols, the performance cannot be improved very much. We therefore developed a method for calculating weight vectors for MMSEC that uses just a few pilot symbols. The impulse responses of all users are first estimated using the pilot symbols in the time domain and modulated by a discrete Fourier transform. Next, the correlation matrices and correlation vectors are estimated from the impulse responses and the spreading codes of all users. Finally, the weight vectors that are obtained from the correlation matrices and correlation vectors are multiplied by the received signal to suppress the multiuser interference. The results of computer simulations indicated that the bit-error-ratio performance obtained using this method was better than that obtained when using the conventional fading compensation scheme or when using conventional MMSEC with the recursive least squares algorithm.

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.

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.

Patterned magnetic media are promising to be the next generation recording media for computer hard disk drives to go beyond the density of 100 Gb/in2. A micromagnetic simulation model is set up to study the magnetic property as well as the recording process in patterned media. The patterned medium studied in this paper is an array of pillar magnetic particles with a perpendicular anisotropy. A pole record head as well as a thin film head are utilized in the simulated recording process. The diameter of the magnetic pillars is chosen as 20 nm, the bit length takes the values of 30 nm, 40 nm and 50 nm, with respect to an ideal areal density of 258 Gb/in2, 459 Gb/in2 and 717 Gb/in2. The magnetic signal and noise recorded in a series of patterned media are analyzed at different recording densities with the two types of record heads.

Co-containing ferrite thin-film media deposited by a reactive-ECR-sputtering at a low substrate temperature of 150 degree Celsius were oxidized by ECR plasma. The magnetic properties and recording characteristics of the media were improved by the oxidation with maintaining a smooth surface. The media showed high D50 of 203 kFRPI in MIG head recording and reproduction. The Co-containing ferrite thin-film is feasible to be used as a protective overcoat layer.

Network-oriented car navigation systems (off-board navigation systems) have become a hot topic cause of the expanding car navigation and active wireless communication markets. This paper examines the map downloading architecture, which realizes practical off-board navigation systems. We focus on practical technologies for present low speed wireless communication networks, such as with a 9.6 kbps transfer speed. We propose a new off-board navigation architecture, which combines a cost-effective map downloading system and a guide information downloading system. The proposed architecture can reduce the download data size to within about 50-100 kbytes for destination setting and route guidance. It has about a 1-2 minutes response time and about a 30-60 yen communication cost for a PDC (Personal Digital Cellular) wireless communication network in Japan. We consider this communication cost has a potential for a commercial off-board navigation system.

In mobile computing environments, a problem may exist between loss recovery mechanisms employed by the TCP (transmission control protocol) and RLP (radio link protocol). It is because that local retransmissions performed by the RLP could interfere with the TCP end-to-end error recovery when there are long and correlated packet losses due to bursty channel errors. That is, a spurious timeout would occur at the transport layer. In this paper, a new method is proposed to effectively suppress the occurrence of TCP spurious timeouts. In this new method a small number of ACKs (acknowledgements) is buffered at the base station prior to the emergence of every bad state period in the wireless channel, and these ACKs are henceforth released by the base station one at a time to reset the TCP sender's retransmission timer. Comprehensive comparisons between the proposed method and a baseline method are conducted through simulations to show that the improvement in throughput performance can be as large as 22%.

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.

It is very important to accurately and effectively track the movement of each mobile terminal in the personal communications networks. Accordingly, various dynamic location update schemes reflecting the mobile terminal's moving pattern are proposed in the literature. Important schemes include time-based, movement-based, distance-based, and direction-based location update schemes. In this paper, we intend to improve the performance of the movement-based location update scheme which is simple to implement and shows good performance. The proposed location update scheme reflects each mobile terminal's movement characteristics and reduces the number of unnecessary location updates. The performance of the proposed scheme is evaluated and compared with the previously proposed movement-based location update scheme through simulation. The proposed location update scheme requires three memory elements to maintain the movement history in the mobile terminal. The simulation results show that the location management cost is significantly reduced especially for the case with small call-to-mobility ratio by minimizing the unnecessary location updates intrinsic in the movement-based location update scheme.

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.

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.

In this paper, we present a new soft-decision iterative decoding algorithm using an efficient minimum distance search (MDS) algorithm. The proposed MDS algorithm is a top-down and recursive MDS algorithm, which finds a most likely codeword among the codewords at the minimum distance of the code from a given codeword. A search is made in each divided section by a "call by need" from the upper section. As a consequence, the search space and computational complexity are reduced significantly. The simulation results show that the proposed decoding algorithm achieves near error performance to the maximum likelihood decoding for any RM code of length 128 and suboptimal for the (256, 37), (256, 93) and (256, 163) RM codes.

This paper deals with a mathematical formulation of the scattering from a periodic surface with finite extent. In a previous paper the scattered wave was shown to be represented by an extended Floquet form by use of the periodic nature of the surface. This paper gives a new interpretation of the extended Floquet form, which is understood as a sum of diffraction beams with diffraction orders. Then, the power flow of each diffraction beam and the relative power of diffraction are introduced. Next, on the basis of a physical assumption such that the wave scattering takes place only from the corrugated part of the surface, the amplitude functions are represented by the sampling theorem with unknown sample sequence. From the Dirichlet boundary condition, an equation for the sample sequence is derived and solved numerically to calculate the scattering cross section and optical theorem. Discussions are given on a hypothesis such that the relative power of diffracted beam becomes almost independent of the width of surface corrugation.

A simplified model is set up to study the high frequency response in a thin film head, where two pieces of Fe-Al-N films are placed parallel to each other with opposite alternating external magnetic field applied. In this model, the frequency response of magnetic clusters is calculated by a micromagnetic model based on the Landau-Lifshitz-Gilbert equations, and the initial permeability of mesoscopic Fe-Al-N thin films is analyzed in a wide frequency region from 10 to 5000 MHz. The model of a soft magnetic thin film is built up on the ripple structure of the anisotropy field of magnetic clusters. The magnetization interaction between the two Fe-Al-N films is carefully computed to find its effect on the frequency response. The frequency response in a single mesoscopic Fe-Al-N thin film is carefully studied in advance.

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.

In this paper, a multi-coded variable spreading gain (MC-VSG) CDMA system employing a binary transmission of MC signals by introducing a level clipper, termed MC-VSG BNet system, is proposed for a possible candidate of wireless personal area network (WPAN) and 3 G cellular applications. With an emphasis on the MC-VSG BNet physical layer and the system performance, we address the concise specification of the MC-VSG BNet system including the spreading code, level clipping, modulation, coding, and frame format. Especially, we focus on the level clipping of multi-level MC signals for both power- and cost-efficient implementation and the VSG code design fir high-rate transmissions. From the receiver performance based on simulation results, in addition to simple receiver structure, an acceptable performance degradation of the MC-VSG BNet system over the existing DS/CDMA system is observed, while guaranteeing an high bit rate transmission.

When solving combinatorial optimization problems with a binary Hopfield-type neural network, the updating process in neural network is an important step in achieving a solution. In this letter, we propose a new updating procedure in binary Hopfield-type neural network for efficiently solving combinatorial optimization problems. In the new updating procedure, once the neuron is in excitatory state, then its input potential is in positive saturation where the input potential can only be reduced but cannot be increased, and once the neuron is in inhibitory state, then its input potential is in negative saturation where the input potential can only be increased but cannot be reduced. The new updating procedure is evaluated and compared with the original procedure and other improved methods through simulations based on N-Queens problem. The results show that the new updating procedure improves the searching capability of neural networks with shorter computation time. Particularly, the simulation results show that the performance of proposed method surpasses the exiting methods for N-queens problem in synchronous parallel computation model.

Space-time turbo codes have both advantages of space-time codes and turbo codes, and the space-time turbo code proposed by Su and Geraniotis is known to achieve full coding rate and full antenna diversity. This paper presents some improvements of their space-time turbo code in a two-antenna configuration. We first propose a new condition for full antenna diversity which imposes less constraints on the interleaver. Next, by applying a method used to improve turbo trellis-coded modulation to the space-time turbo code, we propose a new decoding algorithm which utilizes more precise estimates on extrinsic information. Simulation results show that the proposed condition assures full antenna diversity and the new decoding algorithm provides a better performance than that of Su and Geraniotis'.

This paper addresses the single channel speech enhancement method which utilizes the mean value and variance of the logarithmic noise power spectra. An important issue for single channel speech enhancement algorithm is to determine the trade-off point for the spectral distortion and residual noise. Thus the accurate discrimination between speech spectral and noise components is required. The conventional methods determine the trade-off point using parameters obtained experimentally. As a result spectral discrimination is not adequate. And the enhanced speech is deteriorated by spectral distortion or residual noise. Therefore, a criteria to determine the point is necessary. The proposed method determines the trade-off point of spectral distortion and residual noise level by discrimination between speech spectral and noise components based on statistical criteria. The spectral discrimination is performed using hypothesis testing that utilizes means and variances of the logarithmic power spectra. The discriminated spectral components are divided into speech-dominant spectral components and noise-dominant ones. For the speech-dominant ones, spectral subtraction is performed to minimize the spectral distortion. For the noise-dominant ones, attenuation is performed to reduce the noise level. The performance of the method is confirmed in terms of waveform, spectrogram, noise reduction level and speech recognition task. As a result, the noise reduction level and speech recognition rate are improved so that the method reduces the musical noise effectively and improves the enhanced speech quality.