查询词典 verification

But if the biometric technology of duplicating fingerprints has a significant improvement, or a bandit cuts off the authorizer's finger, the only fingerprint verification procedure is not safe any more.

但是倘若有朝一日生物科技有突破性的进展，或是某个歹徒将使用者的手指头切下来，复制或取得一枚认证指纹将会是一件容易的事。

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%。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。