具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

一类柔性臂机器人的稳定性

本文研究了一类柔性臂机器人的控制问题,且柔性臂的弯曲振动与扭转振动的耦合作用表现在边界方程中。本文运用算子谱理论、算子半群理论等,得到系统的主算子生成的C0-半群的具体表示式,并证明了半群的解析性、非紧性及非一致指数稳定性。     

广义算子半群与广义分布参数系统的适定性

首先,针对广义分布参数系统的求解问题,提出了由Hilbert空间中有界线性算子所引导的广义算子半群和广义积分半群;其次,讨论了广义预解算子的性质、广义算子半群与广义积分半群的性质;最后,研究了广义分布参数系统的适定性问题.     

一类串联可修复系统的稳态解

本文讨论了一类具有两不同部件串联的可修复系统。利用系统算子生成的Banach空间中的正压缩C_o半群的性质,证明了系统的非负稳态解恰是系统算子的0本征值所对应的规范化后的本征向量；同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的—个直接结果,得出了该串联可修复系统的渐近稳定性。     

具积分边界条件的中子迁移方程的适定性及谱分布

该文在Ｌｐ（ｐ＞２）空间中讨论一类带积分边界条件的中子迁移方程的适定性．首先，利用预解式正算子理论和积分半群理论证明了该方程正解的存在唯一性；其次，我们还讨论了相应的迁移算子的谱性质，证明了迁移算子包含在右半平面的谱由最多可数多个具有限代数重数的本值征组成．     

M／G／1排队系统算子生成正压缩C0-半群的不可约性

M／G／1排队系统已有大量文献研究．通过增补变量法，该系统可由一组积分微分方程描述，并且系统算子在L^1空间中生成正的压缩C0-半群．文中将进一步讨论该半群的性质，证明该半群是不可约的．     

二次算子族及非负无穷维Hamilton算子的谱分布

本文讨论了一类在弦和梁的微小振动中出现的二次算子族L(λ)=λ~2MλK-A的谱分布问题,进而将所得结论与无穷维Hamilton算子联系起来,利用无穷维Hamilton算子的特殊结构,得到了一类非负无穷维Hamilton算子的谱分布,这为无穷维Hamilton算子的半群方法提供了理论保证.     

一类不可分解Banach空间上线性算子的谱性质

给出一类不可分解的∑_e~1型Banach空间上线性算子(不一定有界)的谱结构,并讨论这种空间上生成C_0群或C_0半群的线性算子的有界性、特殊的谱性质和谱结构,还给出这种空间上闭算子是有界算子的一个充分条件。     

具有冗余机器人安全系统算子的性质

研究了一个包含两个冗余机器人和一个安全装置的系统.运用泛函分析及C_0-半群理论,给出了系统算子是稠定的预解正算子的证明,得出了系统算子谱的性质和其共轭算子及定义域,并证明系统算子的增长界为0.最后运用预解正算子的相关理论,证明系统算子的谱上界也是0.     

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.     

Timoshenko梁点反馈的稳定性

研究T im oshenko梁点反馈的稳定性.用线性算子半群方法证明了闭环系统的适定性,并应用算子谱特征得到了闭环系统的强渐近稳定性的充分必要条件.同时,给出了保守系统的几个能观性不等式.     

Output tracking for an Euler–Bernoulli beam equation with moment boundary control and shear boundary disturbance

This paper is concerned with performance output tracking for an Euler–Bernoulli beam equation with moment boundary control and shear boundary disturbance. An infinite-dimensional disturbance estimator is designed to estimate the total disturbance. By compensating the total disturbance, a servomechanism corresponding to the reference signal and servomechanism-based output feedback control law are designed. It is proved that under such control law, the performance output tracks exponentially the reference signal and the involved states of closed-loop system are bounded. The most important contribution is to deal with the shear boundary term stemmed from the error system between the disturbance estimator and the original system. The admissibility does not hold for such shear boundary term, while the corresponding boundary terms in the existing literature was proved to be admissible. Two key steps are presented to cope with such problem: First, the semigroup generation and exponential stability for a coupled beam system are verified by Riesz basis approach; second, the admissibility of a control operator for semigroup governed by such coupled beam system is proved. Moreover, Sobolev embedding theorem is introduced to simplify the proof of the boundedness of the closed-loop systems with respect to the available literature. Some numerical simulations are presented to illustrate the effectiveness.     

具有局部非线性反馈的非均质Timoshenko梁的能量衰减估计

该文考虑具有局部非线性反馈的非均质Timoshenko梁的能量衰减估计.由非线性算子半群理论得到系统的适定性;应用乘子方法,给出了系统的能量衰减估计.     

带有反馈与起动故障的M/G/1重新访问排队系统的适定性分析

文章研究一个带有贝努利反馈且系统服务台经常遭受启动故障的重新访问排队系统模型,利用线性算子半群理论,通过对描述其系统行为的偏微分方程组的研究,证明了该模型所描述的系统所确定的算子是闭稠定耗散算子,生成C0压缩半群,从而得到系统的适定性.在证明1是算子的预解点时,采用了共轭方法.     

Generation of Gevrey class semigroup by non‐selfadjoint Euler–Bernoulli beam model

Asymptotic and spectral properties of a non‐selfadjoint operator that is a dynamics generator for the Euler–Bernoulli beam model of a finite length are studied in this paper. The hyperbolic equation, which governs the vibrations of the Euler–Bernoulli beam model, is supplied with a one‐parameter family of physically meaningful boundary conditions containing damping terms. The initial boundary‐value problem is equivalent to the evolution equation that generates a strongly continuous semigroup in the state space of the system. It is found that the semigroup, being non‐analytic, belongs to Gevrey class semigroups. This means that the differentiability of such semigroup is slightly weaker than that of an analytic semigroup. In the forthcoming works, the results of the present paper will be applied (a) to the solution of the exact controllability problem for Euler–Bernoulli beam and (b) to spectral analysis of a planar network of serially connected Euler–Bernoulli beams modelling ‘flying wing configurations’ in aeronautic engineering. Copyright © 2006 John Wiley & Sons, Ltd.     

Boundary feedback stabilization of the undamped Timoshenko beam with both ends free

In this paper, we study a boundary feedback system of a class of nonuniform undamped Timoshenko beam with both ends free. We give some sufficient conditions and some necessary conditions for the system to have exponential stability. Our method is based on the operator semigroup technique, the multiplier technique, and the contradiction argument of the frequency domain method.     

一类弹性系统的精确L2-能控性

该文研究带有压电驱动器的Rayleigh梁系统的精确能控性.先用算子半群方法和提升结果[9]建立了Rayleigh梁方程解的正则性;再用Hilbert唯一性方法结合Diophantine逼近理论的某些结果得到了系统的精确L2-能控性.     

Riesz basis property of the generalized eigenvector system of a Timoshenko beam

The Riesz basis property of the generalized eigenvector system of a Timoshenko beam with boundary feedback controls appliedto two ends is studied in this paper. The spectral property of the operator A determined by the closed loop system is investigated.It is shown that operator A has compact resolvent and generatesa C₀ semigroup, and its spectrum consistsof two branches and has two asymptotes under some conditions.Furthermore it is proved that the sequence of all generalizedeigenvectors of the system principal operator forms a Rieszbasis for the state Hilbert space.     

Robust controller for systems with exponentially stable strongly continuous semigroups

The theory of robust controllers is extended to the case where we have boundary and/or distributed control and the system operator is an infinitesimal generator of a strongly continuous exponentially stable semigroup. An example on hyperbolic systems is presented.