有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

贝叶斯回归支持向量机的软测量建模方法

提出了一种基于贝叶斯证据框架的回归型支持向量机的参数选择和软测量建模方法。证据框架的第1层推理用来解释支持向量机的训练。证据框架的第2和第3层推理用于自动调整正则化参数和核参数并使其接近最优值。然后,将这种基于贝叶斯证据框架的回归型支持向量机用于估计聚丙烯腈生产过程的质量指标。仿真结果表明了该方法的有效性。     

面向对象规则型专家系统模板的实现

在发动机的故障诊断领域．专家系统(ES)正得到越来越广泛的应用。本首先讨论了ES的模板化思想；接着重点研究一种面向对象的规则型ES模板，包括面向对象的规则知识表示、启发性的改进DFS推理机制及图形化的人机界面三个方面；最后运用该模板创建了一个MCD磨粒诊断ES实例。应用表明，规则型ES模板化不仅增强了ES的知识表示与启发推理的能力．而且为ES的快速构造与实现开辟了一条新的途径。     

基于图匹配的工程图纸检索

以图档管理系统的设计与开发为背景,提出了基于图匹配的二维图形检索模型.将不同复杂层次的图形元素构成抽象为空间关系图,使二维图纸具有统一的表示,因此将图形检索转化为不同信息粒度的空间关系图相似度计算,并通过增加结点及边匹配约束条件预测当前匹配状态的后继有效状态,有效地减少了空间关系图匹配过程中的状态搜索空间,提高了图匹配算法效率.空间关系图的表示及图匹配算法具有很好的实用价值,已在图档管理系统中得到较好应用.     

航空薄壁结构有限元建模的智能化求解模型研究

介绍了利用CAD、网络自动剖分和人工智能技术相结合进行航空薄壁结构有限元建模的问题求解框架，着重论述了建模过程中模型演变的四个不同阶段的任务，提出了适应于建模各阶段的整体式知识表达模型，并对采用黑板机制来组织知识推理和算法任务调度的过程求解模型做了描述。该问题求解框架有助于构造高效实用的复杂薄壁结构有限元建模专家系统。     

大规模定制设计的产品簇匹配研究

采用基于规则与基于实例相结合的推理方法，给出典型的基于实例推理的专家系统解决问题的一般过程，本文重点研究大规模定制设计的产品簇匹配问题，实施二级匹配策略，先采用规则推理的方法对产品簇大类属性进行匹配，缩小匹配范围，后采用基于实例推理的方法对产品簇小类具体属性进行定量精确匹配，优化了设计手段，效果良好。     

FMS实时调度系统的研究

柔性制造系统（ＦＭＳ）运行控制软件是保证ＦＭＳ有条不紊运行并充分发挥其潜在能力和效益的指挥中心，而ＦＭＳ运行软件的核心是实时调软件。本文讨论了面向对象的方法和专家系统技术在ＦＭＳ实时高度软件设计中的应用。该设计技术既能发挥面向对象方法的优势，又能突出专家系统的特点，以对象为中心来构造专家系统，本评论人知识获取、表示和推理三方面进行了论述，重点介绍了ＦＭＳ调度领域专家知识的面向对象表示。     

有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。     

发动机指示与机组报警专家系统(英文)

开发了一种专家系统，用来管理ＥＩＣＡＳ故障隔离与维护知识。运用面向对象程序设计技术（ＯＯＰ）和微软基础类库（ＭＦＣ），作者建立起一种框架决策树，将知识库、推理机和人机界面加以重构并形成一体。当输入一个Ｅ－ＩＣＡＳ指示的故障症状，该专家系统即能够通过一步步推理实现故障定位并给出相应的维护建议。     

关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

一种三维空间9-交模型的简化方法

9-交模型是一种表达三维空间拓扑关系的常用方法,但存在着冗余度大等问题。本文在Z latanova简化9-交模型工作的基础上,定义了点、线、面和体等简单三维空间对象,对它们之间的拓扑关系进行了研究。排除各种不可能的情况,共总结出24种可能的9-交结果以及80种点线面体之间的拓扑关系,并进行归类得到55种拓扑分析操作,从而大大简化了原模型。以线与体的拓扑关系分析为例,给出了根据简化以后的9-交模型进行拓扑分析操作的具体算法实现。     

经济法调整对象探析

经济法的调整对象是经济法基础理论的核心问题。根据政府干预经济的内容,对经济法所调整的具体经济关系可以概括为市场经济主体的法律调整、市场管理关系的法律调整、宏观调控关系的法律调整、社会保障关系的法律调整。     

基于Web和层次实例推理的CAPP的研究

针对网络时代制造业企业对CAPP系统的现实要求,研究了以互联网为基础,以开放、通用、智能为特征的CAPP模型.模型采用数据库、Web服务器和客户端三层结构,实现了CAPP的在线服务.本文提出了一种称为基于层次实例推理的工艺生成方法,该方法将工艺计划分为工艺过程、工序和工步三个层次,并对这三个层次分别进行基于实例的分层推理,使工艺生成规则描述的随意性为基于粒度描述的规范性,降低了工艺规程组合和重用的粒度.由于采用基于层次的实例推理方法,使工艺生成既具派生又具创成的特征,提高了工艺生成的通用性和实用性.     

基于案例推理的TCAS板卡深度故障诊断研究

TCAS是保证飞机安全飞行的重要保障。本文分析了TCAS板卡的故障模型和电路结构,在故障诊断系统中引入案例推理方法,对增强TCAS板卡深度故障诊断的效率有很大帮助。     

复杂性和意义含糊问题的定性仿真和控制

定性推理;定性仿真;定性模型许多系统是高阶、时变、非线性,传统的模型分析方法不容易应用。定性推理能避免复杂的数学计算,定性推理有吸引力是因为它涉及到物理系统一般原理的描述,这意味着一个特殊的定性模型能用于描述一个大范围的起作用的条件。在工程上定性推理用于监控和诊断。这篇论文阐述如何用定性推理技术去控制液位系统的问题。     

确定透视图象的未知摄影参数

给出了几个新的透视逆变换关系式，利用这些解析变换公式，提出了一种计算透视图象的未知摄影参数的优化方法，并介绍了三维重建过程和有关例子     

不完备系统中的变精度多粒度粗糙集

以不完备信息系统为研究对象,将变精度粗糙集方法与多粒度粗糙集方法进行融合,构建了基于容差关系的可变精度乐观和悲观多粒度粗糙集模型.这两种可变精度多粒度粗糙集模型都是基于容差关系的可变精度粗糙集与多粒度粗糙集的拓展形式.对可变精度多粒度粗糙集的基本性质进行了讨论,为采用粗糙集方法处理不完备信息系统提供了新的技术手段.     

多体系统运动学中某些矢量关系的论证

在Roberson/Wittenburg体系多体运动学中,一些矢量关系未加充分的论证。例如对转状规阵H的建立没有提出具体的法则。本文提出辅助矩阵S的概念,给出建立转换矩阵H的方法和性质。从而论证了R/W体系中通路矢量的关系,以及两种情况下的增广体质心矢量间的关系。