期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Timed RAISE方法在列控系统等级转换场景中的应用研究
被引量:
1
1
作者
丁春平
陈永刚
《铁道标准设计》
北大核心
2015年第8期164-169,共6页
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转...
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。
展开更多
关键词
高速铁路
TIMED
RAISE
CTCS
等级转换
场景
实时性
场景交互一致性
下载PDF
职称材料
题名
Timed RAISE方法在列控系统等级转换场景中的应用研究
被引量:
1
1
作者
丁春平
陈永刚
机构
兰州交通大学自动化与电气工程学院
出处
《铁道标准设计》
北大核心
2015年第8期164-169,共6页
基金
国家自然科学基金地区项目(61164101)
文摘
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。
关键词
高速铁路
TIMED
RAISE
CTCS
等级转换
场景
实时性
场景交互一致性
Keywords
High-speed railway
Timed RAISE
CTCS
Level transformation scene
Real-time capability
Scene interaction consistency
分类号
U283 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Timed RAISE方法在列控系统等级转换场景中的应用研究
丁春平
陈永刚
《铁道标准设计》
北大核心
2015
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部