对时间自动机中时钟约束的处理

• 作者: 周清雷 周颜 赵东明
• 来源期刊: 科技与创新
• 关键词: 时间自动机 时钟约束 可达性
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 软件天地
• 页码范围: 219-220,142
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.07.089

摘要

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
2	周清雷	郑州市高新技术产业开发区莲花街河南工业大学信息科学与工程学院	1	3	1.0	1.0