期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
高速列车ATP控车模式的形式化模型与安全性分析
被引量：
1
1
作者
承向军
应志鹏
杜鹏
《中国安全科学学报》
CAS
CSCD
2008年第3期28-32,共5页
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基...
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。
展开更多
关键词
高速列车
形式化模型
列控
列车超速防护(ATP)
时段
演算
(
dc
)
在线阅读
下载PDF
职称材料
题名
高速列车ATP控车模式的形式化模型与安全性分析
被引量：
1
1
作者
承向军
应志鹏
杜鹏
机构
北京交通大学交通运输学院
中国铁道科学研究院通信信号研究所
出处
《中国安全科学学报》
CAS
CSCD
2008年第3期28-32,共5页
基金
轨道交通控制与安全国家重点实验室(北京交通大学)开放课题基金(2008K003)
文摘
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。
关键词
高速列车
形式化模型
列控
列车超速防护(ATP)
时段
演算
(
dc
)
Keywords
high speed train
formalization model
train control
automatic train protection（ATP）
duration calculus（
dc
）
分类号
X913.4 [环境科学与工程—安全科学]
U298 [交通运输工程—交通运输规划与管理]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
高速列车ATP控车模式的形式化模型与安全性分析
承向军
应志鹏
杜鹏
《中国安全科学学报》
CAS
CSCD
2008
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
