时间自动机的自动抽象算法

• 作者: 戎璐 支小莉 童维勤
• 来源期刊: 西南交通大学学报
• 学科: 工学
• 关键词: 自动 算法 时间自动机 抽象
• 年，卷（期）: 2004,（5）
• 页码范围: 670-674
• 页数: 5页
• 分类号: TP311.5
• 字数: 3634字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2004.05.026

摘要

为对付时间自动机规格分析验证中的状态爆炸问题,提出了一种自动抽象算法.它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象,从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度.实验证明,该算法可应用于任何满足线性复位性质的时间自动机.此外,这种算法还可以用来简化系统描述,提高其可理解性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童维勤	上海大学计算机学院	37	217	7.0	12.0
2	支小莉	上海大学计算机学院	15	53	4.0	6.0
3	戎璐	中国科学院上海微系统和信息技术研究所	4	7	2.0	2.0