Perfect Aspect, Progressive Aspect, and Their Formalization.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Efficiency decreases with specialization, formalization, routinization, fragmentation, and division of labor.

专业化，规范化，常规化分工降低效率。

Test specification is generalized with the test template framework (TTF) based on formalization specification.

采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。

The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.

形式化分析、例证和实验结果表明GKCP 的正确性和可行性。

My opinion is that, the formalization of the group personality is the normal state in history through analysis.

笔者通过对历史的分析，认为团体人格的形式化是历史的常态。

In frame of BGC model, the formalization of role, and an approach of role-based mission assignment are pictured.

在BGC模型框架下，文章对角色进行形式化描述，并分析了基于角色的任务分派。

This paper presents the formalization of dynamic summarization according to temporal evolution of Web information.

该文从网络信息的时间演化性出发，给出了动态文摘的形式化定义。

PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.

薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。

The formalization of dialectic logic is the premise of its being true logic, which needs the observation of game rules.

辩证逻辑要真正成为逻辑，必须形式化，而形式化必须遵守形式化的“游戏规则”。

It is simply a reorientation and formalization of many of the things good software architects have been doing all along.

它不过是重定位和规范化大多数优秀软件架构师已经一直在做的事情。

Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services.

严格来说，REST是可应用到Web服务的HTTP协议的基本规则的规范化技术。

The degree to which an organization relies on rules and procedures to direct the behavior of employees is formalization.

组织在多大程序上依靠规则和程序来指导员工的行为就是组织的正规化程度。

In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.

本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。

Mohist logic has the character of non-formalization, while Aristotlian logic is mainly charactered by its formalization.

非形式化是墨家逻辑的主要特点，而亚里士多德逻辑的主要特点是形式化。

The characteristics of mathematics concepts of high school are abstractness, formalization, systematization, conciseness.

高中数学概念具有抽象化、形式化、系统化、简明化的特点。

The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.

前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。

In this article, we shall discuss formalization using graphical and non graphical methods of the above stated design methodology.

在本文中，我们将讨论正式使用上述表示的图形化设计方法和非图形的方法。

The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements.

然后讨论了捕捉基于规则的需求的技巧，以及这些需求的规范化程度。

Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing.

系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。