查询词典 proof

A gasbag (shake-proof bag) substitutes the past contaminative material like epispastic papery material. Compared with the traditional packaging its cost is reduced more than two times and the cost of the transportation more than two times; the dilapidation rate of goods is zero; energy is saved illimitably; the cost is low; its temper is high; it's not fragile and is used conveniently and recycled.

实用新型的气囊包装袋是将真空和充气功能结合起来，使内袋真空固定所包装物品，内外袋之间充气产生气囊，利用气囊的缓冲原理使内袋所固定的物品得到最安全的保护，可根据所包装物品的形状设计相应的形状，从而使得物品包装达到最小体积。

Ttingen from 1795 to 1798; for his doctoral thesis he submitted a proof that every algebraic equation has at least one root, or solution.

支持型父母的孩子所感到的快乐程度高于平均水平，但学习或做事时却不是那么高度集中精力。

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

This paper suggests the equivalence problem of natural convection heat transfer with vertical lay up flat in encapsulation cavities and gives theoretical proof as well.

提出了在封闭空腔内竖直平板自然对流换热的等价问题，并在理论上对其加以证明，同时通过流动可视化实验定性地验证了上述等价问题。

The paper proves that the search process of the non-crossover genetic algorithm is an ergodic homogeneous Markov Chain. The proof of global convergence of NCGA is presented is this paper. The upper bound of convergence speed of the NCGA is the same as the CGA. The possibly of retain the promising genes of NCGA is larger than CGA.

对于本人可以找到的32种典型的非线性优化测试函数，应用无交叉算子遗传算法，与基于经典遗传算法相比，在相同的进化代数的条件下，NCGA同样取得了略优的收敛速度，在相同CPU计算时间上NCGA也取得略优的结果； 3 提出了复合算子遗传算法。

Of course, the mathematical proof of ergodicity, even in a hard ball system with only few degrees of freedom, is still a difficult task.

当然，即使对具有很少自由度的硬球系统，遍历性的数学证明也仍然是一件非常困难的工作。

Some equivalent conditions for unique ergodicity are included in theorem 6 and theorem 7 and the methods of the proof of theorem 7 is from functional analysis.

定理6及定理7给出唯一遍历的等价条件，定理7的证明采用的是泛函分析的方法。

Kleiner and Lott complained that Cao and Zhu had copied a proof of theirs and claimed it as original, and the latter pair grudgingly printed an erratum acknowledging Kleiner and Lott's priority.

Kleiner和Lott抗议说曹朱抄袭了他们的一个证明作为自己的原创，后者勉强地印了一个更正来承认Kleiner与Lott的优先权。

Objective To investigate the expression of the ethology and morphology changes in different spinal cord injury developments,and provide proof for training time.

目的研究脊髓损伤后大鼠行为学、脊髓形态学的表达变化，为下一步实验确定训练时机提供依据。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