摘要：从知识库的解释出发,对概念和概念间关系的解释进行了分析,定义了知识库系统的最小概念集合,设计了生成最小概念集合的方法,提出了基于解释的知识库综合算法,讨论了该算法在有限域上的可计算性。

摘要：序列模式挖掘可以用来有效地发现网络系统中的告警关联知识.论文研究了序列模式挖掘在网络告警分析中的具体应用.首先,将挖掘过程分成了特定设备告警序列挖掘、同类设备告警序列挖掘和互联设备告警序列挖掘等3类,根据不同的用户意图来有效地确定挖掘范围,避免对无关数据的访问.为了进一步提高挖掘算法的执行效率,又提出了用于描述网络拓扑信息的拓扑约束,并设计了基于拓扑约束的互联设备告警序列模式挖掘算法.

摘要：论文以知识点及其相互间关系为核心、构建了基于学科本体的教学专家系统。同时,将"微型学习视频"引入到教学素材库本体的设计中,从教学微策略等角度讨论了微型学习视频的设计原则和特点,从教学宏策略等角度提出了基于知识空间理论的微视频的选编算法。以"氧化还原"教学专题内容为例进行了教学实践活动,阐述了基于微视频的教学专家系统的自主学习模式及其教学流程,并采用实验班和对照班对比研究的方法,验证了选编算法的可行性及利用该系统开展自主学习有效性的教学效果分析。基于微视频的教学专家系统在具备"智能性"和"个别化学习"功能的同时,更具有"移动学习"时代的时代性和普适性,能够提高学生的学习效率。

摘要：将本体应用到卫星通信网评估系统(SCNES)中,可以有效提高卫星通信网评估系统的可重用性。对卫星通信网评估系统进行分解,对其构成要素进行分析;构建了卫星通信网评估本体(SCNEO),对其主要概念以及公理进行了设计;对SCNEO在卫星通信网评估系统中的应用流程进行了介绍,通过实例说明基于SCNEO的评估系统具有自适应能力。