作者：宁亮,张志鸿 单位：中国航天科工集团第二研究院706所 出版：《计算机工程与设计》2007年第14期 页数：4页  （PDF与DOC格式可能不同） PDF编号：PDFSJSJ2007140350 DOC编号：DOCSJSJ2007140359 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 在无线传感器网络路由协议的研究中，对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述，并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性。

    📙 相关资料

    1. 《无线传感器网络SPIN协议的改进及验证》PDF+DOC 在无线传感器网络中，对SPIN协议的研究主要是通过仿真进行的，很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议，并使用有色Petri网对SPIN-E协议进行形式化建模，通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证。...
    2. 《基于颜色Petri网的SPIN协议研究》PDF+DOC 在SPIN路由协议的基础上，根据环境监测领域的应用特点，提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证，确定协议的可行性。...
    3. 《无线传感器网络的SPIN协议研究》PDF+DOC 无线传感器网络是计算机科学技术的一个新的研究领域，是传感器技术、嵌入式计算技术、分布式信息处理技术和无线通信技术相结合的产物，具有广阔的理论研究和应用前景。本文对一种无线传感器网络路由协议SPIN-PP作了分析，并针对无线传感器网络的特点对其进行了一些改进工作，经NS2上的仿真结果表明这是一种有效的......
    4. 《基于能效信息业务的定向扩展SPIN路由方法》PDF+DOC 现有无线传感器网络的路由协议大多基于通用的Mesh路由考虑，在能效信息网络中，数据采集测量节点、能效信息业务量以及节点的位置相对固定，从而导致传统的无线传感器网络路由方法在能效信息网络中运行效率不高.针对能效信息网络的上述特点提出一种基于能效信息业务的新型路由方法(SPIN-DD)，在SPIN路由协......
    5. 《一种用于无线传感器网络的改进SPIN路由协议》PDF+DOC 由于无线传感器网络(WSN)节点的能量有限，因此尽量减少各节点的能量消耗，延长整个网络的生命周期，是无线传感器网络路由协议设计中考虑的主要问题。文章提出了一种改进的SPIN路由协议，取名为SPIN-Z，与现有的SPIN协议比较，其主要特点是通过减少整个网络冗余数据的传输来减少能量消耗。在NS2环境下......
    6. 《基于无线传感器网络的SPIN路由协议改进方法》PDF+DOC 重点讨论了SPIN协议，并提出了一种改进的SPIN协议——M—SPIN。该协议在SPIN基础上加入安全机制，以保证消息的完整性和正确性，主要采用的是消息认证码(MAC)，但用户也可根据需要选择数字签名等其他安全机制。并将广播改为多播，在ADV消息中加入目标节点列表。并对M—SPIN协议在节点的能量消......
    7. 《无线传感器网络路由协议的安全性分析》PDF+DOC 无线传感器网络集成了传感器技术、嵌入式技术、分布式信息处理技术和无线通讯技术，是一种全新的信息获取和处理技术。在各种应用中，传感器网络主要用于收集数据，决策者根据收集到的数据进行决策，因此路由协议的安全性非常重要。本文介绍了当前主要的路由协议，研究并分析了它们的安全性。...
    8. 《基于OPNET的无线传感器SPIN路由算法研究》PDF+DOC SPIN路由算法是无线传感器网络研究方向之一，OPNET网络仿真器是网络仿真及应用的重要平台，本文研究了OPNET仿真器，对此仿真器的建模和运行机制作了阐述，本文对SPIN路由算法进行了研究，并基于OPNET网络仿真工具对SPIN路由算法进行了相应的模拟。模拟研究结果表明，SPIN算法在节能性和快速......
    9. 《传感器网络LEACH协议在OPNET下的建模和仿真研究》PDF+DOC 能量有效性是无线传感器网络路由协议设计的重要目标。以典型的层次化路由协议LEACH为研究对象，利用OPNET对其进行建模，在OPNET虚拟无线环境下建立了LEACH协议的仿真平台，仿真了LEACH协议的实际运行情况，并以网络生命周期、节点能耗为指标得出LEACH协议能量有效性的结论。...
    10. 《基于无线传感器网络SPIN协议的一种改进方案》PDF+DOC 针对无线传感器网络的路由协议SPIN-1存在的问题提出了改进方案(SPIN-G)，并对SPIN-G协议和SPIN-1协议在节点的能量消耗、数据投递率和传输延时方面进行了仿真，仿真结果表明，SPIN-G协议不仅解决了SPIN-1协议存在的数据盲点问题，而且还平衡了节点的能量消耗，延长了网络的生命周期。...

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