查询词典 select verification

Based on predecessors' work, this propose the concept of degenerate test set and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system.

在总结前人工作的基础上，结合安全操作系统对测试的特殊需求，提出了简并测试集(degenerate test set，简称DTS)的概念，设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法。

The foreign invested enterprises who meet the requirements, should enjoy the preferential policies and conduct the derate procedures after examination and verification by the Bureau of Foreign Trade and Economic Cooperation with the departments concerned.

第七条 凡符合规定，应享受优惠政策的外商投资企业，经市对外贸易经济合作局会同有关部门审查核实后，办理有关减免手续。

Based on these advantages the functional simulation will become useful aid in design verification and optimization of mechanical system.

功能模型的这些优点使得功能模拟很自然地成为机械系统设计验证和进行机械优化设计的有力工具。

Customs number, export date, export port, code of the business entity, record number, trade mode, destination country, approval document number (number of the verification form of collection of foreign exchange), transaction method, freight, insurance premium, incidental expenses, commodity code, commodity name, primary quantity, primary measurement unit, secondary quantity, secondary measurement unit, transacted quantity, as well as measurement unit, total price, and currency.

海关编号、出口日期、出口口岸、经营单位编码、备案号、贸易方式、运抵国、批准文号、成交方式、运费、保费、杂费、商品编号、商品名称、第一数量、第一计量单位、第二数量、第二计量单位、成交数量及计量单位、总价、币制。

Finally draws up the mold assembly drawing and the detail drawing, and has carried on the design verification.

最终绘制出模具装配图和零件图，并进行了设计审核。

Finally has also drawn up the mold assembly drawing and the detail drawing s , and has carried on the design verification

最后还绘制了模具装配图和零件图，并进行了设计审核。

The determinacy verification shows that the complex changes in the lead and zinc market are resulted from the evolution of its internal dynamics mechanism.

通过确定性检验，证明铅锌市场的复杂变化是其内在动力学机制演化的结果。

With 16 hybrids and their parents and 202 skeleton inbred lines as the primers for screening materials, the artificial groups of 2 standard diad and 2 standard triplet were build resp. as the verification materials. Genomic DNA of seedlings was extracted by using CTAB method. 137 pairs of SSR primers were selected for SSR amplification and product detection, which was used in the parentage identification of maize varieties.

方法］以16个玉米杂交种及其双亲和202个骨干自交系为引物筛选材料，分别构建2个二联体亲子鉴定盲样和2个三联体亲子鉴定盲样，用CTAB法提取幼苗叶片DNA，选137对SSR引物进行玉米品种的亲子检测。

Application of differential coefficient in inequation verification;2. It also elaborates what should be pay attention to while making use of this method to obtain differential coefficient .

本章给出了由分段函数直接求导数再取极限求函数在分段点处导数的方法，并就利用该方法求导数时需要注意的问题进行了说明。

The main content of this thesis includes six parts. First of all, it is a comprehensive systematic introduction about RSA algorithm including the present application situation and principle of RSA algorithm----producing big prime numbers and secret keys, the encryption arithmetic for information and the decryption for secret information, which establish the theory foundation for achieving concrete; secondly, it introduces some basic conception of RSA digital signature and theory of digital signature realizing process; thirdly, it introduces the basic principle of MD5 algorithm; fourthly, it states design and realization of RSA digital signature in detail. The main modules includes producing RSA secret keys, implementation of RSA encryption algorithm and decryption algorithm, producing message digest and realizing digital signature and verification by RSA; the fifth, it carries on testing entirely, analyzing and improving for this system;The sixth, it analyses the security of RSA digital signature and points out the development direction of RSA digital signature.

本文主要研究的内容包括：第一，对RSA算法进行了全面系统的介绍，包括RSA算法的应用现状和原理—大素数的产生、密钥对的产生、对明文的加密运算和密文的解密运算，为具体实现打下了理论基础；第二，介绍了RSA数字签名的一些基本概念和数字签名的理论实现过程；第三，对MD5算法基本原理的介绍；第四，详述了RSA数字签名的设计与实现，主要实现的模块包括RSA密钥的产生，RSA加密算法和解密算法的实现，消息摘要MD的生成以及利用RSA算法实现数字签名和签名的验证；第五，对该系统进行了整体的测试和分析改进；第六，分析了RSA数字签名的安全性，指出了RSA数字签名的发展方向。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。