查询词典 select 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机构齿牙编码设计的二维迷宫映射方法，该方法简捷、易用，物理概念清晰。

I was just taking her hand, to help her out of a car, and I knew it.

我只是握着她的手，扶她下车，但我知道这一切。

China and South Korea have excoriated Japan over its approval of new school books which they say whitewash the atrocities committed during Japanese occupation, and anti-Japanese protests have been held in Chinese cities. The lingering bitterness over Japan's past imperialism still threatens to mar relations between the big East Asian powers

中国和韩国强烈谴责日本通过新的中学历史教科书，他们认为这一教科书掩盖了日本在其占领期间所犯下的残酷暴行，反日抗议活动在中国数座城市发生，历史上日本帝国主义制造的痛楚无法被忘却，这有可能破坏东亚强国间的关系。