A stability classification method and its application to pipelined solution of linear recurrences

A new method of classification for numerical stability of parallel algorithms is proposed based on the theoretical foundation of forward error analysis. It partitions the algorithms according to their asymptotic stability—a measure introduced to relate the limiting behavior of the stability to the size of the problem. Using this method, the stability aspect of the pipelined solution technique for first-order and second-order linear recurrences—the core of a tridiagonal linear equation solver—is studied. In particular, it shows that the pipelined solution method of the first-order linear recurrences has the same degree of stability as the commonly used sequential evaluation algorithms. The stability problems of sequential and pipelined solution methods of the second-order linear recurrences are also studied.     

Using linear models in optimizing parameters of time-triggered protocols

A mechanism of synchronization of components of distributed systems in which communications are based on a common time schedule for all system components is illustrated by examples of simple Time-Triggered Protocols. For parametric linear models of synchronization, the optimization problem is considered for a parameter that should exclude the overlapping of messages in communication channels. The results of using numeric methods for estimation of the optimal value of this parameter are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 24–32, May–June 2006.     

铁基气门导管材料性能的控制

介绍了在铁基气门导管的生产过程中,加强关键工序的质量管理,以确保产品材料性能的合格与稳定。     

以数字搜索树表示的二值图象的几何变换

本文介绍以数字搜索树表示的二值图象的一种几何变换算法，文中讨论了四分区与正四边区的基本关系，输出ＤＳＴ结点成立的充分条件，给出了完整的几何变换算法并对算法的复杂性作了分析。     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

Stability analysis for discrete linear systems with state saturation by a saturation-dependent Lyapunov functional

This paper concerns the stability analysis problem of discrete linear systems with state saturation using a saturation-dependent Lyapunov functional.We introduce a free matrix characterized by the sum of the absolute value of each elements for each row less than 1,which makes the state with saturation constraint reside in a convex polyhedron.A saturation-dependent Lyapunov functional is then designed to obtain a sufficient condition for such systems to be globally asymptotically stable.Based on this stability criterion,the state feedback control law synthesis problem is also studied.The obtained results are formulated in terms of bilinear matrix inequalities that can be solved by the presented iterative linear matrix inequality algorithm.Two numerical examples are used to demonstrate the effectiveness of the proposed method.     

基于Matlab的线性规划问题求解

线性规划是运筹学中研究较早、发展较快、应用广泛、方法成熟的一个重要分支,它是辅助人们进行科学管理的一种重要的数学方法.文章首先介绍了线性规划的基本概念及标准形式,着重讨论了线性规划问题的三种常用解法:单纯形法、直接搜索法以及遗传算法,最后在Matlab R2009a环境下进行了仿真.通过结果可以看出,用Matlab求解线性规划问题,可以避免手工的烦琐计算,大大地提高工作效率和结果的准确性.     

具有时变状态滞后2-D离散系统的稳定与镇定(英文)

针对一类由局部状态空间(LSS)Fornasini-Marchesini(FM)第二模型描述的,具有时变状态滞后的2-D离散系统,其中时变滞后项的上、下界均为正实数,研究了其稳定性和控制综合问题。首先,利用Lyapunov-Krasovski泛函方法,提出了系统的稳定性准则。再根据这一准则,分别设计状态反馈和动态输出反馈控制器保证系统的稳定性。状态反馈控制律和输出反馈矩阵可由线性矩阵不等式(LMI)求得。最后,通过数值算例说明所得结果的有效性。     

Gain‐scheduled dynamic output feedback control for discrete‐time LPV systems

This paper presents synthesis conditions for the design of gain‐scheduled dynamic output feedback controllers for discrete‐time linear parameter‐varying systems. The state‐space matrix representation of the plant and of the controller can have a homogeneous polynomial dependency of arbitrary degree on the scheduling parameter. As an immediate extension, conditions for the synthesis of a multiobjective ??_∞ and ??₂ gain‐scheduled dynamic feedback controller are also provided. The scheduling parameters vary inside a polytope and are assumed to be a priori unknown, but measured in real‐time. If bounds on the rate of parameter variation are known, they can be taken into account, providing less conservative results. The geometric properties of the uncertainty domain are exploited to derive finite sets of linear matrix inequalities based on the existence of a homogeneous polynomially parameter‐dependent Lyapunov function. An application of the control design to a realistic engineering problem illustrates the benefits of the proposed approach. Copyright © 2011 John Wiley & Sons, Ltd.     

Positive state‐bounding observer for positive interval continuous‐time systems with time delay

This paper is concerned with the problem of positive observer synthesis for positive systems with both interval parameter uncertainties and time delay. Conventional observers may no longer be applicable for such kind of systems due to the positivity constraint on the observers, and they only provide an estimate of the system state in an asymptotic way. A pair of positive observers with state‐bounding feature is proposed to estimate the state of positive systems at all times in this paper. A necessary and sufficient condition for the existence of desired observers is first established, and the observer matrices can be obtained easily through the solutions of a set of linear matrix inequalities (LMIs). Then, to reduce the error signal between the system state and its estimates, an iterative LMI algorithm is developed to compute the optimized state‐bounding observer matrices. Finally, a numerical example is presented to show the effectiveness and applicability of the theoretical results. Copyright © 2011 John Wiley & Sons, Ltd.