基于颜色Petri网的SPIN协议研究

来源 :微计算机信息 | 被引量 : 8次 | 上传用户:zhifeiji1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证,确定协议的可行性。
其他文献
为了建立具有自主知识产权的第三代网络视频监控系统,本论文介绍了国内外视频监控系统的发展现状。通过比较第三代网络视频监控系统与第二代网络视频监控系统的异同,指出第三
山东一养鸭场发生疑似传染性浆膜炎,实验室经过病原分离、镜检、血清学鉴定、生化鉴定、PCR特异性鉴定、药敏试验及动物回归试验发现,该病原为革兰氏阴性菌,在麦康凯培养基不
循环优先仲裁算法具有现实公平的特点,介绍了两级循环优先仲裁算法,并给出了该算法在PCI总线仲裁器上的实现方案。将PCI总线主设备分为优先权不同的四个层次,通过对各层次总
色谱工作站的主要功能是将色谱仪检测器中采集的模拟信号转为数字信号,再进行色谱峰判别及组分分析的计算机系统。本文提出基于PCI8020数据采集卡和多线程技术实现同时对四通
沈从文的《边城》是中国现代文学经典小说,小说主人公翠翠是作者理想的凝聚。然而翠翠是由自然养育的赤子型自然人,在经历了爱与死之后没有足够的精神力量面对生活。她的命运也
EAST是我国自主研制的世界第一个非圆截面全超导托卡马克装置,汤姆逊散射诊断系统用来测量EAST放电时等离子体的电子温度和密度。目前已经布置了5个采集点,计划完成25个采集点。本文讨论了EAST的汤姆逊散射诊断系统的数据采集部分。包括系统结构,工作原理,硬件组成和软件设计等。
为了实现基于UG的等基圆齿面的快速自动编程及数控加工,以等基圆锥齿轮理论为基础,结合空间啮合原理,建立了等基圆齿锥齿轮的加工坐标系,根据各坐标系之间的转换矩阵,建立了
随着中国的迅速崛起,中国成为了影响美国亚太战略调整的重要因素。借“反恐”战争之机,美国除了在中东与中亚扩张外,亦在中国周边的亚太区域广泛渗透。美国对中国的战略围堵形成