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.     

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.