首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 140 毫秒
1.
有限状态机(FSM)是实现任何网络协议的过程中都不可缺少的部分,对其实现技巧的了解,有助于更好地构造协议的操作和实现的模型。本文先简单介绍传统的采用过程性编程的有限状态机的设计技巧,然后再阐述采用面向对象技术的实现方法。  相似文献   

2.
P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。  相似文献   

3.
描述了基于VxWorks系统的链路管理协议(LMP)的具体实现。介绍了LMP协议的提出背景、功能以及协议有限状态机的实现方法。并总结了开发过程中遇到的一些问题和解决方法。  相似文献   

4.
有限状态机在触摸屏驱动程序开发中的应用   总被引:1,自引:0,他引:1  
有限状态机作为计算机理论的基石,为嵌入式软件设计提供了较好的设计方法.简述了有限状态机的原理和触摸屏系统的工作原理,通过对触摸屏驱动过程的细致分析,建立触摸屏状态机的模型.针对其状态机模型.选择适合的软件实现方法,并给出部分实现代码.  相似文献   

5.
本文在分析了PINT业务协议以及SIP/SDP协议的基础上,结合点击拨号业务给出了PINT业务协议的有限状态机,并利用面向对象的方法实现了协议的主要功能。  相似文献   

6.
曹自力  李曦 《计算机应用》2004,24(4):147-149
文章介绍了USB从控制器所要完成的功能和一种实现方案的模块构成,并且说明了实现USB协议的处理流程。同时也介绍了设计USB从控制器的时候应注意的问题,分析了如何用有限状态机描述实现USB2.0协议。  相似文献   

7.
居悌  任旭鸣 《微机发展》2001,11(3):22-24
本文在分析了PINT业协议以及SIP/SDP协议的基础上,结合点击拨号业务给出了PINT业务协议的有限状态机,并利用面向对象的方法实现了协议的主要功能。  相似文献   

8.
沈华 《微型电脑应用》2013,29(4):32-34,38
主要目的是分析linux内核自带的开源无线组件mac802.11协议的实现与无线网卡驱动实现,通过对Linux 802.11协议的分析,加强对当前无线局域网最新协议的理解和消化。并且基于此协议探讨了无线网卡驱动的实现。首先,列出了linux内核中802.11协议的架构,然后,分析了各个模块的主要数据结构以及函数接口、MAC协议配置与管理、发送数据与接收数据数据流程,以及MLME实体的状态机实现,最后,介绍了一种Linux无线网卡驱动的设计和移植过程。  相似文献   

9.
基于通信扩展有限状态机的测试集生成技术   总被引:1,自引:0,他引:1  
在协议一致性测试中,选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术。  相似文献   

10.
利用有限状态机分析TCP协议握手过程的安全问题   总被引:4,自引:0,他引:4       下载免费PDF全文
本文提出一种扩充的有限状态机模型,设计了一种状态空间的搜索处法,并在此模型的基础上,用搜索算法分析了TCP协议握手过程的安全问题。  相似文献   

11.
针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。  相似文献   

12.
一种逆向分析协议状态机模型的有效方法   总被引:1,自引:0,他引:1       下载免费PDF全文
网络协议的逆向分析技术无论对可信软件的验证、保护还是对恶意软件机理的分析都具有重要用途。由于协议的内在复杂性,重构与其源程序一致的高级模型对分析尤为有益,其中又以有限状态机模型最为典型。建立一种重构网络协议状态机模型的有效方法,主要依据所记录的协议会话的消息流及协议软件实际执行的指令流,通过对指令流反编译并应用改进的形式分析及验证技术构建出状态对象、转移关系及状态转移条件。该方法从协议的会话实例重构出充分一般的状态机模型,效率可行并具有逻辑上可证明的精确性。在详细阐述理论基础之后,也讨论了该方法的实现和应用。  相似文献   

13.
Web服务技术的分析   总被引:8,自引:2,他引:6  
Web服务提出了一种新的分布式环境中应用系统的集成模式,并基于XML标准定义了一组简单、开放的协议规范。它的主要目标就是构筑一个通用的平台无关、语言无关的技术层,以实现各种异构平台上的应用间的互连互通。文章首先介绍了Web服务架构以及该架构中的角色和操作,分析了Web服务技术系列的标准协议SOAP/WSDL/UDDI/WSFL,并讨论和比较了主要的Web服务的解决方案和支撑平台。Web服务是不断发展的体系,Web服务技术还不成熟,文章分析了Web服务在服务质量、安全、性能等方面存在的技术问题,以及今后主要发展方向。  相似文献   

