期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
实时系统状态空间分析的一种算法
1
作者
杜慧敏
杨红丽
韩俊刚
《计算机应用》
CSCD
2000年第S1期62-65,共4页
提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
关键词
形式化验证
互模拟
实时自动机
区域图
可达图
在线阅读
下载PDF
职称材料
VANET信息广播模型定量验证方法
2
作者
王晓天
赵莹莹
韩啸
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2017年第5期1255-1260,共6页
针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态...
针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性.
展开更多
关键词
车用自主网络(VANET)
定量建模与验证
区间概率分布
区间概率
实时自动机
在线阅读
下载PDF
职称材料
题名
实时系统状态空间分析的一种算法
1
作者
杜慧敏
杨红丽
韩俊刚
机构
西安邮电学院计算机系
出处
《计算机应用》
CSCD
2000年第S1期62-65,共4页
基金
自然科学基金!(694730 1 7)
文摘
提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
关键词
形式化验证
互模拟
实时自动机
区域图
可达图
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
VANET信息广播模型定量验证方法
2
作者
王晓天
赵莹莹
韩啸
机构
大连东软信息学院计算机科学与技术系
吉林大学学报编辑部
出处
《吉林大学学报（理学版）》
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
职称材料
题名
作者
出处
发文年
被引量
操作
1
实时系统状态空间分析的一种算法
杜慧敏
杨红丽
韩俊刚
《计算机应用》
CSCD
2000
0
在线阅读
下载PDF
职称材料
2
VANET信息广播模型定量验证方法
王晓天
赵莹莹
韩啸
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
