可拓本体的定义与性质北大核心

针对现有本体不能明确表示一些可拓关系、不明确显示矛盾参数、不明确刻画矛盾,没有解决矛盾冲突的原理,其上推理不够丰富等不足,利用可拓学方法,提出了可拓本体概念和给出了可拓本体新要素,拓广了现有本体的内涵和外延,使可拓本体克服了以上不足,为本体用于创新,即解决矛盾创造了条件.而且给出了可拓本体性质定理,特别证实了复杂产品概念设计可拓本体具有一定的复杂产品概念设计的矛盾刻画和解决的知识、创新启示知识表示能力.     

解决矛盾问题的可拓模型与可拓知识的研究

可拓学是解决矛盾问题的学科,在可拓学的可拓模型原型的基础上,明确了计算机解决矛盾问题的可拓模型,它包括三部分:关联函数、可拓知识和推理算法,其中关联函数和可拓知识对不同的问题需要利用不同的原理,且它们是逐步变化的.在可拓知识中,关联函数的可拓变换需要通过计算证明其值是逐步增加的.这样,矛盾问题在计算机中才能得到解决.本文通过多个实例来说明解决矛盾问题的可拓模型及可拓知识的建立和实现.     

可拓数据挖掘研究进展

可拓学研究用形式化模型解决矛盾问题的理论与方法,可拓数据挖掘是可拓学和数据挖掘结合的产物,它探讨利用可拓学方法和数据挖掘技术,去挖掘数据库中与可拓变换有关的知识,包括可拓分类知识、传导知识等可拓知识.随着经济全球化的推进,环境的多变促使了信息和知识的更新周期缩短,创新和解决矛盾问题越来越成为各行各业的重要工作.因此,如何挖掘可拓知识就成为数据挖掘研究的重要任务.研究表明,可拓数据挖掘将具有广阔的应用前景.将介绍可拓数据挖掘的集合论基础、基本知识和目前研究的主要内容,并提出今后需要进一步探讨的问题及其发展前景.     

Agent协助建立矛盾问题的可拓模型研究

针对普通计算机系统缺乏界定矛盾问题(尤其是核问题)的能力的缺点,探讨了如何利用Agent技术协助建立矛盾问题的可拓模型的问题.提出一种方案,利用Agent的通信能力与反应性进行人机交互,引导用户输入问题信息,减轻让计算机识别自然语言信息的困难;利用Agent的自主性和学习能力,将学习到的知识保存到协助进行语义分析的本体中,使本体不断进化,提高系统界定各种各样矛盾问题的能力.创新点在于结合了可拓学、Agent、本体等几种不同学科领域技术的优势,使计算机系统具有一定的语义分析能力而协助人们界定矛盾问题.     

可拓逻辑的可满足性问题研究

可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例.     

可拓策略生成方法与技术研究

知识激活乃至策略生成问题目前仍然是属于探索性阶段.研究了知识生成和智能激发的可拓方法,其核心是利用可拓变换与拓展推理解决矛盾问题,它为技术实现策略生成探索出一条可行之路.     

逆向思维的形式化模型及其应用

逆向思维是一种解决矛盾问题和创新问题的重要思维模式,但目前大部分学者只是运用自然语言对其进行定性研究.利用可拓学的形式化工具——基元和可拓变换,给出了逆向变换和逆向基元的定义,从而构造了逆向思维的形式化模型,这为将来按照一定程序,甚至利用计算机软件生成逆向思维策略解决矛盾问题和创新问题奠定了基础,对于矛盾问题和创新问题的智能化处理研究具有不可替代的意义.     

基于可拓变换的产品适应性设计研究

适应性设计是一种在面向产品全生命周期设计中解决矛盾问题的有效途径.然而,现有设计方法很难客观地反映定性定量相结合求解设计矛盾问题.为此,提出一种基于可拓变换的产品适应性设计方法.首先建立可拓适应性设计一般流程,定义可拓设计基元,建立适应性设计矛盾问题,然后进行可拓分析,建立起传导矛盾环系统,以及满足产品功能-结构的变换规则、适应度函数,再通过可拓变换实现产品设计基元之间冲突的消解,输出适应性设计方案.最后将该方法应用于某全自动LED分拣机振动盘的适应性设计.应用实例表明:该设计方法不仅能快速满足不同需求下的个性化要求,而且能为计算机参与解决产品设计矛盾问题提供一种可行的途径.     

可拓学在管理领域中的应用研究进展

管理的过程就是通过开拓创新处理矛盾问题的过程.可拓学就是这样一门学科,它用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法,并用于解决矛盾问题.对可拓学在管理领域中的应用研究进行了回顾,分析了应用研究的特点.提出了可拓学在"冲突管理"、"系统思考"和"复杂系统管理"中应用的前景.     

大规模定制模式下敏捷产品可拓概念设计研究

在大规模定制 (MC)模式下 ,利用可拓方法给出了敏捷产品概念设计的一种物元可拓模型 ,讨论了创造性思维的一般规律及开拓的方向和途径 .最后 ,指出 MC敏捷产品的构思能够通过可拓策略生成器快速实现 .