无线传感器网络路由协议及仿真

路由协议是无线传感器网络研究的关键技术之一，以数据为中心的路由协议是目前研究的热点。基于局域性更新机制的原理，改进了以数据为中心的Directed Diffusion协议，用C＋＋语言描述了协议的算法，在NS2仿真平台下根据不同参数设置场景，进行了仿真；与Directed Diffusion协议的性能做了比较，结果表明改进后的路由协议具有较少的时延和开销。     

基于SDL的无线局域网MAC协议设计与实现

目前较流行的无线局域网MAC芯片的设计方案是在设计中嵌入ARM微处理器，其核心内容是WLAN MAC协议的设计实现。文章利用SDL语言实现该协议，并对协议进行了仿真验证。     

MPLS路由协议的SDL设计与实现

简要介绍了现有的OSPF协议，并提出了含有流量参数特性的改进OSPF协议，使其成为MPLS路由协议一种较好的选择。针对MPLS主干网络的特点简化了改进的OSPF协议，同时利用SDL语言工具对其进行设计与实现，并给出了仿真结果。     

专用短程通信MAC层协议研究及仿真实现

专用短程通信DSRC协议是国际通用的用于道路与车辆通信的规范。Telelogic Tau是一套完整的实时软件开发工具，广泛应用于通信协议设计、仿真和测试环节。该文简要介绍DSRC协议结构和协议开发工具，论述MAC子层协议主要内容如基本功能、数据帧结构、主要接口等。文章研究形式化描述技术，重点论述在Telelogic Tau的开发平台下，用形式化语言SDL和MSC对MAC层协议进行系统、模块、进程级设计和仿真，设计阶段采用自顶向下、逐步求精的方法，仿真阶段采用自下而上、逐步集成的方法，通过仿真保证协议规范完整性和可靠性。     

量子密钥分配协议仿真平台的研究与设计

量子密钥分配协议是目前信息安全方向的一大研究热点,物理实验已难以应付层出不穷的协议来证明它的安全性。通过仿真平台来验证协议的安全性,是最经济有效的做法。利用.NET开发平台、C#语言开发了一个量子密钥分配协议仿真平台,并对已有的BB84协议进行了仿真,得到了与理论结果一致的仿真结果。     

基于swarm仿真平台的合同网协议的应用分析

以仿真软件为基础,实现一种高层通讯协议即合同网协议.首先解释了swarm在人工世界环境下进行计算机仿真模拟的基本思想.及swarm的主要概念和系统结构.进而利用Swarm进行仿真建模的一般思路,以具体实例"捕食者-猎物"问题为实验背景,以Java语言为二次开发语言,通过调用Swarm提供的各种类库,按合同网协议规范来设计"捕食者"之间的协作,并对问题的各个参数进行设置,建立了基于Swarm的研究合同网协议的仿真模型,仿真结果表明Swarm平台很适合基于多Agent的协作的仿真建模,以及发现了传统合同网的不足.     

SoC设计中支持软硬件划分的虚部件库设计

在传统的软硬件协同设计中，硬件采用的是RTL描述(用硬件设计语言HDL描述)，而软件通常采用C或者C 语言进行描述，这种语言描述的不一致会加大协同验证仿真的难度，从而导致系统设计过程的反复。文章提出了一种基于WISHBONE总线协议标准的用SystemC语言描述的虚部件库设计与管理方法，可以降低SoC系统设计的复杂度，从而加快SoC系统设计的过程。     

基于CPN的两阶段提交协议建模

CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。     

NS仿真器中多路径路由选择机制的实现及仿真研究

介绍在NS网络仿真环境下针对rtProtoLS路由仿真协议进行多路径路由选择机制的设计及仿真分析的过程。主要工作是研究在仿真环境下现有仿真协议的实现机制，并为仿真协议设计了易用性强的扩展接口，同时设计了具有较强功能的路由选择机制，并在此基础上最终实现了多路径路由选择机制及仿真分析。     

一种描述安全协议的形式化规范语言

安全协议的设计和分析是复杂而且容易出错的。使用形式化的语言有利于安全协议的正确性和完整性。现有的安全协议的描述方法大多很复杂而且容易导致二义，从而导致协议隐含着种种的安全隐患。引入了基于构造类别代数的形式化规范语言来规范安全协议，通过规则集合和公理集合对安全协议进行精确地描述，有利于协议设计地规范化和协议漏洞地发现，同时对Needham-Sehroeder协议进行了形式化规范以进一步说明该形式化语言地使用。     

基于Leader选举的移动自组网自适应动态地址分配协议

提出了一种自适应动态地址分配协议，在利用重复地址检测算法(DAD)的情况下，保证了网络中节点IP地址的唯一性。基于NS2仿真平台对所提出的协议进行了仿真。仿真结果表明，此协议能够在有限的控制信息报文数和确定的时延下，使节点申请到唯一的IP地址，这将能满足实际网络工作的需要。     

