Many fatal accidents involving safety-critical reactive systems have occurred in unexpected situations, which were not considered during the design and test phases of system development. To prevent such accidents, reactive systems should be designed to respond appropriately to any request from an environment at any time. Verifying this property during the specification phase reduces the development costs of safety-critical reactive systems. This property of a specification is commonly known as realizability. The complexity of the realizability problem is 2EXPTIME-complete. We have introduced the concept of strong satisfiability, which is a necessary condition for realizability. Many practical unrealizable specifications are also strongly unsatisfiable. In this paper, we show that the complexity of the strong satisfiability problem is EXPSPACE-complete. This means that strong satisfiability offers the advantage of lower complexity for analysis, compared to realizability. Moreover, we show that the strong satisfiability problem remains EXPSPACE-complete even when only formulae with a temporal depth of at most 2 are allowed.

This paper presents the shadowing analysis of a body area network (BAN) diversity antenna based on the statistical measurements of the human walking motion. First, the dynamic characteristics of the arm-swing motion were measured using human subjects, and a statistical analysis was then carried out using the measured data to extract useful information for the analysis of a BAN diversity antenna. Second, the analytical results of the shadowing effects of the BAN antenna were shown based on the statistical data of the swing motion. The difference between the typical and the realistic arm-swinging models significantly affected the bit error rate (BER) characteristic of the BAN antenna. To eliminate the shadowing caused by the movement of the arms, a BAN diversity antenna was used. Particular emphasis was placed on the evaluation of the spatial separation of the diversity antennas to attain reduction of the signal-to-noise ratio (SNR) required to achieve a specific BER performance, considering the combined outcome of shadowing and multipath fading unique to BAN antenna systems. We determined that an antenna angle separation of greater than 80° is required to reduce the shadowing effects when the diversity antenna is mounted at the left waist in a symmetrical configuration. Further, an antenna angle separation of 120° is required when the diversity antenna is mounted in an asymmetric configuration.

An S-band GaN on Si based 1kW-class SSPA system for space wireless applications is proposed. Since high-efficiency and high-reliability amplifier is one of the most important technologies for power and communication systems in a future space base station on a planet, compact, high-power, and high-efficiency SSPA is strongly requested instead of TWTA. Thus, we adopt GaN on Si based amplifier due to its remarkable material properties. At the beginning, thermal vacuum and radiation test of GaN on Si are conducted so as to confirm the space applicability. Fabricated SSPA system consists of eight 200W HPAs and coaxial waveguide power combiner. It achieves high efficiency such as 57% of drain efficiency and 87% of combining efficiency when RF output power achieves more than 60dBm. Furthermore, long-term stable operation and good phase noise characteristics are also confirmed.

A two-dimensional negative refractive index material is proposed. The material has a bulky structure composed of dielectric prism cells with metal patterns. The material is expressed by an equivalent circuit. The propagation regions of two left-handed modes calculated from the equivalent circuit exist near the propagation regions obtained by electromagnetic simulation. It is confirmed by simulation that the incident plane wave goes into the material with low reflection by using the second left-handed mode and attaching metal conversion strips around the material. A negative refractive index slab lens with 15×9 cells is made to measure the field distribution of wave out of the lens. It is shown that the resolution of the slab lens exceeds the diffraction-limit.

A predictive compact model of p-MOSFET negative bias temperature instability (NBTI) degradation for circuit simulation is reported with unified description of the interface-state-generation and hole-trapping mechanisms. It is found that the hole-trapping is responsible for the initial stage of the stress degradation, and the interface-state generation dominates the degradation afterwards, especially under high stress conditions. The predictive compact model with 8 parameters enables to reproduce the measurement results of the NBTI degradation under a wide range of stress bias conditions. Finally, the developed NBTI model is implemented into the compact MOSFET model HiSIM for circuit degradation simiulation.

This paper analyzes the performance of a two-way relay network experiencing co-channel interference from multiple interferers due to aggressive frequency reuse in cellular networks. We discuss two different scenarios: Outages are declared individually for each user (individual outage) and an outage is declared simultaneously for all users (common outage). We derive the closed-form expressions for the individual and common outage probabilities of the two-way relay network with multiple interferers. The validity of our analytical results is verified by a comparison with simulation results. It is shown that the analytical results perfectly match the simulation results of the individual and common outage probabilities. Also, it is shown that the individual and common outage probabilities increase as the number of interferers increases.

A microwave mammography setup for clinical testing was developed and used to successfully carry out an initial clinical test. The equipment is based on multistatic ultra wideband (UWB) radar, which features a multistatic microwave imaging via space time (MS-MIST) algorithm for high resolution and a conformal array with an aspirator for fixing the breast in place. In this paper, an outline of the equipment, a numerical simulation, and clinical test results are presented.

