查询词典 elimination theorem

In Chapter 6,by changing Gauss elimination method of solving linear algebraicequations in software package based on MPROWs and PEROWs into the elimination byband matrix and the elimination by varied bandwidth,we obtained the solver of ordinarydifferential equations,which is suited to solve the partial differential equations by themethod of lines.

在第六章，我们将基于MPROWs及PEROWs的软件包中求解线性方程组的通常的高斯消去法修改为带状矩阵消元法及变带宽消元法，从而获得适合于用线方法求解偏微分方程的常微分方程求解器。

Many traditional compiler optimizations fall into this category: copy and constant propagation, redundant expression elimination, dead code elimination, peephole optimizations, function inlining, tail recursion elimination and so forth.

许多种传统的编译器优化方式都可以归结于这两种方法，比如说：copy and constant propagation（用常数取代程序中不变化的变量），冗余表达式消去，死代码消去，Peephole优化，Inline函数，尾部递归消去（展开在程序尾部的递归，减少堆栈消耗

It is necessary to make a distinction between ground for elimination of punishment and ground for elimination of crime punishment. This distinction is helpful for understanding the supra-law ground for elimination of misfeasance.

由于各国的刑法对违法阻却事由的规定各不相同，因此，在正当化行为中，那些应当是法规上违法阻却事由，那些应当是超法规违法阻却事由，难以取得一致结论。

Eliminating the discriminate of the domestic and international judicial supervision of commercial arbitration; abolishing the supervisory way of not granting the partys application, merge the function of the original not granted arbitrament into the eliminated arbitrament; stricting the judicial supervisory process, for example, specifying the cognizance way of elimination process of arbitrament, shortening the elimination term, specifying the effectiveness of the arbitrament after elimination and the effectiveness of the arbitrative consultation; perfecting the redress way of eliminating the arbitration, especially the exertion of the ways of rearbitraion; strictly controlling the application range of social public benefit.

应当消除国内及涉外商事仲裁司法监督的差别待遇；取消当事人申请不予执行仲裁裁决的监督方式，将原有不予执行仲裁裁决的功能并入撤销仲裁裁决；严格司法监督程序，比如明确仲裁裁决撤销程序的审理方式、缩短撤销期限、明确仲裁裁决被撤销后裁决的效力以及仲裁协议的效力；完善撤销仲裁裁决的救济途径，尤其要重视重新仲裁方式的运用；严格控制&社会公共利益&的适用范围。

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

Theorem 1 constructs a set of universal measure zero using continuous extension; Theorem 2 verifies absolutely continuous function being of good property under some condition; Theorem 3 reveals some relation between real function and meager.

定理1 主要运用了连续延拓构造了一个泛测度零集；定理2 证明绝对连续函数在一定条件下具有良好的性质；定理3 揭示了实函数与第一纲集的某种关系。

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

For some special cases, the paper gives some important identical theorems, and then establishes a valuable relation between the uniformly almost periodic functions and the trigonometric polynomials.Secondly, on the basis of the identical theorem, the paper investigates the Fourier series of the uniformly B2 almost periodic functions, and further proves that the series is unique.Thirdly, the paper discusses the Parseval equation of the uniformly B2 almost periodic functions, which establishes the relation between these functions and the coefficients of their Fourier series; and next investigates an important approximation theorem-Riesc-Fischer theorem, about the uniformly B2 almost periodic functions and the trigonometric polynomials.

并给出了特殊情况下的几个重要的恒同定理，将一致概周期函数与有限三角多项式联系起来；第二，在恒同定理的基础上，给出了一致B~2概周期函数的Fourier级数，并且级数是唯一的；第三，讨论了一致B~2概周期函数的Parseval方程，建立了函数与其Fourier级数的系数之间的联系；接着给出了关于一致B~2概周期函数和三角多项式之间的一个重要近似定理—Riesc-Fischer定理。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。