形式化

In this approach, all objects such as program schema, transformation rules, applicability conditions and transformation processes, etc.

在论文的后部份，我们讨论基于类型理论的、形式化的变换式程序开发方法。

After comparing the source language to the target language, the rules of model transformation are analyzed. Then the formalized expression of model transformation is designed, based on which the transformations are done.

比较源语言和目标语言的元模型，分析了模型转换规则，并给出转换规则的形式化表示，然后根据模型转换规则实现了模型间的转换及模型到代码的转换。

There are not many schools which have really carried on the creative education and got a prominent achievement since the creative education theory was brought forward in 1990"s in China, most of school"s creative education have still remained formalization, triplication and low level.

我国自90年代提出创新教育理念以来，真正实施了创新教育并且成绩显著的学校并不多，大多数学校的创新教育仍停留在形式化、平庸化、浅层次的局面。

As a new research direction in formal methods, model checking has shown its importance in promotion people's trustiness of correctness and reliability of computer systems to be developed.

模型检验作为形式化方法中一个较新的研究方向，它在提高人们对实现系统正确性和可靠性的可信度方面具有十分重要的作用。

To answer questions like "Who are the top-k most typical NBA players?",the measure of simple typicality is developed.

我们系统地建立了大型数据集的模型，形式化定义描述了三种典型的top-k查询方法。

These nouns are compared as they denote the regular patterned ebb and rise of accented and unaccented sounds, especially in music, speech, or verse.

当这些名词意为有规律地形式化的重读与非重读音节的降低和升高时，尤其在音乐、演说或韵文中，它们有所区别。

Those fuzz systems, their structural characters, the basic approximation properties and uniform convergent properties of them are compared by using the fuzzy basis functions.

利用模糊基本函数形式化描述模糊系统的方法，比较了它们的结构特征，以及由此导出的模糊推理系统的各种逼近性质。

However,on certain meaning,this phenomenon lead to mistake understanding about Corporate Culture and tendency of formalism,unilateralist and empties in the process of Corporate Culture development.

然而，这却在某种意义上造成了人们对于企业文化的认识误区，并使得企业文化建设出现了形式化、片面化、空泛化倾向。

Combat warship system is of the complex system, and the analyzing for the info-flow is the most .

参考相关的文献，有学者在UML图语义和形式化理论研究的基础上，探索向Petri网自动转换方法。

By analyzing the YAWL,it can be found that the enabling of a OR-join task which has another OR-join in its branch will be in advance.

为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题，提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法，通过替换有效解决了这一问题，而且结合Reset网，对改进作形式化说明。

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.

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