formalization
美 [ˌfɔrməlaɪ'zeɪʃn] 
英 [ˌfɔ:məlaɪ'zeɪʃn]
- n.形式化；成为正式
- 网络化程度；正式化；正式化程度
同义词
英汉解释
例句
The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements.
然后讨论了捕捉基于规则的需求的技巧，以及这些需求的规范化程度。
Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services.
严格来说，REST是可应用到Web服务的HTTP协议的基本规则的规范化技术。
Mathematical formalization consists of what is written, but it only subsists if I employ, in presenting it, the language I make use of.
数学的公式化由书写过的内容组成，但是只有当我运用我使用的语言来呈现它，它才会生存。
You can use the Microsoft Operations Framework (MOF) to help you model your organization's formalization efforts.
可以使用MicrosoftOperationsFramework（MOF）帮助您对组织的正式化进行建模。
What is at stake for us, as you have realized, is to obtain a model of mathematical formalization.
如你们已经体会到，我们岌岌可危的是，如何得到一个数学的公式化。
The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.
前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。
Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing.
系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。
Modern logic is to achieve a'logical truth'by pure formalization and consistent completeness of the deduction rules.
现代逻辑通过“纯形式化”和“一致性、完备性”的推演规则，实现了“逻辑真”。
However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
There is a significant difference in the degree of detail, formalization, and, of course, structure.
这两者在详细程度、规范化程度和结构方面有显著差异。
Unscrambling it, design is achieving objectives, being to solve out problems, moreover, we ask for imagination, formalization, creativity!
解读之，设计是有目的的，要解决人们的问题，并且，你要有想象，有形式，有创造！
itis in the nature of any formalization of number theory that itsmetalanguage is embedded within it.
它的性质，任何形式的若干理论，它的元语言是嵌入它。
This paper formulates the conception of formalization of software engineering, and specifies the requirements of software.
本文阐述了形式化软件工程的基本概念，并采用规格说明语言实现了一个应用软件的形式化描述。
it is simply a reorientation and formalization of many of the things good software architects have been doing all along.
它不过是重定位和规范化大多数优秀软件架构师已经一直在做的事情。
The process involves decisions about the amount of complexity, formalization, and centralization to be used.
这个过程包括关于组织的复杂性，正规化及集权化程序的决定。
As the research about formalization of ontology is just began, there is a lack of technology for evaluating ontologies.
由于本体的形式化研究仍处于初级阶段，尚缺乏对本体的严格的评价技术。
The chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自动检测的主要任务是解决形式化问题。
Nowadays, Accelerate the process of national formalization of marxism have important and far-reaching significance.
时下，加快推进马克思主义民族形式化的过程具有重大而深远的意义。
the paper adopts bnf to express the logic expressions , providing a good formalization method.
论文采用了巴科斯范式来表示逻辑表达式，为其提供了一个很好的形式化的表达方式。
Based on the formalization method, the software reliability test data can be generated automatically.
根据这些形式化描述信息，计算机可以自动抽取出适用于软件可靠性测试的测试数据。
In many ways, the new approach represents a formalization of existing informal practices.
最新的改革在很多方面都表明了现存非正规做法在走向正规化。
Test specification is generalized with the test template framework (TTF) based on formalization specification.
采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。
Formalization Cultural Technique of Schizophyllum ocmmuner Fr.
裂褶菌的规模化栽培技术。
General logic courses in practical education fail to arouse students " interest because it overemphasizes formalization. "
在实际逻辑教学中，普通逻辑课程过分强调形式化，难以引起学生的兴趣。
Classification and Formalization Representation of Interdependencies between Tasks
任务间依赖关系的分类及形式化表达
formalization, including centralization of authority, and emphasis on written communication and going through channels;
形式化，包括权力集中，并在书面沟通和去强调通过渠道；
The live pig formalization cultivation level was still low, the degree of improved variety is not high;
生猪规模化养殖水平仍较低，良种化程度不高；
A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication
事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心
Formalization Research on Software Connectors Compounding Process
软件连接件复合过程的形式化研究
Research of Formalization Processing for Collective Structures in Mathematics Domain
数学领域集体词结构形式化处理研究
Formalization and Knowledge Representation for Vehicle Routing Problems
车辆路径问题的形式化及其知识表示方法研究
Intellectual Capital Management and Formalization of Core Competence of Enterprises
知识资本管理与企业核心能力的形成
Summarization on Security Protocols Formalization
安全协议的形式化方法概述
Communication Systems Formalization from Object Oriented Models
基于面向对象模型的通信系统形式化规范
on the studies of formalization of de - feasible deontic logic in the west and its existing problem
论西方可废止性道义逻辑的形式化研究及其存在的问题
Formalization Research on Collectivity Mode of Swarm Intelligence Algorithm
群体智能算法总体模式的形式化研究
Formalization method for virtual enterprise integration models
虚拟企业集成模型的形式化方法
Research on formalization processing for quantifier structure in plane geometry domain
平面几何领域数量词结构形式化处理研究
The Primary Discussion about the Embodiment of Logic, Formalization and Intuition Methods in Mathematics Teaching
浅谈数学教学过程中逻辑、形式与直觉方法的表现
Polychromatic Sets with Application in the Formalization of Conceptual Design Product Model
多色集合及其在概念设计产品模型形式化描述中的应用
