1) formalization
[英]['fɔ:məlai'zeiʃən] [美][,fɔrmḷɪ'zeʃən]
形式化
1.
Study of concurrent formalization 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;
课件知识点操作的形式化研究
2) formal
[英]['fɔ:ml] [美]['fɔrmḷ]
形式化
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 with formal method.
笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。
3.
A protocol testing theory is presented based on formal methods.
利用形式化方法构建了协议测试理论。
4) formalism
[英]['fɔ:məlɪzəm] [美]['fɔrmə'lɪzəm]
形式化
1.
This paper proposes an edge-based context-sensitive graph grammar formalism 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 new formalism—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 the chemical forms of iron were investigated.
将各种铁源加到面粉中,制成面包,测定其中铁存在的化学形式,研究面包生产过程中发酵、焙烤、贮藏对铁化学形式的影响。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条