形式化

This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

Make a formal Description for agents living Environment by using predicate logic, and knowledge representation for agent.

3利用谓词逻辑对Agent的生存环境进行形式化描述，并对Agent进行知识表示。

Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.

其次，本文对UML的建模特性进行了分析和研究，给出了UML中九种图的形式化定义，并指出它们各自的作用。

The characteristic of SCTA is also described. Probability measure of SCTA is given. SRTA is studied in detail.

提出了正确性测试充分性的定义、形式化分析，并对其特点进行了阐述。

What's more, the formal proofs of their security are presented.

而且在Diffle-Hellman问题的假设下，本文所提出的方案是安全的，并且给出了安全性的形式化证明。

How to realize security from the level of protocols is a basic and important research topic.

协议的设计和分析需要一套严格的形式化方法。

Based on the Waters'signature scheme, we put forward a new proxy multi-signature scheme and provide provable security proof in the standard model.

因此本文提出了一个新的基于身份的代理多重签名体制，并在随机预言模型下形式化的证明了该方案的安全性。

Then, reductive dimension methods is analyzed and applied to documents classification.

文中给出了分类挖掘的形式化定义，分析了分类挖掘的基本机理。

X was reification for him, and he could reason formally with it.

将「x」物化，并以之进行形式化的推理。

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.

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