FMS scheduling based on timed Petri Net model and reactive graph search

This paper presents a new scheduling method for manufacturing system based on the Timed Petri Net model and a reactive fast graph search algorithm. The following two typical problems are addressed in this paper. (1) Minimization of the maximum completion time. (2) Minimization of the total tardiness. As for the problem (1), a new search algorithm which combines the RTA^∗ and a rule-based supervisor is proposed. As for problem (2), the original Petri Net model is converted to its reverse model and the algorithm developed for the problem (1) is applied, regarding the due date as the starting time in the reverse model. Some numerical experiments are carried out to demonstrate usefulness of our algorithm.     

Numerical Study on Population Inversion and Lasing Conditions in an Optically Thick Recombining Helium Plasma

Lasing conditions for He I in a cold recombining helium plasma are numerically discussed including optical thicknesses. A collisional radiative model is used to calculate population densities. We discuss the effect of self absorptions by the background residual gas on the lasing conditions quantitatively. The optical thickness is essential in the calculation and affects the population inversions between level pairs of the singlet state drastically, while those of the triplet state are not affected very much. In the optically thin plasma, the laser lower levels of the singlet state depopulate mainly through radiative transitions. On the other hand, they depopulate mainly through electron collisional deexcitations in the optically thick plasma. Results of the calculations are verified by the spectroscopic observations of an arc-heated magnetically trapped expanding plasma jet generator which we developed. The requirement for the background pressure in which the lasing is possible is discussed quantitatively.     

Validation of a method for predicting the precision, limit of detection and range of quantitation in competitive ELISA.

The mathematical model for predicting the precision, limit of detection (LOD) and range of quantitation (ROQ) in a competitive enzyme-linked immunosorbent assay (ELISA) proposed by Hayashi et al. (Anal. Chem., 2004, 76, 1295) was validated. The model describes the relative standard deviation (RSD) of concentration estimates by the RSDs of pipetting volumes of analyte, enzyme-conjugated antigen, antibody and substrate solutions, and the standard deviation (SD) of inherent absorbances between the wells in an ELISA plate. For 6 kinds of direct competitive ELISA kits, the LOD and ROQ predicted by the model agreed well with those obtained by experiments with real samples. It was also confirmed that the model is applicable to the prediction of uncertainty that depends on the pipetting error of the viscous antiserum solution. The model was demonstrated to be useful for estimating the LOD and ROQ of competitive ELISA.     

Stable marker-particle method for the Voronoi diagram in a flow field

The Voronoi diagram in a flow field is a tessellation of water surface into regions according to the nearest island in the sense of a “boat-sail distance”, which is a mathematical model of the shortest time for a boat to move from one point to another against the flow of water. The computation of the diagram is not easy, because the equi-distance curves have singularities. To overcome the difficulty, this paper derives a new system of equations that describes the motion of a particle along the shortest path starting at a given point on the boundary of an island, and thus gives a new variant of the marker-particle method. In the proposed method, each particle can be traced independently, and hence the computation can be done stably even though the equi-distance curves have singular points.     

Design of a widely tunable laser with a chirped ladder filter

We theoretically investigated a digitally tunable laser with a chirped ladder filter and a ring resonator to obtain a wide wavelength tuning range covering the whole C- or L- band. The clear relation between the tuning range and laser structure, especially the ladder filter, is described analytically. The introduction of a chirped structure into a ladder filter is effective in achieving both wide tunability and a stable lasing mode. A numerical simulation based on multimode rate equations shows that a tuning range of over 40 nm and a mode suppression ratio over 40 dB can be achieved by introducing a chirped ladder filter.     

Stability of the steady state for the Falk model system of shape memory alloys

In this article a stability result for the Falk model system is proven. The Falk model system describes the martensitic phase transitions in shape memory alloys. In our setting, the steady state is a nonlocal elliptic problem. We show the dynamical stability for the linearized stable critical point of the corresponding functional. Copyright © 2007 John Wiley & Sons, Ltd.