证明过程

证明过程中，模型计及了阻尼参数的影响，从而保证了证明过程更加合理。

During the process of proof , damp coefficient is considered in system model to keep it more reasonable .

本文针对文献〔3〕关于隐变量理论及Bell不等式证明过程不清楚地方作了详细的讨论，并说明了其意义。

In this paper , the hidden variable , Bell inequality and its meaning are discussed in detail .

主要讨论了时滞SIR传染病模型的一致持久性，给出了其一致持久的定义、引理和一致持久的相关定理及证明过程。

Focused on permanence of SIR epidemic model , give its definition , durable and some related Lemma theorem and the process of proving .

而在互倒律的发展和证明过程中，Gauss和曾经起过重要的作用。

In the process of the development and the proof of the quadratic reciprocity law , the quadratic Gauss sums had played very important role .

基于massassignment理论，提出了两类层次模糊massassignment系统，并运用构造性证明过程证明了其全局逼近性质。

In this paper , hierarchical mass-assignment fuzzy systems of two types are presented , based on mass assignment theory . It is constructively proved that hierarchical mass-assignment fuzzy systems of these two types are also universal approximators .

以不可约多项式f（x）的幂链的构造为基础，给出了G（fe）中序列的周期及平移等价类定理的完整证明过程。

Based on the structure of non-reducible polynomial'f ( x ) power chain , this paper puts forward unabridged proving process of the sequences'period and translation equivalence class in the G ( f ~ e ) .

通过证明过程可以清楚地看到，当{x（ni）}从贝努里随机变量扩展到非负整值随机变量时，的极限分布是怎样从泊松分布扩展到复合泊松分布。

From the proved process we can see that how the limit distribution of is expanded from Poisson distribution to compond Poisson distribution when { x_ ( n_i ) } is expanded from Bernoulli distribution to non-minus integral random variable .

本文阐述了Weierstrass一致逼近定理证明过程中的概率思想。

The probability ideology in the proving process of Weierstrass ' uniform approximation theorem is explained in this paper .

在证明过程中，我们也顺便得到测度论中Hahn分解定理的推广。

As a by-product of our proof , a new generalization of Hahn decomposition theorem in measure theory is obtained .

在证明过程中，我将把程序的三个递归点分别称为R1、R2和R3。

In the proofs , I will refer to the three recursion points of the program as R1 , R2 , and R3 , respectively .

利用组合方法给出并推导了凸线性合成对策的Shapley值的计算公式，大大简化了合成对策的解的存在性定理的证明过程。

The formula of Shapley value of the convex linear composition game applying the combinational method is derived , The proof process of the solution existence theorem of the composition game is simplified .

文中指出了文献〔1〕中对BCNF判定问题证明过程的错误之处，通过分析属于BCNF的关系模式的结构特点，给出了一个判定关系模式是否属于BCNF的多项式时间算法。

The mistake in the proving process of the problem of deciding BCNF in reference is pointed out , and a polynomial time algorithm to decide whether a relation schema is in BCNF is given .

其证明过程揭示，Nevanlinna理论可与函数论的一些初等分析结合而得到部分新的结果。

Adequate proof in detail via Nevanlinna theory with some basic analytic skills in the theory of complex functions is provided . NET , it is obtained by the characteristic analysis of the preparatory service army equipment .

通过对Pelletier问题的20个实例分析，可以看出γ公式不再需要实例化，大大缩短了表推演的证明过程，减少了搜索空间，提高了推理效率。

By the analyses of 20 of Pelletier 's problems , the results show that the instantiations of γ formulae are not taken into consideration . This can be beneficial to yield shorter tableau proofs , and in most cases reduced the search space .

从收敛性的证明过程可以看出，这种迭代学习控制受到较小的收敛条件的限制。

Convergence conditions of the learning control rules are less restrictive .

哥德尔不完全性定理的证明过程有误

On the Mistakes in the Process of Proving Godel Incompleteness Theorem

实际上，上面的证明过程是不严谨的。

That is actually not how it is proved .

在这里我们给出了一个更简化的证明过程。

Here we present a more simple proof .

从这个证明过程中，我们也推出了下述结论。

During the course of this proof we have also shown the following result .

在证明过程中充分利用了代数的特殊结构&矩阵单位系这个工具。

The proof of it makes full use of the spascial frame-matrix unit system .

一类非连续函数积分和不等式中未知函数估计的证明过程

Proof Process of Unknown Function Estimation in a Class of Discontinuous Integral Function & Inequalities

在具体的证明过程中，主要使用的是关于公式结构的归纳法。

In the proving process , we mainly use the induction on the formula structure .

在前人工作的基础上，独立给出了绝大多数悖论语句的详细证明过程。

Based on former work , we independently give the detailed proof of most liar sentences .

第三章具体阐述了多种形式的三球面不等式及其证明过程。

The various representations of three-spheres inequality and their proofs are specifically provided in chapter three .

通过在该模型中引入消息类型检查机制，简化了证明过程。

Moreover , by introducing type-check mechanism into this model , the proof procedure is simplified significantly .

并且在证明过程中，我们将得出熄灭时刻的上界估计。

Moreover , during the proof , we will obtain the upper estimate of the extinction time .

在文章的证明过程中用了矩阵微商的方法。

In comparision with the method used in other papers , we use the method of matrix derivative .

当前，电子邮件在诉讼活动，尤其在证明过程中占有日益重要的地位。

Today , email evidence has played a very important role in procedure , especially , in proof .

但不幸的是，他们在证明过程中有些不妥之处，特别是数学上的错误保证不了最后结论的正确性（见§3.2.1节）。

Unfortunately , their paper contains a mathematical mistake that renders the proofs erroneous ( see § 3.2.1 ) .

特别是专家组对证明过程的控制&听证，是保证正当程序最低限度公正的表现。

Especially the hearing which Panels control the whole prove process , guarantees the low fair in Due Process .