协议工程相关论文
本文在利用面向对象思想分析Ｅｓｔｅｌｅ语言的基础上，提出了面向对象的协议半自动实现方法．在此方法指导下，以Ｃ＋＋为中间语言，实现了Ｅｓｔｅｌｅ转换为Ｃ＋＋的编译器．本......
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
本论文结合一个PDA项目的开发，设计和实现了利用固定电话网进行信息传输的一套通信协议。 基于通信协议开发的一般过程——协议......
作为一项新兴的短距离无线通信技术，Bluetooth以其强有力的技术背景和良好的市场预期，逐渐被业界所接受。服务发现协议是Bluetooth技......
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协......
协议是网络和通信的核心,协议形式化理论的研究是一项十分重要的基础性、前瞻性和创新性的研究.它主要包括协议形式化描述、协议验......
协议是计算机网络的命脉，协议复杂性的提高导致协议工程学科的出现。协议工程的主要活动包括协议描述、验证、性能分析、自动实现和......
该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,......
协议工程是是以协议为研究对象的软件工程,它采用形式化方法描述协议设计和维护中的各个活动,但所建立的协议设计方法比现有软件工......
远程医疗,泛指通过使用视频会议及相关的周边互联网服务包括远程通信技术、计算机多媒体技术在内的技术手段共享医学信息和服务,在......
本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能......
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,......
文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基......
本刊讯2003年11月5日、10日,中建美国有限公司分别与中国驻美使馆教育处、纽约市公共交通运输局正式签署了《中国驻美大使馆教育处......
协议描述的形式化是协议研究和发展的趋势．本文在简单回顾协议描述的内容和目的之后，着重总结了两个国际性的标准组织ISO和CCITT在协......
本文首先介绍有关TCAP的一些内容,然后分析在实现TCAP的过程中应注意的关键点及算法,最后论述TCAP与TC用户的接口形式.
This arti......
８６３计划自动化技术领域ＣＩＭＳ（５１１）主题第四届专家组成员简介吴澄第四届ＣＩＭＳ主题专家组组长。曾任第一届、第二届自动化领域专家委员会委员，第三届ＣＩＭＳ主题......
本文介绍故障安全的现场总线（FSbus）协议设计中所考虑的一些基本问题，给出实现消息故障安全传输的一种FSbus:令牌双总线的硬连接主体......
文章结合实际系统中一个通信协议的设计过程，较为详细地介绍了协议工程学的一般原理及方法，并结合工程实际详细阐释了在实例系统中这......
1.现代工业控制与人工智能.吕勇哉2。自适应控制的理论及应用冯纯伯3.计算机综合自动化生产技术的 构成及其应用陈振宇4.综合自动......
随着网络技术的发展，组建网络化测控系统已是现代测控工作者的重要任务，通信协议是网络的灵魂，如何设计出具有测控网络特点、功能上正......
协议工程就是一体化、形式化的协议开发过程。协议工程的目的是用来减少协议开发中潜在的错误，提高协议开发的效率，促进标准化的发展......
协议工程就是一体化、形式化的协议开发过程。协议工程的目的是用来减少协议开发中潜在的错误，提高协议开发的效率，促进标准化的发展......
该文根据协议工程的理论基础结合对IRDA协议的理解,在Telelogic TAU软件环境中实现对协议模块的仿真和验证.协议仿真主要运用协议......
协议设计、开发的复杂性的增加,导致了协议工程技术的出现.针对协议工程活动中的协议验证与分析阶段,阐述了验证技术的目的与方法,......
通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工......
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨......
空间数据系统委员会(CCSDS,Consultative Committee for Space Data System)所发布的标准在空间数据通信领域起着极其重要的作用,......
基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN......
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化......
协议工程与软件工程有着天然的联系。将软件工程中常用的分析工具，统一建模语言UML，应用于协议工程也是非常自然的事。本文结合对GBN......
本文介绍故障安全的现场总线协议设计中所考虑的一些基本问题，给出实现消息故障安全传输的一种ＦＳｂｕｓ，令牌双总线的硬连接主体结构。......
协议设计质量的好坏直接关系到所开发出来的协议功能、性能等是否满足用户需求,以及协议后期维护成本。通信环境是协议设计需要优......
基于协议工程和软件再工程的相关概念，提出一种针对无线传感器网络协议定制行为的规范化工作流程，命名为协议再工程。阐明了协议再工......
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Pe......
通信软件测试课程具有概念繁多，理论抽象和实践性要求较高的特点。本着通信协议测试理论研究和实践能力并举的复合型人才培养目标，提......
随着Tetra数字集群通信技术的不断发展，其移动台空中接口协议栈标准也在不断演化，并日趋复杂，使得传统的软件开发手段越来越不适应Tet......
协议是数据通信、计算机网络等分布式系统的灵魂.协议设计、开发的复杂性的增加导致了协议工程技术的出现,该文主要介绍了协议工程......
协议是网络理论的体现和应用,成功的协议教学能够帮助学生理解概念和消化理论,增强动手能力。当前,已有教师对协议的仿真教学进行......
协议是计算机网络的命脉，协议复杂性的提高导致了协议工程学科的出现。该文首先分析了协议工程各项活动的内容，方法和相互关系，讨论了......
网络协议工程是计算机通信及网络研究中正在发展着的一个重要领域。研究网络协议工程的目的在于研究和提供用较高的效率和较低的代......
随着计算机网络技术和网络应用的迅速发展，网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程，并时......
