1) grammar mode
语法化方式
2) formal syntax
形式化语法
1.
This paper defines formal syntax of.
本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。
3) grammaticalization of construction
构式语法化
1.
The grammaticalization of Zeyi(则已) is grammaticalization of construction.
"则已"的成词和语法化是一种构式语法化。
4) formal methods
形式化方法
1.
Research and Design of a Web-based Formal Methods Tool:RRTChecker;
基于Web的形式化方法工具RRTChecker的研究与设计
2.
Technology of Software Development Based on Formal Methods;
基于形式化方法的软件开发技术
3.
Comparison of formal methods:Designware,B.;
形式化方法Designware、B的比较
5) formalization method
形式化方法
1.
An approach is developed to model virtual enterprises using this formalization method which will improve virtual enterprise modelling and implementation.
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。
2.
In this paper,a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system,based on which the discipline of state space generation for such a system is studied,and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system\'s model.
本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
6) formalized method
形式化方法
1.
Researches on the historical development of formalized method help us to gasp its essence,developmental trend and func.
形式化方法是现代逻辑最重要的方法。
2.
Different forms of formalized method may be complimentary in function.
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。
3.
This paper sums up a kind of patterns and a formalized method in resolving mathematical problems.
对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果。
补充资料：油气田开发方式(见油气田生产方式)
油气田开发方式(见油气田生产方式)
development pattern of oil and gas field:see recovery pattern of oil and gas field
a垃d gas月e卫d) 、‘。尸卫Jlent见油气田小冰、*pa士teroof ojl
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条