您的位置: 专家智库 > >

郑丽萍

作品数:2 被引量:4H指数:1
供职机构:郑州大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇时间自动机
  • 2篇自动机
  • 1篇间字

机构

  • 2篇郑州大学

作者

  • 2篇郑丽萍
  • 1篇宋煌
  • 1篇庄雷
  • 1篇苏锦祥

传媒

  • 1篇郑州大学学报...

年份

  • 2篇2001
2 条 记 录,以下是 1-2
排序方式:
时间自动机与自动验证被引量:3
2001年
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 .简述了通过时间自动机进行自动验证的过程 。
宋煌郑丽萍庄雷苏锦祥
关键词:时间自动机
时间自动机新的识别模型及对长跨度区域自动机的研究
该文提出并深入讨论提出另四种经典识别条件C<,2>,C<,3>,C<,4>,C<,6>和C(i=1…6)取反所得新条件下的时间自动机识别模型.时间自动机用于实时验证的关键步骤是区域自动机的构造.经典区域自动机模型存在如下...
郑丽萍
关键词:时间自动机
文献传递
共1页<1>
聚类工具0