一种基于优先级扩展的时间自动机模型中DBM减法算法的改进

• 作者: 庄雷 赵旭辉
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 时间自动机 优先级DBM 减法
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 算法研究
• 页码范围: 56-59
• 页数: 4页
• 分类号: TP301.6
• 字数: 5285字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.018

摘要

本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进.这种减法是DBM上操作中的一种,它会产生需要用DBM集来表示的非凸集合.DBM的数量影响符号模型检测的性能,我们的减法算法是有效的,因为它产生的DBM的数量相对于最初算法具有较大程度的约减.DBM减法操作扩展了具有优先级的时间自动机理论,它对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄雷	郑州大学信息工程学院	92	704	13.0	21.0
2	赵旭辉	郑州大学信息工程学院	1	1	1.0	1.0