形式化

We presented the definition of such system first and a formalization description.

本文首先提出了LCDIS的概念，并对其进行了形式化的描述。

This paper mainly discusses the formalization description of Event-Condition-Action rules and its application in workflow runtime control.

论文主要研究了事件—条件—动作规则的形式化描述及其在工作流运行控制中的应用。

This article introduces a kind of new text semantics formalization model -- linguistic environment frame.

本文介绍了一种新的文本语义形式化模型——语境框架。

Formalization language Alloy is used to describe and verify security domain model for reliability and security of its design.

首次使用形式化工具Alloy描述和验证安全域模型，保障了安全域设计的可靠性和安全性。

The model of the task system is set, and the model is described via formalization method.

建立了数控系统现场总线的任务模型及任务的形式化描述，设计了基于任务层次关系和截止时间特性的优先级策略，采用添加关系的方法将分时问题转换为一般问题，设计了现场总线调度算法。

Petri net was considered as a quite convenient tool of description, which was adaptive to formalization development of software.

Petri网是适应于形式化软件开发的很好的描述工具。

At the end of the dissertation, some more basic questions of the formalization of macroeconomic theories are put forward and discussed.

本文最后对用数学模型的方法分析经济系统时所遇到的近似的合理性、方程表述的规范性和不同层次间的统一性有关宏观经济理论形式化方面的基础性问题进行了讨论和思考。

Based on all these, the dissertation points out that presently the formalization of usage of IT in education and the technicalization of education are the main problems.

在此基础上，论文指出，当前的主要问题在于"信息技术教育应用的形式化"和"教育的技术化"。

The tool that designed formalization specification automation to generate main and relevant kind of library.

设计了形式化规格说明自动化生成的工具中的主要相关类库。

What's more, in order to develop high-safety software, it is also very necessary to formalize specification of SCS.

此外，要开发高安全性的软件，对安全关键软件的规格说明进行形式化的描述，也是十分必要的。

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.

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