柔性臂协调运动系统的动态反馈镇定

研究柔性臂协调运动系统分布参数模型的镇定问题.基于系统能量关系和正实引理,提出一种构造性的设计方法.所设计的控制器由前馈和动态反馈两部分构成,其中动态反馈部分的传递函数是严格正实的.通过线性算子半群理论和LaSalle不变集原理,证明了闭环系统是渐近稳定的.     

Clifford-半群及半直积的局部化

讨论Ｃｌｉｆｆｏｒｄ一半群Ｓ在其幂等元半格Ｅ上的局部化与Ｓ的最小群同余之间的关系．并给出Ｃｌｉｆｆｏｒｄ-半群的半直积在其幂等元半格上的局部化．     

Reverse polish notation method

The reverse Polish notation (RPN) is a well-known method for the expression notification in a postfix manner, instead of using the usual infix notation. Authors made a method for symbolic computation based on RPN. This method is successfully applied on a number of problems. In this article, there is a brief survey of these applications. In addition, the application of the method on algebraic computation of unary pairfunctions is presented.     

Unification under associativity and idempotence is of type nullary

It is shown, that there exist a unification problem〈s=t〉 _AI , for which the set of solutions under associativity and idempotence is not empty. But , the complete and minimal subset of this set of solutions does not exist, i.e.A+I is of type nullary. This is the first known standard first order theory with this unpleasant feature. This work is supported by the Deutsche Forschungsgemeinschaft, National Research Schema ‘Artificial Intelligence and Knowledge Based Systems’, SFB 314.     

正序正则半群及无处稠密正序半群

本文给出了正序（拟）正则半群的结构；定义了正序半群的稠密性，并讨论了无处稠密正序半群的性质     

Clifford－半群的半直积

本文给出两个含么半群的半直积为Ｃｌｉｆｆｏｒｄ－半群的充分必要条件；并证明半直积的最大群同态象与最大群同志象的半直积是同构的．     

Stabilization of hereditary distributed parameter control systems

In this paper, we study the asymptotic stabilization of semilinear distributed parameter control systems with delay. Assuming that the semigroup of operators associated with the uncontrolled and undelayed equation is compact we prove that a well known rank condition, which implies the feedback stabilization for lumped systems, can be extended to this type of systems.     

关于正规带的自由积

给出半群自由积的泛性刻划,证明了任意半群的极大正规带同态象存在且同构唯一,同时证明了正规带的自由积的极大正规带同态象同构于这些正规带在正规带范畴中的自由积.     

Riesz bases and exact controllability of C0-groups with one-dimensional input operators

This paper considers linear infinite dimensional systems with C₀-group generators and one-dimensional admissible input operators. The exact controllability and Riesz basis generation property are discussed. The corresponding results of Jacob and Zwart (Advances in Mathematical Systems Theory, Birkhäuser, Boston, MA, 2000) under the assumption of algebraic simplicity for eigenvalues of the generator are generalized to the case in which the eigenvalues are allowed to be algebraically multiple but with a uniform bound on the multiplicity.     

Semilinear observation systems

In this paper, we introduce locally Lipschitz observation systems for nonlinear semigroups and show that they can be represented by an ‘admissible’ nonlinear output operator defined on a suitable subspace. In the semilinear case, this concept fits well to the Lebesgue extension known from linear system theory. For semilinear systems, we show robustness of exact observability near equilibria under locally small Lipschitz perturbations. Finally, we apply our results to a damped nonlinear plate equation and a semilinear thermo-elastic system.