查询词典 equational

In the section of physical models, the paper presents a three-dimensional model called nine-equational model that treats the object as two phases and two components. The nine-equational model includesκ－εturbulence model and diffusibility model owing to the gradient of mass concentration.

在物理模型部分，本文对钢安全壳内部大空间提出了三维、两相、两组份、对气相引入κ－ε湍流计算模型和考虑由于气体浓度差引起的扩散效应的九方程模型。

These equational laws are similar to those used in mathematics to show that two expressions are equivalent.

这些方程式与数学中的方程类似，用来表明两个表达式是相当的。

It is proved that an equational theory has its initial model.

给出了等式的新意义，并证明了等式理论有初始模型。

In this setting, equational unification, wrt.

在这种背景下，等式统一，wrt。

Equational reasoning is particularly powerful when combined with the use of "induction" to reason about functions that are defined using recursion.

等式证明是尤其有用的，当同关于那些用递归定义的函数组合使用"推导"到原由的时候。

To break through chemical equational education this one difficulty, the author made a few effective attempts in education, got more satisfactory result.

为了突破化学方程式教学这一难点，笔者在教学中做了一些有效的尝试，收到了比较令人满足的效果。

There are three motheds generally: to seek equational solutions to analysis;to seek the numerical solutions of equtions; solutions\' qualitative analysis.

通常有三种方法：求出方程的解析解；求方程的数值解；对解的性态进行定性分析。

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

Asian equational international is surpassed publicly is by national sports total bureau and international car move the Chinese exclusive the superlative degree that federation of sports of car of federation approval, China sponsors is other equational match, fill the blank of Chinese home equational match, in Chinese car epoch-making sense is had on athletic history.

亚洲方程式国际公开赛是由国家体育总局和国际汽车运动联合会批准、中国汽车运动联合会主办的中国唯一最高级别的方程式赛事，填补了中国国内方程式赛事的空白，在中国汽车运动史上具有划时代意义。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。