Variable-rate linear network codes are investigated in this paper, which are referred to as linear network codes that can support a demanded range of transmission rates on a common netowrk. A new kind of linear network code, called as strict linear broadcast, is defined. Compared with general linear broadcast, it imposes more rigid constraints on the global encoding kernels, but does not require larger finite field size for construction. Then, an efficient scheme is proposed to construct variable-rate linear broadcasts based on the strict linear broadcast. Instead of construcing a fix-rate linear broadcast for each demanded transmission rate, this scheme implements variable-rate linear broadcasts with a single-rate strict linear broadcast. Every node in the network, including the source node, needs to store only one local encoding kernel. When transmission rate varies, the coding operations performed on every network node remain unchanged. Thus, small storage space and no kernel-swithching operations are required on any network code. Furthermore, by combining the strict linear broadcast with a special source-data packetization strategy, a hierarchical broadcast scheme is proposed. With this scheme, multi-rate service can be provided by a single-rate strict linear broadcast to heterogeneous receivers, even at variable transmission rate. Thus, the variable-rate linear broadcasts constructed in this paper are also applicable to the network with heterogeneous receivers.

A subarray signal processing scheme is described for a large-scale two-dimensional analog-digital hybrid beamformer to be used in quasi-millimeter-wave-band mobile communication systems. Multiple analog phased arrays direct their respective beams to multiple users, enabling space-division multiple access (SDMA). An iterative soft-input soft-output (SISO) multi-user detector recovers multi-user signals from subarray output signals corrupted by inter-user interference (IUI). In addition, a phased-array directivity control algorithm is derived based on inter-subarray signal phase-difference estimation from inter-beam-interference (IBI)-cancelled subarray output signals. Simulation results demonstrate that our proposed scheme achieves reduced hardware complexity, IUI-resistant multi-user signal detection, and IBI-resistant multi-user-tracking phased-array directivity control.

Folded dipole antenna with feed line (FDAFL) whose relative bandwidth is 65% (VSWR≤3) has been reported as a wideband planar antenna for a small terminal. However, this antenna is constructed outside of the ground plane (50×80mm2) by 12mm. In this study, we analyze the antenna configurations of FDAFL in 3D so that the antenna does not protrude from the ground plane as much as possible. Two different 3D antenna models derived from FDAFL are investigated. The first model is folded over the ground plane, and the second one is folded outside of the ground plane. The relative bandwidth, the VSWR characteristics and radiation patterns are studied. As a result, it is confirmed that antenna prominence could be reduced and broadband characteristics over 74% and 83% are obtained by the 3D models, respectively, which are wider than the bandwidth of conventional 2D model. Thus, FDAFL could be used in both 2D and 3D for a small terminal.

This letter deals with blind carrier frequency offset estimation by exploiting the minimum variance distortionless response (MVDR) criterion for interleaved uplink orthogonal frequency division multiple access (OFDMA). It has been shown that the complexity and estimation accuracy of MVDR strictly depend on the grid size used during the search. For the purpose of efficient estimation, we present an improved polynomial rooting estimator that is robust in low signal-to-noise ratio scenario. Simulation results are provided for illustrating the effectiveness of the proposed estimator.

In this letter, a fast transmit antenna selection algorithm is proposed for the spatial-temporal combining-based spatial multiplexing ultra-wideband systems on a log-normal multipath fading channel. The presented suboptimum algorithm selects the transmit antennas associated with the largest signal to noise ratio value computed by one QR decomposition operation of the full channel matrix spatially and temporally combined. It performs the iterative channel scaling operation about the channel matrix and singular value decomposition about the channel scaled matrix. It is shown that the proposed antenna selection algorithm leads to a substantial improvement in the error performance while keeping low-complexity, and obtains almost the same error performance as the exhaustive search-based optimal antenna selection algorithm.

Several broad bandwidth, electrically small, non-Foster element-augmented antennas have been designed, analyzed and measured. Both electric loop (protractor) and electric dipole (Egyptian axe) structures have been selected as the near-field resonant parasitic (NFRP) elements for these antenna designs. In order to increase their instantaneous 10dB bandwidth, negative impedance convertor (NIC)-based capacitor and inductor elements have been designed accordingly to be incorporated internally into those NFRP elements. Proper design and analysis procedures for these systems are introduced. The simulated performance characteristics of the resulting non-Foster element-augmented protractor and Egyptian axe dipole antennas are presented. Favorable comparisons with their experimentally measured values are demonstrated.

Phase-nonreciprocal ε-negative and CRLH metamaterials are analyzed using a new approach in which field analysis and transmission line model are combined. The examined one-dimensional nonreciprocal metamaterials are composed of a ferrite-embedded microstrip line periodically loaded with shunt stubs. In the present approach, the phase constant nonreciprocity is analytically estimated and formulated under the assumption of operating frequency far above the ferromagnetic resonant frequency. The present approach gives a good explanation to the phenomenon in terms of ferromagnetic properties of the ferrite and asymmetric geometry of the metamaterial structure, showing a good agreement with numerical simulations and experiment.

