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.     

Energy of formation for and liquid binary alloys

We have investigated the free energy of formation for Ag_xIn_1-x and Ag_xSn_1-x liquid binary alloys at temperatures 1173 and 1250 K, respectively. A microscopic theory based on the first order perturbation has been applied. The interionic interaction and a reference liquid are the fundamental components of the theory. The interionic interaction is described by a local pseudopotential. A liquid of hard spheres (HS) of two different effective diametres and charges is used to describe the reference system. The results of the calculations for energy of formation agree very well with the available experimental data. Our calculations also reveal that a simple perturbative approach along with appropriate effective pair potentials can produce nearly quantitative results for the concerned alloys.     

Reducing structural changes in van Emde Boas' data structure to the lower bound for the dynamic predecessor problem

We consider the problem of maintaining a dynamic ordered set of n integers in a universe U under the operations of insertion, deletion and predecessor queries. The computation model used is a unit-cost RAM, with a word length of w bits, and the universe size is |U|=2^w. We present a data structure that uses O(|U|/log|U|+n) space, performs all the operations in O(loglog|U|) time and needs O(loglog|U|/logloglog|U|) structural changes per update operation. The data structure is a simplified version of the van Emde Boas' tree introducing, in its construction and functioning, new concepts, which help to keep the important information for searching along the path of the tree, in a more compact and organized way.     

Simplest optimal cutting patterns for equal rectangles

This paper presents branch-and-bound algorithms that can guarantee the simplest optimal cutting patterns of equal rectangles. An existing linear algorithm determines the global upper bound exactly. The branching process ends when a branch of a lower bound equal to the global upper bound is found.     

Separable subgroups of mapping class groups

We investigate separability questions for the mapping class group of a surface. While this group is not subgroup separable in general, we prove a large family of interesting subgroups are separable. This includes many classically studied subgroups such as solvable subgroups, Heegaard and Handlebody groups, geometric subgroups, and all the terms in the Johnson filtration.     

Effect of external Gaussian random field on phonon spectrum of linear atomic chains

We present the theoretical study of the effect of external random field characterized by a Gaussian probability distribution function on the continuous phonon spectrum of one-dimensional (1D) chain, based on the Jacobian matrix method. The cumulative effect of the random field and simple isotopic defect is studied analytically and numerically. The Gaussian random field removes a square-root divergence appearing in the phonon spectrum of ideal 1D chain. The impurity phonon DOS shows strong dependence on the variance and the mean of the random field and exhibits very different behavior from the non-random case: the continuous spectrum is expanded and the δ-peak, describing discrete impurity vibrations in the non-random chain with the impurity, falls into a continuous zone.     

Axisymmetric Collision Problem for Two Identical Elastic Solids of Revolution

A direct central collision of two identical bodies of revolution is studied. A nonstationary mixed boundary-value problem with an unknown moving boundary is formulated. Its solution is represented by a series in term of Bessel functions. An infinite system of Volterra equations of the second kind for the unknown expansion coefficients is derived by satisfying the boundary conditions. The basic characteristics of the collision process are determined depending on the curvature of the frontal surface of the bodies     

Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz distributions

We reformulate and prove the Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz tempered distributions and Fourier hyperfunctions.     

Banach空间二阶周期边值问题解的存在性

利用一些比较结果，讨论了Banach空间中二阶周期边值问题解的存在性，获得了若干解的存在性与唯一性结果。     

Symmetries of Itô and Stratonovich Dynamical Systems and Their Conserved Quantities

A new definition for the symmetries of Itô and Stratonovich dynamicalsystem is given. Determining systems of symmetries for Itô andStratonovich systems have been obtained, and their relation has beendiscussed. It has been shown that some of the Lie point symmetries ofthe Fokker–Planck equation can be constructed using the symmetries ofItô dynamical systems. Conserved quantities can be found from thesymmetries of stochastic dynamical systems which do not arise from aHamiltonian. The results have been applied to an example.