查询词典 timed

Is there a way to distinguish between the timed "deathtrap" dungeons and the regular ones?

玩家：这真有意思，有办法区分限时模式的地城和普通的地城吗？

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

Keywords: continuous-time temporal logic; finite precision timed automaton; decidability; model checking.

中文关键词：连续时间时序逻辑；有限精度时间自动机；可判定性；模型检测。

He could have timed his moment to declare war on Hitler with art and care.

他本可以机智而又慎重地选择恰当的时机向希特勒宣战。

To find the average dose rate for the timed period, divide the total by the number of minutes.

要查找的平均剂量率的时间期间，总的鸿沟的分钟数。

Dogsled racing, more accurately referred to as sled dog racing, is a winter dog sport involving the timed competition of teams of sleddogs that pull a sled with the dog driver or musher standing on the runners.

雪橇犬比赛，确切地说是狗拉雪橇比赛，是一项冬季运动类犬赛。比赛中，一组雪橇犬拉一只载有指导手的雪橇，各组间相互竞争完成比赛的速度。

And they can't just blame the market's downdraft — some did themselves in with badly timed stock purchases or margin calls on shares bought with loans.

他们不能只归咎于市场的下沉-一些没有自己的股票严重超时购买或保证金要求购买股票的贷款。

Dubois [23] was the first to model and analyze FMS using timed Petri net.

Dubois和Stecke〔23〕最先采用分时Petri网为FMS建模和分析。

The communication subsystem was designed by VB, adopted duplex communication mode, data format of data frame, and timed detecting mode, which enhanced capability of whole communication system, provided a high-efficiency and credible communication platform for monitoring system of gas in mine.

该通信子系统采用VB设计，利用双向通信方式和数据帧的数据格式以及定时探测的方式，有效地提高了通信系统的性能，为煤矿瓦斯监管系统提供了一个高效可靠的通信平台。

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

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'.

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