Input/Output (I/O) automata and the Temporal Logic of Actions (TLA) are two well-known techniques for the specification and verification of concurrent systems. Over the past few years, they have been extended to the so-called dynamic I/O automata and, respectively, Mobile TLA (MTLA) in order to be more appropriate for mobile agent systems. Dynamic I/O automata is just a mathematical model, whereas MTLA is a logic with a formally defined language. In this paper, therefore, we investigate how MTLA could be used as a formal language for the specification of dynamic I/O automata. We do this by writing an MTLA specification of a travel agent system which has been specified semi-formally in the literature on that model. In this specification, we deal with always existing agents as well as with an initially unknown number of dynamically created agents, with mobile and non-mobile agents, with I/O-automata-style communication, and with the changing communication capabilities of mobile agents. We have previously written a TLA specification of this system. This paper shows that an MTLA specification of such a system can be more elegant and faithful to the dynamic I/O automata definition because the agent existence and location can be expressed directly by using agent and location names instead of special variables as in TLA. It also shows how the reuse of names for dynamically created and destroyed agents within the dynamic I/O automata framework can be specified in MTLA.

A direct short proof of Horiguchi's formula for error values in alternant codes is provided. Horiguchi's formula employs only output polynomials of Berlekamp-Massey algorithm, which has less computational complexity than extended Euclidean algorithm for decoding alternant codes. As an application of our proof, we provide an explicit formula for the generator and parity check matrices of alternant codes and their singly- and doubly-extended codes.

In this letter, we propose a two-bit representation method for turbo decoder extrinsic information based on bit error count minimization and parameter reset. We show that the performance of the proposed system approaches that of the full precision decoder within 0.17 dB and 0.48 dB at 1 % packet error rate for packet lengths of 500 and 10,000 information bits. The idea of parameter reset we introduce can be used not only in turbo decoder but also in many other iterative algorithms.

A rotary inverted pendulum is stabilized by a single first order dynamic output feedback system. Numerical simulations and experimental results show that the proposed control law has low-pass filter property as well as it can successfully replace the velocity measurements for LQR control law.

In this letter, we propose a novel frequency-domain equalizer (FDE) for single-carrier systems characterized by severe inter-symbol interference (ISI) channels; it consists of a linear FDE and an iterative block noise-predictor (IBNP). Unlike the FDE with time-domain noise predictor (FDE-NP), the proposed scheme allows the feedback equalizer being an uncausal filter, and performs the noise prediction in an iterative manner. For this reason, FDE-IBNP can remove both precursor and postcursor ISI, and alleviate the impact of error-propagation. Besides, our scheme has lower computational complexity than the present iterative block equalizers.

Electrical contacts are the most important parts of electrical circuits, and many reliability problems of the circuits are related to contact failure. The contact resistance is one of the important factors for assessing connector reliability, and thus the prediction of contact resistance is essential to designing electrical terminals. In this study, embossments, each 1 mm to 3 mm in radius, were brought into contact with flat planes to simulate the point of contact on a terminal, and the contact resistance was measured using a four-probe method under a load up to 40 N. Copper alloy samples, each plated with tin or silver and having an embossment of 1 mm to 3 mm in radius, were used and the visually clear indentations resulting from the embossment to plane contact were measured to determine their areas. Since the contact resistance is dependent on the contact area, an FEM analysis must be carried out to determine the contact areas correctly. In this paper, an elasto-plastic FEM analysis was performed taking the plating layers into account, and a method was established to make precise determination of the contact areas for different shapes of contacts and loads. The resultant contact areas were used to calculate the contact resistance, which showed a good agreement with experimental results. It was established that the load-resistance curves can be predicted on the basis of the shapes of the contacts as well as plating.

In this letter, we present an automatic approach of objective singing performance evaluation for untrained singers by relating acoustic measurements to perceptual ratings of singing voice quality. Several acoustic parameters and their combination features are investigated to find objective correspondences of the perceptual evaluation criteria. Experimental results show relative strong correlation between perceptual ratings and the combined features and the reliability of the proposed evaluation system is tested to be comparable to human judges.

