一种模型检测精确加速的判断方法
勾利杰1
李真1
王从银2
庄雷1
1.郑州大学信息工程学院,郑州,4500012.郑州大学信息工程学院,郑州450001;吉首大学数学与计算机科学学院,湖南吉首416000
摘要：在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度.对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件.实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速.
关键词：模型检测精确加速加速效益加速代价
分类号：TP301(计算技术、计算机技术)
资助基金：河南省科技攻关计划(122102210042)
论文发表日期：2014-07-02
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 37-41 )
英文信息