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

图标索引 历史查询
 

transition trace
相关语句
  状态变迁迹
     A shared variable language with process creation is defined in this paper. Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model.
     针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .
短句来源
  相似匹配句对
     Trace Calculus
     Trace演算
短句来源
     The Trace of Power
     权力的踪迹
短句来源
     Employment in Transition
     变革中的劳动就业
短句来源
     Connection and Transition
     联系与过渡
短句来源
     The high phase transition temperature was due to Mg trace in the starting materials.
     高的相变温度源于原材料中微量Mg的存在。
短句来源
查询“transition trace”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  transition trace
In the context of transition trace analysis, the question whether a given program can exhibit a given trace is addressed with VeriSoft.
      


A shared variable language with process creation is defined in this paper.Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model.Extended state transitions can differentiate transitions occurring in a created process from those occurring in the original process.Based on this extension, some semantic composition operators can be defined to sequentially compose or interleave the transition...

A shared variable language with process creation is defined in this paper.Its structural operational semantics is described using transition systems and its denotational semantics is defined with an extension of transition trace model.Extended state transitions can differentiate transitions occurring in a created process from those occurring in the original process.Based on this extension, some semantic composition operators can be defined to sequentially compose or interleave the transition traces of respective commands according to the types of the extended state transitions occurring in them,which illustrates that the execution of the concurrent processes are limited by their creation spots in the program.The equivalence of the two semantics is proved at the end.

针对一个基于共享变量的带有进程创建的命令式语言 ,用变迁系统描述了它的结构操作语义 ,并用扩展的状态变迁迹模型定义了它的指称语义 .在该模型下 ,状态变迁被区分为两种不同形式 ,分别表示发生在原进程和被创建进程中的状态变迁 ,这样便可以定义适当的语义复合运算 ,在对命令的指称进行复合时根据变迁类型的不同对变迁迹进行串行或交错连接 ,恰当地反映了进程的并发运行受到创建命令在程序中的相对位置的限制 .最后证明了这两个语义的等价性

 
图标索引 相关查询

 


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

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