说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 方法与文化形式
1)  Methods and Cultural Forms
方法与文化形式
2)  forms and methods
形式与方法
例句>>
3)  The Method of Pattern and Formalization
模型方法与形式化
4)  formal specification and verification
形式化描述与验证方法
例句>>
5)  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的比较
更多例句>>
6)  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.
本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
更多例句>>
补充资料：方法
关于解决思想、说话、行动等问题的门路、程序等：工作～ㄧ学习～ㄧ思想～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条