可信度增强的模糊定性仿真

为了建立一种有效的形式化方法,期望利用对象的不完全信息得到系统行为最为重要 的结论,结合定性推理、模糊集合的概率论三种理论,发挥模糊集合在常识知识描述和概率论在 解决随机性上的优点,本文提出了一种可信度增强的模糊定性仿真方法.     

复杂工业过程智能控制系统的研制和开发

介绍了实施减压精馏智能控制中的控制对象分析、控制策略选择、知识表达方法、知识库维护策略的确定和控制系统的实现，及面向化工过程控制的实时专家系统开发环境的设计，并进一步讨论了将智能控制应用于复杂工业过程的途径和方法。     

专家控制系统的知识库维护

专家系绕的知识获取和表示一向是专家系统开发的“瓶颈”,而知识库的维护在大型专家系统中所占的地位更是不可忽视,实时专家系统作为专家系统的一个颇有前景的研究方向,对知识库的维护又提出了哪些新的要求呢?本文试图通过减压精馏过程智能多变量控制系统(DIMCS)~*的知识库维护,探索实时专家系统中从知识表示、知识库组织到一致性维护等一系列技术的实现方式。     

影子模式:一种新的用于测试的设计模式

介绍了一种新的设计模式：用于测试面向对象程序的影子模式．它为每个使用它的对象生成一个影子对象，这种模式允许测试脚本无缝地嵌入到程序中，无需额外的测试驱动或测试插件。在测试过程中，测试用例可以调用影子对象作为测试插件，也可以调用真实的应用代码，测试脚本可以在运行时做出选择，这些概念将在模块测试和集成测试中分别举例说明。     

一种高效的并行定性仿真方法TPQSIM

对定性仿真中流行的ＱＳＩＭ算法进行了较为详细的剖析,介绍了ＱＳＩＭ算法内核函数的动态特性和数据流关系,在此基础上,提出了并行ＱＳＩＭ算法ＴＰＱＳＩＭ,并在曙光１０００并行机上通过实验对该算法进行了评估。试验结果表明,ＴＰＱＳＩＭ算法在效率和通用性等方面均明显超过了国外同类研究成果。