基于时间自动机的符号状态拆分优化算法

摘要：

为约简时间自动机的状态空间,对时间抽象互模拟技术进行研究,提出一种改进的符号状态拆分算法.通过在符号状态拆分的过程中将隐含的时钟约束加入符号状态来缩小符号状态的时间域,减少符号状态拆分的次数,提高符号状态拆分算法的效率.为实现符号状态拆分算法,提出一种改进的DBM(difference bound matrices)减法算法.将减法算法得到非凸多面体用互不重叠DBM集合来表示,使得由符号状态拆分算法得到的等价类中没有冗余的等价类.实验结果表明了改进后的符号状态拆分算法和DBM减法的有效性.

关键词：时间自动机、状态空间约简、互模拟、符号状态拆分算法、DBM减法

所属期刊栏目：38

分类号：TP311.5(计算技术、计算机技术)

资助基金：武器装备预研基金项目9140A15040214DZ04221;国防基础科研计划基金项目JCKY2013415C001;国防技术基础科研计划基金项目JSZL2014415B002

在线出版日期：2017-08-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1866-1871