14.
基于XML和XSLT的模型驱动构架   总被引:1,自引:0,他引:1       下载免费PDF全文
针对多平台Web开发,应用XML和XSLT分别实现模型驱动构架中的模型管理和转换规则管理,使用模板技术对平台独立模型转换代码的环节进行扩展,构建高效的Web开发模式,提高软件的可维护性、可移植性和跨平台性。应用该模式实现对E-learning远程教学系统的开发。  相似文献   

15.
基于有限状态机的UDP传输设计   总被引:1,自引:0,他引:1       下载免费PDF全文
张菁 《计算机工程》2011,37(17):52-54
针对传统用户数据报协议(UDP)传输可靠性低的问题,提出一种利用有限状态机(FSM)控制UDP传输数据的设计方法。为传输过程中的通信双方分别设计不同的状态;构造数据包格式,每个数据包携带命令字以表明不同状态;增加数据包校验位,保证数据传输的一致性;通过正向替换和逆向替换消除并恢复数据中存在的保留关键字;在发送过程中采用自动重发机制和请求重发机制,保证数据包正常有序的传输;通过增加包头包尾使数据包大小可变,以增强数据传输的灵活性。实验结果证明了该设计方法的有效性。  相似文献   

16.
基于FPGA的H.264去块滤波系统的优化设计   总被引:1,自引:0,他引:1       下载免费PDF全文
欧阳剑  杜学亮 《计算机工程》2008,34(12):239-241
提出一种H.264去块滤波系统的优化设计方法。通过合理设计流水线级数提高并行性,适当增加内部SRAM来提高系统速度和总线利用率,使用一种层次化的有限状态机设计方法,实现对数据流的精确控制并且有效降低硬件实现复杂度。基于FPGA的验证结果显示在最坏情况下滤波每个宏块平均只需220个时钟,比原有方案快10个时钟以上。  相似文献   

17.
乔鑫  孙昕 《微机发展》2014,(12):20-23
为了满足TETRA数字集群用户对分组数据业务的需求,提出了一种TETRA数字集群交换机子网相关汇聚协议(SNDCP)的实现方案。在描述TETRA数字集群通信系统分组交换域架构的基础上,给出了SNDCP层的设计方案,并详细阐述了SNDCP层的实现过程中的关键技术;基于Telelogic TAU G2集成开发平台和Linux c开发环境,利用UML语言与C语言开发了SNDCP实体,实现了SNDCP层的功能。在TETRA数字集群通信系统中对SNDCP实体进行测试,测试结果符合TETRA数字集群系统空中接口协议标准,满足设计需求。  相似文献   

18.
为了提高嵌入式系统开发的效率,该文提出了在嵌入式Web服务器中利用有限状态机来实现HTTP引擎的方法。根据嵌入式Web服务器对HTTP请求响应的过程,抽象出9个离散的状态,并将其转化为有限状态机的状态。用状态机的状态表示服务器完成HTTP连接处的各个状态,状态的变迁用状态表形式表示。通过有限状态机响应客户端的连接,使服务器的任务变得有效。实验表明,通过该方法实现的HTTP引擎,改进了服务的响应时间。  相似文献   

19.
针对当前决策支持系统开发所面临的系统复杂度高、扩展性差等问题,提出一个基于模型驱动架构的决策支持系统的开发方法,给出一个基于模型驱动框架的决策支持系统开发框架,并通过一个具体的开发实例说明如何应用该框架进行决策支持系统开发。应用表明,该方法可有效地缩短开发周期,降低系统复杂度,提高开发效率,同时保证实施的可行性和扩展性。  相似文献   

20.
Linux TCP/IP协议栈的层次构件化   总被引:3,自引:0,他引:3  
尹彦  陈天洲  吴朝晖  芦东昕 《计算机工程》2004,30(20):53-55,194
研究了Linux现有TCP/IP实现机制及与构件化密切相关的模块机制,实现了TCP/IF协议栈的层次构件化,搭建了一套更为灵活的TCP/IP协议栈的组织方式,证明了将构件技术引入Linux TCP/IP协议栈的可行性及优越性。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号