期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种改进的Ad-hoc路由协议的规范化设计与验证 被引量：1

Formal design and validation of improved Ad-hoc routing protocol
下载PDF
导出
摘要 Ad-hoc路由协议依据路由发现的不同分为主动路由策略和按需路由策略,根据实际网络特点,结合两类协议的优点,提出一种适合快速拓扑更新的无线路由协议。并采用SDL语言工具设计验证了这种小型高移动性无线网络的路由协议。 Ad-hoc routing protocols are classified into active routing policy and on-demand routing policy by routing discovery. By combing these routing policies, a small high mobility routing protocol is designed and validated according to the characteristics of actual wireless network with SDL.
作者 程克勤
机构地区 合肥工业大学网络中心
出处 《计算机工程与设计》 CSCD 北大核心 2005年第4期981-984,共4页 Computer Engineering and Design
关键词 AD-HOC 路由协议 SDL 规范化设计 无线网络连接模式 ad-hoc routing protocol SDL
分类号 TN915.04 [电子电信—通信与信息系统]
  • 相关文献

参考文献18

  • 1IEEE801.11 Working Group [EB/OL]. http://grouper. ieee.org/groups/802/1/index.html.
  • 2Corson S, Macker J. Mobile Ad-hoc networking (MANET):Routing protocol performance issues and evaluation considerations[EB/OL]. RFC 2501, 1999.
  • 3ITU 2T. Z. 100, appendix I, SDL methodology guidelines [Z].ITU, 1993.
  • 4Royer E M, Chai Keong Toh. A review of current routing protocols for ad-hoc mobile wireless networks [J]. IEEE Personal Communications, 1999, 6(2):46-55.
  • 5Maltz D, Broch J, Jetcheva J. The effects of on-demand behavior in routing protocols for multihop wireless ad hoc networks[J].IEEE Journal on Selected Areas in Communications, 1999, 17(8):1439-1453.
  • 6Bansal M, Barua G. Performance comparison of two on-demand routing protocols for mobile ad hoc networks[C]. Personal Wireless Communications, 2002 IEEE International Conference on,2002. 206-210.
  • 7George C P. Software design guidelines for event2driven programming[J].The Journal of Systems and Software, 1998, 41 (2):79-91.
  • 8Telelogic TAU SDL suite [EB/OL]. http://www. telelogic.com/products/tau/sdl/index.c fm.
  • 9Holzmann G. Design and validation of computer protocol [M].Prentice-Hall, 1991.
  • 10IEEE801.11 Working Group [EB/OL]. http://grouper. ieee.org/groups/802/1/index.html.

同被引文献5

  • 1Sundaresan K,Anantharaman V,Hsieh H Y,et al.Atp:A reliable transport protocol for Ad-Hoc networks[A].Proc of the 4th ACM symposium on mobile Ad Hoc network and computing (MobiHoc2003)[C].Annapolis,Maryland,USA,2003.
  • 2Holland G,Vaidya N H.Analysis of TCP performance over mobile Ad Hoc networks [A].Proceedings of ACM mobicom [C].Seattle,WA,1999.219-230.
  • 3Monks J P,Sinha P,Bharghavan V.Limitations of TCP-ELFN for Ad Hoc networks[A].Workshop on mobile and multimedia communication[C].Marina del Rey,CA,2000.
  • 4Johnson D,Maltz D A,Broch J.The dynamic source routing protocol for mobile Ad Hoc networks [Z].MANET working group,IETF,Intemet draft,draft-ietf-manet-dsr-07.txt,2002.
  • 5周建新,石冰心,邹玲.simELFN:提高Ad hoc网络TCP性能[J].华中科技大学学报（自然科学版）,2003,31(7):4-6. 被引量：1

引证文献1

计算机工程与设计
2005年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部