查询词典 correctness

In short, the relation between nodes can be formally decided by DDF, the firing order is restricted to guarantee the correctness of program, so the introduction of DDF in embedded software design greatly benefits effective modeling, formal analysis, correct improvement, software optimization and implementation.

这样，DDF可以形式化地确定各种节点间的关系，并限定节点的执行次序以保证程序的正确性，将DDF用于嵌入式软件设计将极大地有助于有效的软件建模、形式化的分析、正确的设计改进、软件优化以及实现。

With the popularity of accountancy information system in enterprises, security audit of electronic accountancy data is of growing importance in that it provides correctness, equity and security of accountancy data by effective means and programs according to the rule of computer auditing.

随着会计信息系统在企业中的不断普及，对由此产生的电子财会数据的安全性审计，即根据计算机审计准则，通过各种有效的方法和程序，对会计信息系统提供的会计数据是否正确、公正和安全进行的审计。

The chemical potential as a function of the bulk pressure is presented, and its correctness is proved.

在此基础上，通过巨正则蒙特卡罗模拟，仔细地分析了化学势对模拟计算单壁碳纳米管储氢的影响。

Blavatsky's manuscript was often incorrect and obscure, but she was in India at the time and could not restore correctness to the manuscript.

blavatsky1844往往是错误的，模糊，但她在印度的时候，不能正确恢复到1844。

Blavatsky's manuscript was often incorrect and obscure, but she was in India at the time and could not restore correctness to the manuscript.

blavatsky的书稿往往不正、模糊、但她当时在印度，无法挽回的正确性手稿。

T-Group and S-Group are two important types of operation group. To preserve T-Groups in operational transformation new algorithms are developed based on the REDUCE approach, and some explanations and examples of the correctness of the proposed algorithms are also given. We also give a strategy to preserve S-Group in REDUCE approach.

本文中定义了两类操作群：T-群和S-群，给出了维护T-群的操作变换算法，给出了其证明及算法实例，同时给出了维护S-群的系统策略。

This essay aims to probe into the creation and identification of cultural symbols. Firstly, the relationship between development and symbolism of architectural forms in Taiwan through out different eras are sorted. Secondly, how the operation of school architectures has changed from the iconic form into the "space" analogical form is discussed through the study of Tannan Elementary School, which was built up in the mountain of Nantou after the 921 Earthquake. In the end of the essay, the unique architectural operation of another aboriginal school, Minho Elementary School, has demonstrated that the development of school architectures is still dominated by the cultural symbol of "political correctness" in Taiwan after the 921 Earthquake.

本文以「文化象徵」 Cultural Symbols 的创造与辨识为主题，先整理各个时期台湾建筑形式的发展与象徵性的紧密关系；然后以921地震后，在南投山村间出现的一间原住民小学 aboriginal elementary Tannan Elementary School 为研究对象，说明台湾学校建筑已从符号 iconic 象徵性的浅层操作开始进入「空间类型」类比化的建筑操作；文末另以一间原住民小学 Minho Elementary School 的回异操作方法，印证台湾在921地震后的这波学校建筑的发展，仍然被「政治正确」的文化表徵所支配。

It was not until the Central Committee held the enlarged meeting of the Political Bureau at Tsunyi, Kweichow Province, in January 1935 that this wrong line was declared bankrupt and the correctness of the old line reaffirmed.

直到党中央一九三五年一月在贵州的遵义召开扩大的政治局会议的时候，才宣告这个错误路线的破产，重新承认过去路线的正确性。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。