形式化

The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.

作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出&形&和&影&的特征。

This paper summarizes all kinds of the bandwidth smoothing algorithms for prerecorded VBR video ,compares the performances of these algorithms ,induces and formalizes these smoothing models,and gives the generalization description of them.

文章综述了存储 VBR视频带宽平滑的各种算法，比较了这些算法的各自特点，归纳、形式化了这些算法模型的更一般化表示。

The remainder of this paper is organized as follows. Section 2 compares and formalizes several approaches to establishing trust in the results of compilation. Section 3 describes the structure of the CompCert compiler, its performance, and how the Coq proof assistant was used not only to prove its correctness but also to program most of it.

本文后续部分组织如下：第二节比较几种&建立可信编译结果&的方法并给出形式化定义；第三节介绍CompCert编译器的结构、性能、以及在使用Coq工具编写编译器代码的同时进行正确性证明的方法。

Design pattern and formalizing are two very important aspects of software engineering.

设计模式和形式化是软件工程领域研究的两个重要方面。

The studying results realize formalizing description of the problem, and give a valid solving algorithm for it.

研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。

Math is almost always about formalizing our common sense about some domain, so that we can deduce and/or prove new things about that domain.

在某些领域，数学几乎总是形式化我们的常识，所以我们能减少或证明那些领域里的新事物。

Ys about formalizing our "common sense" about some domain, so that we can deduce and/or prove new things about that domain.

域，数学几乎总是形式化我们的&常识&，所以我们能减少或证明那些领域里的新事物。

Math is almost always about formalizing our "common sense" about some domain, so that we can deduce and/orprove new things about that domain.

在某些领域，数学几乎总是形式化我们的&常识&，所以我们能减少或证明那些领域里的新事物。

Mathis almost always about formalizing our "common sense" about some domain, so that we can deduce and/ or prove new thingsabout that domain.

在某些领域，数学几乎总是形式化我们的&常识&，所以我们能减少或证明那些领域里的新事物。

The author, through analysis and comparison, sharply pointed out the problems existing in our country, such as the inamplification of law systems, the lacking of integrity, the insufficiency of young people protection, the lack of targets and correct values for the young people as well as the formularizing and generalizing of school education.

本文通过分析与比较，尖锐指出了当前我国存在的问题，即法制体系不健全、社会诚信缺失、青少年保护不力、青少年追求目标迷茫、没有正确价值观以及学校德育空洞化、概念化、形式化等，分析了问题背后的原因。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。