Won-young CHUNG Ha-young JEONG Won Woo RO Yong-surk LEE
In this paper, we propose a novel low-cost Message Passing Interface (MPI) unit between processor nodes, which supports message passing in multiprocessor systems using distributed memory architecture. Our MPI unit operates in the standard mode – using the buffered mode for small amounts of data transaction and the synchronous mode for large amounts of data transaction. This results in increased performance by reducing the control message transmission time for the small amount of data. We verified the performance with a simulator designed based on SystemC. Additionally, we designed the MPI unit using VerilogHDL, and we synthesized it with a synopsys design compiler. The proposed standard mode MPI unit shows a high performance even though the size of the MPI unit occupies less than 1% of the whole chip. Thus, with respect to low-cost design and scalability, this MPI hardware unit is useful to increase overall performance of the embedded Multiprocessor System on a Chip (MPSoC).
This paper studies the design of Cascade Granular Neural Networks (CGNN) for human-centric systems. In contrast to typical rule-based systems encountered in fuzzy modeling, the proposed method consists of two-phase development for CGNN. First, we construct a Granular Neural Network (GNN) which could be treated as a preliminary design. Next, all modeling discrepancies are compensated by a second GNN with a collection of rules that become attached to the regions of the input space where the error is localized. These granular networks are constructed by building a collection of user-centric information granules through Context-based Fuzzy c-Means (CFCM) clustering. Finally, the experimental results on two examples reveal that the proposed approach shows good performance in comparison with the previous works.
Joon-Young CHOI Kyungmo KOO Jin Soo LEE
We address the stability property of the FAST TCP congestion control algorithm. Based on a continuous-time dynamic model of the FAST TCP network, we establish that FAST TCP in itself is globally exponentially stable without any specific conditions on the congestion control parameter or the update gain. Simulation results demonstrate the validity of the global exponential stability of FAST TCP.
The development of the electricity market enables us to provide electricity of varied quality and price in order to fulfill power consumers' needs. Such customers choices should influence the process of adjusting power generation and spinning reserve, and, as a result, change the structure of a unit commitment optimization problem (UCP). To build a unit commitment model that considers customer choices, we employ fuzzy variables in this study to better characterize customer requirements and forecasted future power loads. To measure system reliability and determine the schedule of real power generation and spinning reserve, fuzzy Value-at-Risk (VaR) is utilized in building the model, which evaluates the peak values of power demands under given confidence levels. Based on the information obtained using fuzzy VaR, we proposed a heuristic algorithm called local convergence-averse binary particle swarm optimization (LCA-PSO) to solve the UCP. The proposed model and algorithm are used to analyze several test systems. Comparisons between the proposed algorithm and the conventional approaches show that the LCA-PSO performs better in finding the optimal solutions.
Byoung-Soon JANG Taehyoun KIM Chu-Shik JHON Hyo-Joong SUH
We achieve concurrent access to WiFi and WiMAX networks on a mobile terminal equipped with a common RF subsystem by providing time-interleaved RF access control schemes to both of the MAC layers. We propose cooperative and competitive sharing schemes, neither of which requires any modification to other network components. We implement our schemes on a WiFi/WiMAX dual-mode SoC platform. Experimental results show that these schemes work and have affordable overheads.
In this paper, a frequency domain adaptive antenna array (FDAAA) algorithm is proposed for broadband single-carrier uplink transmissions in a cellular system. By employing AAA weight control in the frequency domain, the FDAAA receiver is able to suppress the multi-user interference (MUI) and the co-channel interference (CCI). In addition, the channel frequency selectivity can be exploited to suppress the inter-symbol interference (ISI) and to obtain frequency diversity (or the multi-path diversity). Another advantage of the FDAAA algorithm is that its performance is not affected by the spread of angles of arrival (AOA) of the received multi-path signal. In this study the structure of FDAAA receiver is discussed and the frequency domain signal-to-interference-plus-noise-ratio (SINR) after weight control is investigated. The performance of the FDAAA algorithm is confirmed by simulation results. It is shown that, the optimal FDAAA weight to obtain the best BER performance is that which fully cancels the interference when single-cell system is considered; On the other hand, when multi-cell cellular system is considered, the optimal FDAAA weight depends on both the cellular structure and the target signal to noise ratio (SNR) of transmit power control (TPC).
Luis INOSTROZA CUEVA Masao MUROTA
This paper provides conceptual and experimental analysis of a new approach in the study of kanji, our “Learner's Visualization (LV) Approach”. In a previous study we found that the LV Approach assists beginning learners in significantly updating their personal kanji deconstruction visualization. Additionally, in another study our findings provided evidence that beginning learners also receive a significant impact in the ability to acquire vocabulary. In this study, our research problem examines how beginning and intermediate students use visualization to cognitively deconstruct (divide) kanji in different ways, and how this affects their learning progress. We analyze the cognitive differences in how kanji learners explore and deconstruct novel kanji while using the LV Approach and how these differences affect their learning process while using the LV Approach. During the learning experience, our LILES System (Learner's Introspective Latent Envisionment System), based on the LV Approach, guides learners to choose from a set of possible “kanji deconstruction layouts” (layouts showing different ways in which a given kanji can be divided). The system then assists learners in updating their “kanji deconstruction level” (the average number of parts they visualize within kanji according to their current abilities). Statistical analysis based on achieved performance was conducted. The analysis of our results proves that there are cognitive differences: beginners deconstruct kanji into more parts (“blocks”) than intermediate learners do, and while both improve their kanji deconstruction scores, there is a more significant change in “kanji deconstruction level” in beginners. However, it was also found that intermediate learners benefit more in “kanji retention score” compared with beginners. Suggestions for further research are provided.
In optical packet switches, the overhead of reconfiguring a switch fabric is not negligible with respect to the packet transmission time and can adversely affect switch performance. The overhead increases the average waiting time of packets and worsens throughput performance. Therefore, scheduling packets requires additional considerations on the reconfiguration frequency. This work intends to analytically find the optimal reconfiguration frequency that minimizes the average waiting time of packets. It proposes an analytical model to facilitate our analysis on reconfiguration optimization for input-buffered optical packet switches with the reconfiguration overhead. The analytical model is based on a Markovian analysis and is used to study the effects of various network parameters on the average waiting time of packets. Of particular interest is the derivation of closed-form equations that quantify the effects of the reconfiguration frequency on the average waiting time of packets. Quantitative examples are given to show that properly balancing the reconfiguration frequency can significantly reduce the average waiting time of packets. In the case of heavy traffic, the basic round-robin scheduling scheme with the optimal reconfiguration frequency can achieve as much as 30% reduction in the average waiting time of packets, when compared with the basic round-robin scheduling scheme with a fixed reconfiguration frequency.
Daisuke KAMISAKA Shigeki MURAMATSU Takeshi IWAMOTO Hiroyuki YOKOYAMA
Pedestrian dead reckoning (PDR) based on human gait locomotion is a promising solution for indoor location services, which independently determine the relative position of the user using multiple sensors. Most existing PDR methods assume that all sensors are mounted in a fixed position on the user's body while walking. However, it is inconvenient for a user to mount his/her mobile phone or additional sensor modules in a specific position on his/her body such as the torso. In this paper, we propose a new PDR method and a prototype system suitable for indoor navigation systems on a mobile phone. Our method determines the user's relative position even if the sensors' orientation relative to the user is not given and changes from moment to moment. Therefore, the user does not have to mount the mobile phone containing sensors on the body and can carry it in a natural way while walking, e.g., while swinging the arms. Detailed algorithms, implementation and experimental evaluation results are presented.
This letter is devoted to derivation of a transformation law which converts a class of nonlinear affine control systems with n-states and 2-iputs into simpler systems with chained structure. First, we give a problem formulation that we consider throughout this letter. We next introduce a transformation law and gives its mathematical certification. Then, we apply the transformation method to an example and consider control design based on chained structure for the example in order to confirm the effectiveness of our approach.
It is well known that the problem to solve a set of randomly chosen multivariate quadratic equations over a finite field is NP-hard. However, when the number of variables is much larger than the number of equations, it is not necessarily difficult to solve equations. In fact, when n ≥ m(m+1) (n,m are the numbers of variables and equations respectively) and the field is of even characteristic, there is an algorithm to find one of solutions of equations in polynomial time (see [Kipnis et al., Eurocrypt '99] and also [Courtois et al., PKC '02]). In the present paper, we propose two new algorithms to find one of solutions of quadratic equations; one is for the case of n ≥ (about) m2-2m 3/2+2m and the other is for the case of n ≥ m(m+1)/2+1. The first one finds one of solutions of equations over any finite field in polynomial time, and the second does with O(2m) or O(3m) operations. As an application, we also propose an attack to UOV with the parameters given in 2003.
In this paper, we propose a simple but effective way of improving the performance of channel estimation (CE) for pilot cyclic prefixed single carrier (PCP-SC) system. The proposed method utilizes the property that the shifting signal of the PCP pilot signal can also be utilized to estimate the channel information. The receiver can continuously estimate the channel information by just shifting the received pilot signal. Regardless of the signal-to-noise ratio (SNR) and the pilot type, the proposed method can achieve about a 1.72 dB performance gain in terms of the mean squared error (MSE) of channel estimation with a slight increase in computational complexity. The BER performance with the proposed CE improvement are evaluated in a multipath fading channel using a zero-forcing (ZF) equalizer and an minmum mean squared error (MMSE) equalizer by computer simulation. It is shown that the proposed CE improvment method using an MMSE equalizer which has an unbiased vlaue of noise variance (NV) estimator gives a promising BER performance. The proposed method also benefits the estimation of the SNR for the single carrier system.
The Krivine-style evaluation mechanism is well-known in the implementation of higher-order functions, allowing to avoid some useless closure building. There have been a few type systems that can verify the safety of the mechanism. The incorporation of the proposed ideas into an existing compiler, however, would require significant changes in the type system of the compiler due to the use of some dedicated form of types and typing rules in the proposals. This limitation motivates us to propose an alternative light-weight Krivine typing mechanism that does not need to extend any existing type system significantly. This paper shows how GADTs (Generalized algebraic data types) can be used for typing a ZINC machine following the Krivine-style evaluation mechanism. This idea is new as far as we know. Some existing typed compilers like GHC (Glasgow Haskell compiler) already support GADTs; they can benefit from the Krivine-style evaluation mechanism in the operational semantics with no particular extension in their type systems for the safety. We show the GHC type checker allows to prove mechanically that ZINC instructions are well-typed, which highlights the effectiveness of GADTs.
A new compact form of the sliding window recursive least squares (SWRLS) algorithm, the I-SWRLS algorithm, is derived using an indefinite matrix. The resultant algorithm has a form similar to that of the traditional recursive least squares (RLS) algorithm, and is more computationally efficient than the conventional SWRLS algorithm including two Riccati equations. Furthermore, a computationally reduced version of the I-SWRLS algorithm is developed utilizing a shift property of the correlation matrix of input data. The resulting fast algorithm reduces the computational complexity from O(N2) to O(N) per iteration when the filter length (tap number) is N, but retains the same tracking performance as the original algorithm. This fast algorithm is much easier to implement than the existing SWC FTF algorithms.
Yoshinori SUZUKI Kiyoshi KOBAYASHI
This paper presents a novel electrical polarization forming antenna for mobile satellite communication systems using linear polarization. To electrically form the desired polarization, it is necessary to excite the two orthogonal polarization antenna planes with appropriate weights. The proposed antenna uses digitally-based polarization and calibration functions to characterize the two RF paths. The calibration techniques used are critical to accurately forming the desired polarization. Proposed calibration techniques are very simple; the feedback signal consists of just amplitude levels. The proposals are validated by polarization forming measurements conducted on a fabricated antenna.
Oren ELIEZER Robert Bogdan STASZEWSKI
Digital RF solutions have been shown to be advantageous in various design aspects, such as accurate modeling, design reuse, and scaling when migrating to the next CMOS process node. Consequently, the majority of new low-cost and feature cell phones are now based on this approach. However, another equally important aspect of this approach to wireless transceiver SoC design, which is instrumental in allowing fast and low-cost productization, is in creating the inherent capability to assess performance and allow for low-cost built-in calibration and compensation, as well as characterization and final-testing. These internal capabilities can often rely solely on the SoCs existing processing resources, representing a zero cost adder, requiring only the development of the appropriate algorithms. This paper presents various examples of built-in measurements that have been demonstrated in wireless transceivers offered by Texas Instruments in recent years, based on the digital-RF processor (DRPTM) technology, and highlights the importance of the various types presented; built-in self-calibration and compensation, built-in self-characterization, and built-in self-testing (BiST). The accompanying statistical approach to the design and productization of such products is also discussed, and fundamental terms related with these, such as 'soft specifications', are defined.
Arisa FUJII Go OHTAKE Goichiro HANAOKA Nuttapong ATTRAPADUNG Hajime WATANABE Kazuto OGAWA Hideki IMAI
Broadcasters transmit TV programs and often need to transmit an individual message, e.g. an individual contract, to each user. The programs have to be encrypted in order to protect the copyright and the individual messages have to be encrypted to preserve the privacy of users. For these purposes, broadcasters transmit not only encrypted content but also encrypted personalized messages to individual users. Current broadcasting services employ an inefficient encryption scheme based on a symmetric key. Recently, several broadcast encryption schemes using a public key have been proposed in which the broadcaster encrypts a message for some subset S of users with a public key and any user in S can decrypt the broadcast with his/her private key. However, it is difficult to encrypt a personalized message and transmit it to every user efficiently. In this paper, we propose a broadcast encryption scheme that has a personalized message encryption function. We show that our scheme is efficient in terms of the ciphertext size.
Toshiya MATSUDA Takeshi KAWASAKI Tomoyoshi KATAOKA Akira NAKA Kazuhiro ODA
We propose a polarization mode dispersion (PMD) design for high-speed wavelength-division multiplexing (WDM) backbone network systems based on field PMD measurements on installed optical fibers for long-term commercial use. Implementing a high-speed network system on an installed fiber requires measuring PMD, because the PMD characteristics of most installed fibers are unknown. For enhanced practicality, we must be able to precisely evaluate PMD characteristics precisely with just one measurement. To understand the statistical properties of measured PMD values, we use the Jones Matrix Eigenanalysis (JME) method to conduct long-term (12 months) PMD measurements on installed fibers. We statistically analyze the measurement results and confirm that the measured values match the theory that considers the accuracy of the measurement instrument. This enables a PMD design of desired outage probability based on PMD measurements of installed fibers. We also carry out a 43-Gb/s return-to-zero differential quadrature phase shift keying (RZ-DQPSK) signal transmission with high PMD fibers in order to confirm the effectiveness of our PMD design. The PMD values of the in-line amplifier transmission line are settled so as to meet the worst value of the design. We confirm that 43-Gb/s RZ-DQPSK signals are stably transmitted at the design value.
Yi WANG Kenji ITO Yoshio KARASAWA
This paper presents a Multiple-Input Multiple-Output (MIMO) propagation model for independent and identically distributed (i.i.d.) channels in the mixture of none-Line-of-Sight (NLOS) and Line-of-Sight (LOS) environments. The derived model enables to evaluate the system statistical characteristics of Signal-to-Noise-Ratio (SNR) for MIMO transmission based on Maximal Ratio Combing (MRC). An application example applying the model in 22 configuration to ITS Inter-Vehicle Communication (IVC) system is introduced. We clarify the effectiveness of the proposed model by comparisons of both computer simulations and measurement results of a field experiment. We also use the model to show the better performance of SNR when applying MIMO to IVC system than SISO and SIMO.
Kamya YEKEH YAZDANDOOST Kamran SAYRAFIAN-POUR Kiyoshi HAMAGUCHI
Wireless body area network for sensing and monitoring of vital signs is the one of most rapidly growing wireless communication system and Ultra Wide-Band (UWB) is a favorable technology for wearable medical sensors. The wireless body area networks promise to revolutionize health monitoring. However, designers of such systems face a number of challenging tasks. Efficient transceiver design requires in-depth understanding of the propagation media which in this case is the human body surface. The human body is not an ideal medium for RF wave transmission; it is partially conductive and consists of materials of different dielectric constants, thickness and characteristic impedance. The results of the few measurement experiments in recent publications point to varying conclusions in the derived parameters of the channel model. As obtaining large amount of data for many scenarios and use-cases is difficult for this channel, a detailed simulation platform can be extremely beneficial in highlighting the propagation behavior of the body surface and determining the best scenarios for limited physical measurements. In this paper, an immersive visualization environment is presented, which is used as a scientific instrument that gives us the ability to observe three-dimensional RF propagation from wearable medical sensors around a human body. We have used this virtual environment to further study UWB channels over the surface of a human body. Parameters of a simple statistical path-loss model and their sensitivity to frequency and the location of the sensors on the body are discussed.