1) OSPF formalization
OSPF形式化
2) OSPF protocol optimization
OSPF协议优化
3) formalization of graphics
图形形式化
4) chemical form
化学形式
1.
The effects of fermentation,baking and storage during the processing of bread on the chemical forms of iron were investigated.
将各种铁源加到面粉中,制成面包,测定其中铁存在的化学形式,研究面包生产过程中发酵、焙烤、贮藏对铁化学形式的影响。
5) 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;
课件知识点操作的形式化研究
6) 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.
为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条