查询词典 verification

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

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有很好的掌握，由于一个偶然的机会我从事了品质工程师，因此，我也喜欢上了这份工作，两年的设计工程师使我对机械设计和机械图纸有了很大的认识，对我从事品质工作有很大帮助！！

It developed the voice-verification system soon to be rolled out to ABN

哈利斯说，该公司的总部在英国的Chertsey市。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。