An analytical framework to study the nonuniformity in geographical distribution of the traffic load in low earth orbit satellite communication systems is presented. The model is then used to evaluate the throughput performance of the system with direct-sequence packet spread-slotted ALOHA multiple-access technique. As the result, it is shown that nonuniformity in traffic makes the characteristics of the system significantly different from the results of uniform traffic case and that the performance of each user varies according to its location. Moreover, the interference reached from users of adjacent satellites is shown to be one of the main factors that limit the performance of system.

CAMs (Content Addressable Memories) are functional memories which have functions such as word-parallel equivalence search, bilateral 1-bit data shifting between consecutive words, and word-parallel writing. Since CAMs can be integrated because of their regular structure, massively parallel CAM functions can be executed. Taking advantage of CAMs, Ishiura and Yajima have proposed a parallel fault simulation algorithm using a CAM. This algorithm, however, requires a large amount of CAM storage to simulate large-scale circuits. In this paper, we propose a new massively parallel fault simulation algorithm requiring less CAM storage, and compare it with Ishiura and Yajima's algorithm. Experimental results of the algorithm on CHARGE --the CAM-based hardware engine developed in our laboratory--are also reported.

This paper presents a technique for disparity selection in the context of binocular pursuit. For vergence control in binocular pursuit, it is a crucial problem to find the disparity which corresponds to the target among multiple disparities generally observed in a scene. To solve the problem of the selection, we propose an approach based on histogramming the disparities obtained in the scene. Here we use an extended phase-based disparity estimation algorithm. The idea is to slice the scene using the disparity histogram so that only the target remains. The slice is chosen around a peak in the histogram using prediction of the target disparity and target location obtained by back projection. The tracking of the peak enables robustness against other, possibly dominant, objects in the scene. The approach is investigated through experiments and shown to work appropriately.

In circuit partitioning for FPGAs, partitioned signal nets are connected using I/O blocks, through which signals are coming from or going to external pins. However, the number of I/O blocks per chip is relatively small compared with the number of logic-blocks, which realize logic functions, accommodated in the FPGA chip. Because of the I/O block limitation, the size of a circuit implemented on each FPGA chip is usually small, which leads to a serious decrease of logic-block utilization. It is required to utilize unused logic-blocks in terms of reducing the number of I/O blocks and realize circuits on given FPGA chips. In this paper, we propose an algorithm which partitions an initial circuit into multi-FPGA chips. The algorithm is based on recursive bi-partitioning of a circuit. In each bi-partitioning, it searches a partitioning position of a circuit such that each of partitioned subcircuits is accommodated in each FPGA chip with making the number of signal nets between chips as small as possible. Such bi-partitioning is achieved by computing a minimum cut repeatedly applying a network flow technique, and replicating logic-blocks appropriately. Since a set of logic-blocks assigned to each chip is computed separately, logic-blocks to be replicated are naturally determined. This means that the algorithm makes good use of unused logic-blocks from the viewpoint of reducing the number of signal nets between chips, i.e. the number of required I/O blocks. The algorithm has been implemented and applied to MCNC PARTITIONING 93 benchmark circuits. The experimental results demonstrate that it decreases the maximum number of I/O blocks per chip by a maximum of 49% compared with conventional algorithms.

A soft magnetic force microscope (MFM) tip was used to evaluate the magnetic recording characteristics of compositionally separated Co-Cr perpendicular media. Small magnetic bits were recorded on thick (350 nm). and thin (100 nm) films, focusing on the fineness of compositionally separated microstructures. MFM images showed bit marks 230 and 150 nm in diameter, measured at full-width at half maximum (FWHM) for the thick and thin films, respectively. These results verify that the recordable bit size can be decreased by using a thinner film with a finer compositionally separated microstructure. Simulation was used to clarify the relationship between the actual sizes of the recorded bits and the sizes of their MFM images. The recorded bit size was found to closely correspond to the FWHM of the MFM bit images.

Currently, many efforts are underway to design wideband mobile communication system. The system is one of alternative of Future Public Land Mobile Telecommunication Systems (FPLMTS). In this paper, we clarify received signal level characteristics for wideband mobile radio channels in line-of-sight (LOS) microcells. The results from urban-area field experiments, where received signal levels for various receiver bandwidths and power delay profiles were measured, show that the depth of fading of the-received signal decreases as normalized RMS delay spread, defined as the product of receiver bandwidth and RMS delay spread, increases. These results are useful in designing wideband microcell systems for urban areas.

In this paper, a pushdown automaton, with an infinite set of states as a partially ordered set (poset), is formulated, and its control problem of whether a given configuration can be transferred to another is discussed. For the controllability to be decidable, we take a condition the poset satisfies, that is, a condition that there are only finite number of states under the partial ordering between two given states. The control problem is decidable in polynomial time on condition the length of each pushed stack string is bounded by a constant in a given pushdown automaton. The motivation of considering the control problem comes up from the stack structure in implementing the SLD resolution deductions, in which the leftmost atom in each goal is selected and unified with some procedure name (that is, some head) of a definite clause, with the effect of the procedure name being replaced by the procedure bodies and unifications. Thus, the control problem is applied to describe the SLD resolution deductions of finite steps, by constructing a pushdown automaton model for a set of definite clauses, in which leftmost selection of atom in each goal forms a stack structure and substitutions affecting goals are interpreted as states. When constructing a pushdown automaton model for an SLD resolution deduction, algebraic properties of the idempotent substitution set, which are used in unifications, are examined and utilized. The quotient set of the idempotent substitution set per renamings is adopted to present the automaton model.

