formalization

美 [?f?rm?la?'ze??n] 　英 [?f?:m?la?'ze??n]

• n.形式化；成為正式
• 網(wǎng)絡(luò)化程度；正式化；正式化程度

同義詞

英漢解釋

例句

The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements.

然后討論了捕捉基于規(guī)則的需求的技巧，以及這些需求的規(guī)范化程度。

Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services.

嚴(yán)格來(lái)說(shuō)，REST是可應(yīng)用到Web服務(wù)的HTTP協(xié)議的基本規(guī)則的規(guī)范化技術(shù)。

Mathematical formalization consists of what is written, but it only subsists if I employ, in presenting it, the language I make use of.

數(shù)學(xué)的公式化由書寫過(guò)的內(nèi)容組成，但是只有當(dāng)我運(yùn)用我使用的語(yǔ)言來(lái)呈現(xiàn)它，它才會(huì)生存。

You can use the Microsoft Operations Framework (MOF) to help you model your organization's formalization efforts.

可以使用MicrosoftOperationsFramework（MOF）幫助您對(duì)組織的正式化進(jìn)行建模。

What is at stake for us, as you have realized, is to obtain a model of mathematical formalization.

如你們已經(jīng)體會(huì)到，我們岌岌可危的是，如何得到一個(gè)數(shù)學(xué)的公式化。

The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.

前置詞的機(jī)用語(yǔ)義詞典描述可為俄語(yǔ)文本語(yǔ)義分析提供必要的計(jì)算資源。

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

系統(tǒng)開(kāi)發(fā)工作包括領(lǐng)域知識(shí)本體建模、知識(shí)本體的形式化與存儲(chǔ)、診斷推理等。

Modern logic is to achieve a'logical truth'by pure formalization and consistent completeness of the deduction rules.

現(xiàn)代邏輯通過(guò)“純形式化”和“一致性、完備性”的推演規(guī)則，實(shí)現(xiàn)了“邏輯真”。

However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.

但是，需求-分析-設(shè)計(jì)周期中的不同參與者是以不同程度的規(guī)范化和結(jié)構(gòu)來(lái)表達(dá)規(guī)則的。

There is a significant difference in the degree of detail, formalization, and, of course, structure.

這兩者在詳細(xì)程度、規(guī)范化程度和結(jié)構(gòu)方面有顯著差異。

Unscrambling it, design is achieving objectives, being to solve out problems, moreover, we ask for imagination, formalization, creativity!

解讀之，設(shè)計(jì)是有目的的，要解決人們的問(wèn)題，并且，你要有想象，有形式，有創(chuàng)造！

itis in the nature of any formalization of number theory that itsmetalanguage is embedded within it.

它的性質(zhì)，任何形式的若干理論，它的元語(yǔ)言是嵌入它。

This paper formulates the conception of formalization of software engineering, and specifies the requirements of software.

本文闡述了形式化軟件工程的基本概念，并采用規(guī)格說(shuō)明語(yǔ)言實(shí)現(xiàn)了一個(gè)應(yīng)用軟件的形式化描述。

it is simply a reorientation and formalization of many of the things good software architects have been doing all along.

它不過(guò)是重定位和規(guī)范化大多數(shù)優(yōu)秀軟件架構(gòu)師已經(jīng)一直在做的事情。

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

這個(gè)過(guò)程包括關(guān)于組織的復(fù)雜性，正規(guī)化及集權(quán)化程序的決定。

As the research about formalization of ontology is just began, there is a lack of technology for evaluating ontologies.

由于本體的形式化研究仍處于初級(jí)階段，尚缺乏對(duì)本體的嚴(yán)格的評(píng)價(jià)技術(shù)。

The chief task of consistent automatic checking UML model is to solve the formalization problem.

UML模型一致性自動(dòng)檢測(cè)的主要任務(wù)是解決形式化問(wèn)題。

Nowadays, Accelerate the process of national formalization of marxism have important and far-reaching significance.

時(shí)下，加快推進(jìn)馬克思主義民族形式化的過(guò)程具有重大而深遠(yuǎn)的意義。

the paper adopts bnf to express the logic expressions , providing a good formalization method.

論文采用了巴科斯范式來(lái)表示邏輯表達(dá)式，為其提供了一個(gè)很好的形式化的表達(dá)方式。

Based on the formalization method, the software reliability test data can be generated automatically.

根據(jù)這些形式化描述信息，計(jì)算機(jī)可以自動(dòng)抽取出適用于軟件可靠性測(cè)試的測(cè)試數(shù)據(jù)。

In many ways, the new approach represents a formalization of existing informal practices.

最新的改革在很多方面都表明了現(xiàn)存非正規(guī)做法在走向正規(guī)化。

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

采用基于形式規(guī)范的測(cè)試模板框架（TTF）可使測(cè)試規(guī)范通用化。

Formalization Cultural Technique of Schizophyllum ocmmuner Fr.

裂褶菌的規(guī)?；?/c>栽培技術(shù)。

General logic courses in practical education fail to arouse students " interest because it overemphasizes formalization. "

在實(shí)際邏輯教學(xué)中，普通邏輯課程過(guò)分強(qiáng)調(diào)形式化，難以引起學(xué)生的興趣。

Classification and Formalization Representation of Interdependencies between Tasks

任務(wù)間依賴關(guān)系的分類及形式化表達(dá)

formalization, including centralization of authority, and emphasis on written communication and going through channels;

形式化，包括權(quán)力集中，并在書面溝通和去強(qiáng)調(diào)通過(guò)渠道；

The live pig formalization cultivation level was still low, the degree of improved variety is not high;

生豬規(guī)?；?/c>養(yǎng)殖水平仍較低，良種化程度不高；

A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication

事實(shí)標(biāo)準(zhǔn)XMLHttpRequest對(duì)象的正式化，它是Ajax通信的核心

Formalization Research on Software Connectors Compounding Process

軟件連接件復(fù)合過(guò)程的形式化研究

Research of Formalization Processing for Collective Structures in Mathematics Domain

數(shù)學(xué)領(lǐng)域集體詞結(jié)構(gòu)形式化處理研究

Formalization and Knowledge Representation for Vehicle Routing Problems

車輛路徑問(wèn)題的形式化及其知識(shí)表示方法研究

Intellectual Capital Management and Formalization of Core Competence of Enterprises

知識(shí)資本管理與企業(yè)核心能力的形成

Summarization on Security Protocols Formalization

安全協(xié)議的形式化方法概述

Communication Systems Formalization from Object Oriented Models

基于面向對(duì)象模型的通信系統(tǒng)形式化規(guī)范

on the studies of formalization of de - feasible deontic logic in the west and its existing problem

論西方可廢止性道義邏輯的形式化研究及其存在的問(wèn)題

Formalization Research on Collectivity Mode of Swarm Intelligence Algorithm

群體智能算法總體模式的形式化研究

Formalization method for virtual enterprise integration models

虛擬企業(yè)集成模型的形式化方法

Research on formalization processing for quantifier structure in plane geometry domain

平面幾何領(lǐng)域數(shù)量詞結(jié)構(gòu)形式化處理研究

The Primary Discussion about the Embodiment of Logic, Formalization and Intuition Methods in Mathematics Teaching

淺談數(shù)學(xué)教學(xué)過(guò)程中邏輯、形式與直覺(jué)方法的表現(xiàn)

Polychromatic Sets with Application in the Formalization of Conceptual Design Product Model

多色集合及其在概念設(shè)計(jì)產(chǎn)品模型形式化描述中的應(yīng)用