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

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。