查询词典 timed

In this paper, we propose a project management structure based on timed Petri net.

本文提出一种基于时延 Petri网的项目管理方法，克服了上述的不足。

For the avoidance of doubt, where the Work is a musical work, performance or phonogram, the synchronization of the Work in timed-relation with a moving image will be considered an Adaptation for the purpose of this License.

为避免疑义，为本授权条款之目的，当本著作是音乐著作、表演或录音物时，将本著作依时间序列关系附著於动态影像之创作，视为改用作品。

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

A new type of timed fuzzy Petri netapproach to prognostication and diagnosis of abnormal events was proposed in this paper.

为此提出了一类赋时模糊Petri网模型，用于化工过程异常事件的预测与诊断，tFPN的变迁与产生式规则的可信度和时间相关联，可自动进行模糊推理。

The well-placed and timed pause will help ensure that the audience hears the punchline.

正确位置和正确时间的停顿帮助观众捕捉到笑点。

He timed a runner in the race.

他为一名赛跑运动员计时。

Well-timed and surprising dollar purchases (ideally, but not necessarily, in concert with other major central banks) would re-insert two-way risk into what has increasingly become a one-way euro/dollar bet and could cap or even reverse euro strength.

适时的和令人始料未及的买进美元（最理想的但并不是非此不可的是，与其他主要的中央银行一起采取行动），会给业已日益变成单向的欧元----美元赌博重新注入双向的风险，而且还可以封住或者扭转欧元的实力。

The constraints under which the reachability checking of a timed automaton can be reduced to that of the corresponding FPTA are provided, and then an algorithm for reachability analysis is presented.

在一定的时间约束下，Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测。

The kidnap of an Israeli soldier near Gaza in June, by militants loyal to Mr Meshal, seemed timed to scupper talks between Mahmoud Abbas, the Palestinian president, and Ismail Haniyeh, the Gaza-based prime minister, who after some teetering now seems to have gone firmly over to Mr Meshal's rejectionist camp.

今年6月，在靠近加沙地带的地方，忠于迈沙阿勒的好战分子组织的以色列士兵绑架案，似乎就是适时地破坏巴勒斯坦民族权力机构主席马哈茂德·阿巴斯同总理伊斯梅尔·哈尼亚举行的合作谈判。哈尼亚来自加沙地带，在经过一阵子的摇摆不定之后，现在看来已经坚定地离开了迈沙阿勒的强硬派阵营。

If the De Beers shareholders are planning to go public next year, this might be timed with the beginning of the renewed growth of consumer demand, said Chaim Even-Zohar, a Tel Aviv diamond consultant, who says De Beers is certain to relist.

如果戴比尔斯的股东计划明年上市，时机可能会选择在消费需求再度开始出现增长之时，特拉维夫的钻石咨询师查姆伊文-左哈(Chaim Even-Zohar)说。他认为戴比尔斯一定会重新上市。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。