In this paper, we focus on the adaptive resource allocation issue for uplink OFDMA systems. The resources are allocated according to a proportional fairness criterion, which can strike an alterable balance between fairness and efficiency. Optimization theory is used to analyze the multi-constraint resource allocation problem and some heuristic characteristics about the optimal solution are obtained. To deal with the cohesiveness of the necessary conditions, we resort to bargaining theory that has been deeply investigated in game theory. Firstly, we summarize some assumptions about bargaining theory and show their similarities with the resource allocation process. Then we propose a priority-ranked bargaining model, whose primary contribution is applying the economic thought to the resource allocation process. A priority-ranked bargaining algorithm (PRBA) is subsequently proposed to permit the base station to auction the subcarriers one by one according to the users' current priority. By adjusting the predefined rate ratio flexibly, PRBA can achieve different degrees of fairness among the users' capacity. Simulation results show that PRBA can achieve similar performance of the max-min scheme and the NBS scheme in the case of appropriate predefined rate ratio.

Adaptive polarization mode dispersion (PMD) compensation is required for the speed-up and advancement of the present optical communications. The combination of a tunable PMD compensator and its adaptive control method achieves adaptive PMD compensation. In this paper, we report an effective search control algorithm for the feedback control of the PMD compensator. The algorithm is based on the hill-climbing method. However, the step size changes randomly to prevent the convergence from being trapped at a local maximum or a flat, unlike the conventional hill-climbing method. The randomness depends on the Gaussian probability density functions. We conducted transmission simulations at 160 Gb/s and the results show that the proposed method provides more optimal compensator control than the conventional hill-climbing method.

This letter presents recursive frequency offset estimation for MIMO (Multiple Input Multiple Output) system in flat-fading channels. With the recursive estimation, the frequency offset range in MIMO system can be extended compared with normal estimation. Simulation results show that the recursive frequency offset estimation is valid for large frequency offset.

Ultrawide-band impulse radio (UWB-IR) technology and multiple-input multiple-output (MIMO) systems have attracted interest regarding their use in next-generation high-speed radio communication. We have studied the use of MIMO ultrawide-band (MIMO-UWB) systems to enable higher-speed radio communication. We used frequency-domain equalization based on the minimum mean square error criterion (MMSE-FDE) to reduce intersymbol interference (ISI) and co-channel interference (CCI) in MIMO-UWB systems. Because UWB systems are expected to be used for short-range wireless communication, MIMO-UWB systems will usually operate in line-of-sight (LOS) environments and direct waves will be received at the receiver side. Direct waves have high power and cause high correlations between antennas in such environments. Thus, it is thought that direct waves will adversely affect the performance of spatial filtering and equalization techniques used to enhance signal detection. To examine the feasibility of MIMO-UWB systems, we conducted MIMO-UWB system propagation measurements in LOS environments. From the measurements, we found that the arrival time of direct waves from different transmitting antennas depends on the MIMO configuration. Because we can obtain high power from the direct waves, direct wave reception is critical for maximizing transmission performance. In this paper, we present our measurement results, and propose a way to improve performance using a method of transmit (Tx) and receive (Rx) timing control. We evaluate the bit error rate (BER) performance for this form of timing control using measured channel data.

A quaternary sequence is constructed by Gray mapping of a binary sequence with even period and its shift. The autocorrelation of the new quaternary sequence is the same as that of the binary sequence employed. Quaternary sequences with the maximum autocorrelation 2 can be obtained by the construction for period N≡ 2 ( mod 4).

Time-Triggered Controller Area Network is widely accepted as a viable solution for real-time communication systems such as in-vehicle communications. However, although TTCAN has been designed to support both periodic and sporadic real-time messages, previous studies mostly focused on providing deterministic real-time guarantees for periodic messages while barely addressing the performance issue of sporadic messages. In this paper, we present an O(n2) scheduling algorithm that can minimize the maximum duration of exclusive windows occupied by periodic messages, thereby minimizing the worst-case scheduling delays experienced by sporadic messages.

We present a novel high-speed transmitter consisting of a frequency modulated DBR laser and optical filters. The refractive index modulation in the phase control region of the DBR laser allows high-speed frequency modulation. The generated frequency modulated signal is converted to an intensity modulated signal using the edge of the optical filter pass band. We present theoretical simulations of high-speed modulation characteristics and extension of transmission reach. With the proposed transmitter, we review the experimental demonstration of 180-km transmission of a 10-Gb/s signal with a tuning range of 27 nm and 60-km transmission of a 20-Gb/s signal.

