|
|||||
|
|
| VANET信息广播模型定量验证方法 | |
| 引用本文： | 王晓天,赵莹莹,韩啸.VANET信息广播模型定量验证方法[J].吉林大学学报(理学版),2017,55(5):1255-1260. |
| 作者姓名： | 王晓天 赵莹莹 韩啸 |
| 作者单位： | 1. 大连东软信息学院 计算机科学与技术系, 辽宁 大连 116023；2. 吉林大学 学报编辑部, 长春 130012 |
| 摘 要： | 针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性. |
| 关 键 词： | 定量建模与验证 区间概率实时自动机 区间概率分布 车用自主网络(VANET) |
| 收稿时间： | 2016-09-23 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 | |