查询词典 etch-proof

These works give a proof that stochastic resonance is not only epiphenomenon in sensory systems.

这些工作为说明随机共振现象不是感觉系统中的附带现象提供了佐证。

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的优先权。

The studies on the developing of new media are very important to the increasing of the area density of HDD and to the implementation of hybrid recoding technology.

光磁混合记录方法，是一种可以突破超顺磁极限的限制，并进一步提高硬盘记录密度和读写速率的一种新型超高密度信息存储方式。

In io, mTOR inhibition promotes T cell anergy under conditions that would normally induce priming.

体内研究中，在正常可激发免疫反应的条件下，抑制mTOR可促使T细胞无能。