形式化

However, it ban be ascertained through theoretical analysis that contractual government trust relationship is somehow a kind of objectivated and formal trust, and the objectivation abstracts all the essential content of trust and renders it a kind of calculative trust relationship with mean rationality as its character and mutual benefit as its premise.

但通过理论剖析可以看到，契约型政府信任关系本质上是一种客观化了的和形式化了的信任，这种客观化抽空了信任的实质性内容，使其成为以工具理性为特征、以互惠交换为前提的"计算式"的信任关系。

A thorough analysis of OSI Reference Model is made before OSI service model and protocol model are set up.

协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。

The procedural justice and law ethical paratactic called contemporary significance of the rule of law in China, and two impetus to formal and one of the basic elements of modernization.

程序正义与法律职业道德并列被称为当代具有重要意义的法治的两个推动力，也是中国法走向形式化进而走向现代化的根本元素之一。

In Chapter 4,The convergence of two forms of genetic algorithms base donthe feature of the non-formal selection strategies is proved including themodel of genetic algorithms under the population fitness constraints and somehigher fitness individuals in parent population participating in the comp-etition.

第四章以非形式化选择为特点，给出遗传算法的种群适应值约束下算法模型与父代种群前若干适应值高的个体参与竞争下遗传算法的收敛性。

This paper also proposes a graph based hierarchical clustering algorithm to solve the cell partition problem.

本文对小区划分进行了形式化的描述，首次提出了采用聚类解决小区划分问题的思想，并且提出了一种基于图模型的层次聚类算法。

So considering uncertainty variety of spatial data because of it, this paper introduces centriod as a reference point, and expanded uncertainty parameter changed with variable scales in 16-direction relation cone-shaped model and describes them with formalization. The model partitions the direction relations with smooth transition regions, which accord with percipience on direction concept description.

本文考虑了由此带来的空间数据不确定性变化，用质心作为参考点，并在16方向模型中添加了不确定度的参数，来适应尺度变化引起的空间关系的变化，并对其进行形式化描述，以更好的描述空间关系，使得方向关系的划分上有个平滑的过渡区，在方向概念的表达上更符合人的认知。

This can improve the pertinence of the study of flexible access control model.

给出一个形式化的约束访问控制模型，来弥补现有访问控制技术中对约束研究的不足。

One of the most well-known formulation methods is Petri nets.

Petri网是形式化软件开发的重要方法之一。

This paper disertation explores on modeling and automatic recognition of NP in Russian sentences in light of Natural Language Processing, including linguistic foundation in the course of modeling, modeling of NP, multilevel description of models, modeling of AP with patulous components and automatic recognition of NP. In the process of recognition attention is paid to theoretic precondition of automatic recognition of NP, combinational rules of models, boundary mensuration of NP, automatic recognition of NP with postpositive attributes.

本文从自然语言处理的角度研究俄语中NP构句块的模式化和自动识别问题，内容涉及NP构句块模式化的语言学基础、NP构句块的模式化及模式的多层级、多平面形式化描写(包括带有扩展模式形容词的模式化)、NP构句块自动化处理，包括NP构句块处理的理论前提、模式组配规则、NP构句块的边界测定、带后置定语的NP构句块识别等。

The flow of potential benefit out of NASA, to the stakeholders, and eventually back to NASA will be modeled.

它能对包括美国航天局在内的所有利益相关者之间的潜在利益建立形式化的"利益交换流"模型。

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.

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