查询词典 elementary divisor theorem

This paper introduced the odd sieve sequence, the methods of character, estimate and triangle sum are used to study the mean value of the divisor function. An asymptotic formula of the divisor function is gave in the odd sieve sequence set to through the analytical method.

引入了奇筛数序列，主要利用特征和估计及三角和方法，研究了除数函数的均值性质，并通过解析方法给出了除数函数在奇筛数序列集合中的一个的渐近公式。

The reason that zero can not be divisor, is right?Feng XinkongIn the eighth book of six-year primary school's teaching in nine-year compulsory educationmaterials, it states that "zero can not be divisor". But we can find that the formula, a=cq, checking the dividing exactly , is same as the form of direction proportion function, y=kx; the formula of checking the dividing not exactly, a=cq+r, is same as the form of simple function.

在九年义务教育六年制小学教科书《数学》第八册中规定"零不能作除数"，但是当我们学习了正比例函数和一次函数之后就会发现，验算能整除的除法的关系式a=cq和正比例函数y=kx的表示形式相同；验算有余数除法的关系式a=cq+r与一次函数的关系式y=kx+b的表示形式相同。

In this dissertation , the main works of the author is follows:(1)The method FPI (Fast Plaintext Imbedded to the divisor) is improved, which makes the probability of the plaintext not be imbedded into the divisor nearly to zero and its velocity is fast.

在本论文中，作者主要做了以下几个方面的工作：(1)改进了明文嵌入超椭圆曲线除子的FPI(Fast Plaintext Imbedded to the divisor)方法，该方法使明文不能嵌入到超椭圆曲线的除子的概率几乎为零，且其速度较快，可用于椭圆曲线密码体制。

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)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

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.

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

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Youngs system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。