作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证.最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义.
推荐文章
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
一种基于时间自动机的域构造方法
模型检验
时间自动机
TCTL
基于混沌理论的自动机故障诊断研究
自动机
混沌理论
特征提取
故障诊断
基因交互逻辑网络的自动机模型
细胞自动机
有限状态自动机
基因网络
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 利用时间自动机理论探讨客专RBC控车流程
来源期刊 铁路通信信号工程技术 学科 交通运输
关键词 RBC 时间自动机 UPPAAL 建模验证
年,卷(期) 2010,(1) 所属期刊栏目 设计年会获奖论文专栏
研究方向 页码范围 5-7,15
页数 4页 分类号 U2
字数 2253字 语种 中文
DOI 10.3969/j.issn.1673-4440.2010.01.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 童超 3 6 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (11)
参考文献  (2)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
RBC
时间自动机
UPPAAL
建模验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
铁路通信信号工程技术
月刊
1673-4440
11-5423/U
16开
北京市丰台区华源一里18号楼
1979
chi
出版文献量(篇)
3092
总下载数(次)
13
总被引数(次)
6146
论文1v1指导