工学 >>> 信息与通信工程 >>> 信息处理技术 通信技术 广播与电视工程技术 雷达工程
搜索结果: 1-2 共查到信息与通信工程 SPIN相关记录2条 . 查询时间(0.156 秒)
为了解决井下链状无线传感器网络中距离Sink节点越近的节点越早死亡的问题,本文提出了一种井下WSN基于SPIN路由协议的改进算法,该算法结合狭长直巷道模型与多重覆盖模型,运用梯度划分的方法,通过判定彼此梯度信息决定数据信息接收方,来均衡整个网络的能量消耗,延长网络寿命。对比改进前后的能量损耗模型可知,改进后的算法能有效延长网络寿命,实验表明,该算法较NCWSNFGM方案可延长至少5%的网络寿命。
该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...