An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems

Combined use of the method of sum of squares (SOS) and quantifier elimination (QE) is discussed with regard to the problem of nonlinear gain analysis for a class of dynamical systems. SOS, a numerical method, is used to search for the structure of a gain function quickly, and QE, a symbolic method, determines all gain functions in the structure to find the minimum gain function. QE can also be used for the infeasibility check of gain structures. A proposed analysis procedure for polynomial dynamical systems prevents unnecessary searching for a gain structure. Two illustrative examples show the effectiveness of the proposed gain analysis procedure.     

Systems Analysis

Journal of the Operational Research Society -     

A Handbook of Systems Analysis

Journal of the Operational Research Society -     

Formal Analysis of Optical Systems

Optical systems are becoming increasingly important by resolving many bottlenecks in today’s communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome these limitations, we propose to employ higher-order-logic theorem proving as a complement to computational and numerical approaches to improve optical model analysis in a comprehensive framework. The proposed framework allows formal analysis of optical systems at four abstraction levels, i.e., ray, wave, electromagnetic, and quantum.     

Vibration Analysis of Gyroscopic Systems

Mechanical structures which can vibrate about a state of mean rotation or translation may constitute gyroscopic dynamic systems that are related by the mathematical similarity of their governing equations of motion. Considering as examples a rotating circular ring and an axially travelling string, the analogy of those systems is demonstrated. The linear vibrations obtained by superposing small perturbations on the stationary solution are analyzed. Assuming time-varying speeds, the effect of non-constant stress resultants on the dynamic stability of gyroscopic systems is investigated and the results are compared to those found in literature where the stress resultants of axially moving continua are commonly taken as constant. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Coderivative Analysis of Variational Systems

The paper mostly concerns applications of the generalized differentiation theory in variational analysis to Lipschitzian stability and metric regularity of variational systems in infinite-dimensional spaces. The main tools of our analysis involve coderivatives of set-valued mappings that turn out to be proper extensions of the adjoint derivative operator to nonsmooth and set-valued mappings. The involved coderivatives allow us to give complete dual characterizations of certain fundamental properties in variational analysis and optimization related to Lipschitzian stability and metric regularity. Based on these characterizations and extended coderivative calculus, we obtain efficient conditions for Lipschitzian stability of variational systems governed by parametric generalized equations and their specifications.     

Variational Analysis of Toda Systems

The author surveys some recent progress on the Toda system on a two-dimensional surface Σ,arising in models from self-dual non-abelian Chern-Simons vortices,as well as in differential geometry.In particular,its variational structure is analysed,and the role of the topological join of the barycentric sets of Σ is shown.     

分子系统生物学的数学建模与分析

本质上,分子系统生物学就是要研究分子水平上的各种层次网络,并整合这些网络信息为系统信息。广泛使用的化学主方程为研究生物分子网络提供了一个建模框架,但应用起来具有局限性;传统的矩封闭方法可以简化生物分子网络的研究,但并没有解决反应物种的联合概率分布的重构问题。本文简单介绍了生物分子网络的数学建模与分析,特别地,对生化反应系统提出二项矩的分析方法,它与传统方法相比具有许多优势,如能够降低计算复杂度、方便联合概率分布的重构,甚至可用于非线性行为的线性逼近等。