查询词典 radon nikodym theorem

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).

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

A theorem of the alternative for the generalized subconvexlike set-valued maps is established using the separation theorem of convex sets in a Banach spaces, the concept of weak Benson proper efficient elements for a vector optimization problem is introduced, and the optimality necessary and sufficient Lagrange conditions for a vector set-valued map constrained optimization problem with the weak Benson proper efficiency is developed, with which the optimality Lagrange conditions for a nonconvex vector top-base constrained optimization of set-valued maps with the Benson proper efficiency are obtained.

刘莹 ，刘三阳，盛宝怀运用凸集分离定理对广义锥次类凸集值映射建立了一种择一性定理。引入向量优化弱Benson真有效元的概念，对带约束的非凸向量集值优化问题建立了在弱Benson真有效意义下有效元应满足Lagrange乘子型的必要及充分条件，并用这一结果建立了多目标主从非凸向量集值优化在弱Benson真有效意义下最优解的Lagrange乘子型充要条件。

By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.

本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。