面向河南省信息技术创新和扩散的机制研究

信息技术创新是促进经济发展和提高信息化建设水平的重要支撑。针对河南省在信息技术创新与扩散推广中存在的不足,提出了完善激励政策、加强成果推广、健全扩散途径等机制,以期加快河南省信息化建设的步伐。

河南省信息化与工业化融合的对策研究

从信息化与工业化关联性及其融合的内涵入手,在对河南省信息化的发展现状进行充分调查的基础上,针对河南省信息化与工业化融合中存在的问题,提出从政策、动力和支撑3个方面促进河南省信息化与工业化融合发展的应对策略,以加快河南省的信息化进程。

虚拟助理技术及其在现代远程教育中的应用前景展望

对虚拟助理的发展现状、应用领域、特点和主要实践以及现代远程教育的特点进行分析,探讨虚拟助理在现代远程教育中应用的必要性和可行性,提出将虚拟助理应用到远程教育的意义,以期促进教育领域对虚拟助理技术的研究,实现虚拟助理技术与现代远程教育的融合。

基于语义信息内容的FCA概念相似度计算方法

基于概率信息内容的FCA概念相似度计算方法依赖于语料库中概念的频次信息,这种方法仅使用出现概率作为信息内容度量指标计算FCA概念相似度,其计算结果的准确率不高。针对上述问题提出一种基于语义信息内容的FCA概念相似度计算方法,该方法利用本体中概念间的上下位语义关系度量信息内容,以进一步提高概念一般/具体程度的度量精度;然后在本体派生的ISA层次结构上计算语义信息内容相似度,从而避免基于概率信息内容的方法对语料库的依赖;最后把语义信息内容相似度作为度量FCA概念相似度的依据,并给出了通过构造带权二部图提高相似度计算效率的方法。实验结果表明使用基于语义信息内容的方法能够在不牺牲时间性能的前提下有效提高FCA概念相似度计算结果的准确率。

基于惰性切片的线性时态逻辑性质验证

惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰性切片的线性时态逻辑公式验证方法。该方法首先构造给定线性时态逻辑公式的否定Büchi自动机与系统模型的乘积自动机,然后使用惰性切片算法在该乘积自动机上以惰性方式搜索可接受迹,从而把线性时间性质验证问题转换为通过可达性分析搜索可接受状态的不变性检测过程。实验结果证明,基于惰性切片的线性时态逻辑公式验证算法在不损失验证结果正确性的前提下使惰性切片算法具备了验证线性时间性质的能力,同时也有效提高了LTL模型检测方法的可扩展性。

基于限界传递相似度图的FCA概念相似度计算方法

使用相似度图计算FCA概念相似度需要构造相似关系的传递闭包,对于复杂问题会导致相似度图规模过大,从而影响相似度评价的效率。为了降低相似度图规模,提出一种基于限界传递相似度图的FCA概念相似度计算方法。该方法首先通过限定传递相似关系的长度来避免构造相似关系的传递闭包,得到的限界传递相似度图中忽略了长度超过界限且对区分FCA概念无用的传递相似关系,能够有效压缩相似度图的规模;然后给出了动态传递相似度计算方法和由限界传递相似度图构建二部图的方法。实验结果表明,使用限界传递相似度图能够在不损失计算结果准确度的情况下有效提高FCA概念相似度计算的效率。