基于二阶邻居事件触发多智能体系统的一致性

针对多智能体系统的平均一致性问题,采用二阶邻居信息设计一致性协议以加速一致性收敛速度。同时,为了减少系统的通信次数,基于事件控制的方法被用于一致性协议的设计中。首先在固定拓扑网络下研究了多智能体系统利用二阶邻居信息来加速一致性收敛速度的问题,随后在切换拓扑网络下对类似问题进行了分析。最后,把该协议应用到数值仿真中,并与只利用一阶邻居信息的协议比较,仿真结果表明所设计的协议能够加快收敛速度。     

基于NS2模拟器的TCP仿真的设计和实现

通过虚拟环境进行模拟仿真是验证网络协议的正确性和进行性能测试的主要手段。NS-2是目前网络仿真最流行的软件之一。本文在介绍NS-2就行仿真操作流程和TCP协议原理的的基础上,设计实现了TCP协议原理的仿真场景,并对仿真跟踪的数据文件进行了有效的分析。可以对计算机网络的学习者和研究者提供有效的参考。     

移动自组网中多级安全事务的并发控制

为满足移动自组网(MANETS)多级事务处理的安全性和并发性要求,将多版本两段锁协议运用到MANETS多级事务中。该协议有效地解决了由于竞争产生的错误的事务调度以及安全问题。模拟仿真结果表明,多版本两段锁协议在延迟截至时间率和重启动率方面比单一的多版本协议或者单一的两段锁协议都要低。     

层次化移动IP网络层切换时延分析

对层次化移动IP网络层切换时延进行了研究,提出合适的网络模型,从理论上分析了MIP-RR协议的路径更新时延,并采用数值仿真的方法对采用MIP-RR协议和只使用移动IP协议的情形进行了比较。研究结果表明采用MIP-RR协议时的路径更新时延远小于只使用移动IP协议时的情形。     

无线传感器网络S-MAC协议性能研究

提出一种二维Markov链模型用于S-MAC协议的性能分析与评价。该模型利用信号流图和母函数的方法分析S-MAC协议的介质访问控制(MAC)服务时延,结合M/G/1/K排队模型分析S-MAC协议在非饱和负载下的性能。仿真实验和数值分析结果证明该模型可以较好地描述S-MAC的接入方式。     

低开销的无线传感器网络下行路由协议

下行路由是无线传感器网络路由的一个重要组成部分.利用分布式编址算法为每个节点分配一个下行地址,在转发下行报文时,中间节点利用目的地址即可确定下一跳节点,从而可以通过单播转发实现基站到单个传感器节点的下行通信.在TinyOS上实现了编址算法和下行路由,仿真结果表明和基于广播转发的下行路由协议相比,该协议可以大幅减少报文转发次数,降低了路由开销.同时,因为减少了通信冲突,该下行路由协议对上行数据传输的影响也较小,适合那些既需要上行通信也需要频繁进行下行通信的无线传感器网络使用.     

具有迁移能力的基于Agent分布仿真中的通信系统

对基于Agent系统的分布仿真是仿真领域的重要研究和应用方向，而分布仿真中的通信系统是其中的基础部分．提出并实现了一种支持基于Agent系统分布仿真的通信系统．该系统除了提供基本的仿真通信支持外，还能够有效地支持仿真中Agent的迁移，具有对应用系统透明、通信效率高等优点．首先给出了通信系统的结构及其基本思想，对局部服务Agent和通信过程进行了详细的描述；从应用系统级和分布仿真级两个层次，给出了结构化的通信协议；在此基础之上，给出了完整的Agent迁移支持方案，包括迁移过程、迁移过程中的消息处理和迁移后的通信；最后对通信系统的性能进行了测试．     

基于Core-Selecting机制的物联网安全路由协议

设计安全的路由协议以确保网络与隐私信息安全是物联网面临的一个巨大挑战,提出了一种Core-Selecting机制,并将该机制应用于物联网路由协议设计,在此基础上设计并实现了一种新的物联网安全路由协议PALXC,有助于抵御合谋攻击和选出可信路由.理论分析和仿真实验结果表明了所设计的协议的有效性.     

基于最优能量福利函数优化的传感网路由协议

为了有效的提高无线传感器网络能量消耗的均衡性,提出了一种基于Leach的改进型分簇路由协议Leach-OEW.该路由协议参照最优社会福利函数的概念提出了最优能量福利函数,并将节点最优能量福利函数的预测值应用到簇首的二次选择过程,以此来提高整个网络的能量利用效率以及能量消耗的均衡性.仿真结果表明,与Leach以及PARPEW协议相比,Leach-OEW能够更好的均衡网络的能量消耗,延长网络的生命周期.