查询词典 timed

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.

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

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.

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

I'm not a big figure skating fan, preferring the timed events over the 'artsy.

我不是花滑的粉丝，我更喜欢的是计时间的比赛，而不是打分的项目。

The theory of timed tree automata is far from perfect now.

信号自动机与时间树自动机是两个新提出的模型。

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

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