助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   region automaton 的翻译结果: 查询用时:0.151秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
自动化技术
更多类别查询

图标索引 历史查询
 

region automaton
相关语句
  区域自动机
     To get a better average space complexity,improves on it And then analyzes the time constraint of region automata, gets a newmethod to construct region automaton.
     通过分析时间自动机的时间约束条件,又提出了一种新的构造区域自动机的算法,该算法的时间复杂度与空间复杂度都有了较大的改善。
短句来源
     The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given.
     给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 .
短句来源
     Alur and Dill gives an algorithm to construct a region automaton where exist a lot of states which can't be reached or can be reached but useless.
     Alur和 Dill给出的构造区域自动机的算法 ,存在许多不可达或虽可达但无用的状态 .
短句来源
  “region automaton”译为未确定词的双语例句
     AN IMPROVEMENT ON THE CONSTRUCTION OF REGION AUTOMATON
     一种改进的区域自动机构造方法
短句来源
  相似匹配句对
     AN IMPROVEMENT ON THE CONSTRUCTION OF REGION AUTOMATON
     一种改进的区域自动机构造方法
短句来源
     Region Construction Method for Timed Automaton
     一种基于时间自动机的域构造方法
短句来源
     Function of Region
     区域函数
短句来源
     AUTOMATON AND PROGRAMMING
     自动机与程序設計
短句来源
     Culture Region
     文化区
短句来源
查询“region automaton”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  region automaton
Its decidability has been proved using the so-called region automaton construction.
      
We propose a new verification procedure, where increasingly more complex abstractions of the region automaton are iteratively constructed.
      


The property of timed automaton is presented. The basic concept of the timed automaton is given. The construction of the region automaton is described, and the algorithm to realize it is given. As an application of the timed automaton, the process of automatic verification by timed automaton is introduced. Finally the hardness of construction is analyzed briefly.

给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 .简述了通过时间自动机进行自动验证的过程 ,最后分析了区域自动机构造算法的时间复杂度

To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages. It also boils down to deciding the emptiness of the intersection of two timed regular languages. Timed automaton must be translated into the untimed region automaton at first if the emptiness of a timed automaton is to be decided. Alur and Dill gives an algorithm to construct a region automaton where exist a lot of states which can't be reached...

To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages. It also boils down to deciding the emptiness of the intersection of two timed regular languages. Timed automaton must be translated into the untimed region automaton at first if the emptiness of a timed automaton is to be decided. Alur and Dill gives an algorithm to construct a region automaton where exist a lot of states which can't be reached or can be reached but useless. By analyzing the clock constraint one can get rid of reachless or useless states during calculating clock region and time successor. An improved algorithm is presented to construct a region automaton, which is more optimal than Alur's.

用时间自动机验证一个有穷状态实时系统的正确性 ,可归结为判定两个时间正则语言的包含问题 ,亦可归结为判定两个时间正则语言的交是否为空的问题 .在判定一个时间正则语言是否为空时 ,先要将时间自动机转化为无时间的区域自动机 .Alur和 Dill给出的构造区域自动机的算法 ,存在许多不可达或虽可达但无用的状态 .通过对时钟约束进行分析 ,在求时钟区域和时间后继的过程中 ,不断地将一些不可达或无用状态筛掉 ,使构造出的区域自动机更为优化 ,改进了 Alur等人给出的算法

An optimization definition of clock equivalence,the key to model checking real-time,is described for model checking timed automaton.Based on its equivalent finite-state clock valuation,region automaton that the finite-state model resulted from timed automaton is redefined.By new equivalent formulae,the size of the states is given as few as possible after equivalence.The results suggest that reduction of the state space is efficient in new clock equivalence.

提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关region automaton的内容
在知识搜索中查有关region automaton的内容
在数字搜索中查有关region automaton的内容
在概念知识元中查有关region automaton的内容
在学术趋势中查有关region automaton的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社