查询词典 normalization theorem

After the abstract syntax and the structural operational semantics of the ALT have been presented, The Church－Rosser property, strong normalization property and decidebility of the ALT's type system are proved.

在给出ALT语言的抽象语法和语义规则后，我们首先证明了ALT类型系统具有Church－Rosser性质，并在二阶λ-演算的环境中证明了强范式化特性。

The recent increase in the RRR in China signals the beginning of the normalization of monetary policy.

近期中国存款准备金率的提高标志着货币政策正常化的开始。

Therefore, each section and school want to be further regular to course of understanding, strengthen management, then can realization experiment teaching of the norm turn, normalization with keep on turn development.

因此，各部门和学校要进一步端正对课程的认识，加强管理，才能实现实验教学的规范化、常态化和持续化发展。

The method of separation of variables is used to solve the conjugate couples of eigenvalues and eigenvectors of the system, and the condition of symplectic, conjugated-type of normalization is proposed.

用分离变量法求解系统的各阶共轭特征值对和特征函数对，并提出特征函数的辛共轭正交归一关系。

This paper analysed the setting-up principle of the system weight of the index and weight normalization treatment method.

分析了指标体系权重的建立原则以及权重的归一化处理方法。

Its publication signalled the ending of the separation between the two nations and the beginning of relationship normalization.

它的发表，标志着中美隔绝状态的结束和关系正常化进程的开始。

The BS unit in datapath uses partial-decoded scheme. The study of this chapter is also very important for the design of BSes used in significand alignment and normalization in floating-point operation.

这些设计方案的研究不仅对设计数据路径中的BS部件来说是必要的（该部件采用部分译码方案），而且为后面浮点操作中完成进行尾数对齐和规格化处理BS的设计提供了基础。

The BS for significand alignment and additional bits generation, the logic for leading 0/1 prediction, normalization and rounding are discussed in detail.

其中详细地讨论了利用BS完成尾数对齐与附加位产生逻辑、与计算同时进行的前导0/1判别逻辑，规格化处理和舍入操作等的实现。

As long as the demands of the human social intercourse, there is the necessity of the language and characters normalization.

中文摘要：只要有人类交际的需要，就有语言文字规范化的必要。

This system conforms to the rules of normalization, standardization, spatiality and network, and applies many computer technologies, such as web, web database, and Web GIS.

该系统是遵循标准化、规范化、空间化及网络化原则，集多种当前先进的计算机技术，包括 Web 、网络数据库及 Web GIS 技术于一体的综合性应用系统。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。