查询词典 verification

Based on the fundamental theory of celestial mechanics and the discussion of two body problem under the action of universal gravitation ,the general model which can be continuously used to calculate the apparent place of celestial body in the solar system was derived. Then ,for the specific celestial body ,the material simulating method and the precision verification was given ,and the reason why the error was caused was analyzed and the corresponding method was offered .

摘 要：基于天体力学的基本理论和对万有引力作用下二体问题的讨论，推导出太阳系天体视位置长期计算的一般模型，然后针对特定天体给出了具体的仿真方法和计算结果的精度检验，深入分析了误差的产生原因并提出了相应的改进办法。

Check Digit Verification Utility - This utility is used mostly by financial institutions that wish to verify/calculate the check digit of a Routing/Transit number on a given document.

这个工具主要为财政机构所使用，他们希望在一个给定文档中的校验/计算一个路由选择/运输线数字的校验数位。

Its common useis in conjunction with selective gas chemisorption for verification of metal surface area.

它通常是和选择性气体化学吸附结合起来使用，以确定金属表面积。

The company owns the brand "Cifu" for eggs and the brand "Jingying" for chickling, the "Cifu" eggs have been selected as famus brand of Jiangsu province by the famus-brand stratagem advancing committee of Jiangsu province in 2003. Recently built livestock production quality verification center and animal disease prevention center will provide high quality control system frame for no-harmful productions of livestocks and fowls.

拥有"赐福"牌禽蛋和"精鹰"牌雏鸡品牌，"赐福"牌鸡蛋于2003年初被省名牌战略推进委员会评为省名牌产品；正在建设之中的畜产品质量检验测试中心、动物疫病控制中心将为无公害畜禽产品开发，构筑全程质量控制体系框架提供完善的技术保障。

According to the website to小肖and verification code, press enter a "Notary Office in Shenzhen City" page.

按照小肖给的网址和验证码，记者进入了一个名为"深圳市公证处"的网页。

Already sent letters to the Civil Defense for verification.

已经给民防的送的信证明的。

The structure theorem is obtained by defining "ternary ordered partition method" which is used to choose the test-sets of the first $k$ tests, and by defining two operations and two relations on feedback sequences; The isomorphism classification theorem is strictly proved by virtue of the structure theorem, thus the complicated problem of discussing $3^k$ possible search domains is reduced to the relatively easy problem on $k+1$ representative search domains; By the techniques of "super-coin construction method" and "image-union method", the search problem on $k+1$ representative search domains is reduced to the simple verification of several conditions on finite space of small cardinality.

通过引入用于选取前$k$次试验的试验集的"三元有序剖分法"以及关于反馈序列的两种运算和两种关系，得到了结构定理；基于结构定理严格地证明了同构类定理，从而将必须针对$3^k$个搜索域的复杂问题转变为讨论$k+1$个具代表性的搜索域的相对简单的问题；通过"构造超币法"和"并像法"等技术手段，将关于$k+1$个具代表性的搜索域的搜索问题转化为简单的关于势非常小的有限空间的几个条件的验证问题。

Speaker Recognition consists of 2 parts: Speaker Identification and Speaker Verification. In this thesis, we focus on the text-independent close-set Speaker Identification which is applied to the corpus made up of mandarin sentences recorded in a library surrounding.

说话人识别包括说话人辨认和说话人确认2个方面，本文专注于在干净语音、闭集、与文本无关条件下，对普通话的注册用户做说话人辨认研究。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

The so called 2 dimensional maze -mapping method for CMG teeth-coding verification was presented.

提出了适用于校验CMG机构齿牙编码设计的二维迷宫映射方法，该方法简捷、易用，物理概念清晰。

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。