查询词典 mapping theorem

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.

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

He also extended quasi-geostrophic non-acceleration theorem to primitive equation non-acceleration theorem.

他在国际上首创湿倾斜涡度发展理论和全型垂直涡度方程，成功地揭示青藏高原西南涡和夏季江淮流域的暴雨发展机理，揭示副热带高压形态变异的成因；证明创新的原始方程中的无加速定理以及大气运动的动力强迫和热力强迫的调配率；开展创新性气候动力研究，揭示中高纬和热带海气相互作用差异的机理及厄尔尼诺影响台风频率的机制，继承和发展了我国学者关于青藏高原对大气环流和天气气候影响的研究；在国际上首次把亚洲季风爆发分为三个阶段，证明由于中高纬度的强地转性和斜压性使其海气相互作用的特征与热带显著不同；首次用数值模式提出厄尔尼诺影响台风的机制，得到国际上的高度评价。

In other research, chondroitin is being investigated for use in several other conditions.

在其它研究，软骨素被调查用於几个其它情况。

They would make fun of him for having to work.

他们拿他的工作来开玩笑。