粗集理论及其应用（二）

在智能信息处理中，知识的化简、信息的压缩起着重要作用，这涉及到知识的简化和数据的依赖性等概念。本首先对知识的简化和核作形式化的定义，介绍知识和范畴的简化方法。为了研究数据库中的函数依赖性，我们还将介绍数据的形式化定义及依赖性的语义因素等。     

基于粗糙集的故障诊断方法

利用粗糙集理论对决策表进行约简以自动获取过程工业生产系统中的故障知识，从信息熵的角度分析系统知识不确定性的变化，提出了一种基于粗糙集理论的故障诊断新方法，研究了粗糙集理论在故障诊断中的适用性，在前向推理和反向推理的基础上，给出了针对故障点建立决策表以及利用粗糙集约简所获得的诊断规则进行正、反向故障诊断的步骤，讨论了这种故障诊断方法的诊断性能及其在计算上的复杂度。通过这种方法能够进行故障的寻找和定位，实例分析的结果说明了利用粗糙集进行知识发现及建立智能故障诊断系统的可行件和有效件。     

基于相对知识粒度的决策表约简

知识粒度主要应用于信息系统的属性约简。为了把知识粒度拓展到决策表约简领域,在研究知识粒度的基础上,定义了相对知识粒度的概念,证明了对一致决策表约简而言,相对知识粒度表示与Pawlak代数表示的等价性。进一步定义了基于相对知识粒度的属性重要度,提出了两个基于相对知识粒度的启发式决策表约简算法。通过理论分析与实例表明约简算法是有效可行的。     

基于粗集理论的故障规则自动获取系统的研究

为增强故障诊断专家系统处理不完备信息和自动获取规则知识的能力，应用粗集理论及动态约简思想，深入研究并初步建立了故障规则自动获取系统。其中关键技术包括：故障样本信息的关系型决策表表示；决策表子表的随机采样；条件属性的动态约简算法设计；约简集合的过滤；故障规则的表达结构定义；故障规则的提取和规则的评价等。开发了相应的基于VC 平台的计算机软件，并以汽车发动机异响类故障为样本，对系统的故障规则获取过程进行了案例分析，从相关的实验结果和数据来看，较好地实现了系统的预定目标和功能。     

粗集理论及其应用（一）

作为研究粗集理论的开始，本文首先给出知识的形式化定义和知识库，知识的等价、携主特化等概念的一些基本性质，强调知识与分类概念的联系。当涉及到非为知识时，担保紧粗集概念作为讨论知识的理论基础，因而本文介绍了粗集与集合近似找 近似集合的性质及非精确 数字特征与拓扑特征，最后给出集保的粗等价、粗包含和分类的近似方法。     

概率论在Isabelle/HOL中的形式化

基于测度论在Isabelle/HOL/Isar中形式化了概率论,给出了概率空间在Isabelle/HOL中的形式化定义,形式化验证了概率测度的主要性质。形式化验证了测度扩张定理,为在Isabelle/HOL中构造各种概率空间、形式化验证概率算法和概率系统奠定了基础。     

远程教育系统中知识表示的研究

针对现有远程教育系统智能化低、知识表达能力差、结构化不清晰等方面的问题，引进了基于扩展标记语言XML(extesible markup language)的表示方法，并通过分析指出基于XML的表示方法在远程教育系统中的巨大优势；给出了一个通用的远程教育系统的体系结构，并用形式化的语言描述了该系统，最后将该形式化的语言转换为XML语言．     

基于广义有向图的产品功能建模方法研究

针对产品功能的结构表达及其计算机形式化问题，提出了基于广义有向图的产品功能描述及其建模方法，为实现功能模块的定量划分奠定基础。基于功能表达的信息流理论和传统图论中的有向图，以向量表示功能节点的边，以向量元素表示功能节点之间的流类型，扩展定义了广义链、广义可达性、广义邻接矩阵，进而形成广义有向图的完备概念，利用广义邻接矩阵作为产品功能结构模型的计算机形式化表达。以摩托车盘式制动器的功能建模为例说明了该方法的有效性。     

一种改进的形式化本体模型研究

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.     

基于知识粒度的增量约简算法

在现实中,许多数据库都是动态变化的,非增量约简方法处理这些数据需要花费大量的时间和空间。增量技术是处理动态数据的有效方法。首先介绍了计算知识粒度的增量机制,然后提出了基于知识粒度的增量约简算法,当一些对象增加到决策表时,能够利用原有决策表的知识粒度和约简,快速计算出增加对象后的知识粒度和约简,并通过理论分析验证了增量方法可以减少计算属性约简的时间复杂度,最后用增量方法和非增量方法对UCI数据集进行一系列试验。试验结果表明,所提增量算法在处理动态数据时能够节省大量的计算时间。     

