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

图标索引 历史查询
 

timed symbolic transition graph
相关语句
  时间符号迁移图
     First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory.
     在计算模型与语义理论方面着重探讨了带并发性的实时传值模型,定义了一个新的计算模型-时间符号迁移图(Timed Symbolic Transition Graph),并建立了合适的语义理论。
短句来源
     Timed Bisimulation over Timed Symbolic Transition Graph
     时间符号迁移图及其互模拟判定
短句来源
  相似匹配句对
     Symbolic analysis algorithm for timed place petri nets
     赋时Petri网的一种符号分析算法
短句来源
     Timed Bisimulation over Timed Symbolic Transition Graph
     时间符号迁移图及其互模拟判定
短句来源
     On Symbolic speech
     论象征性言论及其保护
短句来源
     SYMBOLIC REPRESENTATION OF TIMED BOOLEAN FUNCTIONS AND ITS APPLICATION TO CIRCUIT DELAY COMPUTATION
     带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用
短句来源
     Shanghai as the Symbolic Image
     作为象征意象的“上海”
短句来源
查询“timed symbolic transition graph”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


A new modeling language, Timed Symbolic Transition Graph(TSTG), is introduced which can characterize both real time and value passing systems. An algorithm checking the timed bisimulation between TSTGs is presented.Traditionally, Labeled Transition System(LTS) is used to characterize the behavior of systems with states connected by directed edges labeled by some actions. Since LTSs do not contain variables, they are not suitable for explicit manipulation of data transfer between systems....

A new modeling language, Timed Symbolic Transition Graph(TSTG), is introduced which can characterize both real time and value passing systems. An algorithm checking the timed bisimulation between TSTGs is presented.Traditionally, Labeled Transition System(LTS) is used to characterize the behavior of systems with states connected by directed edges labeled by some actions. Since LTSs do not contain variables, they are not suitable for explicit manipulation of data transfer between systems. In this paper, we use TSTG to model value passing processes where processes can communicate with each other by exchanging messages(data) via channels. Another capability of TSTG is that it can model real time processes. To model the behavior of real time processes, it uses some clock variables with values ranging over non negative real numbers, where all the clocks will increment at the same speed in order to model time elapse. As value passing systems and real time systems are studied separately generally, TSTG is the first modeling language which can model such mixed systems under the unified framework.Bisimulation checking is a very important method in automatic verification of software and hardware systems, where timed bisimulation is a kind of equivalence relation between real time systems. In this work, we present an algorithm for the timed bisimulation checking between TSTGs together with its correctness proof.

引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法 ,并证明了该算法的正确性

Model checking is widely used in verification of hardware design and communication protocols. But because of state explosion, model checking cannot solve problems with larger scale. Actually, many issues in model checking can be reduced to reachability checking, which means less time and less space involved since the task is simply to check whether the state we care is reachable or not. Thus this kind of algorithms is easy to maintain or optimize in practice, and is accepted widely in industry. In this paper...

Model checking is widely used in verification of hardware design and communication protocols. But because of state explosion, model checking cannot solve problems with larger scale. Actually, many issues in model checking can be reduced to reachability checking, which means less time and less space involved since the task is simply to check whether the state we care is reachable or not. Thus this kind of algorithms is easy to maintain or optimize in practice, and is accepted widely in industry. In this paper and algorithm based on reachability analysis is presented and many useful properties can be checked efficiently by it. The model used for systems is Timed Symbolic Transition Graph which can represent both real time and value passing under the same framework. Correspondingly a logic is presented for the algorithm to check the assertions concerning time, data and location. The correctness proof for the algorithm is also given.

提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法 ,并给出了算法的正确性证明 .该算法可被用于硬件设计和通信协议验证等领域

 
图标索引 相关查询

 


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

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