formalization

An attribute-based Access Control mechanism tailored for the NGN open service architecture is proposed and formalized with Description Logic. With the logic formalization, the access control decision and consistency of polices can be reasoned.

使用描述逻辑对NGN业务体系中基于属性的访问控制机制进行了形式化分析，通过描述逻辑的推理算法解决访问控制决策、策略一致性等问题。

互联网摘选

Insisting the new industrialization the path, realizes the traditional industry new and the new industrial formalization.

坚持走新型工业化的道路, 实现传统产业新型化和新型产业规模化.

互联网摘选

The con cept of xml schema path, xml tree node path and the formalization of a validated xml document were studied.

建立了XML模式路径和XML数据树节点路径的定义，描述XML数据中的路径；

互联网摘选

Mechanistic: A structure that is high in complexity, formalization, and centralization.

机械式: 是一种具有高度复杂性 、 正规化和集权性的组织形式.

互联网摘选

Mohist logic has the character of non-formalization, while Aristotlian Logic is mainly charactered by its formalization.

非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.

互联网摘选

The formalization of co-operation between the republics would produce progress.

正式确立合作关系将会促进共和国之间合作的顺利进展。

《柯林斯高阶英汉双解学习词典》

The national formalization, it has filled the filled with grief tonality in the performance common custom general mood of society, sighed woefully with at that time the common people constituted and the sound.

它在表现世俗世风之中充满了悲怆的音调，与当时百姓的哀叹构成了和声。

互联网摘选

The formalization expresses of simulation model are given and the construction modes are discussed.

给出了仿真实验框架和仿真模型的形式化描述,讨论了仿真模型库构造模式.

互联网摘选

Disassembling sieve based-on polychromatic sets has the advantages of higher formalization level and easily programming.

该研究结果保证了拆卸图模型和拆卸过程规划结果的正确性.

互联网摘选

Modernistic novelists are inclined to produce their work as a whole. But the identity does not exist in a time relationship, but in a space relationship. It is the identity of space relationship that results in the identity of space formalization.

现代主义小说家把自己的作品都当作一个整体来表现，然而作品的同一性不在时间关系中存在，而是存在于空间关系中；正是这种统一的空间关系导致了空间形式的发生。

互联网摘选

In this article we introduce our guideline for biographic knowledge acquisition from Electronic Encyclopedia of China, including the acceptance and rejection of knowledge items, the formalization of simple knowledge and simple knowledge group and the acquisition of dominant and complicated knowledge.

本文详细介绍了百科辞典中人物传记条目释文中显性知识的表示规范，包括知识点的取舍，简单知识和简单知识组的形式化表示方法，以及显性的复杂知识的提取方法。

互联网摘选

Beside this , the formalization based on OWL + Dublin Core is provided.

并给出了基于OWL+DublinCore的形式化描述.

互联网摘选

This chapter also identifies authoritative sources to assist in the formalization process of intellectual property.

这一章也介绍了有助于知识财产法定化的官方渠道。

互联网摘选

Non-formalization is closely related to daily life, but also has obvious defections.

而 非 形式化则紧密联系日常语言, 但也有明显缺陷.

互联网摘选

The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

实现了支撑形式化检验与QoS感知的服务组合架构，并将该架构应用于数字卡通的网上协同制作。

互联网摘选

The formalization is the most distinctive characteristics.

法学话语的形式化是其最明显的特征.

互联网摘选

As a comprehensively used quality management standard system worldwide, ISO9000 can be adopted to improve management and service levels towards formalization and standardization.

ISO9000质量管理体系是目前国际上通用的质量管理标准体系，采用这个标准规范高校后勤管理和服务工作，能够提升管理服务水平，实现学校后勤管理规范化、标准化。

互联网摘选

The definition and the mathematical formalization of mapping process physical domains were presented.

针对映射整体定义了一种域映射规则,给出了域映射过程的数学语言形式化描述.

互联网摘选

The human body, basically biological, has become a subject of the art because of its indispensable elements of formalization and accumulated flavor, and the involvement of sexual sense.

具有生物性功能的人体成为艺术题材、审美对象，需要某些要素的参与，形式化、意味的积淀是基本要素，而性觉的参与也是不容忽视的。

互联网摘选

Study on Management Formalization of Mutton Sheep Pen in Hebei Province

河北省肉羊养殖企业规范化管理研究

互联网摘选

The fifth chapter probes into the important functions of these types of sentences in the rigescent formalization.

第五章讨论各类句式在古代白话小说僵化雷同的程式化特征形成中发挥的重要作用。

互联网摘选

Perfect Aspect, Progressive Aspect, and Their Formalization

完成体，进行体，及其形式化

互联网摘选

Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing.

系统开发工作包括领域知识本体建模 、 知识本体的形式化与存储 、 诊断推理等.

互联网摘选

Formalization is necessary requirement and directive impetus for design patterns.

形式化是设计模式发展的必然要求和直接推动力.

互联网摘选

Ontology is an explicit specification of a conceptualization. It can express domanial knowledge with definitely and formalization, it can improve the operational capability of different system and accelerate the sharing of information.

知识本体（Ontology）是共享概念的明确形式化规范说明，能够以一种明确的、形式化的方式来表示领域知识，提高异构系统之间的互操作性，促进知识共享。

互联网摘选

Organic: A structure that is low in complexity, formalization, and centralization.

有机式: 是一种具有低度复杂性, 正规化和集权性的组织形式.

互联网摘选

First, in terms of the complementarity of these two methods, the semantic definition, symbol definition and formalization definition of the UML/ OOPN model are put forward.

首先根据两种方法的互补性，阐述了UML/OOPN模型的语义定义、图符定义和形式定义；

互联网摘选

The process involves decisions about the amount of complexity, formalization, and centralization to be used.

这个过程包括关于组织的复杂性, 正规化及集权化程序的决定.

互联网摘选

Test specification is generalized with the test template framework ( TTF) based on formalization specification.

采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。

互联网摘选

Plastics Plastic material pre-heat and formalization.

塑胶业塑胶料预热及定型.

互联网摘选