proof的例句大全

The photo was final proof of her husband's infidelity.

这张照片最终证明了她丈夫的不忠.

He is walking proof that people can lose weight quickly.

他是人能迅速变瘦的活见证.

Is the claim capable of proof?

这要求能证明是合理的 吗 ?

Constructive Proof of Two Classes of Felicitous Big Lobster Trees

两类大龙虾幸福树的构造性证明

On the Some Proof Method of Binomial Coefficient Indentity

浅谈二项式系数恒等式的几种证明方法

Filter the lemon balm infusion into a heat-proof beaker, then discard the herbs.

将蜜蜂花浸泡液过滤到隔热烧杯中，然后丢弃香草。

This baking varnish has lots of advantages such as high decoration, high protection, high weather proof ability.

该漆具有高装饰性、高防护性、耐候性等优点。

The procedures for immigration control of persons who are found at, or returned to, immigration check points without proof of identity;

没有持身分证明文件而拟出／入境，或在出入境管制站被发现或被遣返香港的人出入境的管制程序；

The Proof of No Endpoint Dense Ordered Set ′ s Completeness

关于无端点稠密有序集理论完全性的证明

Improvement of rain-proof capability of the junction box on the hoist seat of the bushing to increase reliability of main transformer

改善套管升高座接线盒防雨性能提高主变运行可靠性

After much research, Child reportedly provided proof of the findings, which showed that the two had common ancestors in the form of a farming couple, who moved from France to Quebec in the1600s.

通过多项研究，蔡尔德证明，Gaga和麦当娜两人同为17世纪从法国移民至加拿大魁北克的一户农家的后代。

The results show that in the case of the same cutting resistance, pick-shaped teeth enjoys advantages over knife-shaped teeth, as a result of it better combined performances, such as freedom of fragment, the lower tooth cost and wear-proof.

结果表明：在截割阻力相同的情况下，镐形齿具有不易被击碎、齿耗低、耐磨等优点，其综合性能优于刀形齿。

Self Water-proof System's Consolidation of Reinforced Concrete Tile Roofing

钢筋混凝土大槽瓦自防水屋面防水加固

On Some Disputing Points of Pressure Vessels in Pressure Proof Tests The Design and Study of Bearing Pressure Capability and Gas Tightness Checking System

压力容器耐压试验中几个有争议的问题述评耐压及气密性试验系统的研制

Proof of program correctness and a method of getting loop invariant

程序正确性证明及循环不变式的寻找方法

A Developing Method of Programs Based on the Proof Theory of Program Correctness

一种基于程序正确性证明理论的程序开发方法

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。

Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.

形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。

The Equivalent Proof of Equilibrium Condition of Rigid Body Coplanar Force System

刚体共面力系平衡条件的等效证明

The Constructive Proof and Calculation of the Solutions of Boundary Value Problem of Ordinary Differential Equation

常微分方程边值问题解的构造性证明及其计算