大家在查： blare 朴素唯物主义 conquerors attaches 不胫而走 poacher 浮石 Mass unemployment Postscript 哲蚌寺

形式化

网络formalization; formalize; formality

形式化

网络释义

形式化

formalization

l 形式化(Formalization)：制造过程的一个预先确定的阶段。在远距离教育中，在圆上的所有点，从学生、到远距离教学的发布 …

formalize

二、试图形式化(formalize)几个非逻辑的理论--亦即提出几个非逻辑的一阶理论(first-order theory)，透过此来理解一阶逻辑的应 …

formality

马克思．韦伯用形式化（formality）这一概念来描述法律和法律思维的两个方面：（1）简单指“依一般规则或原则的统治”；（2…

formalism

报道《新的整体分形形式化(formalism)描述了通向湍流的道路》,??［２１］?主要讲了费根鲍姆发现周期倍化分岔普适常数以 …

formalistic

但在坏的方面，亦可以使一个人的行为变成形式化（formalistic）。礼是中国人所特别强调的，但是礼的强调并不能保证道德的 …

formalized

...则系统不仅包括比较容易把握（tractable）和形式化（formalized）的语言（学）规则，它们还试图涵盖包罗万象的常识（至 …

Formalizing

形式化 （ Formalizing ）:学习者有意识的思维所注意到的性质，抽象出共同性质，并且能察觉依据心像以及抽象属性所建构出 …

例句：

Icons with indicators and stylized text on the work item in a view make it easy to see the status of a work item .

视图中工作项形式化的文本与带有标示符的图标，使得查看工作项的状态变得更加容易。

This statement is crucial ; the model is not the system itself but a formalized representation of the system.

这一论断很重要，模型不是系统本身，而是系统的形式化表示。

The need to understand and formally describe the identified users of the system(s) comes out of the experience .

理解并形式化地描述系统所确定的用户的需求出自于经验。

Using this technique , it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.

利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。

In deference to the concept of code reviews , you really can't enforce standards that have not been formalized or are not readily available.

考虑到代码检查，您必须形式化相关的标准并推广它们，这样才能真正地实施这些标准。

Existing music articles were analyzed and the music rhythm was transformed into a set of formalized expressions by the PCFG system .

该系统对实际音乐作品进行分析学习，将音乐节奏转化为形式化的文法语句。

As for the effect of the education , it tends to be formalistic, which is not highly evaluated by the students .

在创业教育效果层面上，有形式化倾向，学生评价不高。

In view of the diversity of means of attack from attacker, the formal security model was used to prove the security of the AKE protocol .

鉴于攻击者攻击手段的多样性，人们提出了形式化安全模型用来证明协议的安全性。

Concept lattice formally defined the concepts and the relationships between them.

概念格形式化地定义了概念以及概念之间的关系。

Therefore, the Art can be divided into dynamic nature of life and emotion of the formal .

所以可以将卡西尔的艺术本质论归纳为动态生命情感的形式化。

Using a non-changing identifier to formulate an address allows for tracking of data , which may be used for unintended reasons.

使用不变的标识符来形式化地址使得数据可以被追踪，而这可能被意想不到的动机所利用。

To make it more formal , induction learns a general rule R (concerning A and B) from numerous examples of A and B .

更为形式化地表示，即从许多用例 A 和 B 进行归纳学习得到一个一般性规则 R 。

interpretation is a general theory of semantics approximation , which has been widely used in the verification of computer programs .

作为一种通用的语义近似理论，抽象解释已广泛应用于各类程序的形式化验证中。

And has conducted the formalized research with the economics of roundaboutness production function to this analysis mentality .

并用显示迂回效果的生产函数对这一分析思路进行了形式化的研究。

The hierarchical control structure is studied as a hybrid system . The formal method description, analyses and design are also given.

并把递阶自适应控制结构用混合系统方法进行研究，提出了基于形式化技术的描述、分析和设计方法。

A formal characterization of SDG, as a finite state transition system , is extended and transformed firstly, and SMV module is modeled.

首先扩展、转换了 SDG 模型的有限状态变迁系统形式化描述，建立了 SMV 模型；

Rational RequisitePro provides the requirements management tooling necessary to formalize this process .

RationalRequisitePro 提供了用于将这一过程形式化的需求管理工具。

形式化

形式化