查询词典 converse theorem

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.

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

Next in section 2.3,usingthe finite isolated regular representations in SO(3)character varity of 〓,weobtained a computation formula of SO(3)Donaldson invariants with degree 1 of4—manifold 〓(Theorem 2.3.1).Finally in section 2.4 wediscussed the Donaldson invariants of 4—manifolds with smoothly embedded 2—torus 〓 whose selfintersection is +1,with the help of the single irreducibleSU(2)representation of the principal 〓—bundle over a 2—torus with Eulernumber—1,we got a gluing formula of the Donaldson invariant on the 2—homology represented by 2—torus 〓(Theorem 2.4.1),it is a supplement of P.

最后在§2.4我们讨论了具有自交数为+1的嵌入环面〓的4—流形的Donladson不变量，运用环面上欧拉数为-1的圆丛的单个不可约SU（2）表示给出了Donaldson不变量在环面表示的同调类上的一个粘合公式（定理2.4.1），这一结果补充了P。

The computational formula of the gradient matrix in subspace is obtained by applying Taylor series expansions, decomposition theorem of space and projective theorem (The gradient matrixs in different subspace are different).

利用子空间上的泰勒展式、空间分解定理以及投影定理得到了子空间上梯度矩阵的计算公式(不同的子空间，梯度矩阵是不相同的)。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。