查询词典 verification

For the first time the ID-based signature scheme is introduced into BGP path verification, and so the ID-based path verification mechanism is proposed.

基于此，该文将基于身份的签名算法引入路径验证，提出了一个基于身份的路径验证机制。

On-line verification takes place as a writer creates his signature on a digital tablet or a similar device to grab dynamic information, while off-line verification is the process of verifying a static signature which is written on white paper and collected by a digital scanner or a video camera.

而脱机签名鉴定只要求提供签名者在普通纸张上的签名，然后通过数字扫描仪或摄像仪采集样本，因此它具有更广阔的应用范围。

Harn also proposed RSA type batch verification protocols. We also analysis the security of the batch verification protocols.

对于RSA数字，Harn也设计了一种批验证协议，本章第五节对RSA批验证协议的安全性进行了分析。

Reverification necessitated by disputes over medical verification of personal injuries and medical verification of mental illness shall be conducted by a hospital designated by a people's government at the provincial level.

对人身伤害的医学鉴定有争议需要重新鉴定或者对精神病的医学鉴定，由省级人民政府指定的医院进行。

Though in general the verification problem for parameterized systems is undecidable, decision procedures have been discovered for verification of subclasses where systems consist of many identical, finite state processes.

分布式模型检测方法是一种能从根本上解决状态爆炸问题的方法，它利用分布主存环境，理论上存在一个容量无限的存储环境，因此在解决状态爆炸问题上具有一定的潜力。

With the continual improvement of function and veracity of instrument which belong to category of the pulse generator, the traditional handworked verification can not meet the need in practical operation and the automatic verification for this kind of instrument is urgently required.

随着脉冲信号发生器类仪器的功能和准确性的不断提高，使得传统的手工检定已经不能适应实际工作要求，迫切需要实现这类仪器的检定自动化。

Example of Exit Criteria: Functional Verification Test 出入境示例标准:功能验证测试 As an example, consider the following exit criteria for Function Verification Test: Successful exposure and execution of all FVT functional scenarios or tests (workloads, thrashers, test cases, etc) Successful exposure and execution of any recovery scenarios A technical risk assessment of the outstanding scenario failures and open problems will be performed prior to entry to the SVT level.

作为一个例子，考虑是否功能验证测试退出标准如下：成功接触和所有 FVT 功能情况或测试(负载，脱粒机，测试用例等执行)成功的揭露和执行任何恢复方案一个优秀方案的失败和开放问题，技术风险评估前进行进入 SVT 的水平。

Because our country is the exchange control country, our company pays foreign currency of USD9762.50 to your company through Industrial and Commercial Bank of China, need going to Administration of Foreign Exchange Control to cancel after verification according to the customs declaration of the goods at the Chinese customs, if did not go to Administration of Foreign Exchange Control to cancel after verification, this sum of foreign currency that our company pays to your company will be determined as the true-false method expenditure foreign currency, our company will be listed in the blacklist by Administration of Foreign Exchange Control, thus freeze all foreign currency operation of our company.

由于我国是外汇管制国家，因此我公司通过中国工商银行付给贵公司USD9762.50的外汇，需要凭货物在中国海关的报关单到外汇管理局去核销，如果没有到外汇管理局去核销，我公司付给贵公司的这笔外汇将被定为是非法支出外汇，我公司则将被外汇管理局列入黑名单，从而冻结我公司的一切外汇业务。

Then in the following 2 chapters, we introduce how to design the APB verification IP and the universal verification platform which are both based on the method in detail.

在中科SoC通用验证平台上可以进行模块级、系统级和芯片级的行为级、RTL级、门级和物理级各个层次的验证。

I worked for 4 years, at present works in Suzhou Shizuoka Cutting tool Limited company, assumption quality engineer, was responsible for the company product the performance test, the quality accident analysis and the quality system acting, in October, 2006, the success help company through the ISO9001 quality system exterior verification, had internal verification qualifications certificate, I have also been engaged in 2 year project engineers, to some specialized design software, for example: AutoCAD, Pro/E has very good grasping, because an accidental opportunity I have been engaged in quality engineer, therefore, I also liked this work, two year project engineers caused me had the very big understanding to the machine design and the mechanical blueprint, was engaged in the quality work to me to have the very big help!!

生活小百科网：我工作4年了，目前在苏州静冈刀具有限公司工作，担任品质工程师，负责公司产品的质量检验，质量事故分析和质量体系担当，2006年10月，成功帮助公司通过ISO9001质量体系外部审核，拥有内部审核资格员证书，我也从事过2年设计工程师，对一些专业设计软件，如：AutoCAD，Pro/E有很好的掌握，由于一个偶然的机会我从事了品质工程师，因此，我也喜欢上了这份工作，两年的设计工程师使我对机械设计和机械图纸有了很大的认识，对我从事品质工作有很大帮助！！

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文件移动允许经过蓝牙传送和接受文件。。。。