The Convergence and Stability of Splitting Finite-Difference Schemes for Nonlinear Evolutionary Equations

We consider a splitting finite-difference scheme for an initial-boundary value problem for a two-dimensional nonlinear evolutionary equation. The problem is split into nonlinear and linear parts. The linear part is also split into locally one-dimensional equations. We prove the convergence and stability of the scheme in L ₂ and C norms. Printed in Lietuvos Matematikos Rinkinys, Vol. 45, No. 3, pp. 413–434, July–September, 2005.     

Control Policy for a Manufacturing System with Random Yield and Rework

We develop a production policy that controls work-in-process (WIP) levels and satisfies demand in a multistage manufacturing system with significant uncertainty in yield, rework, and demand. The problem addressed in this paper is more general than those in the literature in three aspects: (i) multiple products are processed at multiple workstations, and the capacity of each workstation is limited and shared by multiple operations; (ii) the behavior of a production policy is investigated over an infinite-time horizon, and thus the system stability can be evaluated; (iii) the representation of yield and rework uncertainty is generalized. Generalizing both the system structure and the nature of uncertainty requires a new mathematical development in the theory of infinite-horizon stochastic dynamic programming. The theoretical contributions of this paper are the existence proofs of the optimal stationary control for a stochastic dynamic programming problem and the finite covariances of WIP and production levels under the general expression of uncertainty. We develop a simple and explicit sufficient condition that guarantees the existence of both the optimal stationary control and the system stability. We describe how a production policy can be constructed for the manufacturing system based on the propositions derived.     

On the stability of retrial queues

We consider the following Type of problems. Calls arrive at a queue of capacity K (which is called the primary queue), and attempt to get served by a single server. If upon arrival, the queue is full and the server is busy, the new arriving call moves into an infinite capacity orbit, from which it makes new attempts to reach the primary queue, until it finds it non-full (or it finds the server idle). If the queue is not full upon arrival, then the call (customer) waits in line, and will be served according to the FIFO order. If λ is the arrival rate (average number per time unit) of calls and μ is one over the expected service time in the facility, it is well known that μ > λ is not always sufficient for stability. The aim of this paper is to provide general conditions under which it is a sufficient condition. In particular, (i) we derive conditions for Harris ergodicity and obtain bounds for the rate of convergence to the steady state and large deviations results, in the case that the inter-arrival times, retrial times and service times are independent i.i.d. sequences and the retrial times are exponentially distributed; (ii) we establish conditions for strong coupling convergence to a stationary regime when either service times are general stationary ergodic (no independence assumption), and inter-arrival and retrial times are i.i.d. exponentially distributed; or when inter-arrival times are general stationary ergodic, and service and retrial times are i.i.d. exponentially distributed; (iii) we obtain conditions for the existence of uniform exponential bounds of the queue length process under some rather broad conditions on the retrial process. We finally present conditions for boundedness in distribution for the case of nonpatient (or non persistent) customers. This revised version was published online in June 2006 with corrections to the Cover Date.     

非线性系统两变量控制下的分枝特性

采用分枝理论推导非线性系统两变量P和PI控制下的分枝特性,所导得的几个定理阐明了简单分枝点和Hopf分枝点的位置和性质。一个简化精馏塔模型用于演示这一过程,展示出精馏塔系统在闭环时,可能出现多态和极限环。     

CNC系统中任意三维椭圆弧的高速插补新方法

本文根据两步递归插补的思想,导出了任意三维椭圆弧高速插补的公式和算法.它是空间圆弧高速插补方法在三维椭圆弧的情况下进一步推广应用.本文最后还对插补算法进行了稳定性分析和误差分析.     

On parabolic equations with a small parameter

A singularly perturbed parabolic equation with a nonlinear right-hand side of a special form is examined. A numerical analytical study of such equations is performed.     

Stability control of the electrooptic effect with new maleimide copolymers containing photoreactive tricyanopyrrolidene‐based chromophores

New photocrosslinkable maleimide copolymers have been synthesized by the attachment of a tricyanopyrrolidene‐based chromophore. The 2‐(3‐cyano‐4‐(2‐{4‐[hexyl‐(6‐hydroxy‐hexyl)‐amino]‐phenyl}‐vinyl)‐5‐oxo‐1‐{4‐[4‐(3‐oxo‐3‐phenyl‐propenyl)‐ phenoxy]‐butyl}‐1,5‐dihydro‐pyrrol‐2‐ylidene)‐malononitrile chromophore exhibits nonlinear optical activity and contains a chalcone moiety that is sensitive to UV light (λ = 330–360 nm) for crosslink formation. The maleimide monomers have also been functionalized with chalcone moieties. The resultant copolymers exhibit great processability, and one of them shows a maximum electrooptic coefficient of 90 pm/V at 1300 nm. We could control the thermal stability of the electrooptic coefficient with the newly synthesized photoreactive copolymers successfully. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 531–542, 2007     

On the Rolewicz theorem for evolution operators

We give a short proof of a generalization of the Rolewicz theorem based on the uniform boundedness principle.

     

On the stability of some integer programming algorithms

In the present paper we develop our approach for studying the stability of integer programming problems. We prove that the L-class enumeration method is stable on integer linear programming problems in the case of bounded relaxation sets [9]. The stability of some cutting plane algorithms is discussed.