《无线传感器网络路由协议的形式化方法研究》PDF+DOC
作者:文凡,李思敏,唐志灵
单位:北京方略信息科技有限公司
出版:《国外电子测量技术》2009年第04期
页数:5页 (PDF与DOC格式可能不同)
PDF编号:PDFGWCL2009040100
DOC编号:DOCGWCL2009040109
下载格式:PDF + Word/doc 文字可复制、可编辑
《无线传感器网络路由协议比较研究》PDF+DOC2006年第25期 刘昌鑫,夏春和
《无线传感器网络LEACH路由协议研究与改进》PDF+DOC2012年第01期 肖文显,刘震,马孝琴,郭明理
《无线传感器网络的组网及路由协议研究》PDF+DOC2011年第15期 王小耿
《基于同心圆分簇的无线传感器网络路由协议的研究》PDF+DOC2011年第01期 田董涛,王根英
《分簇无线传感器网络中基于网络编码的任务发布策略》PDF+DOC2010年第05期 潘鹏贵,许力,林力伟
《无线传感器网络路由协议探讨》PDF+DOC2008年第13期 樊黎莉,王昊
《无线传感器网络路由协议及安全问题研究》PDF+DOC2008年第11期 胡磊,张泽明
《无线传感器网络路由协议浅析与展望》PDF+DOC2007年第33期 苗鹏飞
《遗传算法在WSN路由协议设计中的研究与应用》PDF+DOC2007年第08期 朱鹏飞,蒋廷耀
《无线传感器网络MAC层协议浅析》PDF+DOC2006年第11期 肖霄,郑宝玉
本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。