查询词典 verification

Experiment results show that the extended decision procedure supports most verification formulas met in slicing execution.

我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

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 changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。