Takeru INOUE Ryosuke KUREBAYASHI
In this paper, we discuss the efficiency of tunneling techniques which are expected to accelerate multicast deployment. Our motivation is that, despite the proposal of many tunneling techniques, no paper has studied their impact on multicast efficiency. Through detailed computer experiments, we find that there is a critical size of multicast island, above which the loads imposed on tunneling endpoints are suddenly diminished. In addition, multicast islands equaling or exceeding the critical size reduce the overhead of forwarding states on routers. We also find a scaling law between the critical size and group size. Based on these findings, we present simple guidelines on using tunneling when deploying multicast systems. A possible explanation for our findings is uncovered by a simple analysis. Our work is the first to evaluate the impact of tunneling and clarify conditions in which multicast deployment is well supported by tunneling.
Keiichirou KUSAKARI Masahiko SAKAI Toshiki SAKABE
Automated reasoning of inductive theorems is considered important in program verification. To verify inductive theorems automatically, several implicit induction methods like the inductionless induction and the rewriting induction methods have been proposed. In studying inductive theorems on higher-order rewritings, we found that the class of the theorems shown by known implicit induction methods does not coincide with that of inductive theorems, and the gap between them is a barrier in developing mechanized methods for disproving inductive theorems. This paper fills this gap by introducing the notion of primitive inductive theorems, and clarifying the relation between inductive theorems and primitive inductive theorems. Based on this relation, we achieve mechanized methods for proving and disproving inductive theorems.
Takashi SATO Masanori HASHIMOTO Hidetoshi ONODERA
An efficient pad assignment methodology to minimize voltage drop on a power distribution network is proposed. A combination of successive pad assignment (SPA) with incremental matrix inversion (IMI) determines both location and number of power supply pads to satisfy drop voltage constraint. The SPA creates an equivalent resistance matrix which preserves both pad candidates and power consumption points as external ports so that topological modification due to connection or disconnection between voltage sources and candidate pads is consistently represented. By reusing sub-matrices of the equivalent matrix, the SPA greedily searches the next pad location that minimizes the worst drop voltage. Each time a candidate pad is added, the IMI reduces computational complexity significantly. Experimental results including a 400 pad problem show that the proposed procedures efficiently enumerate pad order in a practical time.
Designing a software architecture that satisfies multiple quality requirements is a difficult undertaking. This is mainly due to the fact that architects must be able to explore a broad range of architectural choices and analyze tradeoffs among them in light of multiple quality requirements. As the size and complexity of the system increase, architectural design space to be explored and analyzed becomes more complex. In order to systematically manage the complexity, this paper proposes a method that guides architects to explore and analyze architectural decisions in a top-down manner. In the method, architectural decisions that have global impacts on given quality requirements are first explored and analyzed and those that have local impacts are then taken into account in the context of the decisions made in the previous step. This approach can cope with the complexity of large-scale architectural design systematically, as architectural decisions are analyzed and made following the abstraction hierarchy of quality requirements. To illustrate the concepts and applicability of the proposed method, we have applied this method to the architectural design of the computer used for the continuous casting process by an iron and steel manufacturer.
Luis RODRIGUEZ Ken-ichi SAKINA Makoto ANDO
The Modified edge representation (MER) is the concept to be used in the line integral approximation for computing the surface radiation integrals of diffraction. The MER as applied to the physical optics (PO-MER), has remarkable accuracy in the surface-to-line integral reduction even for the curved surfaces and for sources very close to the scatterer. In the discussion of the mathematical foundation for this accuracy, the evaluation of the singularities in the integrand of the PO-MER line integration was left for further study.
Jing LI Juebang YU Hiroshi MIYASHITA
Incremental modification and optimization in VLSI physical design is of fundamental importance. Based on the O-tree (ordered tree) representation which has more prominent advantages in comparison with other topological representations of non-slicing floorplans, in this paper, we present an incremental placement algorithm for BBL (Building Block Layout) design in VLSI physical design. The good performance of experimental results in dealing with some instances proves the effectiveness of our algorithm.
Keum-Soo JEON Young-Seok WANG Sang-Chul MOON Jae-Kyung PAN
We had recently measured a chromatic dispersion of optical fiber and a time delay of chirped fiber grating based on a bidirectional modulation of an optical intensity modulator. In this paper, we analyze characteristics of the chromatic dispersion measurement method using a bidirectional modulation of an optical intensity modulator, and give a detailed explanation about the selection of measurement setup parameters to achieve an accurate measurement. We also propose a modified measurement system to decrease relative intensity noise caused by the bidirectional transmission through a device under test.
Akitsugu OHTSUKA Naotake KAMIURA Teijiro ISOKAWA Nobuyuki MATSUI
A block-matching-based self-organizing map (BMSOM) is presented. Finding a winner is carried out for each block, which is a set of neurons arranged in square. The proposed learning process updates the reference vectors of all of the neurons in a winner block. Then, the degrees of vector modifications are mainly controlled by the size (i.e., the number of neurons) of the winner block. To prevent a single cluster with neurons from splitting into some disjointed clusters, the restriction of the block size is imposed in the beginning of learning. At the main stage, this restriction is canceled. In BMSOM learning, the size of a winner block does not always decrease monotonically. The formula used to update the reference vectors is basically uncontrolled by time. Therefore, even if a map is in a nonstationary environment, training the map is probably pursued without interruption to adjust time-controlled parameters such as learning rate. Numerical results demonstrate that the BMSOM makes it possible to improve the plasticity of maps in a nonstationary environment and incremental learning.
In this paper, we shall construct mathematical theory based on the concept of set-valued mappings, suitable for available operation of extraordinarily complicated large-scale network systems by introducing some connected-block structures. A fine estimation technique for availability of system behaviors of such network systems are obtained finally in the form of fixed point theorem for a special system of fuzzy-set-valued mappings.
Hiroshi FUJISAKI Yosuke YAMADA
We study asynchronous SSMA communication systems using binary spreading sequences of Markov chains and prove the CLT (central limit theorem) for the empirical distribution of the normalized MAI (multiple-access interference). We also prove that the distribution of the normalized MAI for asynchronous systems can never be Gaussian if chains are irreducible and aperiodic. Based on these results, we propose novel theoretical evaluations of bit error probabilities in such systems based on the CLT and compare these and conventional theoretical estimations based on the SGA (standard Gaussian approximation) with experimental results. Consequently we confirm that the proposed theoretical evaluations based on the CLT agree with the experimental results better than the theoretical evaluations based on the SGA. Accordingly, using the theoretical evaluations based on the CLT, we give the optimum spreading sequences of Markov chains in terms of bit error probabilities.
Mohammad DANESH Farid SHEIKHOLESLAM Mehdi KESHMIRI
This paper is devoted to the problem of force sensorless disturbance rejection in robot manipulators. In the proposed approach, the control system uses position sensor signals and estimated values of external forces, instead of force sensor signals. The estimation process is performed via an adaptive force estimator. Then the estimated force vector is utilized to compensate for the force disturbance effect in order to achieve a better trajectory tracking performance. The force estimation is carried out directly using no environment model. Asymptotical stability of the proposed control system is analyzed by the invariant set and Lyapunov direct method establishing an appropriate theorem. Finally, the performance of the proposed control system is verified using numerical simulation.
In this paper, we propose a new measurement-based fair call admission control policy for heterogeneous packet radio networks. The objectives of the new admission policy are to 1) reduce computation overhead and rapidly re-allocate resources to keep desired Quality of Service (QoS) demands, 2) relieve hot-spot cell by reducing the number of handoff calls from neighboring cells, 3) fairly admit voice and data traffic to prevent declined service degradation. With numerical analysis, we evaluate QoS constraints and inter-cell as well as inter-service fairness by using queuing model, which is described by a two-dimensional continuous-time Markov chain. Finally, we validate our model's accuracy by comparing results of analytical model with ones of event-driven simulation.
Hitoshi TAKATA Tomohiro HACHINO Ryuichiro TAMURA Kazuo KOMATSU
In this paper we are concerned with designing an extremum seeking control law for nonlinear systems. This is a modification of a standard extremum seeking controller. It is equipped with an accelerator to the original one aimed at achieving the maximum operating point more rapidly. This accelerator is designed by making use of a polynomial identification of an uncertain output map, the Butterworth filter to smoothen the control, and analog-digital converters. Numerical experiments show how this modified approach can be well in control of the Monod model of bioreactors.
Jun-ichi TAKADA Shinobu ISHIGAMI Juichi NAKADA Eishin NAKAGAWA Masaharu UCHINO Tetsuya YASUI
This paper describes the measurement techniques of emissions from UWB devices discussed in ITU-R task group (TG) 1/8 to study the compatibility between ultra-wideband (UWB) devices and radiocommunication services. This paper also provides the background idea behind the measurement methods, as the final output of the discussion, i.e. ITU-R Recommendation, will not contain any citations to the references, nor any "educational" description of the theoretical background.
Fast and simple algorithm of a parity checker for a large residue numbers is presented. A new set of RNS moduli with 2r-(2l1) form for fast modular multiplication is proposed. The proposed RNS moduli has a large dynamic range for a large RNS number. The parity of a residue number can be checked by the Chinese remainder theorem (CRT). A CRT-based parity checker is simply organized by the Montgomery reduction method (MRM), implemented by using multipliers and the carry-save adder array. We present a fast parity checker with minimal hardware processed in three clock cycles for 32-bit RNS modulus set.
Theoretical analyses are carried out on the height dependence of the antenna factor of an EMI antenna to develop an antenna calibration method that can provide the free-space value of the antenna factor. It is found that the antenna factor in general varies with the antenna height in a quasi-periodic way with a period of about λ/2. Thus, the present paper proposes to take an average of the antenna factors over a height range of about λ/2 to obtain an accurate estimate of the free-space antenna factor. Effective antenna arrangements are also proposed for the antenna calibration. Deviations in the estimate from the free-space antenna factor are less than 0.1 dB for tuned dipoles in the frequency range above 50 MHz. But the errors increase up to 0.3 dB at about 35 MHz. For broadband antennas, the free-space antenna factor can be accurately estimated by taking the average of the antenna factors. Errors are estimated to be less than 0.3 dB in the frequency range from 30 MHz to 1000 MHz.
Hidetoshi EBARA Kensuke TANI Teruo ONISHI Shinji UEBAYASHI Osamu HASHIMOTO
This paper proposes a method for estimating the complex permittivity of a small quantity of a sample such as a biological membrane. The feature of this method is that a material with an unknown complex permittivity is mixed with a material with a known complex permittivity in a number of volume ratios. The unknown complex permittivity is estimated by measuring the effective permittivity of the mixtures and by using the mixing formula, which is applied to the composite material. The validity of this estimation method is evaluated using a phospholipid, which is the primary constituent of a biological membrane, in the frequency range from 0.8 GHz to 6 GHz. We confirm that the measured effective permittivity of the phospholipid mixtures, which comprise the phospholipid and Ringer's solution in a number of volume ratios, corresponds to that of the Lichtenecker formula. Additionally, by preparing a number of samples with varying volume ratios the estimation error can be decreased. This estimation method is considered to be effective in the measurement of the complex permittivity for a biological membrane.
Makoto HASEGAWA Masato AKITA Kazutaka IZUMI Takayoshi KUBONO
We initiated development of our own data processing software for laser microscope data with C# language. This software is provided with volume calculation function of a target portion, based on a new calculation algorithm that can precisely handle the volume calculation of the portion located on a tilted surface or on a distorted surface. In this paper, this algorithm and some exemplary results obtained thereby, as well as some further development aims, are briefly described.
Masamitsu TOKUDA Masayuki KITORA Yasuo HONMA Kouhei ICHIKAWA
We study radiated RF (radio-frequency) electromagnetic field immunity test system for wireless LAN system by using opened PW (Parallel Wired) cell, in which metal cover is removed. Leakage electric field at distance of 160 cm from the opened PW cell decreases until 30 dB, and then does not affect to operation of the AP (Access Point) composed of the wireless LAN system that communicates EUT (Equipment Under Test) installed in the PW cell. NSA (Normalized Site Attenuation) between EUT and AP changes only several dB by inserting the PW cell, and then it can be concluded that the effect of PW cell for radio wave property of wireless communication system is negligible small. In addition, we try to measure dependencies of impressing level of disturbance wave on a throughput of wireless LAN systems IEEE802.11b and IEEE802.11g. As a result, it is confirmed that the radiated RF electromagnetic field immunity test system for wireless LAN system can be composed by using the opened PW cell without affecting from impressing disturbance wave.
Kaoru GOTOH Yasushi MATSUMOTO Yukio YAMANAKA Takashi SHINOZUKA
The measured values of electromagnetic disturbances should strongly correlate with degradation in the communication quality of digital wireless communication systems. The Amplitude Probability Distribution (APD) of a disturbance represents statistical information as applicable measurement readings that meet the above requirement. In this paper, correlations between APD measurements of disturbances and the bit error rate (BER) as a quality degradation index for victim systems are quantitatively investigated. Disturbance regulation by APD measurements is discussed from the viewpoint of protecting systems from disturbances. This investigation specifically considers the situation in which a repetition pulse disturbance impacts PHS and W-CDMA systems assumed as victims. The results confirm high correlations between the APD and BER not only experimentally but also theoretically under some conditions. A disturbance regulation criterion based on APD measurements is thus proposed for compliance testing of electronic appliances with the potential to act as disturbance noise sources.