theorem

theorem

1. Course Description. Fundamental Theorem of Kinematics - Convection, Vorticity, Strain.

1课程叙述，动力学基本理论-对流，涡旋量，应变。

2. Bernstein theorem and the A.

Bernstein定理和A.

3. A theorem in F can be a rule in expert systems if it is, once translated into the Cn form, also a theorem in Cn.

F中的定理可成为专家系统中的规则,当且仅当,F 中的定理翻译成Cn 的式后也是Cn 的定理。

4. LC3 = CUP, as well as extending the Harrington plus-cupping theorem in 1978.

LC_3=CUP，同时也扩充了Harrington1978年的加杯定理(Plus Cupping Theorem)。

5. Stone Representation Theorem is just as important to Boolean Algebra as Cayley theorem is to abstract group theory.

Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .

6. Whitaker develops the sampling theorem that forms the basis of today's PCM and TCM technologies.

T.惠特克开发抽样定理，成为今天的PCM和TCM技术的基础理论。

7. Context: Euclid's proof of the Pythagorean Theorem made use of the previous proven theorem known as Proposition 41.

上下文：欧几里得关于毕德哥拉斯定理的证明利用了前已证明的命题41。

8. Context: The Pythagorean Theorem was proved using deductive reasoning.

上下文：毕德哥拉斯定理被人们运用演绎推理加以了证明。

9. The Inverse Theorem of the Fundamental Sturcture Theorem for Finitely Generated Modules over a p.i.d.

与<<主理想整环上有限生成模的结构定理的逆定理>>相似的文献。

10. The Ugly Duckling Theorem deals with discrete logical representations.

丑小鸭原理是用于处理离散的逻辑表示问题。

11. Since then, the theorem focuses on Rayleigh wave propagation on solid sphere and cylinder in this thesis.

中文摘要本论文之目的，在于研究主动式声纳对水下目标物之瑞利表面回波信号特性分析。

12. To prove the theorem we shall suppose that the graph G is drawn on a sphere as described above.

为了证明这个定理，我们假定这个图g能按上述方式画在一个球面上。

13. To ensure stability of the NNA, the convergence theorem of the NNA is presented and proved.

为保证该算法的稳定性，提出并证明了该算法的收敛定理。

14. The Inverse Theorem of the Fundamental Sturcture Theorem for Finitely Generated Modules over a p. I. D.

主理想整环上有限生成模的结构定理的逆定理。

15. The main results are theorem 5 anc theorem 9 .

主要结果是定理5和定理9,宅是文[4]的继续。

16. As well as Pythagoras theorem and Fermat's last theorem summarizes the total.

也是对毕达哥拉斯定理和费尔马最后定理的总概括。

17. Adam Smith's famous invisible hand theorem was predicated on the existence of competition.

亚当斯密著名的看不见的手的理论被用来断言竞争的存在。

18. Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.

介绍了二分序列的概念和定理证明，给出了利用二分归并进行排序的算法及实例.

19. This article introduces the whole course of the demonstrating device of the Pythagorean theorem with the glass plate.

介绍了用玻璃板制作勾股定理演示器的全过程。

20. This paper introduces the Buckingham s theorem on dimension analysis and proves it by using method of linear algebra.

介绍了量纲分析中的白金汉定理,并且线性代数的方法予以了证明,通过两则例子说明了该定理的应用。

21. This paper introduces the theorem,method,procedure for measurement glass refractive indix by using Brewster law.

介绍应用布儒斯特定律测定玻璃折射率的原理、方法和步骤。

22. His theorem can be translated into simple terms.

他的定理可用更简单的术语来解释。

23. He initiated his pupils into the mysteries of the binomial theorem.

他给他的学生们讲授二项式定理的奥秘。

24. The sensation of working on a theorem, he says, can be like being “a hunter and gatherer of mathematical concepts.

他说，专注于一个定理的感觉，就像“一个猎人，一个数学概念的收集者。”

25. Any odd prime number P has (p-1)/2 quadratic residue. This is the quadratic residue theorem.

任何奇素数p有(p-1)/2个二次剩余,此就是二次剩余定理。

26. As a particular of Rado's theorem and the compactness theorem one obtains the following result.

