查询词典 select verification

Verification test in Pharmacopeia of P. R. China2005 was used.

采用中国药典2005年版无菌检查法中的薄膜过滤法。

The paper intorduces analysis and calculation for the uncertainty ofmeasutement on the basis of requirement of "'93 Intermational quidebook", according toclass jz theodolite standing disk index for the JJ G414-94 《 photology theodolite》 verification and calibration, in the automatic compensation.

介绍了按照JJG414—94《光学经纬仪》检定、校准J2级经纬仪竖盘指标自动补偿误差时，依据"'93国际指南"要求，对其测量不确定度进行的分析、计算。

The verification of assembly modeling system by taking example for piston and connecting rod indicates the feasibility and validity of the system.

4本文原型系统通过发动机部件活塞连杆装配体加以验证，表明了系统的可行性和有效性。

Revision of Verification Regulation of Standard Platinum Resistance Thermometer

母本隐性核不育两型系SAB-3的保优扩繁技术规程

A new method that transforms bitlevel waveform polynomial to word-level polynomial model is given, allowing for simple composition This method offers an efficient way to determine whether two descriptions from different design levels are equivalent, so component reuse, synthesis and verification across design levels can be realized. In addition, an experimental system using C language is established, including modules such as representation of waveform polynomial, decision of path senstization, delay computing, clocking based on single-period sensitization, clocking based on multi-period sensitization, test generation considering noise and transformation from bit-level waveform polynomial to word-level polynomial model. They respectively used to test models and techniques proposed in this paper.

另外，基于C语言本人设计开发了一个实验软件系统，该系统包括波形多项式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

Based on popular animation techniques, this paper mainly analyzes the animation realizing methods in the development of verification system.

本文在分析目前常用的动画技术的基础上，着重论述了数控加工仿真系统中动画的实现方法。

The verification are made for China's populations, some Provinces and Country populations with good agree, the results indicated that the population is affected strongly by the power exponent and the associated characteristics of growth of the population are discussed.

本文研究结果表明，由改进的具有幂律指数型的逻辑斯蒂人口增长模型所描述的人口增长规律和实际普查人口分规律布非常接近，可以用来比较准确的描述某段时间内的人口增长规律以及预测未来一段时间内的人口增长趋势。

Abstract—With identity fraud in our society reaching un- precedented proportions and with an increasing emphasis on the emerging automatic personal identification applications, biomet- rics-based verification, especially fingerprint-based identification, is receiving a lot of attention.

摘要，身份欺诈在我们的社会实现联合国先例的比例，并有越来越重视新兴的自动个人识别应用，皇家注册测量师协会为基础的核查，特别是指纹识别，收到了很多的关注。

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

Then is a factual premiss, saying that a certain disposition is necessary, sufficient, or at least helpful in achieving a certain end (or living by a certain principle); it will usually be of a kind that depends on experience and science for its verification, but in some theories of education it might come from metaphysics or theology.

那么，作为一个事实前提，说明了一个确定的性状是必需的、足够的，或至少有益于实现特定的目标（或存在依靠一特定的原则）；它通常将属于一种依赖经验和科学来证实，但是，在有的教育理论中它可能来自形而上学或神学。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。