安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

一类随机过程的多尺度建模

基于多尺度随机模型具有有效性和高度并行算法这一优势，提出如何用三阶树多尺度模型来表示1-D Reciprocal过程；并如何获得多尺度模型的参数。这就为具有Markov统计特性的信号或过程建立起一般的三阶树多尺度随机模型，为更有效的解决实际问题提供了理沦基础，同时，给出了一类定义在单位区间上的随机过程三阶树多尺度表示的仿真示例。     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。     

对异步机数学模型中一些问题的研究

本文推导异步机在d、q、O系统中的磁链方程时,将气隙磁场与漏磁场分开考虑,并根据各自特点采取了不同的处理方法,从而简化了推导过程,考虑到异步机与同步机及一般化电机在结构上的差异,在研究异步机的功率平衡时,利用等效电路的概念,进一步阐明了瞬变过程中异步机的功率平衡关系。     

浅析个体软件过程(PSP)

介绍和分析了PSP的基本概念、作用和进化框架等内容 ,给出了PSP和CMM之间的联系 .CMM被软件业界公认为是当前最好的软件过程 ,PSP是CMM在软件工程师等级上的应用 ,是针对个体软件过程的改进 .     

The General Machining Process Simulator GMPS

Ｔｈｅ　Ｇｅｎｅｒａｌ　Ｍａｃｈｉｎｉｎｇ　Ｐｒｏｃｅｓｓ　Ｓｉｍｕｌａｔｏｒ　ＧＭＰＳＸｉａｏＴｉａｎｙｕａｎ，ＹａｎｇＧａｎｇ＆ＬｉＸｉｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｏｎ，ＴｓｉｎｇｈｕａＵｎｉｖｅｒｓｉｔｙ，Ｂｅｉｊｉｎｇ，Ｃｈｉ...     

区间动力系统稳定性分析的最新进展

综述了区间力系统稳定性,广义区间动力系统正则、无脉冲膜、稳定性方面的近期结果,并对其中一些结论所使用的工具及方法进行了总结.