全部

1·Perfect Aspect, Progressive Aspect, and Their Formalization.

完成体，进行体，及其形式化。

2·Too much formalization has always been influencing the teaching of mathematics.

数学的过于形式化一直影响着今天的数学教育。

3·The formalization of numerals in Russian has to be flexibly dealt with in translation.

俄语中数词“虚用”现象的翻译应采取灵活的方法。

4·The requirements of formalization for automated software testing can be met by the method.

这样的形式描述方法满足软件测试自动化对形式描述的要求。

5·It is the identity of space relationship that results in the identity of space formalization.

正是这种统一的空间关系导致了空间形式的发生。

6·Study of formalization for object storage system will help us to study object management in detail.

对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。

7·There is a significant difference in the degree of detail, formalization, and, of course, structure.

这两者在详细程度、规范化程度和结构方面有显著差异。

8·A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication.

事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心。

9·The formalization of negotiation protocols is crucial to realize the automation of electronic commerce.

谈判协议的形式化是实现电子商务谈判自动化的关键。

10·An automatic programming system always includes two programming activities: formalization and implementation.

自动程序设计系统包括两种程序设计活动：形式化与实现。

形式化

1·A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.

USBD方法至关重要的方面是所确定的业务过程如何支持业务目标的描述和形式化。

2·An organic organization has the structural characteristics mentioned above and others like wide span of control, cross-functional teams, free flow of information and low formalization.

一个有机组织的结构特征，上述提及到的以及其他类似的大跨度的控制，跨功能团队，自由流通的资讯和低形式化。

3·First, the content, the request even the style of representation of function education in our curriculum standards and the textbook as a whole is stable and heavy formalization.

首先，函数教育的内容、要求甚至表述风格在我国大纲及教材中总体上是稳定的，并且是重形式化的。

4·An automatic programming system always includes two programming activities: formalization and implementation.

自动程序设计系统包括两种程序设计活动：形式化与实现。

5·There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.

是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。

正式化

1·A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication.

事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心。

2·Based on the individual characteristics, the formalization mechanism can be abstracted as three processes, namely structurization, regularization and role-making.

正式化机制以个体特征为基础，可抽象为结构化、规范化和角色化三种过程。

3·Severty-three percent of companies have achieved either modest formalization(54 percent) or have formalized their change management process to a great extent(19 percent).

对于它们的管理流程改变，百分之七十三的公司取得了初步的正式化（54%）或大部分的正式化（19%）。

定形

1·New-designed XB series of industrial chillers are capable of controlling precisely the mold temperature in plastic molding process as so to shorten molding cycle and speed product formalization.

全新造型的XB系列工业冷水机主要适用于塑胶工业，它可以精确的控制塑胶成形模具温度以缩短成型周期，加速产品定形；