作为Rado定理和紧致性定理的一种特殊情形,我们得到下面的结果。

27. As corollaries,a limit theorem for the mth-order nonhomogeneous Markov chains is obtained.

作为推论,得到m重非齐次马氏链的一个强极限定理,并将已有的结果加以推广。

28. And the corresponding isometric extension theorem is an immediate consequence.

作为简单推论证明了相关的等距延拓定理。

29. Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*.

作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。

30. The channel coding theorem, the source coding theorem.

信道编码理论和信源编码理论。

31. First interpret it combinatorially, and then derive it algebraically from the multinomial theorem.

先用组合方法阐述，然后从多项式定理利用代数方法推导。

32. On the proof of the Cauchy mean value theorem,we give a simple method of construction for an auxiliary function.

关于Cauchy中值定理的证明,我们给出辅助函数的一个简单的构造方法。

33. The rest of the sidechains is modeled by the genetalized DEE theorem.

其余铡链则用广义“死端排除定则”安装。

34. Then,two important structural theorem are obtained by the special structure of Clifford semigroup.

其次,根据C lifford半群是群强半格的特殊结构,得到了C lifford半群的幂半群的两个重要的结构定理。

35. Electron affinities calculated via Koopmans' theorem are usually quite poor.

分子的第一电离能等于分子最高占据轨道的能量，电子的亲合势等于最低的未占据轨道的负数。

36. Using the witten index for a supersymmetric field theory, we proved the Gauss-Bonnet-Chern theorem.

利用超对称理论的Witten index,我们证明Gauss-Bonnet-Chern定理。

37. A new existence theorem is obtained by applying the degree theory on cone.

利用锥上的度数理论获得了一个新的存在定理。

38. Kinetic energy and theorem of kinetic energy; law of potential energy.

动能和动能定理;势能定理。

39. The momentum theorem and the conservative law of momentum, kinetic energy and law of kinetic energy.

动量定理和动量守恒定律;动能和动能定理。

40. Application of Castigliano's Second Theorem on calculating Structural Deflection.

卡氏定理在结构位移计算中的应用。

41. Theorem 1 If , where P is a nonsingular matrix, then rank (A)=rank (B).

即B仍是实对称矩阵,所以式(6.2.5)是含变量的二次型的矩阵表达式。

42. An example that refutes or disproves a hypothesis, proposition, or theorem.

反例证对某种假设、命题或定理进行反驳或推翻的例子

43. The cheapest way to get one is to invoke the spectral theorem and to conclude that normal operators always have non-trivial invariant subspaces.

取得这样结果的最省力的尝试是引用光谱定理而得到正规算子恒有非平凡不变子空间的结论。

44. The thesis also discusses the design theorem and set up the design flow graph of antenna.

同时论文中也会讨论其天线的设计原理并建立一套设计流程。

45. G?del Incompleteness Theorem definitely reveals and proves the ability limit for oneself to master "truth".

哥德尔不完全性定理明确揭示和证明自己把握“真”的能力限度。

46. Discover a theorem about the Simson line and five points of a circle.

圆上五点,其任四条辛姆森线会共点,可依次找出五点,这五点会共圆.

47. Discover a theorem about the Simson line and four points of a circle.

圆上四点共四条辛姆森线会共点.

48. Weak duality theorem is established under generalized convexity conditions.

在广义凸性条件下,建立了弱对偶性定理。

49. Some important lemmas and global convergence theorem for the new method are given and proved as follows.

在建立算法的几个重要引理和全局收敛性定理后分别给出了证明。

50. And based on this conclusion, Darboux theorem on open interval is also given.

在此基础上给出有限开区间上的达布定理。

51. Under the condition of the discrete logarithm problem, S2 is decrypted by the Chinese Remainder Theorem (scheme 2).

在离散对数困难问题的条件下，利用中国剩余定理来解密S2（方案2）。

52. A member of the Herbrand base is called atom in automatic theorem proving.

在自动定理证明中,海尔勃朗基的成员也称为原子。

53. Based on Dynamic Fuzzy Set, the Dynmic Fuzzy Measure theorem is proposed in this paper.

基于动态模糊集,提出动态模糊测度理论.

54. The convergence theorem of the proposed method is proved based on the exact solution of the subproblem.

