10.14132/j.cnki.1673-5439.2019.06.009
一种基于遗传算法的概率假设-保证验证方法与实现
概率假设-保证推理(Probabilistic Assume-Guarantee Reasoning)是一种用于缓解随机模型检测中状态空间爆炸的方法,其将整个系统的验证分解为对较小组件的验证,组合较小组件的验证结果以达到对整个系统的验证.针对目前基于学习的概率假设-保证推理过程的缺陷:因学习假设过程中所有中间结果都需要存储而造成很高的空间复杂度,提出一种基于遗传算法(Genetic Algorithm,GA)学习假设的概率假设-保证推理方法,并将其用于组合验证MDP的正则安全性质.遗传算法本质上是一种随机算法,它的正确性通过满足训练集中的所有约束条件保证.该方法不需要记录中间结果,只需记录问题域和训练集的编码.因此,大大降低了产生假设的空间复杂度.实现了该概率假设-保证推理框架的原型工具,并通过领导人选举协议的实例对比了其有效性.
随机模型检测、假设-保证推理、遗传算法、正则安全性
39
TP3-05(计算技术、计算机技术)
国家重点基础研究发展计划973计划2014CB744903;中国航空科学基金20150652008,20185152035;中央高校业务基金NZ2013306;国家自然科学基金61303022,61572253;江苏省高校自然科学研究重大项目17KJA520002;留学人员科技创新择优资助项目
2020-04-15（万方平台首次上网日期，不代表论文的发表时间）
共8页
54-61
