查询词典 converse theorem

Refering to a sophisticated proof method in thermodynamics and based on a physics consideration, this article gives a clear and plain proof to the theorem that the conservative force has potential s.

借鉴热力学中的一种方法，用直观的物理论证，给出了保守力具势的充分性证明。

Refering to a sophisticated proof method in thermodynamics and based on a physics consideration, this article gives a clear and plain proof to the theorem that the conservative force has potentials.

借鉴热力学中的一种方法，用直观的物理论证，给出了保守力具势的充分性证明。

Theorem 5.1 : Under Assumptions MLR.1 through MLR.4, the OLS estimator is consistent for both the intercept and slope parameters.

定理5.1：在假设MLR.1到MLR.4下，OLS截距估计量和斜率估计量都是一致的估计量。

First, by the composition theorem of acceleration of influence move, strict mechanical analysis and accurate mathematical computations, we have acquired the presentation formula of acceleration of the movable mass of the gyroscope rotating in a constant angular velocity in an inertia coordinate system.

利用牵连运动的加速度合成定理，通过严格的力学分析和严密的数学演算首先得到其活动质量当陀螺仪在惯性坐标系中作定常角速度转动时的加速度表达式。

With a constructed theorem, the author comes to a conclusion that this method, in a sense, equals to the algorithm of the continued fraction.

通过构造的一个定理对这个算法进行的分析讨论证实，闰周算法是一种很好的实数有理逼近算法，事实上，从某种意义上讲，它与连分数展开算法是等价的。

In this paper, an important property and a theorem have been given about the matrix Thiele's continued fraction which is used to approximate the function of e. Based on the property, the Thiele algorithm is improved. A numeral example is also provided.

文章利用代数知识给出了矩阵指数函数e的连分式逼近函数的一个重要性质和定理，并在此基础上对矩阵指数函数e的连分式算法进行改进，最后用数值例子来验证其可行性。

In this paper, the connectivity axiom and the continuity axiom in Von Neumann-Morgenstern Rational behavior axioms are weakened. Then, a set of axiom for lattice ordered decision-making behavior, which can describe the decision-making behavior more rationally, is constructed. At last, the relative unique existence theorem for utility function is obtained.

根据偏好关系所具有的格序特征，将Von Neumann-Morgenstern理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

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过程在加权线性组合下的增量有多小。

Using the continuity method, we will obtain a theorem of existence of solutions to the equation on 4-dimensional compact Riemannian Manifolds.Finally, we will consider a kind of Kazdan-Warner type equation on compact complex manifolds.

作为上述工作的补充，我们讨论了规范固定Yang-Mills方程，并用连续性方法得到了一个在四维紧致黎曼流形上解的存在性定理。

Further, under weakened conditions (without the assumption of continuity of objective function), the convergence theorem of EP and ES with the general mutation operators is also given.

针对一般的变异算子，在不要求目标函数连续的情况下，证明了保持最优个体的进化规划和进化策略，迭代产生的最优个体的函数值收敛到问题的最优值的ε-邻域的概率为1。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。