查询词典 verification

Dr Ahmed said this system will be helpful in hospitals and for police verification.

Ahmed博士说，这个系统有助于医院和警察举证。

Help prepare the documentation for verification and validation of FABP diagnostic kit and ALB diagnostic kit.

协助准备验证和确认FABP诊断试剂和ALB诊断试剂所需文档。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

The result of industrial verification and experimental studies shows that the theory and algorithm are correct.

工业验证及实验研究的结果表明上述理论和算法是正确的。

Our lab is mainly responsible for development,verification and transformation of analytical methods,tests of developed dosage forms, such as raw materials and excipients, packaging materials, various dosage items, and stability study.

主要负责分析方法的开发、验证及转移，负责研发制剂的检测，包括原辅材料、包装材料、各剂型项目检测、稳定性研究等。

To satisfy the PDS antitype system requirements of ITS market,two systems are developed based on the computational classifier ensemble model.One is based on PC platform,which is used for offline algorithm verification,and the other one is based on a DSP chip,which is used for on-board pedestrian detection.

针对智能交通市场对廉价的行人检测原型系统的需要，本文在组合分类计算模型的基础上，分别完成了基于PC计算平台的行人检测算法离线验证平台和基于DSP的车载行人检测原型系统。

Is there appropriate verification of the artwork before use to check for damage, eg AOI?

在底片开始使用前是否有相应的确认并检查其有无损坏，例如，使用AOI检验？

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。