电除尘器故障诊断专家系统推理机

在已建立的电除尘器故障诊断专家系统知识库的基础上,对电除尘器故障诊断专家系统的推理机制及搜索策略进行了较为深入的研究。采用精确反向推理机制建立了该专家系统的推理机,故障树的搜索采用启发式深度优先搜索策略。在 Ｔｕｒｂｏ Ｐｒｏｌｏｇ专家系统语言环境下,进行了电除尘器故障诊断专家系统推理机的程序设计。     

故障诊断专家系统中的推理机设计

重点研究故障诊断专家系统中推理机的实现技术，推理算法、解释和推理过程中资源的管理技术．该推理机是一个对象推理机，采用正向推理策略完成对对象式框架知识集的推理操作．推理机控制和协调推理过程中的各种资源，利用各种检测输入信息，实现故障推理，最终确定故障源，并给出故障维修措施．推理解释向用户解释推理的结果获得的原因，提高了系统的透明性．对推理过程资源管理中的、人机交互界面、视图结点显示的技术实现作了说明。     

基于专家系统的货位管理与作业调度优化

为提高自动化立体仓库的效率,将专家系统应用于自动化立体仓库的货位管理与作业调度优化。通过分析领域专家的经验建立了基于产生式规则的知识库,将知识的表达分为货位分配规则、任务排序规则和其它规则三大类;应用正向推理方法设计了推理机的推理流程,使货位分配更加合理,作业调度更加迅速。实验结果表明,在自动化立体仓库中,应用专家系统进行货位管理和作业调度优化,能够有效提高自动化立体仓库的运行效率。     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6.0开发的一个营养诊断专家系统,它属于一种诊断型专家系统.该系统的知识表示使用了产生式规则形式,推理机采用了规则推理和不精确推理相结合的方法.在不确定性知识处理上,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型,使推理机具有较高的准确性.     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6 0开发的一个营养诊断专家系统 ,它属于一种诊断型专家系统。该系统的知识表示使用了产生式规则形式 ,推理机采用了规则推理和不精确推理相结合的方法。在不确定性知识处理上 ,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型 ,使推理机具有较高的准确性。     

烧结过程控制专家系统（Ⅳ）

研究了烧结过程控制专家系统的多库结构知识库组织形式及系统的过程化推理与正向推理相结合的混合推理策略;提出了具有通用性的复杂过程多级目标推理机模型及有限广度优先搜索策略,实现了系统的实时高效推理,研究开发的知识一达近１０００条规则,其系统软件已成功用于现场离线控制。     

基于故障树的测控设备发射装置专家系统设计

为实现某型设备发射装置故障的快速诊断,在深入分析发射装置组成原理、故障模式及其传递途径的基础上,建立了故障树.根据故障树与专家系统知识库的内在联系,利用产生式规则构建了专家系统的知识库,设计了基于正向推理策略的推理机,采用通用数据库技术和面向对象语言进行软件开发,最终给出了一种可用于提高该型设备发射装置故障处理智能化水平的设计方案.     

烧结过程异常状况诊断专家系统SPADES（Ⅱ）——关键技术

知识库构造和推理机设计是实现专家系统的关键技术,烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点,采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式,短文加的组织包括数据库、事实库、模型库和规则库。规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机：总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的无素,确定出现的异常类型;异常原因分析和操作决策采用正向推理,对于本系统中模糊规则的模糊性传递问题,采用基于研究因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法。SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理。     

基于两数据库关联的专家系统

将数据库技术与专家系统技术相结合,充分利用成熟的数据库技术,实现对规则知识的存贮、管理.提取规则的前提和结论部分,将它们存放于2个数据库中,采用两库关联的方式表达规则知识.通过合理地设计数据库的结构,可以达到灵活、方便地表达规则知识,并易于采用多种策略提高推理效率.利用数据库的优秀性能来管理知识,便于高效推理机的设计.     

基于故障树的某型舰炮故障诊断系统的设计与实现

针对某型舰炮随动系统状态异常的现象,设计并实现了一种基于故障树的故障诊断专家系统.首先给出了舰炮故障诊断专家系统的组成,主要介绍知识库、推理机、人机接口模块的设计方法.根据该型舰炮故障的特点构造故障树,完成知识库的建造与更新.推理机采用正向推理和反向推理相结合的推理策略.实践表明,该故障诊断专家系统人机交互界面美观,用户操作方便,故障诊断结果基本可靠,知识库易于扩展.     