Synchronization poses a major challenge in ultra wideband (UWB) systems due to low signal duty cycles in UWB. This study develops an effective synchronization scheme for frame-differential IR-UWB receivers to improve the synchronization speed. The proposed parallel search mechanism reduces the search region of the symbol boundaries to only a single frame duration. Moreover, only one delay element is needed in each branch, since a shared looped delay-line (SLD) is also proposed to lower the implementation complexity of the parallel search mechanism. Simulations and performance analysis show that the proposed scheme achieves a lower mean square error and a higher probability of detection than other alternatives.

A compact (13.38.05.6 mm) 40 Gbit/s 1.55-µm electroabsorption (EA) modulator monolithically integrated distributed feedback (DFB) laser diode (EML) [1] module integrated with a driver IC has been developed. Its compactness was realized by employing a broadband feed-through and a bias tee which were accurately designed by 3-dimensional (3D) electromagnetic simulation. It was confirmed that the simulation results of the frequency response and the actual measurement results are corresponding well. Clear eye opening of the 40 Gbit/s optical output waveform of the fabricated EML module was observed. Degradation was not observed even when the 40 Gbit/s electrical signal was launched into the module via the flexible printed circuit (FPC).

Optical buffer memory for 10-Gb/s data signal is demonstrated experimentally using a polarization bistable vertical-cavity surface-emitting laser (VCSEL). The optical buffer memory is based on an optical AND gate function and the polarization bistability of the VCSEL. Fast AND gate operation responsive to 50-ps-width optical pulses is achieved experimentally by increasing the detuning frequency between an injection light into the VCSEL and a lasing light from the VCSEL. A specified bit is extracted from the 10-Gb/s data signal by the fast AND gate operation and is stored as the polarization state of the VCSEL by the polarization bistability. The corresponding numerical simulations are also performed using two-mode rate equations taking into account the detuning frequency. The simulation results confirm the fast AND gate operation by increasing the detuning frequency as well as the experimental results.

A data stream is a series of massive unbounded tuples continuously generated at a rapid rate. Continuous queries for data streams should be processed continuously, so that a strict time constraint is required. In most previous research studies, in order to guarantee this constraint, the evaluation order of join predicates in a continuous query is optimized using a greedy strategy. However, because a greedy strategy traces only the first promising plan, it often finds a suboptimal plan. To reduce the possibility of producing a suboptimal plan, in this paper, we propose an improved scheme, k-Extended Greedy Algorithm (k-EGA), that simultaneously examines a set of promising plans and reoptimize an execution plan adaptively. The number of promising plans is flexibly controlled by a user-defined range variable. The scheme verifies the performance of the current plan periodically. If the plan is no longer efficient, a newly optimized plan is generated. The performance of the proposed scheme is verified through various experiments to identify its various characteristics.

We present recent progress of high-speed Mach-Zehnder modulator technologies for advanced modulation formats. Multi-level quadrature amplitude modulation signal can be synthesized by using parallel Mach-Zehnder modulators. We can generate complicated multi-level optical signals from binary data streams, where binary modulated signals are vectorially summed in optical circuits. Frequency response of each Mach-Zehnder interferometer is also very important to achieve high-speed signals. We can enhance the bandwidth of the response, with thin substrate. 87 Gbaud modulation was demonstrated with a dual-parallel Mach-Zehnder modulator.

The spike timings of neurons are irregular and are considered to be a one-dimensional point process. The Bayesian approach is generally used to estimate the time-dependent firing rate function from sequences of spike timings. It can also be used to estimate the firing rate from only a single sequence of spikes. However, the rate function has too many degrees of freedom in general, so approximation techniques are often used to carry out the Bayesian estimation. We applied the transfer matrix method, which efficiently computes the exact marginal distribution, to the estimation of the firing rate and developed an algorithm that enables the exact results to be obtained for the Bayesian framework. Using this estimation method, we investigated how the mismatch of the prior hyperparameter value affects the marginal distribution and the firing rate estimation.