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

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。