现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于有色Petri网的安全协议安全性仿真

如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全状态是否可达从而验证协议的安全性。针对Diffie-Hellman协议给出了具体的仿真分析过程,证明了这种方法的有效性。     

具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

全系统网络延迟分析方法

针对飞行仿真系统实时性要求高的特点,构建了以以太网、实时反射内存网及现场总线技术等多种技术为主的飞行仿真系统分布式网络结构。分析了影响系统延迟的因素及其改进的方法,提出并建立了以太网、实时反射内存网及现场总线技术的延迟计算的数学模型,并提出了一种综合估算全系统时间延迟的方法。这些方法在相关的产品研发中得以运用并取得很好的实时性效果。     

总线型卫星电子系统T-时延离散PETRI网建模

小卫星综合电子系统是整个卫星的管理中心,能够完成参数采集,数据处理,信息提取和各种控制模式的实施等任务,综合电子系统设计方案直接决定小卫星的性能和可靠性等指标.给出小卫星基于总线的综合电子系统方案,针对以总线为核心的电子系统方案,建立了T-时延离散Petri网(TTDPN)模型,并对该模型进行了性能分析与评价,数学仿真结果表明,基于总线的电子系统方案能够有效满足系统实时性要求.     

基于PETRI网递阶监控器的间歇过程故障诊断

基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断.针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性.     

令牌总线局网接口技术

令牌总线局网已列为IEEE802.4,并已被ISO认可作为国际局网标准之一。本文讨论了令牌总线局网的主要特征,论述了以令牌总线局网为基础的制造自动化协议,并将其与其它典型协议模式进行了比较。着重分析了MC68824令牌总线控制器等接口技术。     

BitTorrent协议的Petri网建模方法研究

BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。     

不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

战术Ad Hoc网络模拟器的设计与实现

为了克服现有模拟器可扩展性差或只能模拟某一层协议的缺点,设计并开发了战术Ad Hoc网络模拟器,提供无线分组网模拟环境,模拟实际无线分组网信道数据传输特性,为Ad Hoc网络上层协议或算法提供一个不涉及具体无线组网协议、可扩展性好的调试平台,并测试了该模拟器的功能和性能,结果表明该模拟器功能正确、模拟精度高。     

覆盖网络组播压力与伸长度的性能评价模型

提出了覆盖网络组播的链路压力均衡模型和组播树特征伸长度模型，用以评价覆盖网络组播协议的性能。链路压力均衡模型采用均匀性度量的偏差准则来衡量组播中的压力分布。组播树特征伸长度模型通过寻找路径伸长度密集分布区域来评价组播路径的优化程度。仿真结果表明，这两种模型能够很好地反映覆盖网络组播协议在压力和伸长度方面的性能。     

基于AHP的MANET路由协议重传性能分析

MANET(移动Ad hoc网络)的移动性、有限链路带宽和能量受限性特点是影响网络重传性能的主要因素。而网络重传性能又直接关系到MANET路由协议的能效特性。使用OPNET仿真平台,对AODV、DSR和TORA进行仿真,在仿真结果的基础上,以网络重传次数为切入点,采用层次分析法(AHP)对三种路由方案进行了多准则决策,通过计算分析得出了DSR具有最优的重传性能。最后从协议工作机制的角度分析了决策结果的原因。     

基于虚拟实验方法的滑动窗口协议分析

随着网络技术的飞速发展，如何定量地分析网络的原理，无论对于研究者还是学习者都是十分重要的。建立虚拟网络实验室，是当前网络与研究的设计的先进方法，它的应用使得建立低耗费的复杂网络系统测试平台成为可能。本文通过基于虚拟实验的方法，对三种典型的滑动窗口协议进行分析，用面向对象的方法建立了一个虚拟实验模型,包括体系和主要的类的设计，并介绍了该模型的其他特点。最后通过一些典型的实例具体的描述了滑动窗口协议虚拟实验的过程。并根据实验结果分析了这三种滑动窗口各自协议的特点和性能。     

网络协议的自动生成技术

随着高速网络节点数目的迅猛增加以及网络拓扑结构和应用的日益复杂,传统的网络协议已成为系统通讯的主要瓶颈问题。虽然采用专用的协议能满足特定应用的需要,但开发时间和费用非常大。因此非常需要一种自动的网络生成环境。本文介绍目前应用的存根编译和运行适配技术,在分析两种方法的基础上,给出相应的运行结果和性能比较。     

Dynamic random channel reservation protocol

1.INTRODUCTION DemandassignmentMACprotocolshavebeenusedin severalstandardizedwirelessnetworks.Itcaneffec tivelyutilizewirelessbandwidthofradiochannelsand supportlargenumbersofstations[1].Priorityaccess withshortdelayispreferredformultimediaapplica tions,suchasvoiceandvideotraffic.Longdelays andpoorservicequalitycouldoccurifthereisnopri oritybetweendifferenttypesoftraffic.Thepriority schemeinthereservationphaseofdemandassign mentMACprotocolisneeded,itcanhelprequestsof multimediatraffict…     

Novel evaluation method of TCP performance over satellite links

1 .INTRODUCTIONIn recent years , much attention has been paid tothe efficient application of transmission control pro-tocol ( TCP) to satellite environments[1 ~3]. TCPhas been developed for wired networks that have alower delay and a very low bit error rate .It is themost commonly usedtransport layer protocol intheInternet and provides reliable and end-to-end com-munication services for applications . TCP conges-tion control and error control mechanisms will besignificantly influenced …     

基于Qualnet的无线网络视频传输评测系统

无线网络视频传输是当前网络研究的热点方向,真实视频流是进行网络协议性能评价的最佳业务,然而当前主流网络仿真软件都不支持真实视频流业务。在网络仿真软件Qualnet中设计实现了无线网络视频传输评测系统VtPet。该系统将视频编解码器集成到Qualnet中,支持真实视频流的实时编码、传输、解码以及播放。收集统计多种视频传输性能参数,除了常用的网络性能参数（如吞吐率、延迟等）外,还有能反映接收端视频主、客观质量的性能参数及手段。VtPet简单易用,性能参数评价全面,是进行无线网络视频传输评测的有效工具。

Abstract：

Video transmission in wireless network attracts many attentions nowadays.It’s important to evaluate the performance of network protocols via real video stream.However,none of the well-known network simulation software supports real video stream traffic,including Qualnet.VtPet （Video transmission Performance evaluation toolkit） is developed in Qualnet.VtPet integrates video codec into Qualnet,so that it can support real video stream traffic.Extensive performance metrics are collected,such as end-to-end throughput,delay,as well as PSNR.VtPet is easy to use with clean interface.It can facilitate to evaluate performance of video transmission in wireless network efficiently.     

面向深空通信的中继协作喷泉码设计

针对未来深空超远距离通信无法建立有效的点对点链路及大路径损耗、大传播延时等难题,提出了一种基于中继协作网络模型下的喷泉编码转发方案。与现有的空间传输协议相比,喷泉码能够以较低的编译码复杂度为下行数据分组提供前向纠删保护,降低确认重传的次数,有效减少传输时延。在地球〖CD*2〗火星通信场景下,对中继编码协作转发方案的复杂度和能量开销进行了性能评估,并在理论上分析了中继卫星的位置对系统性能的影响。仿真结果表明,中继喷泉编码协作转发方案可有效节约深空环境下通信系统的能量开销。