formal verification

用法例句

Security Analysis and Improvement of Fair Exchange Protocols Using the Theory of Cross Validation

关于公平交换协议中使用正交验证理论的安全性分析及改进

Empirical Test of the Positive Feedback Trading in the Stock Market of Our Country;

我国证券市场正反馈交易的实证检验

Examination of Yield Criterion for Orthotropic Materials

对于正交异性材料屈服准则的实验验证

(2) 3D interpretation and justification;

（2）基于正交约束的3D解释及合理性初步验证；

Positive Analysis of Typical Cases o f Popularization and Application of the Orthogonal Test Design;

正交实验设计法推广应用典型案例实证分析

In applying for aliens' residence cards, submit for examination health certificates and recently－ taken two－ inch half- length, bareheaded, full- face photos.

（三）请外国人居留证的，还要交验健康证明书，交近期2寸半身正面免冠照片。

In applying for aliens' residence cards, submit for examination health certificates and recently-taken two inch half-length, bareheaded, full-faced photos.

申请外国人居留证的，还要交验健康证明书，交近期2寸半身正面免冠照片。

When entering China, the foreign experts shall present the Customs the original copy of Foreign Experts ID Card.

外国专家入境时须向海关交验《外国专家证书》正本。

An error occurred. Please verify that you are submitting the correct file. If you have further difficulties, contact your certificate authority.

发生了一个错误。请验证提交的是正确的文件。如果仍有问题，请与证书颁发机构联系。

Empirical Research on Positive Feedback Trading in China stock markets;

中国证券市场正反馈交易的实证研究

The Construction of Orthogonal Array Lt~u[t~q] and the Demonstration of Its Orthogonality;

正交表Lt~u[t~q]的构造及正交性的证明

Using SPSS to Make the Interaction between Orthogonal Design

SPSS实现有交互作用的正交实验设计

Experimental Analysis of EDM Based on Orthogonal Test

基于正交试验的电火花加工实验分析

Orthogonal Screening of New Seed Coating Formula

正交试验法筛选新型种衣剂配方试验

The experiment result proves theory analysis.

实验结果验证了理论分析的正确性。

The correctness of this design is validated with experiment and simulation.

用实验与仿真验证了方案的正确性。

Experiment result shows the correctness of this conclusion.

实验结果验证了该结论的正确性。

beating the gun

证券未正式上市前的先期交易