形式化

Web Definition

1.
formalization
l 形式化(Formalization)：制造过程的一个预先确定的阶段。在远距离教育中，在圆上的所有点，从学生、到远距离教学的发布 …
www.360doc.com|Based on 273 pages
2.
formalize
二、试图形式化(formalize)几个非逻辑的理论--亦即提出几个非逻辑的一阶理论(first-order theory)，透过此来理解一阶逻辑的应 …
tw.myblog.yahoo.com|Based on 74 pages
3.
formality
马克思．韦伯用形式化（formality）这一概念来描述法律和法律思维的两个方面：（1）简单指“依一般规则或原则的统治”；（2…
www.civillaw.com.cn|Based on 37 pages
4.
formalism
报道《新的整体分形形式化(formalism)描述了通向湍流的道路》,??［２１］?主要讲了费根鲍姆发现周期倍化分岔普适常数以 …
blog.sciencenet.cn|Based on 25 pages
5.
formalistic
但在坏的方面，亦可以使一个人的行为变成形式化（formalistic）。礼是中国人所特别强调的，但是礼的强调并不能保证道德的 …
www.360doc.com|Based on 24 pages
6.
formalized
...则系统不仅包括比较容易把握（tractable）和形式化（formalized）的语言（学）规则，它们还试图涵盖包罗万象的常识（至 …
blog.sciencenet.cn|Based on 7 pages
7.
Formalizing
形式化 （ Formalizing ）:学习者有意识的思维所注意到的性质，抽象出共同性质，并且能察觉依据心像以及抽象属性所建构出 …
www.showxiu.com|Based on 2 pages

Sample Sentence

Definition:
AllAll,formalizationformalization,formalizeformalize,formalityformality
Category:AllAll,OralOral,WrittenWritten,TitleTitle,TechnicalTechnical
Source:AllAll,DictionaryDictionary,WebWeb
Difficulty:AllAll,EasyEasy,MiddleMiddle,HardHard
1.
Icons with indicators and stylized text on the work item in a view make it easy to see the status of a work item.
视图中工作项形式化的文本与带有标示符的图标，使得查看工作项的状态变得更加容易。
shì tú zhōng gōng zuò xiàng xíng shì huà de wén běn yǔ dài yǒu biāo shì fú de tú biāo , shǐ de chá kàn gōng zuò xiàng de zhuàng tài biàn de gèng jiā róng yì 。
www.ibm.com
2.
This statement is crucial; the model is not the system itself but a formalized representation of the system.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
zhè yī lùn duàn hěn zhòng yào , mó xíng bú shì xì tǒng běn shēn , ér shì xì tǒng de xíng shì huà biǎo shì 。
www.ibm.com
3.
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
lì yòng cǐ jì shù , hěn kě néng jiāng yè wù liú chéng zhuǎn huà wéi yè wù mó xíng , bìng zài tā men zhī jiān chuàng jiàn xíng shì huà de kě zhuī sù xìng 。
www.ibm.com
4.
Also exist in the design of the fuzzy concept of design work is done or not pure, more formal, there is no ideology to speak of.
在设计中也存在着概念模糊，设计出的作品要么是做的不够纯粹，比较形式化，毫无思想内涵可言。
zài shè jì zhōng yě cún zài zhe gài niàn mó hu , shè jì chū de zuò pǐn yào me shì zuò de bú gòu chún cuì , bǐ jiào xíng shì huà , háo wú sī xiǎng nèi hán kě yán 。
www.zclunwen.com
5.
This article is only a first attempt to formalize the method development process that the RUP team follows.
这篇文章仅仅是对RUP团队所追求的对方法开发过程形式化的一个初步尝试。
zhè piān wén zhāng jǐn jǐn shì duì RUP tuán duì suǒ zhuī qiú de duì fāng fǎ kāi fā guò chéng xíng shì huà de yī gè chū bù cháng shì 。
www.ibm.com
6.
In deference to the concept of code reviews, you really can't enforce standards that have not been formalized or are not readily available.
考虑到代码检查，您必须形式化相关的标准并推广它们，这样才能真正地实施这些标准。
kǎo lǜ dào dài mǎ jiǎn chá , nín bì xū xíng shì huà xiāng guān de biāo zhǔn bìng tuī guǎng tā men , zhè yàng cái néng zhēn zhèng de shí shī zhè xiē biāo zhǔn 。
www.ibm.com
7.
Existing music articles were analyzed and the music rhythm was transformed into a set of formalized expressions by the PCFG system.
该系统对实际音乐作品进行分析学习，将音乐节奏转化为形式化的文法语句。
gāi xì tǒng duì shí jì yīn yuè zuò pǐn jìn xíng fēn xī xué xí , jiāng yīn yuè jié zòu zhuǎn huà wéi xíng shì huà de wén fǎ yǔ jù 。
www.ceps.com.tw
8.
But mathematicians formalize this in a particular way. And what they do is, they do it through the concept of parallel lines.
但数学家用一种特殊方式将这个形式化，他们所做的就是藉由平行线的概念。
dàn shù xué jiā yòng yī zhǒng tè shū fāng shì jiāng zhè ge xíng shì huà , tā men suǒ zuò de jiù shì jiè yóu píng xíng xiàn de gài niàn 。
www.myoops.org
9.
As for the effect of the education, it tends to be formalistic, which is not highly evaluated by the students.
在创业教育效果层面上，有形式化倾向，学生评价不高。
zài chuàng yè jiào yù xiào guǒ céng miàn shàng , yǒu xíng shì huà qīng xiàng , xué shēng píng jià bù gāo 。
www.ceps.com.tw
10.
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.
鉴于攻击者攻击手段的多样性，人们提出了形式化安全模型用来证明协议的安全性。
jiàn yú gōng jī zhě gōng jī shǒu duàn de duō yàng xìng , rén men tí chū le xíng shì huà ān quán mó xíng yòng lái zhèng míng xié yì de ān quán xìng 。
www.13191.com