一种时间自动机时钟离散化算法

• 作者: 周清雷 朱维军
• 来源期刊: 郑州大学学报（理学版）
• 学科: 工学
• 关键词: 时间自动机 模型检测 物理时钟 离散化
• 年，卷（期）: 2011,（3）
• 页码范围: 70-72
• 分类号: TP301
• 字数: 2213字
• 语种: 中文

摘要

稠密时间自动机被广泛应用于实时系统自动验证.然而其在补操作下不封闭,因而导致多种线性实时性质不可验证.离散时间自动机虽不存在此问题,但该模型表达能力偏弱.因此,提出了一种时间自动机时钟离散化算法,结合时钟物理约束因素,证明了新方法可有效解决上述问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	朱维军	郑州大学信息工程学院	46	121	6.0	9.0