形式化,formalization
1)formalization[英]["f?:m?lai"zei??n][美][,f?rml??"ze??n]形式化
1.Study of concurrentformalization of object model based on LOTOS;基于LOTOS对象模型的并发形式化研究
2.A Formalization and Description Frame of Course Scheduling Problem;一种排课问题的形式化描述体系和框架
3.An Operation Formalization of Knowledge Points in Course-ware;课件知识点操作的形式化研究
英文短句/例句
1.Formalization of Propositional Calculus Form Systems in Isabelle/HOL;命题演算形式系统在Isabelle/HOL中的形式化
2.Research on Formalization of Systems Modeling Language Based on rCOS;基于rCOS的SysML形式化研究
3.The Stduy of Formal Description of Chinese Character Glyph and Application汉字字形形式化描述方法及应用研究
4.Energy is capable of being converted from one form into another .能可以从一种形式转化为另一种形式。
5.a progression from simpler to more complex forms.由简单形式向更复杂形式变化的过程。
6.To take physical form or shape.形体化采取物质的形式或成形
7.To give all of the inflected forms of a word; to provide a paradigm.词形变化形式给出一个单词所有的屈折变化形式；提供词形变化表
8.Figurative Expression Forms of Chinese Language and Their Cultural Origins;汉语言语形象化表达形式及其文化源
9.the form in which carbohydrate are stored.碳水化合物的贮存形式。
10.materialized labour in kind实物形式的物化劳动
11.a degenerate life form.一种退化了的生命形式
12.pattern of export-propelled industrializations输出推动工业化的形式
13.the uninflected form of the verb.动词的非屈折变化形式。
14.simplify the form of a mathematical equation of expression by substituting one term for another.通过用一种形式代替另一种形式使数学表达式的形式得到简化。
15.Actually different expressing forms like the completed, the slight initial consonant and the assimilated are found in dialects in south Yunnan.有些体的表现形式包括完全形式、脱落声母形式、被同化形式等多种形式。
16.A marked change in form or appearance; a metamorphosis.变形在形式或外表上发生的明显变化；
17.make linear or get into a linear form.使线性化或形成线的形式。
18.The phonological forms and implicature of morphological changes in English and Chinese;英汉语言形态变化的语音形式及意义
相关短句/例句
formal[英]["f?:ml][美]["f?rml?]形式化
1.Formalization of Service-oriented Software Architecture;面向服务的软件体系结构的形式化
2.The Formal and Substantive Aspects of Judicial Judgments in the Qing Dynasty——An Investigation into the Cases in the Book The Recorded Dreams in My Sickbed;清代中国司法裁判的形式化与实质化——以《病榻梦痕录》所载案件为中心的考察
3.Research on the Formal Description and Fuzzy Retrieving of Component;构件形式化描述与模糊检索研究
3)formal method形式化
1.Researching of the Formal Method Based Fuzzy Math;基于模糊数学的形式化开发方法研究
2.Authors verify the model of control subsystem withformal method.笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。
3.A protocol testing theory is presented based onformal methods.利用形式化方法构建了协议测试理论。
4)formalism[英]["f?:m?l?z?m][美]["f?rm?"l?z?m]形式化
1.This paper proposes an edge-based context-sensitive graph grammarformalism with a concentration on solving the main graph grammar problem--embedding problem,and discusses the features of the proposed graph grammar and its parsing algorithm.围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论。
2.The mobile ambients is extended with time,then a newformalism—real-time mobile ambients with types is presented.为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。
5)formalization of graphics图形形式化
6)chemical form化学形式
1.The effects of fermentation,baking and storage during the processing of bread on thechemical forms of iron were investigated.将各种铁源加到面粉中,制成面包,测定其中铁存在的化学形式,研究面包生产过程中发酵、焙烤、贮藏对铁化学形式的影响。
延伸阅读
公理化方法(见公理化和形式化)公理化方法(见公理化和形式化)axiomatical methodgongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
