作者：宁亮,马旭东,张志鸿 单位：中国计算机用户协会自动控制分会;中国计算机用户协会山西分会 出版：《微计算机信息》2008年第13期 页数：3页  （PDF与DOC格式可能不同） PDF编号：PDFWJSJ2008130580 DOC编号：DOCWJSJ2008130589 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 在无线传感器网络中，对SPIN协议的研究主要是通过仿真进行的，很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议，并使用有色Petri网对SPIN-E协议进行形式化建模，通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证。

    📙 相关资料

    1. 《基于有色Petri网的SPIN协议建模与分析》PDF+DOC 在无线传感器网络路由协议的研究中，对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述，并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性。...
    2. 《基于加密机制模式的无线路由器网络安全设计》PDF+DOC 在传统网络当中，各种密钥管理技术已经非常成熟，从密钥的生成、更新、维护、管理、销毁等各个方面均有成熟的技术。但无线路由器网络的节点无法使用传统网络的非对称密钥体制，因此，传统的密钥管理技术也同样不适用于无线路由器网络。从基于位置的随机密钥预分配模型出发，探讨如何对其进行加密设计。...
    3. 《基于颜色Petri网的SPIN协议研究》PDF+DOC 在SPIN路由协议的基础上，根据环境监测领域的应用特点，提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证，确定协议的可行性。...
    4. 《基于OPNET的无线传感器SPIN路由算法研究》PDF+DOC SPIN路由算法是无线传感器网络研究方向之一，OPNET网络仿真器是网络仿真及应用的重要平台，本文研究了OPNET仿真器，对此仿真器的建模和运行机制作了阐述，本文对SPIN路由算法进行了研究，并基于OPNET网络仿真工具对SPIN路由算法进行了相应的模拟。模拟研究结果表明，SPIN算法在节能性和快速......
    5. 《无线传感器网络的SPIN协议研究》PDF+DOC 无线传感器网络是计算机科学技术的一个新的研究领域，是传感器技术、嵌入式计算技术、分布式信息处理技术和无线通信技术相结合的产物，具有广阔的理论研究和应用前景。本文对一种无线传感器网络路由协议SPIN-PP作了分析，并针对无线传感器网络的特点对其进行了一些改进工作，经NS2上的仿真结果表明这是一种有效的......
    6. 《RFID技术与应用中的建模与优化的研究综述》PDF+DOC RFID与传感器网络是物联网的基础技术。随着RFID的广泛应用，产生了许多新的建模与优化的问题。分别从RFID技术和应用两个方面对这些新问题的研究情况进行综述。主要问题包括：读卡器网络的布置优化，读卡器负荷平衡，RFID存储的数据分配，高速读入的防碰撞算法，RFID系统的投资回报的分析与决策，RFI......
    7. 《数学建模之法确定网络数据采集Sink节点位置》PDF+DOC 传感器监测网络中一些网络节点因为能量消耗大而过早地死亡，本文提出用数学建模确定最短路的Sink节点选择算法，以减少能耗。...
    8. 《无线多媒体传感器网络通信流特性分析与建模》PDF+DOC 近年来对网络通信流的测量研究颠覆了传统的以柏松(Poisson)理论为基础的通信模型；许多文献报告了现代数据通信流具有自相似特性；然而，对无线多媒体传感器网络通信流的统计特性和自相似现象还少有研究；文章通过数学分析和仿真的方法深入分析和研究无线多媒体传感器网络通信流的主要特性，包含概率统计特性和自相......
    9. 《一种传感器网络目标定位的建模方法》PDF+DOC 本文提出一种传感器网络目标定位系统的系统模型，然后利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述，并根据系统级建模方法学对该目标定位系统进行建模与仿真，分析了传感器网络目标定位系统的诸多影响因素。测试结果表明：传感器网络目标定位系统对于传感器节点的功耗及信息时间同步窗口......
    10. 《传感器网络应用程序的建模、仿真与自动代码生成框架》PDF+DOC 在无线传感器网络领域，基于模型的设计逐渐成为一种标准。本文介绍了基于MathWorks工具完整的建模、仿真和多平台代码生成框架，有效设计了WSN应用程序，并将其映射到无线网络上。...

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