查询词典 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.

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

Foods high in this vitamin include oily fish such as salmon, tuna and, and fish liver oils.

维生素D含量高的食物包括诸如大麻哈鱼、金枪鱼和鲭鱼之类的油鱼以及鱼肝油。

We need you to cosign our public letter demanding that press intimidation cease immediately, and that all charges be dropped.

我们需要您cosign我们的公共信，要求记者立即停止恐吓，并要求所有收费下降。