基于子问题的精确求解，该文证明了算法的收敛性。

55. The edge theorem extended to time-delays systems is used to design a robust nonlinear AQM algorithm.

基于扩展到时滞系统的棱边定理,设计了鲁棒非线性主动队列管理算法。

56. The complete set of robust PID controller parameters is determined by the edge theorem extended to time-delay systems.

基于推广到时滞系统的棱边定理,确定所有鲁棒PID控制器参数集.

57. Theorem 2 If is continuous on the closed interval ,then = is an antiderivative of on .

如果函数在区间上连续,则函数=就是在上的一个原函数.

58. If any numbers genius can prove a centuries-old theorem, Faber the publisher, promises to pay $lm.

如果哪位数学天才能证明一条存在了几百年的定理，费伯出版公司将赠予他100万美元。

59. Evaluation of P is simplified if the square root terms are expanded by the binomial theorem.

如果按二项式定理展开来计算平方根，P的计算可以简化。

60. Koopmans' theorem also assumes that the Hartree-Fock theory is adequate to describe ionisation or electron-gain.

它们认为多电子原子的波函数可以描述成一组单电子波函数的行列式。

61. A complete analysis must build on the implicit function theorem.

完整的分析必须建立在隐函数定理的基础上。

62. Theorem 2.2.2. (Chain rule ) Suppose that the function is derivable at , and the function is derivable at .

定理 2.2.2. (链规定 ) 推想功能是可引出的在 , 和功能是可引出的在。

63. Theorem 1 (Uniqueness of Limit) If the sequence is convergent, then its limit is unique.

定理1(极限的唯一性)如果数列收敛,那么它的极限唯一。

64. Theorem 1 and are equivalent infinitesimals if and only if .

定理1与是等阶无穷小的充分必要条件为.

65. Theorem 1 The sum of finite number of infinitesimal is an infinitesimal.

定理1有限个无穷小的和也是无穷小。

66. Theorem 20 is the basis of a rather detailed study of the structure of extremal graphs.

定理20是极图构造更详细的研究的基础。

67. The second proof of Theorem 26 is due to James.

定理26的第二个证明属于詹姆斯。

68. Applications of Theorem 2 can be found in the anonymous Hebrew mystical work "Sefer Yetzirah" (the book of Creation).

定理2的应用可以在佚名的希伯莱神秘著作《Sefer Yetzirah》（创造集）中找到。

69. Theorem 2 ABd method is absolutely stable.

定理4 PAEI方法在M‘/2范数意义下是绝对稳定的.

70. Theorem 4.4 Any polygonal dissection of a convex n-gon into a square of the same area requires at least [] pieces.

定理4.4 用polygonal cut方法把一个凸n边形分划为等面积的正方形至少需要[n/4]块。

71. Theorem 6 gives us an alternate method for determining the arithmetical values of ??

定理6给出另一个确定?盏氖?值的方法。

72. Theorem g is called binomial theorem.

定理g称为二项式定理。

73. For Dr Perelman, transforming a conjecture into a theorem appears to have been prize enough.

对于他而言，把猜想变为定理似乎要比变成奖金更能得到满足。

74. A criterion theorem of having no finite coverings for a finitely generated module M over a semisimple ring R is given.

对半单环上有限生成左模给出一个无有限覆盖的判定定理。

75. A theorem giving the expansion of a binomial raised to a given power.

将二项式扩展到规定幂的定理。

76. It is misleading to refer to the principle as an "energy theorem".

将功的定理称为“能量定理”是会使人误解的。

77. At DePaul University has done some work on automated theorem provers to detect null-pointer exceptions in Java code.

已经在自动化定理方面做了一些工作,在Java代码中侦测出空指针异常。

78. Results that sprung readily from a theorem is called by the Greeks corollaries or porisms.

希腊人把那些能从定理直接推出的结果称作推论或系论。

79. Based on Helmholtz theorem, the general conditions that H is dependedent only on conductioncurrent are derived.

并依据亥姆霍兹定理推导了H仅与传导电流有关的一般条件。

80. The remarkable part of Karatowski's theorem is the "only if" part.

库拉图夫斯基定理的卓越部分在于他的“仅当”部分。