1) formal partitioning method
形式化划分方法
2) formal analysis
形式化分析方法
1.
This dissertation makes a research on the theory and technique of the formal analysis of the security protocols and focuses on the running-mode analysis method based on the model checking technology.
主要的研究成果如下: (1)介绍安全协议的背景及基本概念、研究进展和发展趋势,概述了安全协议的分类和安全协议的形式化分析方法的三种思路; (2)介绍两方和三方安全协议的运行模式分析法,设计并提出了两方乐观公平交换协议运行模式分析法; (3)使用运行模式分析法成功分析了几个电子商务协议,如SET协议、Micali的电子合同协议ECS1、FPH电子邮件协议,得到了较好的结论; (4)根据公平交换协议的特点,提出了公平交换协议的设计原则,并设计了一个安全的电子合同签署协议
3) Rectangle dividing method
长方形划分法
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.
对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条