This paper proposed a practical method of program validation for state-based reactive concurrent systems. The proposed method is of particular relevance to plant control systems. Plant control systems can be represented by extended state transition systems (e.g., communicating asynchronous transition systems). Our validation method is based on state space analysis. Since naive state space analysis causes the state explosion problem, techniques to ease state explosion are necessary. One of the most promising techniques is the partial order method. However, these techniques usually require some structural assumptions and they are not always effective for actual control systems. Therefore, we claim integration and harmonization of verification (i.e., state space analysis based on the partial order method) and simulation (i.e., conventional validation technique). In the proposed method, verification is modeled as exhaustive simulation over the state space, and two types of simulation management techniques are introduced. One is logical selection (pruning) based on the partial order method. The other is heuristic selection based on priority (a priori precedence) specified by the user. In order to harmonize verification (logical selection) and conventional simulation (heuristic selection), we propose a new logical selection mechanism (the default priority method). The default priority method which prunes redundant state generation based on default priority is in harmony with heuristic selection based on the user's priority. We have implemented a practical validation tool, Simulation And Verification Environment for Reactive Concurrent Systems (SAVE/RCS), and applied it to chemical plant control systems.

In this paper, we analyze the convergence behavior of the CMA (Constant Modulus Algorithm) adaptive array working under the steepest decent method, and investigate how to achieve the highest possible output SINR (Signal to Interference plus Noise Ratio). In multipath radio environments, CMA sometimes suppresses the desired signal (stronger one) and selects to receive the interference (the weaker one) resulting in the low output SINR. This is one of the problems met in an optimization system under a nonlinear control equation where there are two or more local minima of the cost function and the final state depends on the initial condition. The study can be done only numerically by starting from various initial values. In our analysis of the CMA adaptive array in multipath radio environments, we will assume that there are two waves which are radiated from the same source and try to find out what conditions may affect the convergence behavior. In this process, we discover the effect of the neglected factor by the previous papers and revise the initial condition to guarantee the reception of the desirable wave. In conclusion, we propose the prescription of the initial weights of the array elements as well as the choice of preferable arrays.

A 2-switch node network is one of the most fundamental structure among communication nets such as telephone networks and local area networks etc. In this letter, we prove that a problem of designing a 2-switch node network satisfying capacity conditions of switch nodes and their link, which we call 2-switch node network problem, is NP-complete.

In this paper, we describe a distributed paged-object server to efficiently support the storage management for new generation database management systems. This storage server is based on distributed client/server architecture, and allows clients to directly map database files onto distributed shared virtual memory (DSVM). In this architecture, there is a server at each site and the server only supports the clients in the same site. This improves performance utilizing client machine resources and offloading the shared resourcer server machine and the network. Therefore, this architecture may avoid drawbacks such as bottleneck in a traditional centralized client/server architecture, and also may reduces network traffic and improve performance efficiency of remote file access using Net File System (NFS). Moreover, this architecture allows distributed shared objects to reside and execute anywhere and to be used by any clients on the network. A prototype system (called WAKASHI/D) is implemented under the Mach operating system. The distributed, shared, and transactional virtual memory that the system supports is either volatile or persistent and they can be accessed by user applications in a uniform way. This paper also presents a performance evaluation and analysis of WAKASHI/D to compare its centralized version WAKASHI/C and demonstrates that the distributed server has substantial performance benefits.

Ba ferrite films were deposited epitaxially on ZnO underlayer from targets with composition of BaO-6.5Fe2O3 at substrate temperature of 600 using the facing targets sputtering apparatus. The gas mixture of Ar and Xe of 0.18 Pa and O2 of 0.02 Pa was used as the sputtering gas and the dependences of crystallographic and magnetic characteristics on the partial Xe pressure PXe(0.0-0.18 Pa) were investigated. Films deposited at various PXe were composed of BaM ferrite and spinel crystallites, and the minimum centerline average roughness Ra of 8.3 nm was obtained at PXe of 0.10 Pa. Since saturation 4πMs of 5.1 kG and perpendicular anisotropy constant Ku1 of 4.23105 Jm-3 were larger than those of bulk BaM ferrite of 4.8 kG and 3.30105 Jm-3, respectively, these films appeared promising for use as perpendicular recording media.

