本文最后对MTI协作模型的协作策略进行了详细的形式化描述。

At last, we formalize MTI cooperation model detailedly.

本文利用巴科斯范式(BNF)对驻留主机防火墙的过滤规则进行了形式化描述.

The BNF is used to formalize the packet filtering rules.

文中还运用巴科斯范式对主机防火墙的网络访问控制规则进行了形式化描述.

The BNF is used to formalize the network access control rules.

逻辑演算对推理形式有效性的研究，比传统逻辑更抽象、更严格，其原因是形式化方法的运用。形式化方法包括构造形式系统（语法的）和对该系统进行解释（语义的）两个阶段。

Owing to the utilization of the formalized method, logical calculus is more abstract and strict than the traditional logic in the study of the valid inferential form.

给出了分部积分公式的推广形式，并讨论了分部积分过程的形式化。

A generalization of formula of integration by parts is given and formalized arithmetic of indefinite integral has been discussed.

然而，上学却是一个特定的形式化了的过程。在不同场合下，它的基本形式大同小异。

Schooling , on the other hand, is a specific, formalized process, whose general pattern varies little from one setting to the next .

然而，上学却是一个特定的形式化了的过程。 在不同场合下，它的基本形式大同小异。

Schooling, on the other hand, is a specific, formalized process, whose general pattern varies little from one setting to the next.

它为理解水资源持续利用提供了形式化模型.

It provides a formalized model for understanding sustainable utilization of water resources.

众多的形式化方法在功能上可以实现互补。

Different forms of formalized method may be complimentary in function.

等价类划分是一个更加形式化的设计测试用例的方法.

Equivalence partitioning is a much more formalized method of test case design.