贝叶斯网及其概率推理在智能教学中的应用

对贝叶斯网及其概率推理进行了简述,提出并实现了一种以贝叶斯网为学生模型的智能教学系统,并重点介绍了学生模型的结构、功能和概率推理算法. 系统运行的实例数据真实地反映了学生模型当前的解题情况.     

基于时间Petri网的铁通调度指挥系统建模与分析

在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型.在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系.利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型.最后,对TDS停机停线的时间性能进行了分析.     

基于案例和规则推理的贝叶斯网建模

正确、高效地针对问题建立模型是应用贝叶斯网的关键,而从数据中学习贝叶斯网往往因为搜索空间庞大而效率低下.提出基于案例和规则推理的建模方法,建立领域知识库,使用框架和一阶概率逻辑表示贝叶斯网,当面对新的问题时,使用相似度和偏离度两个指标进行案例匹配,对选中的案例使用组合和剪枝技术修正,得到新问题的求解模型.整个过程以案例推理为主,并用规则推理辅助.这种方法能够复用历史案例,提高贝叶斯网建模效率.     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

基于改进Petri网的电网故障诊断方法

为了获取精确的电网故障诊断结果,根据Petri网的基本理论,对已有的电网故障诊断Petri网模型进行改进,提出了基于改进Petri网的电网故障诊断方法.改进后Petri网模型同时考虑主保护、后备保护和失灵保护的影响,能够充分模拟实际故障中各个保护的优先级别,且该建模方法大大简化了模型数学推理的复杂程度.算例分析表明,该...     

基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。     

基于Rete算法的几何自动推理系统

智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。推理引擎的主要工作是做推理规则和几何信息的匹配计算。推理过程中产生的大量冗余匹配严重地影响了推理效率。为了提高推理引擎的推理效率, 作者首次将Rete模式匹配算法整合到推理引擎中, 构造了一种高效的几何自动推理引擎, 称为几何自动推理网。几何自动推理网通过消除推理过程中的冗余匹配达到了提高系统推理效率的目的。使用Lisp语言编写了几何自动推理网程序iGeo, 并做了50多个非平凡几何定理的推理实验, 实验结果表明iGeo具有更高的推理效率。     

基于双枝模糊逻辑攻击模型的分层推理算法

针对以模糊Petri网为理论基础的网络攻击模型BBFPAN自学习能力差的缺点,本文首先提出一种新的适用于对攻击模型BBFPAN进行层次式划分的分层算法,为将神经网络理论引入攻击模型的研究奠定了基础。为了使攻击模型BBFPAN能够清晰地反映网络攻击过程中各节点的状态变化情况,发现网络系统的漏洞,本文首次将双枝模糊逻辑理论应用于攻击模型BBF-PAN的推理计算,提出了BBFPAN模型推理的基本规则,给出了一种BBFPAN分层推理算法,并通过实验验证了算法的正确性。     

势RBF网络及其在水质诊断中的应用

阐述了标准ＲＢＦ网的机理和算法,指出其算法上存在的不足,进而引入基于势函数算法的ＲＢＦ网（简称势ＲＢＦ网）．通过实验论证了势ＲＢＦ网不仅训练速度快,而且能克服标准ＲＢＦ网的不足,具有良好的分类效果     

基于Fuzy推理的井壁稳定性预测系统

本文介绍了一个用于井壁稳定性预测的Ｆｕｚｚｙ推理系统。该系统由动态数据库、知识库、Ｆｕｚｚｙ推理和人机界面等组成。系统的有效性已为长庆油田定向斜井实例证实。     

专家决策支持系统软件环境的设计和实现

专家决策支持系统软件环境的理论和方法的研究、实践是决策支持系统的一个新的研究领域，本文对专家决策系统软件环境中的主要功能部件：知识表示与知识获取、知识库、模型库、数据库、推理机制及决策支持系统与专家系统的集成等从理论和方法上进行了深入地探讨，在PC-386机上实现了专家决策支持系统软件环境EDSS-SE，说明了这些理论和方法的可行性，达到了预期的目标。     

基于模糊控制的飞机武器发射/投放方案设计与仿真

对飞机武器发射／投放管理系统的功能与结构进行了研究，提出了战术规划和武器分配所遵循的原则，利用模糊控制理论对系统方案的设计和实现作了详细的讨论，并结合数字仿真结果对该系统的可行性进行了分析。     

基于GIS的环境分析评价

介绍了地理信息系统在环境科学与工程中的应用及模糊综合评价模型的建立.将GIS应用于环境评价系统,实现了GIS与评价模型的无缝集成及评价数据与相应空间实体的连接,为环境评价提供了方便.     

专家系统工具HEST的设计与实现

本文介绍了一个基于元逻辑程序设计的专家系统工具HEST.它以逻辑为基础,用元级和目标级相结合的推理方法来实现的.它具有元级推理、模糊推理等机制,函数和面向对象程序设计风格,多种知识表示以及知识的吸收、调节、推理解释等知识库管理和交互功能,是一个良好的专家系统开发环境.     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

高层建筑结构选型智能决策支持系统研究开发

为将结构智能选型理论应用于高层建筑结构,选用Microsoft Access 2000 for Windows作为前台实例库开发工具,选用MATLAB5．3 for Windows作为后台计算工具,开发了高层建筑结构选型智能决策支持系统。该系统主要包括高层建筑结构实例库系统、方案生成系统、方案评价系统和方案优选系统．四个子系统建造的基本原理是：采用面向对象技术建造实例库系统,采用基于神经计算的实例推理建造方案生成系统,采用模糊推理建造方案评价系统,采用模糊决策建造方案优选系统。实际运行表明,该系统可以对高层建筑进行概念设计阶段的结构选型决策支持。     

Fuzzy reasoning model using fuzzy Petri Nets for the monitoring of robotic assembly

This paper presented a fuzzy Petri net model to deal with the monitoring of robotic assembly. Based on the fuzzy Petri net model, an efficient composite reasoning mode was proposed to perform fuzzy reasoning automatically. It can determine whether there exists an antecedent-consequence relationship between two contact states. Furthermore, various types of sensor signals can be converted to the same form of real values between zero and one, and the contradiction among large number, high degree of truth and importance of input conditions can be resolved very well by introducing the weight factors and priorities for sensor signals. Finally, a peg-in-the-hole example was given to illustrate the reasonability and feasibility of the proposed model.     

论CEAG专家系统软件开发的工程化方法

论述了专家系统的开发应当采取软件工程学的     

系统集成数据仓库与模糊群决策理论的决策支持系统

主要讨论了将数据仓库技术、模糊群决策理论与传统的四库三功能决策支持系统(DSS)进行系统集成。其目的是能提供使用单个信息资助源所不能提供的全方位的科学决策。     

基于IVFS的专家模糊控制应用研究

针对不确定性知识难以量化．摸铷控制器曲隶属函数不容易确定等问题．提出了一种区间值横期产生式规则．建立模糊控制规则模型，给出了区间值模糊匹配函数定义，在此基础上给出了区间值模糊推理方法。该方法更有利于模期规则的精确匹配．应用到实际工业控制对象，能更好的反映领域专家的决策思维和推理过程。