作者：彭磊,袁海,曾家智 单位：中国兵器工业集团第210研究所 出版：《计算机集成制造系统》2008年第06期 页数：8页  （PDF与DOC格式可能不同） PDF编号：PDFJSJJ2008060290 DOC编号：DOCJSJJ2008060299 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 基于协议工程和软件再工程的相关概念，提出一种针对无线传感器网络协议定制行为的规范化工作流程，命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程；同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法，用于协议再工程中的形式化描述模型的建立与验证，并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后，通过一个Zigbee相关的实例表明，在U-CPN方法基础上使用协议再工程指导协议修改，在可控性和描述力上具有优势，尤其加强了协议再工程中的形式化分析能力，可以很好地保证协议的修改质量。

    📙 相关资料

    1. 《无线传感器网络用户认证协议研究进展》PDF+DOC 无线传感器网络(WSN，wireless sensor network)用户认证技术是传感器网络验证用户的合法性以避免网络数据信息泄露的有效手段之一，同时，用户也需验证传感器网络的合法性，避免获得错误或虚假数据信息。由于WSN节点能量、通信和计算能力等资源受限，且通常部署在敌对或无人值守的区域，因此......
    2. 《无线传感器网络中的信息融合技术研究》PDF+DOC 介绍了无线传感器网络的组成及特点，讨论了信息融合的定义、处理层次及三种方法的特性比较。重点描述了无线传感器网络中的信息融合过程，包括信息的预处理，信息融合的实现算法，提出了基于统一建模语言UML的信息融合框架，该框架可以根据实地环境的不同和当时可利用的资源而动态地改变。阐述了信息融合处理过程中五大模......
    3. 《无线传感器网络新鲜性的形式化分析》PDF+DOC 为了更好地解决无线传感器网络的安全与隐私问题，使其具有更广泛的应用领域，提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件，然后建立了协议的3个角色模型：......
    4. 《一种无线传感器网络中基于簇的安全协议》PDF+DOC 在SPINS，SECOS协议的基础上，提出了基于簇的安全协议(cluster-based security protocol，CBSP).CBSP中安全的簇首选举及基于组播认证的密钥更新机制，有效提高了簇及密钥管理的安全性，减少了节点及网络资源消耗.利用串空间模型对协议进行形式化分析，验证了其正确性......
    5. 《面向服务的无线传感器网络协议架构》PDF+DOC 分析了目前WSN从研究领域转向工程领域阶段中面临的困难，然后遵循面向服务的思想，以相互间松散耦合的服务单元作为网络协议的基本组成单位，提出了一种非层次结构的WSN网络协议架构，并使用基于Petri网的形式化方法对WSN的服务服务组合和扩展进行建模分析，探讨了服务组合中的一些条件和规则。基于服务的构建......
    6. 《无线传感器网络的路由算法与仿真实现》PDF+DOC 无线传感器网络能够协作地实时监测、感知和采集各种环境或监测对象的信息，并对其进行处理，传送到信息接收者，其关键技术之一是路由算法及实现。分析了Directed Diffusion路由算法，用UML统一建模语言对该路由算法进行了建模，在网络模拟工具NS的模块上实现了对该路由算法的模拟仿真，分析了其时延......
    7. 《基于WSN分区监测的高炉煤气洗涤设备安全研究》PDF+DOC 针对目前高炉煤气设备安全状况存在的问题，在无线传感器网络的基础上，提出了一种基于WSN的分区监测的改进算法，用于监测管理高炉煤气洗涤设施。将无线传感器节点按照一定的方式布置在设备中，形成监测网络采集数据，通过算法进行控制分析数据，传达相应的操作指令或发出危险警报。根据仿真图形显示可更加快速地检测出问......
    8. 《无线传感器网络中一种基于簇的混合路由算法》PDF+DOC 利用分簇技术可以有效延长无线传感器网络的生存时间。当簇头以多跳通信的方式将数据传输至基站时，靠近基站的簇头由于转发大量数据而负载过重，可能过早耗尽能量而失效；而当采用单跳方式时，远离基站的簇头因传送数据能耗太高而很快死亡。为了均衡簇头的能耗，提出一种基于簇的分时使用单跳和多跳的混合路由算法。仿真实验......
    9. 《面向WLAN的无线传感器网络网关设备及其接入机制》PDF+DOC 网关是实现无线传感器网络与其他基础网络(如移动通信网、电信网等)互联互通的重要设备。文章设计并实现了一种基于CC2420芯片的网关，实现了与传感器网络的通信，并利用无线网卡模块实现了网关设备与无线局域网的连接，克服了网关硬件设备布置的局限性，扩大了网关设备和无线传感器网络的应用范围。...
    10. 《基于多人博弈的无线传感器网络簇内信息融合算法》PDF+DOC 利用多人博弈的思想对簇内节点间协作和竞争的关系进行分析，提出一种簇内信息融合算法。通过仿真实验对节点能量消耗的均衡性、网络生存周期及信息融合精度等方面进行性能评估验证该算法的有效性。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。