非齐次线性系统状态的收敛性质

用泛函分析方法讨论了(连续时间/离散时间)非齐次线性系统的收敛性质,该结果可用于处理经济控制论中的许多宏微观经济的线性系统模型,因此具有一定的实际意义。另外,针对带有锥有界非齐次项的不确定线性系统,也讨论了其全局渐进稳定性,给出一个有趣结果。     

北京一次降雪的云物理过程作用模拟

应用非静力平衡MM5 V3模式对2001年12月7日一次北京降雪过程进行了数值模拟试验，对云和降水物理过程的作用进行了初步分析。试验结果表明：本次降雪过程是从对流层上层形成冰核向下发展的，中高空的强低温和上升运动区与冰粒子及雪的分布基本吻合，为降雪的进一步发展提供了有利的条件。     

两多模相干态的叠加态光场的等幂N次Y压缩

根据量子力学态叠加原理,构造了由多模复共轭相干态|{zj(a)}>q和多模复共轭相干态的相反态等幂次|{-zj(b)}>q的线性叠加所组成的振幅不等的非对称两态叠加多模叠加态光场|Ψn(2)>q(j=1,2,3,…,q),利用多模压缩态理论研究了态|Ψn(2)>q的等幂次N次方Y压缩特性。结果表明:在各模的平均光子数不相等而对应模的初始相位相等亦即Rj(a)≠Rj(b)且ψj(a)=ψj(b)=ψj的条件下,如果各模的初始相位ψj和态间的初始相位差θpq(R)-θnq(R)=△θ满足一定取值关系,则无论压缩次数N为奇数还是偶数,态|Ψn(2)>q的两个正交相位分量均可分别呈现周期性变化的等幂次N次方Y压缩效应,但N是奇数时的压缩深度大于N是偶数时的压缩深度。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于力信息的机器人接触状态下作业的技能学习

为实现机器人接触状态下作业的演示编程，使机器人获得人的基于力信息的作业技能，首先提出了描述接触状态的元素接触形式，用元素接触形式序列建立技能模型，根据不同的接触形式具有的不同腕力分布，利用支持向量机(SVM)对不同的元素接触形式进行辨识，在此基础上机器人获得人在接触状态下的作业技能，实现了演示编程方法中最关键的一步。     

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

空间矢量PWM算法及波形分析

对空间矢量PWM算法进行了分析，提出了比较直观且适于操作的具体计算公式。同时，从中央处理器DSP功能模块易于实现的目的出发，进一步转化为用时间常数表达的形式。最后，通过对不同调制比下的PWM波形品质进行对比，得出调制比为奇数或偶数不是唯一影响波形质量因素的结论。     

时间滞后系统的鲁棒稳定性及在飞行控制中的应用

给出了一种时间滞后系统的鲁棒稳定性分析方法．通过对系统鲁棒稳定条件不等式的变形，得到了该不等式可解的条件，该有解条件不仅大大简化了不等式，而且得到了新的时间滞后系统鲁棒稳定性判据，针对含有多个不同滞后时间的系统，给出了一种简明的鲁棒稳定性判别不等式，并根据鲁棒稳定性判据，分别给出了系统含有一个或多个时间滞后的鲁棒反馈控制器设计方法，该方法接近于普通的状态反馈设计，便于工程实现．飞行控制的实践表明，采用新方法可以得到满意的设计结果．当闭环希望极点选为各不相同的负实数时，鲁棒控制器的设计只需要多进行一次奇异值分解，即可完全等价于人们熟知的极点配置问题，该方法对于含有一个或多个时间滞后的系统都是适用的。     

空气燃料比寻优技术在加热炉中的应用

分析了燃气加热炉热工特点，建立了热值前馈和烟气中氧含量反馈的空气燃料比寻优模型，并将模糊控制技术运用于所建立的空气燃料比寻优模型中．现场实际运行结果表明，使用该模型能合理地控制炉气的含氧量，提高钢坯加热质量，降低燃料消耗，取得了很好的效果．     

模糊系统的静态输出反馈控制

对一类非线性系统利用模糊 T- S模型进行建模 ,研究了静态输出反馈控制问题。用矩阵不等式的形式给出了模糊系统可通过静态输出反馈控制的充分条件。并将矩阵不等式的条件转化为迭代线性矩阵不等式 ( ILMI) ,并给出了相应的算法。仿真结果表明所提出的控制算法是有效的。