MIMO transmission technologies have become an essential component of cellular systems such as Long Term Evolution (LTE) and LTE-Advanced. Recently, evaluating the communication performance of mobile users in cellular MIMO systems has become an urgent requirement. In this paper, we propose dynamic MIMO channel modeling for the urban environment. Our proposal is based on Geometry-based Stochastic Channel Modeling (GSCM). The cluster parameters such as the local scatterer locations around the measurement course are estimated by applying the particle filtering to measured data. We carried out radio propagation measurements in an urban environment at 3.35GHz band, and generated the dynamic channel from the measured data. The experiments showed that both the spreads and auto-correlation of Time of Arrival (ToA), Angle of Arrival (AoA) and Angle of Departure (AoD) were reconstructed within the acceptable error range in our dynamic channel model.

To handle the variety of scene characters, we propose a cooperative multiple-hypothesis framework which consists of an image operator set module, an Optical Character Recognition (OCR) module and an integration module. Multiple image operators activated by multiple parameters probe suspected character regions. The OCR module is then applied to each suspected region and returns multiple candidates with weight values for future integration. Without the aid of the heuristic rules which impose constraints on segmentation area, aspect ratio, color consistency, text line orientations, etc., the integration module automatically prunes the redundant detection/recognition and pads the missing detection/recognition. The proposed framework bridges the gap between scene character detection and recognition, in the sense that a practical OCR engine is effectively leveraged for result refinement. In addition, the proposed method achieves the detection and recognition at the character level, which enables dealing with special scenarios such as single character, text along arbitrary orientations or text along curves. We perform experiments on the benchmark ICDAR 2011 Robust Reading Competition dataset which includes a text localization task and a word recognition task. The quantitative results demonstrate that multiple hypotheses outperform a single hypothesis, and be comparable with state-of-the-art methods in terms of recall, precision, F-measure, character recognition rate, total edit distance and word recognition rate. Moreover, two additional experiments are conducted to confirm the simplicity of parameter setting in this proposal.

For quantized control, one of the powerful approaches is to use a dynamic quantizer, which has internal memories for signal quantization, with a conventional controller in the feedback control loop. The design of dynamic quantizers has become a major topic, and a number of results have been derived so far. In this paper, we extend the authors' recent result on dynamic quantizers, and applied them to a more general class of nonlinear systems, called the nonaffine nonlinear systems. Based on the performance index representing the degradation caused by the signal quantization, we propose practical dynamic quantizers, which include the authors' former result as a special case. Moreover, we provide theoretical results on the performance and on the stability of the resulting quantized systems.

Vehicles' speed is one of the key factors in vehicle travel efficiency, as speed is related to vehicle travel time, travel safety, fuel consumption, and exhaust gas emissions (e.g., CO2 emissions). Therefore, to improve the travel efficiency, a recommended speed calculation scheme is proposed to assist driving in Vehicle Ad hoc networks (VANETs) circumstances. In the proposed scheme, vehicles' current speed and space headway are obtained by Vehicle-to-Roadside unit (V2R) communication and Vehicle-to-Vehicle (V2V) communication. Based on the vehicles' current speed and adjacent vehicles' space headway, a recommended speed is calculated by on-board units installed in the vehicles, and then this recommended speed is provided to drivers. The drivers can change their speed to the recommended speed. At the recommended speed, vehicle travel efficiency can be improved: vehicles can arrive at destinations in a shorter travel time with fewer stop times, lower fuel consumption, and less CO2 emission. In particular, when approaching intersections, vehicles can pass through the intersections with less red light waiting time and a higher non-stop passing rate.

This paper deals with the problem of underdetermined blind source separation (BSS) where the number of sources is unknown. We propose a BSS approach that simultaneously estimates the number of sources, separates the sources based on the sparseness of speech, estimates the direction of arrival of each source, and performs permutation alignment. We confirmed experimentally that reasonably good separation was obtained with the present method without specifying the number of sources.

This paper reviews two simple numerical algorithms particularly useful in Computational ElectroMagnetics (CEM): the Weighted Averages (WA) algorithm and the Double Exponential (DE) quadrature. After a short historical introduction and an elementary description of the mathematical procedures underlying both techniques, they are applied to the evaluation of Sommerfeld integrals, where WA and DE combine together to provide a numerical tool of unprecedented quality. It is also shown that both algorithms have a much wider range of applications. A generalization of the WA algorithm, able to cope with integrands including products of Bessel and similar oscillatory functions, is described. Similarly, the original DE algorithm is adapted with exceptional results to the evaluation of the multidimensional singular integrals arising in the discretization of Integral-Equation based CEM formulations. The new possibilities of WA and DE algorithms are demonstrated through several practical numerical examples.