一种基于优先级扩展的时间自动机模型中DBM减法算法的改进
本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进.这种减法是DBM上操作中的一种,它会产生需要用DBM集来表示的非凸集合.DBM的数量影响符号模型检测的性能,我们的减法算法是有效的,因为它产生的DBM的数量相对于最初算法具有较大程度的约减.DBM减法操作扩展了具有优先级的时间自动机理论,它对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用。
时间自动机 减法算法 符号模型 检测性能 死锁检测 时间博弈
赵旭辉 庄雷
郑州大学信息工程学院,河南,郑州,450001
国内会议
西安
中文
56-59
2008-09-19（万方平台首次上网日期，不代表论文的发表时间）