查询词典 unique factorization theorem

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

This paper analyses the LR factorization of matrix,and improves the algorithm based on recursive algorithm and iteration,and brings forth the developed method of matrix factorization,which accelerates the convergence speed of the factorization.

将方程组系数矩阵的LR分解算法过程加以改进，加入递归算法，使矩阵产生分块。

It turns out that minor prime factorization and determinantal factorization are two interesting special cases of the proposal general factorization.

其中体现出来子式和行列式分解是一般分解方案中两种有趣特殊的。

II, Polynomial rings on a general field( on contrast of those over a number field): concepts of ring, ideals, field and several special rings as domains, principal ideal domains and unique factorization domains, the unique factorization theory of polynomial rings.

二、一般域上的多项式理论（是数域上多项式理论的推广）：学习环、域和几类特殊结构的环（整环、主理想环，唯一分解环等）的概念，多项式环的唯一分解定理；三、线性代数：讲述一般数域上的向量空间理论（是数域上向量空间理论的继续和推广），模的概念，主理想环上的模的结构及其线性变换的若当标准型等；四、一元多项式的解及域论：学习域扩张及其相关概念，伽罗瓦理论，用伽罗瓦定理判断根式解的存在性。

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

First, based on the factorization theorem for lepton-induced hard diffractive scat-tering and the factorization framework of the nonrelativistic Quantum Chromodynamics for quarkonia production, We present a study of J/〓+jet diffractive productionin the direct photon processes at DESY HERA.

首先，基于轻子引起的inclusive硬衍射散射的因子化定理和重夸克偶素产生的非相对论QCD因子化框架，我们研究了DESY HERA对撞机上J／〓+jet的衍射直接光产生。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

According to my definition, the Manchurian Candidate is an experimentally created dissociative identity disorder that meets the following four criteria

根据我的定义，满州候选人是一个创造分离身份混乱的实验，它符合下述的4条标准

I'd be chuffed to play at a World Cup, but I have many years ahead of me in the game so I hope to have more opportunities.

我会chuffed发挥在世界杯，但我有很多年的比赛在我前面，所以我希望有更多的机会。