航天控制软件知识图谱构建方法研究 #br#

摘要： 近些年，知识图谱构建技术快速发展，但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造，首先构建本体，然后通过本体学习得到实体，再将实体加入到知识图谱中.但这种做法有一个缺点，本体学习的过程过分依赖人工，不支持构建专业性强、数据量大的领域知识图谱.针对这一缺点，本文提出一种自顶向下和自底向上法相结合的领域知识图谱构建方法.提出一种改进的骨架法来进行本体构建，保证构建本体的准确率和覆盖率；利用基于规则与半监督的知识抽取技术，提高知识图谱的构建速度；并以某航天控制软件为例，详细说明了领域知识图谱的整体构建流程.实验结果表明，该领域知识图谱的构建方法是可行的.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.