Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model

The distributed daemon model introduced by Burns in 1987 is a natural generalization of the central daemon model introduced by Dijkstra in 1974. In this paper, we show that a well-known shortest path algorithm is self-stabilizing under the distributed daemon model. Although this result has been proven only recently, the correctness proof provided here is from a different point of view and is much more concise. We also show that Bruell et al.’s center-finding algorithm is actually self-stabilizing under the distributed daemon model. Finally, we compute the worst-case stabilization times of the two algorithms under the distributed daemon model.     

Numerical modelling of unsteady convective–diffusive heat transfer with a control volume hybrid method

Presented in this paper is a numerical methodology for the solution of the parabolic governing partial differential equation that describes unsteady advection–diffusion heat transfer. The formulation presented here is shown to be free from the numerical oscillation commonly associated with advection–diffusion heat transfer regardless of the value of the Peclet number. The formulation involves the absorption of the advection term in the unsteady heat equation into the capacitance term. This process is achieved with the use of a control volume methodology applied to each nodal element on a finite-volume mesh. This is shown to ensure that spurious energy losses and gains are avoided and provides for consistency between temperature and energy change. This approach provides unconditional stability and it is shown that good accuracy is achievable with relatively large time-steps.     

THE EXPONENTIAL STABILIZATION FOR A SEMILINEAR WAVE EQUATION WITH LOCALLY DISTRIBUTED FEEDBACK

This paper considers the exponential decay of the solution to a damped semilinear wave equation with variable coefficients in the principal part by Riemannian multiplier method. A differential geometric condition that ensures the exponential decay is obtained.     

Analysis on global exponential robust stability of reaction-diffusion neural networks with S-type distributed delays

To avoid the unstable phenomena caused by time delays and perturbations, we investigate the sufficient conditions to ensure the global exponential robust stability with a convergence rate for the reaction-diffusion neural networks with S-type distributed delays. Because S-type distributed delays lead to some difficulty, we also introduce a new generalized Halanay inequality and a novel method-system-approximation method into the qualitative research of neural networks. Moreover, the sufficient criteria provided here, which are rather accessible and feasible, have wider adaptive range.     

Optimal Control Problem Governed by Semilinear Parabolic Equation and its Algorithm

In this paper, an optimal control problem governed by semilinear parabolic equation which involves the control variable acting on forcing term and coefficients appearing in the higher order derivative terms is formulated and analyzed. The strong variation method, due originally to Mayne et al to solve the optimal control problem of a lumped parameter system, is extended to solve an optimal control problem governed by semilinear parabolic equation, a necessary condition is obtained, the strong variation algorithm for this optimal control problem is presented, and the corresponding convergence result of the algorithm is verified.     

γ谱仪测量系统样品旋转装置研制

利用球体随机旋转性好的特点，将包装样品的容器装入球内并放在样品旋转台中，在两台速度不同，方向垂直的步进电机带动下，球在旋转台上随机转动，实现对包装容器内的样品进行连续随机扫描，以达到减小由于包装容器的非均匀性对测量结果的影响，样品旋转装置由球面板、四根支柱，底座、步进电机及步进电机控制电路组成。采用两台型号为５７ＢＹＧ５０３的步进电机驱动球体旋转，步进电机控制器可对两台电机进行单独控制，并具有正反转功能，其转速分为２、５、８、１２、１６、２０转／ｍｉｎ六档，可连续长时间工作。     

Using a risk-based approach to project scheduling: A case illustration from semiconductor manufacturing

This paper introduces a risk-based optimization method to schedule projects. The method uses risk mitigation and optimal control techniques to minimize variables such as the project duration or the cost estimate at completion. Mitigation actions reduce the risk impacts that may affect the system. A model predictive control approach is used to determine the set of mitigation actions to be executed and the time in which they are taken. A real-life project in the field of semiconductor manufacturing has been taken as an example to show the benefits of the method in a deterministic case and a Monte Carlo simulation has also been carried out.     

基于分布参数模型的CO_2蒸发器结构参数研究

在设计工况下,建立了用于跨临界二氧化碳热泵热水器的套管式蒸发器的稳态分布参数模型,对其结构参数进行了敏感性分析,指出了它们的合理变化范围:管内套1根管时,内管外径应至少大于11.00mm,低于13.00mm,外管内径应在20.00mm以上,23.00mm以下;管内套多根管时,以管内套3根管的性能为最优。优化设计结果对开发二氧化碳蒸发器产品具有一定的指导意义。     

Convergence of Distributed Optimal Controls on the Internal Energy in Mixed Elliptic Problems when the Heat Transfer Coefficient Goes to Infinity

We consider a steady-state heat conduction problem P _α with mixed boundary conditions for the Poisson equation depending on a positive parameter α , which represents the heat transfer coefficient on a portion Γ ₁ of the boundary of a given bounded domain in R ⁿ . We formulate distributed optimal control problems over the internal energy g for each α . We prove that the optimal control g_ op _α and its corresponding system u_ g_ op _α α and adjoint p_ g_ op _α α states for each α are strongly convergent to g _op , u_ g _op and p _ g _op , respectively, in adequate functional spaces. We also prove that these limit functions are respectively the optimal control, and the system and adjoint states corresponding to another distributed optimal control problem for the same Poisson equation with a different boundary condition on the portion Γ ₁ . We use the fixed point and elliptic variational inequality theories.     

Stabilization and control of distributed systems with time-dependent spatial domains

This paper considers the problem of the stabilization and control of distributed systems with time-dependent spatial domains. The evolution of the spatial domains with time is described by a finite-dimensional system of ordinary differential equations, while the distributed systems are described by first-order or second-order linear evolution equations defined on appropriate Hilbert spaces. First, results pertaining to the existence and uniqueness of solutions of the system equations are presented. Then, various optimal control and stabilization problems are considered. The paper concludes with some examples which illustrate the application of the main results.This work was supported by the Air Force Office of Scientific Research, Grant No. AFOSR 86-0132, by the National Science Foundation, Grant No. 87-18473, and by the Jet Propulsion Laboratory, Pasadena, California.