查询词典 prove

Author give a direct prove of the generic continuity of semicontinuous real-valued function which is defined on topological space.

最后给出了定义在拓扑空间上的半连续实值函数通有连续性的一个直接证明。

Under only supposed each indidual utility function possessing some continuity, an existence theorem of selection for minority submitting to the majority is got,and prove...

通过在不同空间上构造委员会的偏好结构，指出了这种偏好的锥诱导性和这种偏好的有效选择与多目标决策问题的M－解之间的等价性。

Secondly, by using the connection, we prove that the minimal continuous semi-flow is the minimal continuous flow if its time-one map is open, and for any minimal continuous semi-flow, there is an invariant residual set such that the restriction to the set is a minimal continuous flow.

为此，我们首先建立了它与其时间1映射极小集的联系；然后，利用这种联系证明了：若时间1映射为开映射，则它是极小的连续流，并且一般地说来，对任意极小连续半流，存在不变的剩余集，使得它在这不变集上的限制是极小的连续流。

Suppose C is a Graph with k loops andf: G 梸- G is a continuous map with at least a peri- odic point. We prove the following three conditions are equivalent:(1) f is equicontinuous;(2) One of the following End + 2k + 1 conditions holds: in FJm.~0(E~+2L!= flJ1,m = l,2,挃,End J=1 + 2k; 1 0 = flf is a ioop on Gandf I~:0?- 0 is conjugate j=1 to a rational rotation;(3) One of the following End + 2k + 1 conditions holds: k m Lfl.m/~oE~(G+2i!~ is uniformly convergent, m = 1,2,,End+2k; n There is a poistive integer number n,~~~ is uniformly convergent.

假设G是含有k个圈的图，f是G到自身上的连续映射，并且至少有一个周期点，我们证明了下列三条陈述是等价的：（1）f是等度连续的；（2）下列End+2k+1个条件之一成立： m）F l）O=是G的一个圈，且fl_o：O→O共轭于一个有理旋转；（3）下列End+2k+1个条件之一成立： m）是一致收敛的，m=1，2，…，End+2k； l）存在某个正整数n，是一致收敛的。

Firstly, we prove that if we select nodes properly, and let the distance between these nodes sufficiently small, cubic polynomial spline can approximate a continuously differentiable function, which with continuous derivatives of second order and discontinuity of the first kind in the derivatives of fourth order, to any desirable accuracy. This result lays a theoretical foundation for representing trajectories by splines and double orthogonal basis.

一是证明了适当选取节点并使节点距充分小时，三次多项式样条可以逼近具有二次连续导数的分段四次连续可微函数到足够的精度，这一结论为用样条和双正交基表示弹道打下了理论基础。

In first part,The Theory and Simulation on Reconstruction Algorithms,webuild a well-defined mathematical model for OCT,on which we prove more than 10theorems,analyze and answer a series of significant questions about OCTreconstruction,from existence, uniqueness,continuousness,stability to sampling,resolution,ill-posedness and accuracy.

在上篇重建算法的理论与实践中，我们将OCT抽象为基于n维Radon变换的数学模型，从而分析、讨论、回答了从存在性、唯一性、连续性、稳定件到采样条件、分辨能力以及病态特件和重建精度等一系列在理论和了OCT的重建理论体系。

At last , a contradistinctive analysis is made to prove the excellent performance of this method.

最后在性能上做了对比分析。

Many tests prove that the electronic control unit can...

试验结果表明，所设计的电控系统能很好地满足实际需要。

In section 2, we prove the approximate controllability of the linearized system by means of a cost function.

第二节我们用传统的变分方法证明了系统(1.1)线性化以后的逼近能控性。

Proof standard should be a kind of legal request defined that main bodies who is burden with proof try to reach when they prove the controvert facts with evidences and expound their own opinions.

总之，我们探讨的证明标准应该仅涉及狭义的证明和具体的具有可操作性的标准。

NXL Series strain clampis suitable for distribution wire up to 10kV,fixing the aerial insulation aluminium conductor or naked aluminium conductor on the rotate angle or insulator of terminal strain pole, and then fixing and tighting the aerial conductor ,insulation cover and strain clamp are used together.

NXL系列楔型耐张线夹适用于10kV及以下配电线路中，将架空绝缘铝导线或裸铝导线固定在转角或终端固定在转角或终端耐张杆的绝缘子上，从而将架空导线固定或拉紧，绝缘罩与耐张线夹配套使用，起绝缘防护作用。

"The unusual primitive compositions of the West Mata eruption lavas have much to tell us."

&西玛塔火山喷发熔岩的不同寻常的原始组分告诉我们许多秘密。&