广西研究生教育创新计划(2010105950812M28)
- 作品数:2 被引量:2H指数:1
- 相关作者:赵岭忠翟仲毅王雪松钱俊彦方毅立更多>>
- 相关机构:桂林电子科技大学武汉大学更多>>
- 发文基金:软件工程国家重点实验室开放基金国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于ASP的程序切片被引量:2
- 2012年
- 针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效率,基于Cmod-els的改进算法的运行效率是最高的。
- 翟仲毅王雪松赵岭忠
- 关键词:程序切片数据流回答集编程
- 正规逻辑程序回答集存在性研究
- 2011年
- 判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题,也是NP完全问题。当前利用否定圈边数的奇偶性来判断回答集存在性的方法还具有一定的局限性,即:对于非分层逻辑程序,现有方法并不能准确判断其回答集存在性。针对该问题,提出了一种新的基于否定圈的判断方法,给出了该判断方法的算法框架,证明了算法的正确性,并以实例分析说明了方法的有效性。
- 方毅立赵岭忠钱俊彦