| 移动自组网路由协议研究 |
| |
| 引用本文： | 黄文. 移动自组网路由协议研究[J]. 科技情报开发与经济, 2008, 18(12): 152-153 |
| |
| 作者姓名： | 黄文 |
| |
| 作者单位： | 武警山西省总队司令部,山西太原,030012 |
| |
| 摘 要： | 对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架。
|
| 关 键 词： | 移动自组网 路由协议 形式化分析 |
| 文章编号： | 1005-6033(2008)12-0152-02 |
| 修稿时间： | 2008-02-21 |
Research on Routing Protocols of Mobile Ad Hoc Networks |
| |
| HUANG Wen. Research on Routing Protocols of Mobile Ad Hoc Networks[J]. Sci-Tech Information Development & Economy, 2008, 18(12): 152-153 |
| |
| Authors: | HUANG Wen |
| |
| Abstract: | This paper compares two main verification methods,the performance test and formal analysis,of mobile ad hoc networks routing protocol,analyzes the features of formal analysis of ad hoc networks routing protocol,and gives the framework of formal analysis scheme of protocol. |
| |
| Keywords: | mobile ad hoc networks routing protocol formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
