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

图标索引 历史查询
 

timed labeled transition system
相关语句
  时间标号迁移系统
     The semantic model of TSP and the mapping rules from TSP to timed labeled transition system(TLTS) are defined.
     定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
短句来源
  相似匹配句对
     The semantic model of TSP and the mapping rules from TSP to timed labeled transition system(TLTS) are defined.
     定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
短句来源
     HMSCs were labeled with BrdU.
     用5μmol/L的5溴2脱氧尿苷(BrdU)对培养的hMSCs进行连续培养标记。
短句来源
     CHOLESTEROL LABELED WITH RADIOIODINE
     以放射性碘标记的胆固醇
短句来源
     Timed Automaton and Automatic Verification
     时间自动机与自动验证
短句来源
     Based on timed automata developed by R.
     本文在R.
短句来源
查询“timed labeled transition system”译词为用户自定义的双语例句

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


On the basis offinite state process(FSP) and timed automate (TA), a behavior model of a distributed real-time system called timed state process (TSP) is presented. There are several elements in TSP, which include 4 constant processes (IDLE, SKIP, STOP and ERROR), prefix process, timeout process, clock reset process, guarded condition process, undetermined choice process, data(/message/ACK) sendingprocess, data receivingprocess, composite process and sequence process. The semantic model of TSP and the mapping...

On the basis offinite state process(FSP) and timed automate (TA), a behavior model of a distributed real-time system called timed state process (TSP) is presented. There are several elements in TSP, which include 4 constant processes (IDLE, SKIP, STOP and ERROR), prefix process, timeout process, clock reset process, guarded condition process, undetermined choice process, data(/message/ACK) sendingprocess, data receivingprocess, composite process and sequence process. The semantic model of TSP and the mapping rules from TSP to timed labeled transition system(TLTS) are defined.

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.

 
图标索引 相关查询

 


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

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