查询词典 theorem

Following that, the theorem of maximum entropy andthe theorem of monotonicity are proved as well as the positivity of entropy.

本文指出了度量模糊变量的不确定性和度量模糊集的不确定性之间的本质差异，表明了定义模糊变量的熵的意义所在。

We present a SNMP-based topology discovery algorithm using direct connection theorem and simple connection theorem for judging relationship of switches in subnets. In order to in discover the map of network without SNMP, several key problems such as subnet guessing and multi-address routers are discussed in details. And then a topology discovery algorithm based on primitive protocols is presented. We also deeply study some routing protocols such as OSPF and BGP and propose a routing-protocols-based algorithm for topology discovery.

基于判断交换机互联的直接连接定理和间接连接定理，提出了一种完整的基于SNMP的拓扑发现算法；详细讨论了子网获取、多址路由器处理等关键问题，针对不同的网络环境给出了相应的解决方案，并以此为基础提出了一种基于通用协议的拓扑发现算法；在对OSPF，BGP等网络路由协议进行分析的基础上给出了一种基于路由协议的拓扑发现算法，并设计了一个自上而下的拓扑发现框架结构。

Firstly, the eigenvalue problem of a class of second order elliptic equation with critical potential and indefinite weights is considered. Then, using critical point theory, Trudinger-Moser inequality and the properties of the first eigenvalue, we prove the existence of a nontrivial solution for a class of nonlinear elliptic with critical potentialand indefinite weights in R~2. Secondly, we prove the existence of nontrivial solutions for a class of subcritical and critical elliptic systems with indefinite part in R~2 byusing a generalized linking theorem, Trudinger-Moser inequality and concentration-compactness principle.5. The existence of at least three weak solutions for discrete boundary value problem is established by using a three critical point theorem introduced by Ricceri.

首先，讨论了R~2中一类带不定权且含临界位势的二阶椭圆型方程的特征值问题，并借此特征值问题的第一特征值性质，利用山路引理及Trudinger-Moser不等式，证明了R~2中一类带不定权且含临界位势的非线性椭圆型方程非平凡解的存在性；其次，利用广义环绕定理，Trudinger-Moser不等式及集中列紧原理，得到了R~2上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

Missirlis in article [1]. At the same time, a sufficient condition for convergence of the PSD method is given to be compared when the coefficient matrix A of the linear system Ax = b is a symmetric, positively defective matrix. In §3.2, an example is given to state that the range of our sufficient condition is wider than theorem 3.3 of article [1]. On the other hand, following a.n analogous approach of [14] and starting the functional relationshipwe have a perfect analysis for the PSD method to converge and optimum valves for the involved parameters under different conditions.Under the assumptions that A is a consistent ordered matrix with nonvanishing diagonal elements and the eigenvalues of the Jacobi matrix of A are real,we get necessary and sufficient conditions for the PSD method to convergence.The result is equal to theorem 1 of article [9].Under the same condition, we can see the optimal parameter and of corresponding spectral radius of thePSD method in [8]:(2)When A is a consistent ordered matrix with nonvanishing diagonal elements and the eigenvalues of the Jacobi matrix of A are imaginary or zero,we get necessary and sufficient conditions for the PSD method to convergence.In chapter 3, the optimal parameter and of corresponding spectral radius of the PSD method are given by table 3.3. Moreover, under the assumption 0

Missirlis在文献[1]中定理3.3的不准确，同时给出了当线性方程组Ax=b的系数矩阵A为对称正定阵时，PSD迭代法收敛的一个充分条件与之比较，并且在§2.3中用实例说明了对于一部分矩阵而言本文得到的充分条件广于[1]中定理3.3的充分条件；另一方面，按照文献[14]的方法，我们从PSD迭代法的特征值λ与其Jacobi迭代矩阵B的特征值μ的关系式：出发，在不同条件下对PSD迭代法的收敛性和最优参数以及最优谱半径进行了完整的分析：(1)在系数矩阵A为(1，1)相容次序矩阵且对角元全不为零，其Jacobi迭代矩阵B的特征值全为实数的条件下，给出了PSD迭代法收敛的充分必要条件，此结果与[9]中的定理1等价，此时最优参数及最优谱半径由[8]得：(2)第三章表3.3中给出了，当系数矩阵A为(1，1)相容次序矩阵且对角元全不为零，其Jacobi迭代矩阵B的特征值全为纯虚数或零时的PSD迭代法的收敛范围和最优参数，并且我们可以得到当0

Divergence Theorem: is a vector theorem that allows a surface integral of the normal component of the vector to be transfomed into a volume integral of the divergence of a vector, or vice versa.

散度定理：将矢量表面积分转换为体积积分的散度形式。

Presenting a theorem of one dimensional time multiplying ,also a demonstration to the theorem which says that Any point in 3 dimensional spaces of the universe at an certain universal moment possesses equivalent physical quantities of one dimensional time that is equal to total amounts of one dimensional time of the universe at same universal moment; Any point in 3 dimensional spaces of the universe at an certain universal moment , its possessed physical quantities of one dimensional time has an constant ratio with respect to one dimensional space , which is universally equal to space time impedance.

给出了一维时间增殖定理及其证明。该定理指出：在任意宇宙时刻，宇宙三维空间中任意一点具有的一维时间物理量量值均相等并等于在该宇宙时刻宇宙具有的一维时间物理量总量；在任意宇宙时刻，宇宙三维空间中任意一点的一维时间物理量的一维空间变化率均相等且恒等于时空阻抗。

Theorem(Stokes's Theorem) Let be a piecewise smooth oriented curve in three-space, be a piecewise smooth oriented surface with boundary curve .The surface and the curve are related by a right-hand relationship, i.e., if the fingers of the right hand are cupped in the direction of ,then the thumbpoints in the direction of orientation of .,, have continuous first partial derivatives on and ,then

定理 设为分段光滑的空间有向闭曲线，是以为边界的分片光滑的有向曲面，的正向与的侧符合右手规则(即如果右手大拇指表示曲面的方向，则弯曲四指表示曲线的方向)，函数，，在曲面上具有一阶连续偏导数，则有下述公式成立

The Pappus theorem and Pascal theorem are the important theorems of three points colinearity of degenerate and non degenerate two stage curves respectively.

常见资料如文献 [1～ 3]等均介绍了著名的Pappus定理和Pascal定理，这两个定理分别是退化和非退化二阶曲线中关于三点共线的重要定理，应用广泛。

Population Genetic Model;Hardy Weinberg gene Balance Theorem;Perron Frobenius Theorem;error precision

群体遗传模型；哈迪·威恩伯格基因平衡定理；Perron Frobenius定理；误差精度

The software has the following features:(1) it includes large deformation theory based on S-R decomposition theorem first time as well as one based on polar decomposition theorem for comparison the latter is included by most commercial finite element software;(2) three design methods for nonlinear mechanical problem i.e.

采用飞箭软件公司的有限元程序自动生成系统作为软件开发平台，进行"深部软岩工程大变形力学分析设计系统"的合作开发工作。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。