飞机设计指标的专家模糊综合评估

提出了采用专家模糊综合评估法综合评估飞机设计指标。在设计指标评估中采用专家定量评估和定性评估两种方式结合进行。为克服专家评估中主观因素的影响，在综合评估中考虑了专家对该项目指标评估熟悉度以及其对评估结果的影响，因而能够基于模糊推理专家评估的结果给出较客观、准确的估计。     

SDG标准测试图及推理引擎论证

应用SDG技术对复杂系统进行安全分析推理，其引擎的性能测试至关重要。我们提出了采用系统标准的SDG测试图，对引擎进行测试。论述了测试所需的规模和指标，并针对应用领域特点，通过改变节点与支路规模、状态、关联关系、排列等因素，提出了一整套针对安全问题的SDG标准测试图。在此基础上，我们提出了极端与平均的性能测试方法。并运用SDG测试图对我们开发的SDG引擎进行完备性和运算能力的测试，效果达到实用水平。最后，我们对测试过程中暴露的问题，提出改进措施。     

一种基于状态融合的协议状态机推断方法

针对现有协议状态机推断方法忽视协议系统输入输出报文之间的内在关系,导致自动化程度较低等问题,提出一种基于状态融合的协议状态机推断方法。首先采集会话样本,将会话过程的输入输出报文序列抽象为符号序列;然后采用扩展前缀树转换器(EPTT)构建初始状态机,通过各状态对相同输入符号序列的状态转换和输出响应评判其相似度,依据相似度的高低搜寻候选状态对并尝试对其融合,同时有针对性地构造测试用例以验证此次融合的正确性。上述流程反复执行,直到没有可融合的状态。结果表明,该方法自动化程度较高,推断出的结果与真实协议状态机高度吻合。     

分馏塔监控专家系统的研究和开发

简述了监控对象,研究和分析了监控专家系统的思想和结构,重点阐述了分馏塔监控系统的核心之一知识库的构建,给出了专家系统开发工具CLIPS的推理机,简介了解释程序的作用过程.     

模糊计划网络最关键路的求取算法

讨论在给定限制期情况下 ,边的长度 (活动时间 )为对称三角模糊数的计划网络最关键路 (MCP)的求解问题 .该问题本质上是一个复杂的比例路径问题 ,尽管许多其它类似的比例路径问题已被证明为 NP问题 ,但是我们能够把该问题的求解转化为最长路的变权迭代 ,并给出相应的精确求解算法 .同时 ,利用模糊推理 ,可以实现对计划按期完工可能性的估计 .