语义网本体在离散数学课程教学中的应用

语义网本体广泛应用于知识工程、人工智能以及计算机科学领域,在教育、科研等方面也有重要作用。针对当前离散数学课程教学中存在的内容广、概念多、高度抽象和理论化等困难,利用本体作为辅助离散数学课程教学的重要工具,辅助学生理解、应用和实践离散数学知识,提出本体在教学过程中不同方面所起的作用以及教学思路与方法,得到了很好的教学效果和学生反馈。     

Diaolou： Watchtowers of Kaiping

My surprising experience began at the balcony on the top of a residence in Zili Village, Kaiping County, the coastalprovince of Guangdong in southern China. A plethora of tall concrete buildings featuring European styles of ancient Greece and Rome quietly stood in the countryside field, looking eccentric, unique and well-fit in the soft morning sunshine. At the residence gate, I saw three black Chinese calligraphic characters reading ＂Yun Huan Lou＂ （tower of cloudy illusion）.     

持续创新与企业成长--海尔集团公司的成长历程及其启示

本文展现了青岛海尔集团公司持续创新、成长壮大的历史进程,概括了其创业成功的基本经验,旨在为国有企业的发展提供参照.     

论企业创新网络的建构原则

基于现有研究文献和第一手案例研究资料,归纳总结了企业创新网络建构的6个原则,即网络关系的多样性原则,市场、层级和网络关系的匹配性原则,正式关系和非正式关系的平衡性原则,弱联系和强联系的均衡性原则,本土网络和海外网络的互补性原则以及网络治理的开放性原则。     

限制数量约束的扩展模糊描述逻辑的推理复杂性

为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.     

基于关系矩阵的异构本体间近似查询

提出一种基于关系矩阵的异构本体信息系统间近似查询方法.首先定义关系矩阵表达不同本体的概念间关系,然后给出一个重写查询方法.利用2个本体的概念间包含关系,将一个本体中的查询重写为另一个本体中的近似查询,从而解决本体异构问题.并提出用向量表示查询,通过查询向量和关系矩阵计算的结果考虑不同本体概念间的不相交关系,得到比现有方法更精确的近似查询结果.该方法可由机器自动完成,易于实现且速度快.     

语言值关联规则分类方法

目前采用的区间划分的关联分类法不能有效地体现出数据的实际分布情况, 并存在划分边界过硬的缺点. 文中首先讨论了通过挖掘最长的语言值关联规则构建分类系统的方法并分析了其不足, 然后给出了通过挖掘短的语言值关联规则构建分类系统的方法. 实验表明, 基于语言值关联规则的分类系统能在精度上优于2种流行的分类方法: C4. 5和关联分类法.     

支持语义web模糊本体的描述逻辑

为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.     

制度安排与持续创新

如何使国有企业尽早步入持续创新的轨道,是国有企业改革的焦点之一,本基于对康佳集团的案例分析表是,企业持续创新机制的形成,有赖于一组适当的互补性的制度安排,只要通过相应的制度创新,国有企业同样有可能形成一种持续创新的机制。     

一个新的基于EFALC的推理算法

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.