论文部分内容阅读
在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性。
基于有色Petri网的SPIN协议建模与分析
【摘 要】
：
在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形式化工具有色Petri网对无线传感器网络中的SP
【机 构】
：
郑州大学信息工程学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年14期
其他文献
<正> 中性粒细胞减少症是由机体中性粒细胞减少而出现的一种综合征。它可由各种原因引起,当中性粒细胞低于1000/立方毫米,甚至完全缺乏时,称为粒细胞缺乏症。临床表现多见急
随着科学技术的发展和社会的进步,人们的生活水平不断提高,对于物质文化和精神文化的追求也在逐渐变化。当前,电力行业作为我国国民经济发展的最基础产业,一直以来受到了广泛
我国西部地区沙漠分布广泛,富产风积砂.本文通过室内击实试验研究了风积砂的最佳含水量和最大干密度;且通过静载荷试验,对风积砂的压实特性进行了研究.该试验结果将对风积砂
线速处理是核心路由器的关键性能需求，在ATM线路接口的硬件设计中，需要进行G比特级的线速取余运算。在对线速取余的实现进行了研究后，利用对2^n取余的简便性，将被除数进行分段，同
插补运算速度、进给速度和插补精度是圆弧插补算法中最重要的指标,虽然圆弧插补算法有很多种,但在进给速度和插补精度上都不是很理想。现在提出了一种切割法圆弧插补新算法,
对基于FPGA椭圆曲线密码体制的实现进行全面研究，在Xilinx的FPGA上实现了二元有限域和椭圆曲线点运算的所有算法。将模乘算法、模逆算法、曲线点加算法、曲线点减算法、点乘算