国家自然科学基金(NFS60963009)
- 作品数：2 被引量：4H指数：2
- 相关作者：王以松杨卓群许欢更多>>
- 相关机构：贵州大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 用daikon发现循环不变式被引量：2
- 2012年
- 随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。
- 许欢王以松
- 关键词：形式化循环不变式
- 语义网及其应用被引量：2
- 2011年
- 面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的。本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用。结合一个实例,介绍了基于Protégé的本体创建和推理过程,以及对所建本体使用Jena和Pellet进行本体查询的方法。最后,分析了语义网在信息检索、网络服务和医学领域的应用情况和研究意义,并提出了语义网的一些发展方向。
- 杨卓群王以松
- 关键词：语义网本体描述逻辑PROTEGE
