查询词典 proves

The paper reveals the relation between linear AND-OR gate and the Emitter Function Logic. With theoretic calculation and PSPICE simulation, the paper proves that the linear AND-OR gates can work at super-high-speed and can be multi-cascaded.

摘要本文指出了线性"与或"门与发射极功能逻辑的联系，通过理论计算与PSPICE模拟证明了线性"与或"门的极高速工作特性和可多级级联工作能力。

It proves that the fuzzy control algorithm is available.

从而证明了该模糊控制算法的有效性。

This paper discusses a new generalized Quasi-vector variational inequality problem of Gateaux differential mappings in Banach space and proves the existence of a solution for such a problem by the KKM theorem.

研究了Banach空间中一类G-可导映射的广义拟向量变分不等式问题，运用KKM定理证明这类问题解的存在性，并在适当的条件下证明了此类问题与Konnov I V和Yao J C等人提出的广义向量变分不等式问题是等价的。

This paper proves the advantages of triangular decomposition through compare triangular decomposition to Gaussian elimination .

通过把三角化分解法与高斯消元法进行比较，说明三角化分解法的优点。

Finally,the experiment result by FVC2004 proves that threshold value through genetic algorithms can achieve excellent effect.

最后采用FVC2004的数据库进行了实验，表明利用遗传算法所得到的阈值进行分割较传统方法有较大改进。

In this way , we give our client the final judging authority for the authenticity of our products which itself proves our genuineness.

这样，我们给我们的客户最终判断依据的真实性，我们的产品这本身就证明了我们的真实性。

The main contributions of this paper include,(1) introduces the backtracking mechanism into traditional GEP methods and proposing a new algorithm named GEP with backtracking strategy.(2) Proposes the concept of Backtracking Checkpoint and designing Geometric Proportion Increased Checkpoint Sequence and Accelerated Increased Checkpoint Sequence to restrict the backtracking process.(3) Extends the GEPBS algorithm by introducing a Retrogression Factor to control the percentage of backtracking.(4) Proves the effectiveness of the new algorithm by two extensive experiments, which show that new method increases the max fitness by 49.2

本文的主要工作包括：（1）在传统GEP算法中引入回溯机制，提出基于回溯策略的GEP算法（GEP with backtracking strategy ，GEPBS）；（2）提出回溯检查点概念，设计了等比递增检查点序列和加速递增检查点序列用于约束回溯过程；（3）扩充基于回溯的GEP算法，设计了退化因子，提出了按比例回溯策略（GEP with proportional backtracking strategy， GEPPBS）（4）通过两个实验验证了新算法的有效性，在相同条件下较传统算法的适应度最大提高了49.2％，成功率最高提高了4倍

In addition, blizzard company still referred the webpage that searchs from Baidu, Gu Ge in great quantities, in order to proves " STARCRAFT: GHOST " the interpreter is " interstellar contend for hegemony: Ghostliness ", it is game name only, have nothing to do with feudal superstition.

此外，暴雪公司还提交了大量从百度、谷歌搜索到的网页，用以证明"STARCRAFT：GHOST"翻译为《星际争霸：幽灵》，只是游戏名称，和封建迷信无关。

The result of the measurement shows that the maximum stress on the gin pole is 120.8 MPa and that on the mast is 191 .2MPa,the measured values are very close to the calculated values,and this proves the hoisting method correct.

测量结果表明，人字架最大应力120.8MPa，井架最大应力191.2MPa，实际测量应力值与理论计算值十分接近，说明起升方法正确。

Computer simulation experiment and glazed tile rupture experiment proves the feasibility of this method.

计算机模拟实验和对瓷砖破裂过程的实际测量验证了此种方法的正确性。

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％。