机械设计专家系统中面向对象的知识表达方法研究及应用

面向对象的知识表达方法是一种新的知识表达方法，它将规则、框架、过程等多种知识表达方法按面向对象的编程原则结合起来，组成一种混合的知识表示形式．该方法既能实现符合推理．又可进行数值计算，能满足建造机械设计专家系统的需要．本文介绍了面向对象的知识表达方法的基本结构与特点，以及在数控龙门铣变速箱结构设计专家系统中的应用．     

一种演绎数据库系统的设计与实现

为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.     

基于INT ERNET 的热处理工艺远程专家系统

探索一种基于Inte rne t 的热处理工艺远程专家系统的开发方法。选择移植式“ 专家系统上网” 方案;采用基于规则和实例的正向推理机制来确定热处理工艺方案;以微软最新的动态网页开发技术ASP.NET 作为系统的开发工具, 使用Access 作为后台数据源, 并用ADO .NET 技术连接数据库, 实现多用户可同时对系统不间断咨询;介绍实现系统功能的关键技术。将热处理工艺专家系统从单机平台转向Internet , 提高了专家系统的共享度、系统升级维护的方便性, 避免了专家知识的孤立和老化, 为建造分布式热处理工艺专家协作系统打下了基础。     

基于Petri网结构的专家系统推理机制初探

据Ｐｅｔｒｉ网结构及图形表示,分析了一般专家系统的推理机制,针对其规则集,研究了基于Ｐｅｔｒｉ网的并和无所作推理机制。     

汽车自动变速器故障诊断专家系统的研究

汽车自动变速器是集机、电、液于一体的系统,其故障诊断难度大,故障诊断专家系统是目前汽车自动变速器故障诊断技术的发展方向。利用产生式规则和框架表示法构建知识库,建立自动变速器工作异常故障树并应用正向推理机制对专家系统进行了设计,以Visual Basic 6.0、Microsoft Access 2003为编程语言开发了自动变速器故障诊断专家系统。     

基于混合PAES的置信规则库推理算法

目前对置信规则库（BRB）的研究主要是关于BRB系统的参数或结构的单目标优化。然而,BRB系统中提高推理准确性和减少系统复杂度往往是两个相互冲突的目标。因此,设计合适算法来寻找到两个目标上的最优解具有重要意义。鉴于此,该文提出基于混合Pareto存档进化策略（M-PAES）的置信规则库推理方法（M-PAES-BRB）,通过最小化系统的均方根误差和系统复杂性来寻找到近似的Pareto最优前沿。该算法采用了改进型M-PAES算法来构建多目标优化模型,通过重组和变异操作生成候选解。该文选取两个标准时间序列,Mackey-Glass和Box-Jenkins作为实验数据,对M-PAES-BRB的可行性及有效性进行分析。实验结果表明,相比于模糊规则库的多目标优化方法（FRBSs）,该文方法的推理准确性更高,同时系统复杂度更低。     

基于面向对象技术的轴承装置设计专家系统

结合面向对象技术与专家系统原理、结构及关键实现技术,构造了一个用于确定轴承装置的专家系统。阐述了其系统结构、知识表示、知识库设计、推理机设计及实现方法。系统能够完成轴承的自动选择、轴承计算、轴承装置设计等工作,充分体现了设计过程的智能化。最后给出了系统运行实例。     

配煤过程的神经网络专家控制策略

根据钢铁工业的配煤过程,提出一种精确地决定和跟踪配煤比的神经网络专家控制策略,首先基于过程的统计数据和经验知识,建立了神经网络、经验模型和规则模型,然后结合这些网络和模型,提出一种决定配煤比的专家推理方法,最后用分布式控制系统实现配煤比的跟踪控制,实际结果证实了这种控制策略的有效性。     

基于错误矩阵方程的消避错专家系统

提出消避错专家系统的结构.基于错误矩阵方程,分析了如何创建消避错专家系统中数据库、规则库及模型,并给出错误矩阵、错误矩阵方程模型在消避错专家系统中的存储及推理实现形式.给出结合交通管理问题的基于错误矩阵方程的消避错知识推理实现案例.