可拓知识与可拓知识推理

论述可拓知识是对知识概念的扩展,可拓知识推理是知识推理的扩展,证明可拓推理公式的正确性．利用可拓数据挖掘定理和实例,探讨可拓知识的获取,并说明可拓知识推理的应用．     

实例推理的可拓方法及其应用

针对目前基于实例的推理方法在实例表示、检索和修改等方面存在的局限,提出了一种基于可拓学原理的实例推理方法。该方法用物元模型以定量与定性相结合的方式对实例推理中所涉及的实例和问题进行统一描述;提出了距的计算方法并用来计算实例到目标空间的相似度;应用可拓变换原理对检索实例进行适应性修改以使新实例符合问题的需要。最后以水轮机选型设计为例,说明了利用可拓学方法进行实例推理的可行性。     

可拓命题与可拓推理句

进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．     

属性约简与数据挖掘的可拓变换与可拓知识的表示

利用可拓学的可拓变换和可拓知识对知识发现过程中的属性约简与数据挖掘进行形式化，并引入计算算子和计算型变换，从属性约简与数据挖掘中提取可拓变换和可拓知识（含变换的因果关系），从而更精炼地说明了属性约简和数据挖掘的本质．     

可拓推理

根据可拓学理论,给出了可拓推理模型和可拓推理的有关概念,并讨论了推理算法的实现过程．     

属性约简与数据挖掘的可拓变换与可拓知识的表示

利用可拓学的可拓变换和可拓知识对知识发现过程中的属性约简与数据挖掘进行形式化,并引入计算算子和计算型变换,从属性约简与数据挖掘中提取可拓变换和可拓知识(含变换的因果关系),从而更精炼地说明了属性约简和数据挖掘的本质.     

成衣制造工艺知识可拓表示与实例推理应用研究

激烈的市场竞争,使企业必须满足客户需求进行多品种、小批量生产,导致企业的工艺设计方案急速增长.现有CAPP系统知识化表示不足,使工艺设计人员难以快速找到相似工艺,降低了工艺设计效率.通过对传统的谓词逻辑、产生式规则、语义网络和框架等知识表达方法进行可拓表示,对成衣制造工艺知识进行建模与实例推理应用研究,建立了定性与定量相结合的成衣制造可拓知识表达模型,提出了可拓信息物元相关性和相似性计算方法.把可拓学与实例推理相结合,构建了可拓激励推理模型,并将可拓学中的可拓距运用于该算法,进行实例搜索,根据距值的不同确定实例点在目标区间的位置.将激励算法与物元的可拓性和可拓距相结合,能提高激励算法的经验性,只要实例库中存在满足求解的相似工艺方案,则通过大量的应用和系统的自学习功能,可以拓展实例库,大大提高工艺设计效率,从而进一步增强CAPP系统的智能性及实用性.     

系统故障的可拓诊断方法

利用可拓方法,建立了系统故障诊断的定性分析与定量分析相结合的方法,为利用计算机进行故障诊断提供了可行的物元模型．     

可拓事件与可拓概率

引入了随机物元的概念,建立了随机事件的物元模型,提出了可拓数学中可拓事件与可拓概率的概念．初步讨论了可拓概率的基本性质,证明了经典概率是可拓概率的特例     

可拓推理的Petri网表示

将可拓理论的知识表达与Petri网相结合得到可拓展Petri网EPN(Extension Petri Nets)．EPN不但可以进行传统的逻辑推理以及模糊推理表示,还可以进行可拓推理表示,增强了Petri网对系统可扩展性的描述能力,同时也为可拓推理提供了有效的图形化表示方式,并行推理和数学验证分析方法．     

基于多范例推理的小组软件过程规划算法

由于软件开发小组和软件产品的不同，小组软件过程发生相应的改变，为了达到对软件过程由事后分析到事前规划的目的，必须要进行小组过程规划的研究．小组软件过程由活动组成，活动受角色、时间、数据、设备等方面的约束，软件过程的规划就是多约束满足问题．文中提出用问题归约策略与基于范例推理结合的方法解决这个问题．引出了范例粒度的概念，形成一种多范例推理的方法，对这种方法所涉及到问题和解决的办法做了详细的论述，并且验证该方法是有效的．由范例的重用体现出过程级上元素的重用，有利于软件过程的控制与优化．     

物元可拓法在黄河水质评价中的改进及其应用

可拓学论著中，定义了“可拓集合用取（-∞，∞）的实数来表示事物具有某种性质的程度，正数表示具有该性质的程度，负数表示不具有该性质的程度，零则表示既具有该性质又不具有该性质”，即数学中的“＋”、“-”号作为定性之用．而物元可拓法以最大关联度作为评定准则，把“＋”、“-”号作为定量之用．针对物元可拓法在实际应用中的不足之处，本文提出了改进方法，其实质是改变了物元可拓法的关联度和评定准则，同时将改进后的方法应用于黄河水质综合评价中，使最终的评价结果更具合理性．     

物元可拓法在黄河水质评价中的改进及其应用

可拓学论著中,定义了“可拓集合用取(-∞,∞)的实数来表示事物具有某种性质的程度,正数表示具有该性质的程度,负数表示不具有该性质的程度,零则表示既具有该性质又不具有该性质",即数学中的“+"、“-"号作为定性之用.而物元可拓法以最大关联度作为评定准则,把“+"、“-"号作为定量之用.针对物元可拓法在实际应用中的不足之处,本文提出了改进方法,其实质是改变了物元可拓法的关联度和评定准则,同时将改进后的方法应用于黄河水质综合评价中,使最终的评价结果更具合理性.     

面向智能成矿预测的案例推理模型与方法

针对矿产资源潜力预测的问题,以案例推理模型为基础,顾及地质空间数据的空间特征,提出一种智能成矿预测方法——成矿案例推理模型与方法,具体包括耦合空间特征和属性特征的成矿案例表达模型、成矿案例库存储组织、成矿案例相似性检索模型等。以青海省东昆仑地区金矿资源潜力预测为例,进行了基于成矿案例推理模型和证据权模型的区域成矿预测实验,并将成矿案例推理模型实验结果与传统的证据权模型实验结果进行了对比。结果表明：成矿案例推理模型较传统的证据权模型方法预测精度更高,该模型与方法用于区域成矿预测效果良好。     

可拓神经网络模型的设计与实现

为解决BP神经网络模式识别时训练准则和分类准则不一致的问题,采用可拓学的扩缩变换,通过在输出空间中用一个特定区域(称作教师区域)来代替教师信号,极大地提高了可拓神经网络模型的训练速度,同时彻底解决网络训练和实际分类准则不一致的问题.计算实例表明,可拓神经网络是一个有效的模式识别工具.     

基于实例面向产品的工艺信息推理系统

利用基于实例推理技术,开发了基于实例面向产品的工艺信息推理系统.详细介绍了系统实现的关键技术:面向产品的工艺信息的表达、搜索、复用、校验和保存.实际应用表明,基于实例的推理技术提高了推理系统的效率,缩短了产品的研制周期.