formalize的例句大全

The BNF is used to formalize the packet filtering rules.

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

Formalize and obtain final acceptance for the project.

获得对项目的认同和正式接受.

This article tried to formalize the basic theoretic structure for the further research.

本文试图为进一步研究构筑基本理论结构.

Design Rules to formalize and communicate that architecture to your entire development organization.

范它,并使用它和整个开发团队进行沟通.

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

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

At last, we formalize MTI cooperation model detailedly.

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

They decided to formalize their relationship by getting married.

他们决定结婚，正式确定关系。

That essentially would formalize existing reporting lines.

这与现有报导的说法基本吻合.

Formalize a testing methodology; you'll test everything the same way and you'll get uniform results.

固化你的测试方法, 使用相同的方式测试所有的东西,这样你会得到一致的测试结果.

To formalize the virtual process, we introduce service function unit.

为了能够形式化的表示虚拟流程，本文引入了服务功能单元。

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。