查询词典 correctness

A quick and correct forecast of tidal current when oil spill occurs is a key step in the forecast of oil spill. Based on the harmonic constant of tidal component of M2, S2, O1 and K1 in Lingshan Island, Laoshantou and Chaolian Island, and by using harmonic method, the thesis first conducts a current forecast in a single point, and then builds up a current field forecast in Jiaozhou Bay and its adjacent seas. The computed results match well with the actual situation. The method reduces greatly the time of real time current forecast by not using numerical stimulation, so it fit to the two requirements of quickness and correctness in oil spill forecast system.

迅速准确地预测出溢油发生时的潮流情况是溢油环境预测的根本保证，因此文中根据灵山岛、崂山头和朝连岛三处M2、S2，、O1和K1四个主要分潮的调和常数资料，采用调和的方法进行单点的潮流预报，进而建立了胶州湾及邻近海域的预报潮流场；该方法的潮流预报结果与实际情况吻合良好，且因避开了数值计算过程而大大减少了流场实时预报的机时，符合溢油应急预报系统所要求的准确与快速。

A set of FTD harmonic drive with transmission ratio 100 and involute tooth profile is development by using the method presented in this dissertation, and by the meshing law experiment and the kinetic accuracy comparison experiments between two kinds of harmonic drive, the correctness of relative theory in this dissertation is testified further.

利用本文提出的方法，成功地研制出具有渐开线齿廓、传动比为100的四齿差谐波齿轮传动装置，通过对其啮合规律的测试和两种谐波齿轮传动运动精度的对比实验，进一步证实了本文有关理论、方法的正确性。

By means of Hertz contact theory the correctness was verified on finite element analysis.

并通过赫兹接触理验证了有限元分析的正确性。

Sc, there are two kinds of isotopes shaped body, the structure is trigonal system and the hexagonal Department, is found in the periodic table predicted decades before the first one confirmed the correctness of the periodic table of elements, which is very famous.

周期表中ⅢB族有银白色金属光泽的固体金属过渡元素，又属稀土元素，原子序数Z＝21，原子量4959，化学符F号Sc，有两种同位素异形体，结构正方晶系和六角晶系，是周期表预言十年后才发现的第一个证实周期表正确性的元素，因而很有名气。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

Used to write procedures to judge the correctness of the date of importation, high efficiency.

用JS写的程序判断输入日期的正确性，效率很高。

Specially, although the personal energy, time and resource of the research is limited, a series of incomprehensive investigations and interviews that base on the theory of architecture planning still provide the big support for the applicability and correctness of the four aspects mentioned above. Undoubtedly, the primary test of practice is provided for the theory system of the Architecture Language.

此外，虽然限于精力，时间及资源分配的不足，但以建筑计划学理论为指导的一系列范围有限的调研活动依然为上述几个方面的适用性和正确性提供了很大支持，从而使本建筑语言理论体系得到了初步的实践检验。

The correctness and incorrectness were not decided by other people, time or history.

正确不正确是由别人决定的，或是由时间和历史决定的。

Consequently it is also inseparable from the correctness or incorrectness of the subjective direction of war.

因而也是和主观指导的正确或错误分不开的。

The analysis is able to verify the locating correctness and to figure out the cause of locating incorrectness.

此分析可以证实定位合理，并指出不合理定位的原因。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？