基于DBM矩阵计算时间自动机时钟约束关系

• 作者: 周颜
• 来源期刊: 福建电脑
• 关键词: 时间自动机 DBM矩阵 状态转移
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 研究与探讨
• 页码范围: 89-90,38
• 页数: 3页
• 字数: 3311字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2015.10.047

摘要

时间自动机系统中常含有多个时钟，通常都以相同的速率增长，若所有时钟都不复位，那么系统中任意两个时钟之间的约束关系将始终保持不变；然而实际的时间自动机系统中随着状态转移的发生，会有时钟复位，从而导致系统中任意两个时钟之间的约束关系发生变化，文中提出了如何使用DBM矩阵计算时间自动机中每个状态的时钟约束关系，并进行了正确性分析。为简化时间自动机系统中状态可达性分析提供了一定的依据。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周颜	河南工业大学信息科学与工程学院	12	15	2.0	3.0