【摘 要】
：
在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议,并使用
论文部分内容阅读
在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议,并使用有色Petri网对SPIN-E协议进行形式化建模,通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证。
其他文献
<正>T淋巴细胞免疫球蛋白黏蛋白(T cell immunoglobulin mucin,TIM)是2002年Monney等[1]在研究哮喘易感基因的过程中,在小鼠第11号染色体上发现并鉴定的一个新基因家族,其在
构建局域网拓扑在网络行为的研究中具有非常重要的意义。文中以利用OSPF协议构建局域网拓扑结构为目标,对目前几种构建局域网拓扑结构的方法进行比较,通过分析比较指出利用OS
目的通过实施品管圈活动降低贴签和入仓错误发生率,从而提高夜班工作效率。方法成立品管圈小组,采用头脑风暴法选定主题,按照PDCA的步骤顺序进行活动,活动周期2个月。利用查
目的:探讨内镜下慢性胃炎患者特点与病理诊断的对比。方法:选取行上消化道内镜检查的慢性胃炎患者120例作为研究对象,对比慢性浅表性胃炎、慢性萎缩性胃炎的镜下诊断与病理诊
音乐中具备很多情感的信息。文中通过分析音乐特征并用领域覆盖算法对音乐情感分类进行研究。音乐情感分类主要包括两个阶段:特征提取和分类。首先,通过Matlab语言提取音乐的
目的建立薏苡仁药材中甘油三油酸酯的含量测定方法。方法采用HPLC法,以DiscoveryC18为色谱柱,流动相为乙腈二氯甲烷(59∶41),流速为0.5mL·min-1,采用蒸发光散射检测器,漂移
本文对黄连素和黄连分别与甘草,大黄、金银花、黄芩、栀子配伍后,其水煎液中黄连素的含量和黄连总生物碱的含量进行了研究。实验结果表明,经配伍后黄连素和黄连总生物碱均有
目的对白酒包装设计中的跨界思维运用进行分析研究。方法探讨跨界设计的造型元素及国内外白酒包装跨界设计典型应用案例,明确白酒包装设计需跨越传统的边界,用跨界的方法进行
结合高速公路沥青路面施工质量控制的意义,探讨了高速公路沥青路面施工存在的问题,然后提出改进对策。结论证实,高速公路沥青路面施工中,为实现对工程质量的严格控制,保证沥
眼椭圆是汽车人机工程设计的主要工具,汽车驾驶员眼椭圆的确立为研究汽车视野性能提供了科学的依据。以汽车风窗刮扫面积和A立柱盲区的确定为例介绍了眼椭圆在汽车车身设计中