查询词典 timed

But it's not timed for vast time. So it's just a scrap of the whole.

但它不是定时为长久的时间，所以它只是整体中的碎屑。

You play against the clock in timed levels.

你发挥对时钟在时间的水平。

We also study characteristic index and its determination of complex flocculant, put forward the new concept of total basification degree and present the determined method of B〓.In this paper, the author studied and improved on the Ferron Timed Complex Colorimetry, put forward the determination principle and determined method of the improved Ferron Timed Complex Colorimetry, and determined successfully the iron and aluminum hydrolysis-polymerized species of FMA complex flocculation at the same time.

研究了复合絮凝剂的特性指标及其分析测定方法、复合絮凝剂的絮凝特性评价方法，提出了总碱化度作为复合絮凝剂特性指标的新概念，并给出了分析测定方法；研究改进了Ferron逐时配合比色法，提出了复合体系中铁铝水解聚合形态同时测定的测定原理及方法，成功地将其用于FMA中铁铝水解聚合形态的同时测定。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

In order to solve the problem of demolition cutting of pipes in an ex-service nuclear-powered submarine , a cavity effect cutter and timed ignitor are designed and prepared on the basis of comprehensively considering various influential factors, and tests of cutting and timed detonating stainless pipe were carried out, the tests can be references in practice.

本文对退役核潜艇管道拆除切割问题，在综合考虑各方面影响因素的基础上，设计、制作了聚能切割器及其定时起爆装置，并进行了不锈钢管的聚能切割实验和定时起爆实验。

It is more accurate because it is not a timed promise, it is a timed accomplishment.

因为这不是预先承诺的标志，而是真正完成的标志。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

Timely; well timed ; at the right time10. Occurring at a suitable or opportune time; well-timed.

及时的在一个适当或适宜的时间发生的；适时的

The Tactical-Insertion Timed Accurate Nuke was created for precision airdrops over specific locations.

泰坦（TITAN Tactical-Insertion Timed Accurate Nuke 镶入式战术定时精确核武器）核弹头用于在特定的位置进行精确的空投。

Timed is one of most popular daemons that synchronises the host's time with the time of other machines.

Timed 是最通用的守护进程之一，以同步主机与其他机器的时间。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。