形式化

In this paper, the authors give the syntax of proxy multi-signature schemes and formalize a notion of security for them.

文中给出了代理多重签名的形式化定义和安全模型，并构造了一个具体的方案。

Since his ultimate goal is to prove the rationality of the world, he has to transcendentalize, formalize and idealize the theory.

由于他的最终目的是要证明世界的合理性，他不得不把交往行动理论先验化、形式化和理想化。

Therefore,it need to formalize BAPC protocol for guarantee of its correctness.

因此在BAPC协议的软件实施中，迫切需要对BAPC协议进行形式化分析，以保证协议的正确性。

The main research point for this thesis is to formalize the semantic problems based on linguistic area by using mathematic methods.

本文的研究重点就是将语义问题以数学的方法在语言学上加以形式化。

The results show that Extenics provides a kind of new thought and formalized methods to solve the incompatible problems.

研究结果表明，可拓学提供了一种新的解决企业信息不相容问题的思路和形式化方法。

During the design period of this new kind of system, it is crucial to establish formalized models and analyze their performance.

在该类系统的设计过程中，必须对各类设计方案进行形式化建模和性能评价。

The proposed formalized thinking can be widely applied to other field of model transductions in power system.

文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。

In consideration on the complexity and diversity of network fault, formalized study on network fault management was conducted.

针对网络故障的复杂性和多样性，对网络故障管理的形式化描述进行了研究。

Concept lattice is a formalized tool for concept discovery from data, and has been widely used in many scientific applications.

概念格模型作为一种用于数据分析的形式化的工具，已经在众多的领域中获得了广泛的应用。

Schooling, on the other hand, is a specific, formalized process, whose

然而，上学却是一个特定的形式化了的过程。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。