可拓知识与可拓知识推理

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

基于可拓学的自然语言处理与系统建模研究

研究了将可拓模型的自动建模技术应用于自然语言处理,并将此模型应用于自然语言理解．利用可拓模型及自然语言理解相关技术来描述语言信息、知识表示和知识推理,并设计实现了一套由自然语言到可拓模型的自动建模系统．通过构建基于知网的物元概念表、事元概念表和关系元概念表去训练输入的自然语言文本,从中提取出具有一定成熟度的基元模型,再通过基元可拓变换规则进行可拓推理．     

可拓命题与可拓推理句

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

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

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

基于物元可拓性的物无阿拓域

在实际问题中,集合的元素有许多其他特性,因而可用物元表示元素,将一般可拓集合转化为物无可拓集合,物元具有可拓性,每一种可拓性都可以确定一种变换,在一定的条件下,这种变换可以确定物无可拓集合的可拓域,从而为确定一般可拓集合的可拓域提供了依据,通过研究物元的可拓性与物元可拓集合的可拓域之间的关系,得到了两种确定物元可拓域的途径。     

面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

可拓推理

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

基于可拓逻辑的机械装置概念设计

概念设计是求出在一定约束条件下满足功能要求的设计方案,概念设计的过程即问题求解的过程．可拓模型为表示机械装置提供了一条简洁规范的途径,物元可以表示机械零件的基本特征和参数,零件之间的联接装配关系可以用关系元描述,事元则可以表示机械装置的运动状态．利用基元的可拓变换思想可以辅助设计中矛盾问题的解决以及产生新的设计方案,它给机械创新设计提供了一条新的途径．     

基于物元可拓性的物元可拓域

在实际问题中,集合的元素有许多其他特性,因而可用物元表示元素,将一般可拓集合转化为物元可拓集合.物元具有可拓性,每一种可拓性都可以确定一种变换.在一定的条件下,这种变换可以确定物元可拓集合的可拓域,从而为确定一般可拓集合的可拓域提供了依据.通过研究物元的可拓性与物元可拓集合的可拓域之间的关系,得到了两种确定物元可拓域的途径.     

可拓集合与粗糙集合

将粗糙集合和可拓集合进行了比较,并表明任何粗糙集合可以用一个形如U→{-1,0,1}的关联函数来表示．证明了这两个概念是不同的但可用可拓集合运算的新定义来把粗糙关联函数拓展到可拓集合的交并运算上,采用可拓集合中可拓域的概念较好地解决了此问题．     

面向质量问题的可拓知识表达与诊断推理

为使生产过程中检测信息不足的质量问题在最短的时间内得到相对合理的解决方案,针对案例的形式化表示及推理方法的局限性,提出基于可拓知识表达的质量问题案例推理方法.结合物元模型给出质量问题域的物元特征项和实例模型的知识表达;利用可拓变换对检索、重用、修正以及存储过程中的特征项调整进行相容性求解;结合基于领域知识的分层实例组织形式与最近邻检索策略给出案例推理计算方法;对608-2RS球轴承振动问题解决方案的求解表明,该方法实用、可行.     

Petri网在多处理器系统性能分析中的应用

Petri网作为离散事件系统建模,性能分析及控制的数学图形工具,已有广泛应用。本文介绍扩充Petri网及其在多处理器系统性能分析中的应用。     

计时扩展双变迁Petri网及其分析技术

扩展双变迁 Petri网是一种适合嵌入式系统的建模工具。但是 ,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁 Petri网的变迁引入时间因子 ,以及该模型结构特征的分析研究 ,给出了计时扩展双变迁 Petri网 ,及其状态方程和时间分析算法 ,从而使双变迁 Petri网的描述能力增强 ;利用时间分析算法 ,可初步实现嵌入式系统的时间分析 ,为双变迁 Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具 ,以便于开发人员自动地分析系统的时间性能。     

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

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

Petri网在野战防空C^3I决策系统中的应用

介绍了野战防空Ｃ＾３Ｉ火力分配专家系统,并给出了此类专家系统的知识库规则表示,然后利用谓词Ｐｅｔｒｉ网描述火力分配的推进过程。     

着色网到基本网的等价变换

本文证明了任意一个着色网都可以转换成与其等价的基本网，并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。     

层次化模糊Petri网:形式化定义和推理

针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。     

Method of Dynamic Knowledge Representation and Learning Based on Fuzzy Petri Nets

A method of knowledge representation and learning based on fuzzy Petri nets was designed. In this way the parameters of weights, threshold value and certainty factor in knowledge model can be adjusted dynamically. The advantages of knowledge representation based on production rules and neural networks were integrated into this method. Just as production knowledge representation, this method has clear structure and specific parameters meaning. In addition, it has learning and parallel reasoning ability as neural networks knowledge representation does. The result of simulation shows that the learning algorithm can converge, and the parameters of weights, threshold value and certainty factor can reach the ideal level after training.