查询词典 proves

Research of evolution of Poyang Lake Basin indicates that the basin changed from a intermontane basin into an inland accumulated basin in upper Pleistocene, and has become a loading and unloading basin adjusting water of Yangtze River since 400 A. D, which proves that influence of Yangtze River to Poyang Lake Basin appeared very late.

对鄱阳湖盆地演化的分析发现，该盆地于晚更新世开始从山间盆地向较大规模的积水盆地转变，公元400年前后才成为调节，长江水量的吞吐型湖盆，从而也反映出长江对该区的影响是非常晚近的事。

In the following, this dissertation does some research works about the other system—HDS with uncertainties of polytope using the existent methods, and proves that the system is exponential stable with respect to its invariant set under some conditions making use of Lyapunov function.

然后，本文针对另一类具体的混合动态系统——具有多面体不确定性的混合动态系统，沿用已有的稳定性分析方法对其模型进行分析，最终借助Lyapunov函数证明了在一定的条件下系统关于其不变集是指数稳定的。

For this type of adaptive threshold detector,this paper proves by the use of invariant test that a large class of adaptive detectors possesses CFAR property when they satisfy certain weak conditions.The proof reveals the mechanism of this class of CFAR detectors and provides the general method of proving CFAR property.

对于这种自适应阈值检测器，我们利用不变检验概念证明了在一定的弱约束条件下的一类检测器具有CFAR性质，揭示了这类CFAR检测器的机理，为此类CFAR检测器提供了通用的证明方法。

On the invariant theory,it proves that 〓-multiplier conv-ergent series have the full-invariant.

在不变性理论方面，证明了〓数乘收敛级数都具有全称不变性。

Based on the analysis of the influence to the testing result induced by the roller parameters, such as the diameter, attachment coefficient and locating angle, the thesis proves that, through construction of a mechanics model of the rig to calculate the biggest braking forcing which can be detected, the detectible braking force has a direct ratio with the roller attachment coefficient and a inverse ratio with the cosine of the locating angle.

在分析了汽车滚筒反力式制动检验台的滚筒直径、滚筒的附着系数及安置角对检测结果影响的基础上，通过建立力学模型计算汽车滚筒反力式制动检验台所能检测到的最大汽车制动力得出结论：汽车滚筒反力式制动检验台所能检测到的制动力与滚筒的附着系数成正比，与安置角的余弦成反比。

This article proves that in the homomorphism of G onto ■,the inverse image of a maximal normal subgroup in ■ is also a maximal normal subgroup in G.

本文得到了在同态满射下，极大正规子群的逆象也是极大正规子群，并给出了极大正规子群的象也是极大正规子群的一些等价条件。

The 2~ one is to reduce the area cost by reuse some field operation modules such as GF-MUL and GF-SQR. Fermat"s little theorem proves that inversion can be obtained by add and square operations, we needn"t design one more module for inversion on condition that inversion only needed for one time when Montgomery point multiplication method been used.

我们采用射影坐标系表示有限域上的元素，实现点乘只需一次求逆，因而只需要在现有的底层模块基础上，设计平方和乘法的控制电路来实现求逆，而不必设计专用的求逆运算模块。

Load spectrum determination of tubing inwall proves the tubing is acted by the axial alternating load in a rod pumped well, and all the fractures are located at the root of the tooth.

油管内壁载荷谱测定进一步明确了油管在工作状态下承受轴向拉-拉交变载荷，其断裂部位全部在应力集中的齿根处。

The simulating result of signal waveform of point ionization of cylindrical drift chamber proves the similarity of Garfield program.

对圆柱形漂移管点电离信号波形的模拟结果证明了Garfield程序模拟的相似性。

Most important, it proves that you don't need a high IQ to be a good thinker.

最重要的是，研究证明，要成为一个好的思考者，并不需要高智商。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。