形式化技术相关论文
本论文结合一个PDA项目的开发,设计和实现了利用固定电话网进行信息传输的一套通信协议。 基于通信协议开发的一般过程——协议......
IP电话的核心是IP网关,该课题的任务就是设计IP网关.它处于PSTN网和数据网之间,成为两种网络间的桥梁.研究人员使用No.1信令与程序......
论文首先综述了基于移动代理的入侵检测系统;然后在总结入侵检测系统的形式化开发技术相关研究工作的基础上提出了一种新的系统形式......
该论文所完成的工作有:(1)对主流的形式化技术(Estelle、LOTOS、EFSM、Petri Net、UML)的要素和特征进行了分析、对比;分析了这些......
模型检测作为一种自动验证有限状态系统是否满足规范的形式化技术,在规划和多智能体系统等人工智能领域得到了越来越多的应用。现在......
近年来,随着互联网的普及与电子商务技术的发展,面向服务的计算(SOC)和面向服务的体系结构(SOA)正逐步变为未来软件发展的一种趋势,也......
本文对GMR-1卫星移动通信空口协议栈进行了研究,由于需要支持庞大的用户容量以及跨波束的漫游和切换,其复杂度非常高;为了解决协议......
模型验证作为一种形式化技术,已逐渐应用于软件系统可靠性验证.但对结构复杂的大规模软件的验证,由于状态空间爆炸往往会导致验证......
问题形式化是协作系统的基本研究课题,它是系统设计者设计系统的指导,又是系统内智能实体动态地规划、自构系统的基础。该文详细讨论......
该文介绍了几种具有代表性的安全协议的形式化验证工具,研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了......
随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B......
CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据......
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对......
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式......
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形......
论文以求河内塔(Hanoi Tower)问题的并行解为例,介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是,先将复杂的问题和复杂......
本文研讨适应于计算机网络或分布式计算机系统通信协议的形式化技术.文中系统地论述和分析了协议及其服务的形式描述,设计验证与实......
为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技......
应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商......
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的......
本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在......
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动......
探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点......
帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限.本文在深入分析了帧中继信令协议的基础上对其进......
提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证.通过实例逻辑验证表明,依据功能验证平台,按......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少.介绍了一种将形式化方法应用于逆工程的具体实现方法,应......
讨论了程序功能规约变换和算法程序的形式化技术.通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过......
本文主要了基于通信有限状态机的协议形式化技术。...