As applications of the obtained results, a new proof method about mean inequality is shown.
作为所得结果的应用，给出了平均不等式的一个新证法。
The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The proof method used in this paper is based on two-dimension slot-number phase diagram, unit winding, and the maximum common divided principles.
该文所用的证明方法是基于二维槽号相位图、单元绕组和最大公约数法则。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
Giving a new definition for the rate of entropy production is a proof method adopted in some papers published recent years to guarantee that the rate is non-negative.
在过去发表的非平衡热力学文献中所采用的一种方法就是对熵产生的速率重新加以定义，其目的在于确保熵产生的速率为非负值。
Here is an introduction of the damp-proof method of off wall inner lining made of flexible materials of PVC plastics, based on the principle of damp-proof, compounding and installed construction.
本文从防潮原理、材料配制及施工方面介绍了用柔性材料——PV C塑料片材做离壁式内衬套的防潮方法。
Here is an introduction of the damp-proof method of off wall inner lining made of flexible materials of PVC plastics, based on the principle of damp-proof, compounding and installed construction.
本文从防潮原理、材料配制及施工方面介绍了用柔性材料——PV C塑料片材做离壁式内衬套的防潮方法。
应用推荐