The technique for estimating the parameters of multiple waves provides a convenient tool for analysis of multiple wave-fields and eventually for actual applications to mobile communications. Several algorithms have been proposed for those purposes. However, the best tactics to resolve multiple wave-fields are still imperfectly understood at present. This paper proposes a new method for estimating the angles and power levels of arrival waves based on the extended Kalman filter. A space-variable model which we call a spatial state equation is derived using array element locations and incident angles. It has been shown that by means of the model, the estimation of incident waves can be transformed into the problem of parameter identification in linear system which can be carried out by the extended Kalman filter conveniently. The algorithm is initiated directly by the signal received at each array element. The detailed procedure of an extended Kalman filter approach is given in the paper. The performance of the proposed approach is examined by a simulation study with two signals model. The simulation results show a good estimate performance, even in the case that two waves arrive from close directions.

A particulate recording medium with an ultrathin magnetic layer is presented in this paper. This medium consists of a magnetic layer and a nonmagnetic underlayer composed of very fine titanium dioxide powder. When metal powder was employed, we observed the anticipated advantages of decreasing the thickness of the magnetic layer in tapes and diskettes. By reducing the layer thickness to below 0.3 µm we were able to increase the reproduced output at short wavelengths, and improve both the overwrite erasability and the D50. There was also a decrease in the half peak width of an isolated pulse and a peak shift. Tribological advantages were also observed with this medium. When barium ferrite was employed as the magnetic powder, we observed that the modulation noise of thin-layer barium ferrite medium was less than that of a thinlayer MP medium while it generated an output as high as that of the MP medium. The advantages of the barium ferrite medium lie in its two-layer construction. Particulate media will continue to develop as magnetic powder is improved mainly in terms of its size, saturation magnetization, and coercivity.

The MUSIC algorithm has proven to be an effective means of estimating parameters of multiple incoherent signals. Furthermore, the forward-backward (FB) spatial smoothing technique has been considered the best preprocessing method to decorrelate coherent signals. In this paper, we propose a novel preprocessing technique based upon ideas associated with the FB and adaptive spatial smoothing techniques and report on its superiority in numerical simulations.

This paper proposes and investigates a tap selectable Viterbi equalizer for mobile radio communications. When the multipath channel is modeled by a tapped delay line only, the taps which may seriously affect the data sequence estimation are selected and used to calculate the trellis metric in the Viterbi algorithm. The proposed equalization algorithm can reduce the number of path metric calculations and the number of path selections in the Viterbi algorithm. Moreover, we propose an extended equalizer which has antenna diversity. This equalizer calculates the path metric using the antenna outputs and results of channel estimators. Computer simulation is used to evaluate the BER performance of the proposed equalizer in a multipath radio channel.

This paper addresses approaches to enhancement of performance of the CMA (Constant Modulus Algorithm) adaptive array antenna in multipath environments that characterize the mobile radio communications. The cost function of the CMA reveals that it has an AGC (Automatic Gain Control) procedure of holding the array output voltage at a constant value. Therefore, if the output voltage by the initial weights is different from the object value, then the CMA may suffer from slow convergence because suppression of the multipath waves is delayed by the AGC behavior. Our objective is to improve the convergence characteristics by adopting the differential CMA for the adaptive array algorithm. First, the basic performance of the differential CMA is clarified via computer simulation. Next, the differential CMA is incorporated into the eigen-beamspace system in which the eigenvectors of the correlation matrix of array inputs are used in the BFN (Beam Forming Network). This BFN creates the optimum orthogonal multibeams for radio environments and works helpfully as a preprocessor of the differential CMA. The computer simulation results have demonstrated that the differential CMA with the eigen-beamspace system has much better convergence characteristics than the conventional CMA with the element space system. Furthermore, a modified algorithm is introduced which gives the stable array output voltages after convergence, and it is confirmed that the algorithm can carry out more successful adaptation even if the radio environments are changed abruptly.

When signal subspace techniques, such as MuSIC, are used to locate a number of incident signals, an exhaustive search of the array manifold has to be carried out. This search involves the evaluation of a single cost function at a number of points which form a grid, resulting in quantization-error effects. In this paper a new algorithm is put forward to overcome the quantization problem. The algorithm uses a number of cost functions, and stages, equal to the number of incident signals. At each stage a new cost function is evaluated in a small number of "special" directions, known as characteristic points. For an N-element array the characteristic points, which can be pre-calculated from the array manifold curvatures, partition the array manifold into N-1 regions. By using a simple gradient algorithm, only a small area of one of these regions is searched at each stage, demonstrating the potential benefits of the proposed approach.

This paper proposes a distributed built-in self-test (BIST) technique and its test design platform for VLSIs. This BIST has lower hardware overhead pattern generators, compressors and controller. The platform cuts down on the number of complicated operations needed for the BIST insertion and evaluation, so the BIST implementation turn-around-time (TAT) is dramatically reduced. Experimental results for the 110 k-gate arithmetic execution blocks of an image-processing LSI show that using this BIST structure and platform enables the entire BIST implementation within five days. The implemented BIST has a 1% hardware overhead and 96% fault coverage. This platform will significantly reduce testing costs for time-to-market and mass-produced LSIs.

This paper discusses the reliability of the Modified EBU method compared with the EBU and DSCQS methods where the small and different levels of impairments exist in the coded HDTV sequences. The subjective evaluation tests are carried out in the full and limited impairment ranges. And it is shown that the Modified EBU method is most reliable for both ranges.