查询词典 verification

To verify all the checksums automagically, and have your system do the verification, type

若想让系统自动检查所有的校验值并完成校验，输入

This thesis combined the riverbed section and plane form, from the two side of hydraulic computation and model test, put forward the method to realized the automatic computation for river closure gap hydraulic parameters and comparison and verification. And through carrying on the secondary development to AutoCAD, realized the common software of automation drawing the topographical section of model test. Based on hydraulics computation technology, finished developing the common application software for one berm-dam vertical closure hydraulic computation.

本文结合河床断面与平面形状，从水力计算与模型试验两个角度出发，提出了实现龙口水力参数计算自动化并进行验证比较的方法；并且通过对AutoCAD进行二次开发，实现了模型试验地形断面绘制自动化的通用软件；同时以水力学计算方法为基础，完成了隧洞导流条件下单戗堤立堵截流水力计算通用应用软件的开发。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

This project has focused on the decidability problem and the axiomatization problem for LTLC, and the formal verification methods for real-time systems.

本项目研究了LTLC的可判定性、公理化及实时系统的形式验证等相关问题： 1。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

The following test procedure is one of several that is recognized throughout the United States for verification of the functioning of Backflow Preventers.

下列检测程序是在美国通用的经过验证的防回流阀功能检验程序中的一种。

The first half of the data is used for aerodynamic coefficients modeling, and the second half is used for verification of the resulting model based on pre-estimation of ballistic curve, the results indicate the wavelet network model of aerodynamic coefficients has generalization ability and applicability.

最后，通过建立某导弹飞行器六自由度动力学模型并进行仿真，得到样本数据，将其中一半数据用于小波网络气动力系数建模，模型参数辨识完成后，基于弹道重构原理将模型代入动力学系统进行弹道预测，将预测结果与另一部分样本数据进行比较以检验模型的推广能力，结果表明所建模型具有很好的推广能力和适用性。

Also, please write down your name on bank note's remark area for faster identity verification.

汇款时请将你的名字填写在汇款单的备注上，以便更快核对身份。

To further verification of the validity of this method, a barite sample has been determined and the recovery is 82%~98%.

用於分析重晶石样品并作加入回收实验，进一步验证了该方法的可行性，回收率为82%~98%。

Remember to quote your Batch Number above for verification by the Company.

请记住您的批号引用上述核查的公司。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"