期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
VANET信息广播模型定量验证方法
1
作者 王晓天 赵莹莹 韩啸 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2017年第5期1255-1260,共6页
针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态... 针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性. 展开更多
关键词 车用自主网络(VANET) 定量建模与验证 区间概率分布 区间概率实时自动机
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部