形式化

It provides a conceptual model for the formalized representation of thesauri, and makes possible the mapping between thesauri and notologies.

它的建立为叙词表的形式化表达提供了概念、模型，使各叙词表之间、叙词表与本体之间的映射成为可能。

It suggests that legal characters of Economic Law be largely different from traditionalistic law such as Civil Law and Administrative Law.

借用昂格尔关于法律自治性的分析框架，通过对比研究法律规则与法律标准、形式化法律推理与实质性法律推理、法律理论的纯粹性与复合性、法律实务的垄断性与开放性、法律机构的官僚性与非官僚性等，就法律内容、法律推理、法律职业、法律机构四个方面阐述了经济法实质化发展的具体表现，从不同侧面展示了经济法独特的法律特征。

Because of its compactness, fineness and unambiguity, formal analysis of security protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和准确的途径。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。

Existing tools for formal program verifying have to deal with complex computation through approximating to some extent.Presented by P.

现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算，P。

In order for computers to provide more help to people, the Semantic Web augments the current Web with formalized knowledge and data that can be processed by computers.

为了使计算机为人类提供更多的帮助，语义网增强了当前的Web网，以计算机能够处理的形式化表示知识与数据。

Extension is a science to study the possibility of things extension and the regulation and method of innovation by the formation model, then applied to solve of the contradictories.

可拓学用形式化模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的科学。

This paper's work is trying to present a more efficient method to locate the agent in distributed networks on the basis of pioneers' researches, and assess the performance of this method.This paper begins its discussion with agent technology's background and basic conceptions, characteristics, and presents the researched problem, that is, researching new agent locating method; then introduces several traditional locating methods: brute force searching, database method and path proxies, and analyses their features and locating efficiency. For describing the agent locating better, this paper formalizes the agent, presents a proper definition, and abstracts agent's migration process, proposes a metaprocess concept and decompounds migration process with it.

本文首先介绍了代理技术的产生背景以及基本概念、性质，提出了需要解决的问题，即对新的代理定位的方法的研究；然后总结介绍了前人文献中的一些代理定位方法：穷举搜索法、位置数据库法和迁移指针法，并分析了这些算法的优缺点和代理定位效率；为了更准确的描述代理定位，本文对代理进行了形式化，确定了一种适合的代理定义，并对它的性质给予形式说明；在此基础上抽象出代理迁移的本质，根据它对资源的控制对迁移类型进行分类；提出元过程概念，并分解表示定位过程，并介绍了过程时间连续性。

Formal analysis of security protocols is becoming more and more important. It is desiderated to expand the existing methods to study more security properties and to form a unified framework to analyze various security properties. Process calculus is a powerful tool for modeling concurrent systems.

安全协议的形式化分析是当前安全协议研究的热点，如何扩充现在已经成熟的理论和方法去研究更多的安全性质，使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题。

This paper focuses on the aspect 2） and aspect 3）, and formalizes the model with LOBA.

两方面的内容，建立了一个主体认知过程的模型，并用可信主体逻辑LOBA进行形式化表示。

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.

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