查询词典 operational

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

Document only operational assumptions, algor IT hm insights and so on.

仅对操作的前提、内在算法等写文档。

However, since no all-inclusive concept of mental health exists, we will have to get along with an operational understanding as well as we can.

然而，由于没有包容性的概念，心理健康存在，我们将不得不相处业务的理解，以及我们可以。

At the same time, the impact of other operational modes on alleviation membrane fouling was discussed in detail.

同时详细阐述了其它运行方式对减缓膜污染的影响。

Finally, the scheme " reset chip + pull-up resistor" was selected through a large number of tests considering the alterability of product state and operational reliability. The result shows that the initial state control problem in torpedo control system has been completely solved.

在充分试验验证的基础上，考虑到产品状态更改的便捷和工作可靠性，优选了"复位芯片+上拉电阻"解决方案，从根本上解决了因初态不稳定引起的控制系统不可靠的问题。

And at this stage, should be operational Rongquan amble.

而在这个阶段，必须具有可操作性吴荣泉缓行。

AMM---. Operational and functional check good.

根据 AMM —更换上导轨门框的门闩，功能测试，操作检查正常。

A very good operational amplifier on the Stability of the series of articles, this is the first part.

详细说明：一个很好的关于运算放大器稳定性的研究的系列文章，这是第一部分。

Pradeep Indulkar, a senior official at the Maharashtra state Home Ministry say 101 human were killed and 287 injured.

马哈拉施特拉邦内政部高级官员Pradeep Indulkar称，有101人在冲突中丧生，287人受伤。

Mark Frei, a senior vice president of West, says 80% of West's homeagents have some college education, compared with 30% of those whowork in office-based call centers.

Frei说，该公司80%在家办公的人员都拥有本科学位，而在公司电话中心工作的人中只有30%拥有本科学位。