查询词典 proved

The concepts of acyclic hypergraphs and cyclichypergraphs have been proved very ...

无圈超图与有圈超图的概念在数据库理论中非常有用。

In addition,a theorem for the convergence of detection of target contrail by this algorithm is given and proved so as to afford a solid guarantee for practical applications of the algorithm proposed in this paper.

文中给出并证明应用本算法能以概率1检测到运动点目标的收敛性定理。

Finally by constructing an auxiliary problem, using addition theorem and applying an iterative process based on results obtained for the linear problem, the existence and uniqueness of the weak generalized solution of the nonlinear problem is proved.

解决了线性问题后，本文构造了辅助问题，利用迭加原理，并基于线性问题的主要结论运用迭代过程，最终证明非线性问题存在唯一广义弱解。

The main idea behind these methods is to take advantage of the known state variables and the theorem of addition for linear system without building up a new Jacobian matrix again. But the equivalent computation of algebraic equation must be performed to get state variables corrections. Accordingly, the speed required to model the contingencies is not fast enough to meet the demand of fast contingency analysis under emergency condition, which is proved by several well-known blackouts caused by flow transferring.

但是，这些算法中的大多数是在实时潮流计算的基础上，利用其中间结果和线性系统的叠加原理，直接求解出事故后的状态变量，都需要通过网络方程求解整个网络状态变量的增量，计算量较大，难于满足紧急状态下快速安全性评估的实时性要求，国内外一系列因静态潮流问题引起的大停电事故就是例证。

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

It is proved that null-null additivity is equivalent to pseudometric generating property for a finite fuzzy measure on S-compact space.

证明了在S紧空间上的一个有限模糊测度是零-零可加的充分必要条件是它有伪距离生成性质。

Additivity of average mutual communication is proved, based on this, inequality for general correlation coefficients is derived, and the necessary and sufficient condition is obtained for equality.

证明了平均互信息的可加性，在此基础上得到了广义相关系数不等式，并给出了等式成立的充要条件。

The above results proved that atrazine could be inserted into the double-helix of DNA and formed a stable DNA adduct.

以上实验结果表明，莠去津平面分子能够嵌插到DNA双螺旋链中，形成较稳定的加合物。

Toyota has also proved highly adept at research and development and at marketing.

丰田公司同时也展现了其优秀的研究、开发和市场营销能力。

In this paper,we proved that the total chromatic number and adjacent strong edge chromatic number of Cartesian product graph of cycle Cm and cycle C5n.

如果在一个图的正常边着色中，相邻两点关联的边集所着的颜色集合不同，则称此正常边着色为相邻强边着色。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。