查询词典 select verification

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]）等形式语义的关系。

Chapter 4 describes the design flow of international terminal and the application scope of verification tool for fire protection and shelter.

第四章对国际航厦的设计流程进行说明，架构防火避难验证工具的应用范围。

Must have Coordination and negotiation skill, flexible ideas, and be punctilious person.

必须具备较好的协调与谈判能力，头脑灵活，工作认真仔细

Result: 18 patients are all with simple eye.The pigment mole lies in nasal and temple sides of the ball conjunctiva,in which 2 lie in lacrimal caruncle and semilunar plica.

结果：18例患者均为单眼，色素痣大多数位于内外侧睑裂部球结膜面，2例位于泪阜及半月皱襞，经激光治疗后，10例色素痣消失，有5例行再次激光后消失，2例行第三次激光后消失，1例第四次激光后消失。