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

图标索引 历史查询
 

timed transition
相关语句
  时延变迁
     The main idea of this dissertation is to discuss how to use timed transition Petri net to analyze parallel program. Firstly, the author presents the basic transformation rules on transforming common parallel program into timed transition Petri net (TTPN), then using G.
     本文的主要工作是借助时延变迁Petri网来分析并行程序,首先给出了一般并行程序转化为TTPN的基本转换规则,对TTPN模型采用G.
短句来源
     Data parallel is that the same operation acts on different data simultaneously,we can find out the structure having the same operation by using the Timed Transition Petri Nets(TTPN)to analyze the data parallel problem. It is very beneficial to the simulation of the data parallel problem in parallel machine.
     数据并行即将相同的操作同时作用于不同的数据,利用时延变迁Petri网来分析数据并行问题,可以找出具有相同操作的结构,这对于数据并行问题在并行机上进行模拟有很大好处。
短句来源
  时间变迁
     Firstly, this paper associates a price with a time transition, and gives the semantics for price time Petri net in terms of priced timed transition systems.
     首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;
短句来源
  “timed transition”译为未确定词的双语例句
     The Analysis of Parallel Program Based on Timed Transition Petri nets
     基于时延Petri网的并行程序的分析
短句来源
     Three phase Timed transition Petri Nets With The Weak Firing Rules and Their Application to Concurrent Systems
     弱引发三态加时变迁Petri网及其在并发系统中应用
短句来源
     3. In order to describe the dynamic behavior in hydraulic system, the General Stochastic Petri net (GSPN) is applied to dynamic reliability modeling in respect that the process of failure and repair can be simulated by the timed transition.
     3.故障Petri网侧重于表达系统的故障层次关系以及下级故障的静态组合对上级故障的影响,但不具有动态特性的分析能力。
短句来源
     A kind of three phase timed transition Petri nets with the week firing rules, which are presented in this paper, are able to model and analyze the concurrent systems with deterministically timing constraints and conflict structures;
     提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;
短句来源
     In an EGSPN,input places which contain infinite tokens are introduced for modeling the surroundings inputs,gate transitions for controlling the inputs. Both gate transition and timed transition are associated with an arbitrarily-distributed random variable of time delay.
     用容纳有无穷多托肯的输入库所描述建模对象外部环境,用闸门变迁控制外部环境对建模对象的输入,为非立即变迁绑定一个任意分布时间延迟随机变量。
短句来源
更多       
  相似匹配句对
     Timed Bisimulation over Timed Symbolic Transition Graph
     时间符号迁移图及其互模拟判定
短句来源
     The Analysis of Parallel Program Based on Timed Transition Petri nets
     基于时延Petri网的并行程序的分析
短句来源
     Connection and Transition
     联系与过渡
短句来源
     Employment in Transition
     变革中的劳动就业
短句来源
     Timed Automaton and Automatic Verification
     时间自动机与自动验证
短句来源
查询“timed transition”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  timed transition
We extend the tabular notationof the SCR method to deal with sporadic and periodic timing constraints.We present a formal semantics for timed SCR specifications bytranslating them into timed transition systems.
      
The theory of Timed Transition Systems developed by Henzinger, Manna, and Pnueli provides a formal framework for specifying and reasoning about real-time systems.
      
A flush-out arc connectsa fluid place to a timed transition, and has the effect of instantaneouslyemptying the fluid place when the transition fires.
      
Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view.
      
New tools such as state charts, timed transition models, finitely recursive processes etc., are evolving to take into account some of these requirements.
      
更多          


A mode of FMS which call imitate and follow the implementation of jobshop scheduling in shopfloor is introduced.The model is formed by high level Petri net(HLPN).Colored tokens,timed transitions.and predicate transitions are defined to abstract the attributes of physical objects and the relationships between them,A compaet structure of FMS is provided by using database for token attributes.rulebase for transitions in forming an HLPN model which is able to drive several machining processes with...

A mode of FMS which call imitate and follow the implementation of jobshop scheduling in shopfloor is introduced.The model is formed by high level Petri net(HLPN).Colored tokens,timed transitions.and predicate transitions are defined to abstract the attributes of physical objects and the relationships between them,A compaet structure of FMS is provided by using database for token attributes.rulebase for transitions in forming an HLPN model which is able to drive several machining processes with sufficient information.The model can adapt not only various workpieces and their independent routine procedures,but also the change of workpieces and procedures in the case of real-time operation.

给出一种柔性制造系统(FMS)模型,它能模仿和跟踪车间中散件(Jobshop)调度计划的执行过程。模型由一类新的高级Petri网组成,它定义了着色令牌、时化变迁和谓词变迁,抽象了物理对象的主要属性和它们间的基本关联。通过数据库描述令牌属性、规则库描述变迁,构成了一种结构紧凑、信息丰富、可反映多个工作进程的高级Petri网模型。它能适应多种工件各自独立的工艺流程以及它们在运行中的变更,比较全面地解决了FMS的动态仿真和实时监控问题。

A kind of three phase timed transition Petri nets with the week firing rules, which are presented in this paper, are able to model and analyze the concurrent systems with deterministically timing constraints and conflict structures; The dynamic behaviours of the nets are discussed under the concurrent machine, these research results are applied to verify the logic characteristics and to optimize the resource allocation of finit resource scheduling for the concurrent systems.

提出的弱引发三态加时变迁Petri网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题

Petri nets are an intuitionistic graph modeling tool and a formal model having abundant math knowledge,which are applicable to depict the system having concurrent,asynchronous and distributed characteristic.Data parallel is that the same operation acts on different data simultaneously,we can find out the structure having the same operation by using the Timed Transition Petri Nets(TTPN)to analyze the data parallel problem.It is very beneficial to the simulation of the data parallel problem in parallel machine....

Petri nets are an intuitionistic graph modeling tool and a formal model having abundant math knowledge,which are applicable to depict the system having concurrent,asynchronous and distributed characteristic.Data parallel is that the same operation acts on different data simultaneously,we can find out the structure having the same operation by using the Timed Transition Petri Nets(TTPN)to analyze the data parallel problem.It is very beneficial to the simulation of the data parallel problem in parallel machine.

Petri网作为一种直观的图形建模工具和一种具有丰富数学基础的形式模型,非常适合描述具有并发、异步和分布特征的系统。数据并行即将相同的操作同时作用于不同的数据,利用时延变迁Petri网来分析数据并行问题,可以找出具有相同操作的结构,这对于数据并行问题在并行机上进行模拟有很大好处。

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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