We show examples of accurate computer-aided design of power coupling between two dielectric slab waveguides of finite length by using the boundary-element method (BEM) based on guided-mode extracted integral equations (GMEIE's). The integral equations derived in this paper can be solved by the conventional BEM. Various properties in numerical calculations of GMEIE's are examined. The reflection and coupling coefficients of the guided wave as well as the scattering power are calculated numerically for the case of incidence TM guided-mode. The presented results are checked by the energy conservation law and reciprocity theorem. The results show that it is possible to design an optimum coupling between two dielectric slab waveguides by using the BEM based on GMEIE's.

This investigation proposes a new multiplication algorithm in the finite field GF(2m) over the polynomial basis, in which the irreducible xm +xn + 1 with gcd(m,n) = 1 generates the field GF(2m). The algorithm involves two steps--the intermediate multiplication and the modulo reduction. In the first step, the intermediate multiplication algorithm permutes a polynomial to construct the full-bit-parallel systolic intermediate multiplier. The circuit is identical of m2 cells, each cell is identical of one 2-input AND gate, one 2-input XOR gate, and four 1-bit latches. In the second step, based on the results of the intermediate multiplication in the first step, the modulo reduction circuit is built using regular and simple reduction operations. The latency of the proposed multiplier requires m + k + 1 clock cycles, where k = + 1. Notably, the latency can be very low if n is in the range 1 n . For the computing multiplication in GF(2m), the novel multiplier exhibits much lower latency than the existing systolic multipliers, and is well suited to VLSI systems due to their regular interconnection pattern, modular structure and fully inherent parallelism.

The knowledge of a good enclosure of the range of a function over small interval regions allows us to avoid convergence of optimization algorithms to a non-global point(s). We used interval slopes f[X,x] to check for monotonicity and integrated their derivative forms g[X,x], x X by quadratic and Newton methods to obtain narrow enclosures. In order to include boundary points in the search for the optimum point(s), we expanded the initial box by a small width on each dimension. These procedures resulted in an improvement in the algorithm proposed by Hansen.

This paper presents a distinct approach to the robustness stability analysis and design of linear uncertain systems. Based on the extension version of the projection method, the specific stability issue, which ensures the poles within a specific region, can be efficiently analyzed. Furthermore, we derive a simple design scheme for a class of uncertain systems. By the proposed numerical algorithm, some examples are given to demonstrate the validity and effectiveness.

A high-speed 3-D camera has a future possibility of wide variety of application fields such as quick inspection of industrial components, observation of motion/destruction of a target object, and fast collision prevention. In this paper, a row-parallel position detector for a high-speed 3-D camera based on a light-section method is presented. In our row-parallel search method, the positions of activated pixels are quickly detected by a row-parallel search circuit in pixel and a row-parallel address acquisition of O(log N) cycles in N-pixel horizontal resolution. The architecture keeps high-speed position detection in high pixel resolution. We have designed and fabricated the prototype position sensor with a 12816 pixel array in 0.35 µm CMOS process. The measurement results show it achieves quick activated-position acquisition of 450 ns for "beyond-real-time" 3-D imaging and visual feedback. The high-speed position detection of the scanning sheet beam is demonstrated.

Genetic algorithm (GA) is a widely used numerical technique to simplify some analytical solutions in electromagnetic theory. Genetic algorithms can be combined with the geometric optics method to tackle electromagnetic scattering problems. This paper presents an extrapolation procedure, which derived, as a first step, a functional representation of the radar cross section (RCS) of three different dielectric objects that was computed via the Mie solution or the method of moments (MOM). An algorithm was employed to fit the scattering characteristics of dielectric objects at high frequencies.

Field-theoretical equivalent circuit models of a variety of coplanar waveguide (CPW) lumped-element discontinuities for two dominant modes are characterized by executing the short-open calibration (SOC) procedure in the fullwave method of moments (MoM). In our developed MoM platform, the impressed current sources with even or odd symmetry are introduced at the selected ports in order to separately excite the even and odd dominant modes, i.e., CPW- and CSL-mode. After the port network parameters are numerically derived using the Galerkin's technique, the two SOC standards are defined and evaluated in the self-consistent MoM to effectively de-embed and extract the core model parameters of a CPW circuit or discontinuity. After the validation is confirmed via comparison with the published data, extensive investigation is carried out to for the first time demonstrate the distinctive model properties of one-port CPW short- and open-end elements as well as two-port inductive and capacitive coupling elements with resorting to its two different dominant modes.

A novel hybrid numerical method, which is based on the extended spectral domain approach combined with the mode-matching method, is applied to evaluate the scattering parameter of waveguide discontinuities. The formulation procedure utilizes the biorthogonal relation in the transformation, and the Green's functions in the spectral domain are obtained easily even in the inhomogeneous lossy regions. The present method does not include the approximate perturbational scheme, and it can evaluate accurately and stably the scattering parameters of either for the thin or thick obstacles made of the wide variety of materials, the lossless dielectrics to highly conductive media, in short computation time. The physical phenomena of transmission through the lossy obstacles are investigated by numerical computations. The results are compared with FEM where FEM computations are feasible, although the FEM computations cannot cover the whole performances of the present method. The good agreement is observed in the corresponding range. The matrix size in this method is smaller than that of other methods. Therefore, the present method is numerically efficient and it would be able to apply for the integrated evaluation of a successive discontinuity. The resonant characteristics of rectangular waveguide cavity are analyzed accurately taking the conductor losses into consideration.

The transient phenomenon of electromagnetic waves caused by a time dependent resistive screen in a waveguide is treated. A boundary-value problem is formulated to describe the phenomena, in which the resistivity of the screen varies from one steady state to another in dependence on time. Application of Fourier analysis derives an integral equation, which is approximately solved by the method of least-squares. From the solution of the equation, the transient field is obtained by the inverse Fourier transform. By the use of the incomplete Lipschitz-Hankel integral for the computation of the field, numerical examples showing typical transient phenomenon are attached.

The performance of a GMPLS switching architecture with or without the flush capability is studied. For this switching architecture, we propose a queueing model that includes the control plane, the switch buffer mechanism, and the flush mechanism. The flush capability is included to reduce the out-of-sequence problem due to dynamic path changes. The behavior of aggregated streams, the label-setup and release policies, and the mechanisms for efficient resource allocation are all covered. With the proposed model, one can select appropriate parameters for the label-setup policy and the label-release policy to match the traffic load and network environment. Key performance metrics, such as the label-setup rate, the switching ratio, the bandwidth utilization of the label switched path, the average delay, and the average packet loss rate, can all be evaluated via this mathematical model. Numerical results and simulations are used to verify the accuracy of the proposed queueing model. Furthermore, we adopt trace simulation to certify the applicability the proposed model. The trade-off among these performance metrics can be observed as well.

The present paper discusses an assembly line balancing problem (ALBP). ALBP discussed up to now does not consider rack spaces where tools or parts are stored. We introduce an extended resource planning and assembly line balancing problem that takes the rack space into account. An exact search method for solving the problem by using a graph structure, and a heuristics for the method are proposed. The proposed method is evaluated by computational experiments.

This letter proposes a novel technique for evaluating the longitudinal distribution of the Raman gain characteristics in optical fibers connected to a reference optical fiber with a known Raman gain efficiency. This technique can evaluate the Raman gain efficiency in test fibers using a simplified experimental setup. We performed experiments on various test fibers and confirmed that their Raman gain efficiency can be obtained easily and accurately by employing a reference fiber.

The purpose of this paper is to propose a novel cluster map based blind RBF equalizer for received signal constellation (RSC) independent channel, which belongs to RSC based blind equalization approach. Without channel estimator, firstly, the desired numbers of unlabeled RBF centers are obtained by an unsupervised clustering algorithm. Then a cluster map generated from the known RBF equalizer structure is used to partition the unlabeled centers into appropriate subsets merely by several simple sorting operations, which corresponds to the weight initialization. Finally, the weight is adjusted iteratively by an unsupervised least mean square (LMS) algorithm. Since the process of the weight initialization using the underlying structure of RBF equalizer is very effective, the proposed blind RBF equalizer can achieve almost identical performance with the optimal RBF equalizer. The validity of the proposed equalizer is also demonstrated by computer simulations.

Holonic Manufacturing Systems (HMSs), in which decisions are made through cooperation among holons (autonomous and cooperative manufacturing entities), eliminate various bottlenecks that exist in conventional systems to adapt to high-variety low-volume production. This paper describes the architecture of HMSs. Issues regarding incremental development and dynamic reconfiguration of cooperation mechanisms themselves, and mechanisms for ensuring stable and safe behaviors of HMSs are also discussed with reference to several proposals, with a view to applying the HMS architecture to large and complicated applications.

In this paper, we study reliable decentralized supervisory control of discrete event systems with a control architecture where certain controllable events are controlled under the conjunctive fusion rule, and certain others are controlled under the disjunctive fusion rule. We first introduce a notion of reliable co-observability with respect to such a partition of the controllable event set. We then prove that reliable co-observability together with Lm(G)-closure and controllability is a necessary and sufficient condition for the existence of a reliable decentralized supervisor under a given partition. Moreover, we present necessary and sufficient conditions for the existence of a partition of the controllable event set under which a given specification language is reliably co-observable.

The paper develops the transformation rules in order to use the Stochastic Petri Net model to evaluate the performance of various task scheduling algorithms. The transformation rules are applied to DFRN scheduling algorithm to investigate its effectiveness. The performance comparison reveals that the proposed approach provides very accurate evaluation for the scheduling algorithm when the Communication to Computation Ratio value is small.

This paper proposes a simulation framework suitable for holonic manufacturing systems, or HMS, based on the concept of distributed self-simulation. HMS is a distributed system that comprises autonomous and cooperative elements called holons, for the flexible and agile manufacturing. The simulation framework proposed here capitalizes on this distributed nature, where each holon functions similar to an independent simulator with self-simulation capabilities to maintain its own clock, handle events, and detect inter-holon state inconsistencies and perform rollback actions. This paper discusses the detailed architecture and design issues of such a simulator and reports on the results of a prototype.

Hash-based IP traceback is a technique to generate audit trails for traffic within a network. Using the audit trails, it reconstructs not only the true attack paths of a Distributed Denial of Service attack (DDoS attack), but also the true path of a single packet attack. However, hash-based IP traceback cannot identify attacker nodes themselves because it has no audit trail on the subnet's layer-2 network under the detected leaf router, which is the nearest node to an attacker node on a layer-3 network. We propose a layer-2 extension to hash-based IP traceback, which stores two identifiers with packets' audit trails while reducing the memory requirement for storing identifiers. One of these identifiers shows the leaf router's interface through which an attacking packet came, and the other represents the ingress port on a layer-2 switch through which the attacking packet came. We implement a prototype on FreeBSD and evaluate it in a preliminary experiment.

Various network resources, including wireless access services and multimedia appliances (device) are expected to be available in ubiquitous computing environments. Since resource availability can change when a user migrates from one place to another, functions to monitor the availability of resources in use and, if necessary, switch from obsolete resources to new ones are necessary for continuous service provision. This paper proposes adaptive terminal middleware called AMID that performs policy-based dynamic resource selection and host-based session management to ease network administrative tasks, and hide session failures and resource changes from applications and a user. AMID supports two kinds of mobility; session maintenance on vertical handoff and device handoff (service mobility). By AMID, a mobile host keeps entire handoff control and session state to eliminate the need for network-layer or intermediate-node mobility support, and mitigate responsibility of devices for session management. AMID realizes a Reliable Virtual Socket (RVS), on top of real sockets, which employs a seamless session handoff mechanism for resource changes, and a reliable session resume mechanism against unplanned disconnection of a wireless link. It achieves seamless session handoff through a proactive soft handoff method; to conceal setup and signaling latency, it initiates setup procedures with neighbor resources in advance of actual handoff and utilizes multiple wireless interfaces and devices redundantly. We implemented AMID and a follow-me audio application on top of it to evaluate the performance. Redirection of audio streams from built-in speakers to external ones, and handoff between 802.11b and Cellular are autonomously performed when a user migrates in the house. We confirmed that AMID achieved reliable session maintenance against wireless link failure, concealed latency of handoff management, and prevented packet loss during handoff.

A tree 3-spanner T of a graph G is a spanning tree of G such that the distance between any two vertices in T is at most 3 times of their distance in G. Madanlal et al. have presented an O(n + m) time algorithm for finding a tree 3-spanner of a permutation graph. However, the complexity of their algorithm is not optimal, and their algorithm can not be easily parallelized. In this paper, we will propose an improved algorithm to solve the same problem in O(n) time. Moreover, our algorithm can be easily parallelized so that a tree 3-spanner of a permutation graph can be found in O(log n) time with processors on the EREW PRAM computational model.