查询词典 sum theorem

Considering "addition theorem of probabilities", the above idea can be expressed as follows: Assum that a beam passes through a partition with two slit and arrives a screen. The probability of the event that an indivedual particle falls on somewhere of the screen under the condition that two slit open simultaneously, is equal to the sum of two probabilities of the same event under that two slit open in turn.

考虑到"概率的加法定理"，这种看法可表成："当一个拉子束通过一个带有两条缝的隔板到达一个屏上时，在两条缝同时打开的条件下单个粒子落在屏土某处的概率，等于在两条缝轮流打开的条件下该拉子落在该处的两个概率之和。"

Applying the De Caen"s inequality of sum of the squares of the degree and Cauchy"s inequality, we obtain a strict lower bound and a strict upper bound of the largest Laplace eigenvalues only in terms of vertex number of a unicycle graph. Applying the Laplace matrix theorem of trees, we obtain an upper bound of the second smallest Laplace eigenvalues of a unicycle. Extremal graph whose second smallest Laplace eigenvalues reach the obtained upper bound is determined. We also obtain an upper bound of the second largest Laplace eigenvalues in terms of vertex number of the largest connected branch of unicycle graph, and obtain a theoretical method to calculate the second largest Laplace eigenvalues of unicycle graph. We obtain an upper bound of any Laplace eigenvalues in terms of vertex number of a unicycle graph. We also obtain the distribution of Laplace eigenvalues in the inter [0,n] in terms of the matching number.

本文得到了以下几个方面的结果： 1、利用图度平方和的De Caen不等式和Cauchy不等式给出单圈图的最大Laplace特征值仅依赖于顶点数的严格的上下界；利用树的Laplace理论给出了单圈图次小Laplace特征值的一个上界，并刻画了达到该上界的极图；利用子图的连通分支的顶点个数给出了单圈图次大Laplace特征值的一个上界，并给出了单圈图次大Laplace特征值一个理论上的一个求法；利用单圈图的阶数给出了其一般Laplace特征值的一个上界；利用单圈图的匹配数给出其Laplace矩阵谱在区间[0，n]上的分布情况。

At this in, we prove theorem of the modulus of continuity of levy under the condition of weighted sum that averagesinterval segments about normal wiener process, discuss that define in chapter 2 under of the Wiener process Be adding the power line to combine under of increase quantity have much small.

在这一章中，我们证明了关于标准Wiener过程的等间距分段加权和的Lévy连续模定理，讨论了在第二章中定义下的Wiener过程在加权线性组合下的增量有多小。

Mathematics: Understands and applies basic and advanced properties of the concepts of geometry; Use the Pythagorean theorem and its converse and properties of special right triangles to solve mathematical and real-world problems; Understands the basic concepts of right triangle trigonometry (e.g., basic trigonometric ratios such as sine, cosine, and tangent); Uses trigonometric ratio methods to solve mathematical and real-world problems (e.g., determination of the angle of depression between two markers on a contour map with different elevations); Uses properties of and relationships among figures to solve mathematical and real-world problems e.g., uses the property that the sum of the angles in a quadrilateral is equal to 360 degrees to square up the frame for a building; uses understanding of arc, chord, tangents, and properties of circles to determine the radius given a circular edge of a circle without the center

数学：理解和应用几何概念的初级和高级特性；用毕德哥拉斯定理、逆定理以及特殊直角三角形性质解决数学的和现实世界的问题；理解基本的直角三角形三角比；运用三角比方法解决数学的或现实的问题。（等高线图上的两个标记之间的俯角确定）运用形体之间的关系及其属性解决数学的或现实的问题（利用四边形内角和等于360度来为建筑物框架取正，运用弧，弦，切线和圆的性质确定缺少中心的一段圆弧的圆心

This result generalized theconnected sum theorem about Donaldson invariants.

Kametani的简单不变量的环面连通和结果推广到度为1的SO（3）不变量情形。

We know that light in inertial reference frame, and naturally to meet the speed of the sum theorem in classical mechanics (because so far we have not found exception to overthrow it is the inertial basis).

我们知道，光处在惯性系中，自然也就满足经典力学中速度相加定理（因为至今我们还没有找到推翻它是惯性系中特例的依据）。

We know that light in inertial reference frame, Naturally satisfy the sum theorem of classical mechanics in speed (since so far we have not found exception to overthrow it is inertial basis).

我们知道，光处在惯性系中，自然也就满足经典力学中速度相加定理（因为至今我们还没有找到推翻它是惯性系中特例的依据）。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

An equivalent theorem for the Loéve theorem is obtained and the limit theorem for estimation of sum of associated random sequences is also studied.

特别是，获得了Loéve定理的一个等价形式，并讨论了相依随机变量列部分和上升的阶。

In C under the TSA Sanchez Theorem : A sum of the cube can be written a bunch of odd that the sum...

在C下实现的尼科梅切斯定理：任何一个整数的立方都可以写成一串奇数之和即任意一个正整数n的立方分解成个连续的n个奇数之和。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了