formalization [,fɔ:məlai'zeiʃən]

formalization的基本解释

n.

形式化, 礼仪化, 仪礼化

与formalization相关的网络例句 [注：此内容来源于网络，仅供参考]

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. 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.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

Chapter 3,"Formalization knowledge rule",it links the development ofmodern nature science and formalization science to introduce the formation of theformalization knowledge rule,and its contents,characteristics and development.

第三章"形式化知识规则"，联系现代自然科学和形式化科学的发展，介绍了形式化知识规则的形成，其内容、特点及其哲学史考察。

To prepare studying hierarchical intelligent control system of material flows in mineral processing plant further, picturing, transition rulers, analytic methods, relevance matrix and dynamic equation, defect in applying of Petri network, fall short of orient object models applying are discussed after technology of formalization model built, non-formalization built and compound model. And Petri network system with time attribute is expanded opening network system with interface of input and output. The network system expanded with all attributes of basic Petri network model has hierarchy and recursiveness, can be analyzed with mathematical tools of network system and can deal with concurrent and asynchronously also.

为了对选矿厂生产物流递阶智能控制系统的进一步研究奠定基础，本文在讨论了形式化建模技术、非形式化建模技术和复合模型的基础上，研究和分析了Petri网的图形表示、变迁规则、分析方法、关联矩阵与动态方程、Petri网模型应用中的缺陷、面向对象模型应用中的不足，并把采用赋时的Petri网系统扩展成为对外界有输入和输出接口的开放网系统，扩展后的Petri网具有递阶性和递归性，同时保持基本Petri网的所有性质，使模型仍可采用网系统数学工具进行分析，并可处理生产物流系统中的并发性和异步性。

与formalization相关的网络解释 [注：此内容来源于网络，仅供参考]

formalization：形式化

"尽管新增长理论崛起的原因之一是历史关怀,但是,当它沉浸在理论想象中的时候,形式化(formalization)的努力就逐步将现实的复杂性与历史关怀抽象成诸如内生技术进步等几个简单的变量了.

formalization：正规化

组织依靠规则和程序引导员工行为的程度就是正规化(Formalization). 有些组织仅以很少的这种规范准则运作,另一些组织,有些规模还很小,却具有各种的规定指示员工可以做什么和不可以做什么. 一个组织使用的规章条例越多,其组织结构就越正规化.

formalization：形式/规范化

forestry 林业 | formalization 形式/规范化 | formulate 制定

formalization：形式体系化

形式体系;形式主义 formalism | 形式体系化 formalization | 形式化算法 formalized arithmetic

formalization stage：规范化阶段

Formal systematic appraisal 正式的系统评估 | Formalization stage 规范化阶段 | Franchise 特权,特许权,专营权