宋煌
- 作品数:3 被引量:14H指数:2
- 供职机构:郑州大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 时间自动机与自动验证被引量:3
- 2001年
- 给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 .简述了通过时间自动机进行自动验证的过程 。
- 宋煌郑丽萍庄雷苏锦祥
- 关键词:时间自动机
- 关于时间自动机及其构造区域自动机的算法
- 论文首先给出了时间自动机的定义及相关符号,然后对使用等价类方法构造区域自动机的描述进行了算法实现.该算法的空间复杂度是状态数目的几何级扩张.对上述算法做进一步改进,使得平均时间复杂度有所改善.通过分析时间自动机的时间约束...
- 宋煌
- 关键词:空间复杂度时间自动机
- 文献传递
- 一种改进的区域自动机构造方法被引量:11
- 2002年
- 用时间自动机验证一个有穷状态实时系统的正确性 ,可归结为判定两个时间正则语言的包含问题 ,亦可归结为判定两个时间正则语言的交是否为空的问题 .在判定一个时间正则语言是否为空时 ,先要将时间自动机转化为无时间的区域自动机 .Alur和 Dill给出的构造区域自动机的算法 ,存在许多不可达或虽可达但无用的状态 .通过对时钟约束进行分析 ,在求时钟区域和时间后继的过程中 ,不断地将一些不可达或无用状态筛掉 ,使构造出的区域自动机更为优化 ,改进了
- 宋煌庄雷苏锦祥周清雷
- 关键词:时间自动机