基于路径约束求解的多目标状态激励生成方法

作     者：周艳红 王天成 李华伟 吕涛 李晓维 ZHOU Yan-Hong;WANG Tian-Cheng;LI Hua-Wei;LV Tao;LI Xiao-Wei

作者机构：中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049 

基　　金：国家自然科学基金(61432017 61176040) 国家"九七三"重点基础研究发展规划项目基金(2011CB302501)资助~~ 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2016年第39卷第9期

页      码：1829-1842页

摘      要：该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态.

主 题 词：激励生成 难达状态 抽象引导模拟 路径约束求解 

学科分类：0810[工学-土木类] 12[管理学] 1201[管理学-管理科学与工程类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11897/sp.j.1016.2016.01829

馆 藏 号：203188344...