粗集决策表与决策表简化的可信度比较

根据粗集决策表提供信息的完备性,借助可信度的定义,对粗集决策表和简化的决策表的决策规则的可信度进行比较,得出了简化后的决策表的决策规则的可信度高于简化前的决策表的决策规则的可信度,为粗集理论的应用提供了有用的分析工具。     

基于约束型程序设计风范的ICAD系统

在参数化绘图系统中，有关图形的知识可通过图素间的结构信息，图素自身的坐标及尺寸表达，面向约束的程序设计风范十分适合于处理该类问题。本中，首先介绍了约束型程序设计风范的概念，然后介绍了在智能CAD系统中约束定义的形式，基于约束求解的方法。     

基于本体的产品知识集成

针对产品生命周期中知识表达和集成的需求,提出一种基于中间层的产品知识集成框架,采用本体技术,具有显式定义语义、统一表达和动态集成产品知识的能力.元本体层定义了本体关系原语,提供通用的本体描述方法;本体层扩展元本体为共享本体、领域本体、过程本体和应用本体,支持本体的协作定义和集成映射;知识层提供了相应的逻辑结构,支持对知识实例的结构化、标准化管理,并给出使用Web本体语言（OWL）形式化表达的方法.以汽车减振器为实例说明该方法能有效提高产品数据管理（PDM）系统对知识集成的能力.     

汽车发动机点火系统故障诊断专家系统的开发

介绍了在汽车发动机点火系统故障诊断中应用专家系统的一些方法，对其中的关键技术－知识的获取和表达，推进方法和如何使系统具有学习功能等进行了探讨。     

远程教育系统中知识表示的研究

针对现有远程教育系统智能化低、知识表达能力差、结构化不清晰等方面的问题,引进了基于扩展标记语言XML(extesiblemarkuplanguage)的表示方法,并通过分析指出基于XML的表示方法在远程教育系统中的巨大优势;给出了一个通用的远程教育系统的体系结构,并用形式化的语言描述了该系统,最后将该形式化的语言转换为XML语言.     

突发灾害下城市路网交通流可靠性运行态势

为了识别突发灾害下交通流运行过程中路网可靠性的变化规律和潜在的运行态势,采用Rough集理论,结合城市道路交通状态判别、预测的知识,构建了突发灾害下路网可靠性知识表达系统。通过对路网元素属性数值的离散化处理,路网可靠性决策表的属性约简等一系列操作过程,实现了对路网可靠性运行态势的逻辑推理。试验结果表明:路网可靠性能够较好地拟合突发灾害下路网交通流的运行特征,交通路网可靠性态势分析的知识表达系统对可靠度的预测精度可达90%以上。     

粗集及其在知识发现中的应用

粗集理论在知识发现中的应用已成为知识发现研究的热点 .介绍了粗集的基本概念 ,包括粗集的定义、“属性 -值”系统、属性依赖与归约及粗集概念的若干推广 ,最后指出粗集理论在知识发现中的一个可能应用途径     

基于决策表的建筑工程质量监控规范建模与质量监控系统

针对目前建筑工程质量监控规范存在的应用不便,质量监控效率低等问题,利用决策表对规范知识进行建模,并采用框架表示法组织质量监控信息,在此基础上,实现基于Drools规则引擎的建筑工程质量监控.一方面,基于决策表的质量监控规范知识表达,便于实现面向监控对象的规范知识的组织和应用;另一方面,基于规则引擎将质量监控规范知识与质量监控数据分开管理,增强了规范知识的可维护性和系统的适应性.研究对于面向应用的建筑规范知识组织以及实现建筑工程质量监控自动化具有参考价值.     

基于RS理论的相容及不相容决策表简化对比研究

粗糙集理论是一种具有模糊边界的集合理论，它被广泛应用于相容和不相容有的规则提取中，本文针对RS理论中知识简化和核这两个重要问题进行了研究，提出了一种借助于逻辑推理运算得到的知识约减新方法，并应用具体实例对相容和不相容决策表的规则提取进行了比较。     

粗糙集约简算法在减速器故障诊断中的应用

提出应用粗糙集理论相关知识来解决机械产品设计和故障诊断中的实际问题.在分析和综合基于粗糙集理论分明矩阵的简约算法基础上,结合决策表技术,在减速器故障诊断知识方面的应用领域进行了分析,通过实例证明该方法是可行的.