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

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

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

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

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

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

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

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

基于核方法的复杂设备运行状态监测技术

分析了复杂机械设备运行状态监测中遇到的困难，介绍了基于核的特征提取方法和基于支持向量机的模式识别理论，指出：将核方法应用到状态监测中有望解决其中的非线性、不精确性和不确定性问题，为该领域的研究提供了全新且可行的研究途径。     

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

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

应用独立分量分析提取机器的状态特征

以大型轧钢机和滚动轴承试验台为研究对象，应用独立分量分析方法分离机器的声音信号，并提取其状态特征，同时指出，对信号进行自相关预处理，可以突出信号的非高斯成分，较好地满足独立分量分析的前提条件，即源信号统计独立，因此，采用基于峭度的快速独立分量分析（ICA）算法，成功地分离出了信号的一些独立成分及对应的发声零部件，研究结果表明，根据信号结构选择预处理的方法十分重要，正确的预处理可以使独立分量分析有效地提取机械信号中的特征。     

压力平衡拱应力状态相似物理模拟研究

相似材料模拟是通过建立相似物理模型，观测研究难以用数学描述的系统特性，研究原型系统与模拟系统间相似特性的。模型与原型的区别，仅在系统要素的序结构和特征值有一定的比例大小，而支配系统特性的本质不变。从系统仿真角度上说，建立相似的物理模型，可称为相似物理仿真模拟。通过相似材料模拟，对压力平衡拱处岩层的水平应力和竖直应力的观测。     

马尔可夫链及其在经济预测中的应用

研究了马尔可夫链及其在经济预测中的应用，目的在于，在产品销售过程中，如何才能投入最小、收益最大。     

双原子分子离子XY+势能函数的变分

基于能量变分的思想建议了获得双原子分子离子XY⁺势能精确数据的新解析势能函数. 该新势函数中的离子Coulomb作用势包含了各级高阶修正, 收敛迅速且变分可调. 用这种新的解析势函数和能量自洽法(ECM), 对部分双原子分子离子XY⁺的8个电子状态——CO⁺的A²Π态, Li⁺₂的X²Σ⁺_g态, He⁺₂的X²Σ⁺_g态, Na⁺₂的1²Π_u态, N⁺₂的A²Π_u态, KrH⁺的X¹Σ⁺态, SiO⁺的X²Σ⁺态和SO⁺的A²Π态的势能进行了研究, 并与常用的Huxley-Murrell-Sorbie (HMS)势、基于实验的Rydberg-Klein-Rees (RKR)数据和量子力学从头计算的结果进行了比较. 结果表明, 离子XY⁺的新的解析势函数明显优于HMS解析势能, 与RKR数据符合得很好. 而且在离子的渐近区和离解区域, 新的解析变分势能也往往比量子力学从头计算的结果更可靠.