查询词典 select 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.

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

Mainstreet Credit Verification Engine - Mainstreet Credit Verification Engine is a scalable Credit Card Processing Engine for Linux and UNIX.

Mainstreet Credit Verification Engine是Linux和UNIX的一个可升级的信用卡处理引挚。

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级、门级和物理级各个层次的验证。

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."

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