formalize的例句大全

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逻辑模型。

she believes the time is right to formalize her relationship with tempelsman.

她认为现在是正式确定和坦佩尔斯曼的关系的时候了。

unmarried partners who cohabit often seek to formalize their relationships legally.

未婚同居伴侣常寻求合法确立他们的关系。