期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
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
职称材料
考虑节点交通特性的VANET分簇广播协议
被引量：
2
2
作者
周连科
左德承
+1 位作者
崔刚
刘宏伟
《高技术通讯》
CAS
CSCD
北大核心
2012年第5期468-476,共9页
结合车用自组织网络（VANET）的道路交通特点，针对车辆节点的交通行为特性，提出了一种适合VANET道路交通场景的基于综合加权的分簇广播协议。该协议在簇建立和维护过程中都充分考虑了交通规则和结点运动规律对网络的影响，力求以较小...
结合车用自组织网络（VANET）的道路交通特点，针对车辆节点的交通行为特性，提出了一种适合VANET道路交通场景的基于综合加权的分簇广播协议。该协议在簇建立和维护过程中都充分考虑了交通规则和结点运动规律对网络的影响，力求以较小的控制开销形成稳定的分簇网络。并根据交通流理论中车头间距与速度关系模型设计了符合实际的节点移动模型以进行仿真实验。实验结果表明，采用该协议形成的分簇网络结构简单、稳定，控制开销小，同时能够保证广播的可靠性，并有效降低了网络负载，适合多种交通场景下的VANET高效广播。
展开更多
关键词
移动自组网(MANET)
车用
自组织
网络
(
vanet
)
广播协议
分簇
交通特性
在线阅读
下载PDF
职称材料
交通密度自适应的VANET广播协议
3
作者
周连科
崔刚
+1 位作者
刘宏伟
左德承
《高技术通讯》
CAS
CSCD
北大核心
2012年第4期355-362,共8页
为了实现车用自组织网络（VANET）在交通流实时变化的场景下对安全信息的快速、有效广播，提出了一种能够适应交通流密度变化的VANET广播协议——交通密度自适应广播协议（TDABP）。该协议针对VANET环境的特点，采用了基于节点覆盖信息...
为了实现车用自组织网络（VANET）在交通流实时变化的场景下对安全信息的快速、有效广播，提出了一种能够适应交通流密度变化的VANET广播协议——交通密度自适应广播协议（TDABP）。该协议针对VANET环境的特点，采用了基于节点覆盖信息的分布式广播策略，采取按需交换邻节点覆盖信息的方式来选择转发节点，有效地降低了更新邻节点信息的通信开销、减小了广播风暴的影响，使广播通信不受节点密度的影响，能够适应道路交通中交通流不断变化的VANET广播场景。理论分析和仿真实验结果表明，该VANET广播协议能够满足VANET广播的可靠性和实时性要求，能够适应交通流引起的节点密度变化，具有良好的可扩展性和较高的广播效率。
展开更多
关键词
移动自组网
车用
自组织
网络
(
vanet
)
广播协议
节点覆盖
交通流密度
在线阅读
下载PDF
职称材料
题名
VANET信息广播模型定量验证方法
1
作者
王晓天
赵莹莹
韩啸
机构
大连东软信息学院计算机科学与技术系
吉林大学学报编辑部
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2017年第5期1255-1260,共6页
基金
辽宁省教育厅项目(批准号:zx2015kj011)
军工重点实验室开放课题项目
文摘
针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性.
关键词
车用
自主
网络
(
vanet
)
定量建模与验证
区间概率分布
区间概率实时自动机
Keywords
vehicular ad hoc networks（
vanet
）
quantitative modeling and verification
interval probabilistic distribution
interval probabilistic real-time automata
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
考虑节点交通特性的VANET分簇广播协议
被引量：
2
2
作者
周连科
左德承
崔刚
刘宏伟
机构
哈尔滨工业大学计算机科学与技术学院
出处
《高技术通讯》
CAS
CSCD
北大核心
2012年第5期468-476,共9页
基金
863计划（2008AA01A204）资助项目.
文摘
结合车用自组织网络（VANET）的道路交通特点，针对车辆节点的交通行为特性，提出了一种适合VANET道路交通场景的基于综合加权的分簇广播协议。该协议在簇建立和维护过程中都充分考虑了交通规则和结点运动规律对网络的影响，力求以较小的控制开销形成稳定的分簇网络。并根据交通流理论中车头间距与速度关系模型设计了符合实际的节点移动模型以进行仿真实验。实验结果表明，采用该协议形成的分簇网络结构简单、稳定，控制开销小，同时能够保证广播的可靠性，并有效降低了网络负载，适合多种交通场景下的VANET高效广播。
关键词
移动自组网(MANET)
车用
自组织
网络
(
vanet
)
广播协议
分簇
交通特性
Keywords
mobile ad hoe network （MANET）, vehicular ad hoe networks （
vanet
）, broadcast protocol,clustering, traffic characteristics
分类号
U491 [交通运输工程—交通运输规划与管理]
在线阅读
下载PDF
职称材料
题名
交通密度自适应的VANET广播协议
3
作者
周连科
崔刚
刘宏伟
左德承
机构
哈尔滨工业大学计算机科学与技术学院
出处
《高技术通讯》
CAS
CSCD
北大核心
2012年第4期355-362,共8页
基金
863计划（2008AA01A204）资助项目.
文摘
为了实现车用自组织网络（VANET）在交通流实时变化的场景下对安全信息的快速、有效广播，提出了一种能够适应交通流密度变化的VANET广播协议——交通密度自适应广播协议（TDABP）。该协议针对VANET环境的特点，采用了基于节点覆盖信息的分布式广播策略，采取按需交换邻节点覆盖信息的方式来选择转发节点，有效地降低了更新邻节点信息的通信开销、减小了广播风暴的影响，使广播通信不受节点密度的影响，能够适应道路交通中交通流不断变化的VANET广播场景。理论分析和仿真实验结果表明，该VANET广播协议能够满足VANET广播的可靠性和实时性要求，能够适应交通流引起的节点密度变化，具有良好的可扩展性和较高的广播效率。
关键词
移动自组网
车用
自组织
网络
(
vanet
)
广播协议
节点覆盖
交通流密度
Keywords
ad hoc network, vehicular ad hoc network （
vanet
）, broadcast protocol, node coverage, traffic flow density
分类号
TP273.2 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
VANET信息广播模型定量验证方法
王晓天
赵莹莹
韩啸
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
2
考虑节点交通特性的VANET分簇广播协议
周连科
左德承
崔刚
刘宏伟
《高技术通讯》
CAS
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
3
交通密度自适应的VANET广播协议
周连科
崔刚
刘宏伟
左德承
《高技术通讯》
CAS
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
