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

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

点半路的匹配等价图类

计算了K1∪Pm的匹配等价图的个数，也刻画了K1∪Pm以及它的补图的匹配等介图类。     

基于模糊状态模型的离散系统控制器设计和稳定性分析

给出了离散系统模糊动力学模型的表示方法,在此基础上给出了一种模糊状态反馈控制器的设计方法,并讨论了稳定性;同时也给出了一种模糊状态观测器的设计方法并讨论了稳定性.     

用MATLAB设计鲁捧PID压力控制器系统

利用可重复执行的交互式MATLAB软件，给出了鲁棒PID压力控制器的设计方法。研究结果表明、所设计的PID压力控制器的调节时间T≤0．5s，当输入为阶跃信号时，系统能达到ITAE最优。仿真结果表明，通过串联一个增益放大器，当C。在0．1—10范围内变化时，所设计的PID压力控制器具有很强的鲁棒性。     

有关级数敛散性的几个问题

讨论了级数绝对收敛的导数判断法，正项级数的极限审敛法和等价审敛法，以及泰勒公式在级数审敛中的应用。这些判断法对判定某些级数的敛散性是非常方便的。     

格蕴含代数与有界交换BCK—代数

证明了格蕴含代数与有界交换BCK—代数是两类等价的抽象系统，因而是范畴等价的。     

等价无穷小的极限定理

求极限时,正确使用等价无穷小代换,可以简化计算.在求两个无穷小之比的极限时,若分子及分母满足一定的条件,可将分子、分母用等价无穷小来代换.并进一步给出求极限时,若因式中某个因子是两个无穷小之和、差时,可用等价无穷小来代换的条件;给出了求幂指函数的极限时,其底和指数可分别用它相应的等价无穷小代换的条件及相关的一些结论.     

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

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

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

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

应用Matlab实现大型超静定回转窑机械运行状态的多目标模糊优化

结合中国长城铝业公司氧化铝厂回转窑机械运行状态多目标模糊优化模型,介绍了在Matlab环境下实现多目标模糊优化的有关技术,编写了实现回转窑机械运行状态多目标模糊优化的Matlab程序.现场应用表明,应用该程序指导调窑,能显著改善回转窑的机械运行状态,提高窑的运转率.同时该程序对于利用Matlab编写多目标模糊优化程序,具有重要参考价值.图3,参6.