查询词典 proving

In this paper,a new quality cost model is designed on the basis of the analysis of the traditional quality cost model and in the light of the learning curve effect,with a view to proving the irrationality of the statement of "the best quality level" in the traditional theory.

传统质量成本理论有其局限性，不能完全解释现今质量成本发展的趋势和追求的目标。本文通过分析传统质量成本模型，结合学习曲线效应，建立一个新的质量成本模型，以此来解释传统理论最佳质量水平的不合理性。并通过该模型进一步解释生产过程质量水平不断提高，质量成本下降的现象

Such as seeking the solution of inverse matrix and maximum unconcerned system of linear equations,and solution of matrix equation,proving equation of system of vectors,and judging the linear independence of system of vectors,etc.

可以用来求逆矩阵，求向量组的极大无关组，证明向量组等价，解线性方程组，解矩阵方程和判断向量组的线性相关性，等等。

Liouville"s Theorem on entire functions is proposed as a proving method for theta function identities. Several identities are exemplified, such as the quintuple and septuple product identities; four symmetric difference identities related to the Ramanujan"s congruence modulo 11 on the partition function; as well as two theta function identities on the Rogers-Ramanujan functions G and H.

作者提出利用Liouville定理作为证明theta函数恒等式的基本方法，并以Watson五重积，Hirschhorn七重积恒等式，四个与分拆函数中Ramanujan的模11同余有关的对称差恒等式，以及两个与Rogers-Ramanujan函数G，H有关的theta函数恒等式为范例，论证这种方法的有效性。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

The method to get it can be used to simplify the proving process of some logic equations,as well as some design processes of logical circuit.

利用这种表示反函数的方法，可简化一些逻辑等式的证明过程，并可使一些逻辑电路的设计过程简化。

According to the historical materialism, the force proving society development is not only one.

从唯物主义史观的社会动力学说来看，社会的发展动力是多方面的。

A mean of squared differences image correlation/Kalman filtering motion estimator is analyzed deeply, proving its efficiency and unlbias, and equivalent to maximum likelihood estimator.

对实际中一种常用的均方差图像相关/Kalman滤波位移估值算法进行了深入分析，证明了该算法的有效性和无偏性，并等价于极大似然估值。

Part of this concept was the creation of Earth as a proving ground to train new Michaels.

这个概念中的一部分是，创造地球作为一个培养新的迈克尔s的试验场。

The signals were easily transmitted around buildings and other obstructions, proving the capability and reliability of this concept at Milford Power.

信号很容易在建筑物和其他障碍物周围发送，在Milford电厂提供了这样概念的能力和可靠性。

On the basis of the researching the neural network theory, presenting the neural network model (N-SearCut model) for searching for minimal cutset of a graph, proving the stability of this model, analyzing the dynamic behavior of this model, deducing a series of corresponding theorems and affording an academic fundaments for solving optimization problem based on this model.

在研究人工神经元网络理论基础之上，提出了搜索图最小割集的神经网络模型——N-SearCut模型，证明了该模型的稳定性，分析了该模型的动态特性，导出了一系列的定理，为运用该模型进行优化问题的求解提供了理论依据。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。