钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
任务中心
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
钛学术文献服务平台
\
学术期刊
\
工业技术期刊
\
交通运输期刊
\
铁道通信信号期刊
\
基于SSM-HAZOP的自主化ATP等级转换功能建模与验证
基于SSM-HAZOP的自主化ATP等级转换功能建模与验证
作者:
张亚东
徐慧斯
李耀
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取
自主化ATP
等级转换
建模与验证
安全状态机
危险与可操作性分析
摘要:
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自主化ATP等级转换功能为例,综合运用安全状态机(SSM)建模理论,以及危险与可操作性分析方法(HAZOP),提出一种基于SSM-HAZOP的建模与自动验证方法.首先建立等级转换功能的SSM模型,然后基于HAZOP方法提取安全属性,最后利用SCADE DV工具自动验证等级转换的安全需求.结果 表明,该方法能够满足列控系统等级转换安全需求建模与验证的要求,可应用于自主化ATP的安全验证.
暂无资源
收藏
引用
分享
推荐文章
基于SPM的材料编码自主化初探
SPM
PDS
材料编码
数据库
基于UML和CPN的列控系统等级转换建模与分析
中国列车控制系统
等级转换
统一建模语言
有色Petri网
建模
自主化堆芯核设计软件COCO验证与确认
堆芯核设计
验证与确认
限值
运行数据
CRH5型动车组自主化UIC网关的设计与实现
CRH5型动车组
UIC网关
自主化
设计
内容分析
文献信息
引文网络
相关学者/机构
相关基金
期刊文献
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
篇名
基于SSM-HAZOP的自主化ATP等级转换功能建模与验证
来源期刊
铁道通信信号
学科
关键词
自主化ATP
等级转换
建模与验证
安全状态机
危险与可操作性分析
年,卷(期)
2020,(7)
所属期刊栏目
信号·控制
研究方向
页码范围
1-6
页数
6页
分类号
字数
3412字
语种
中文
DOI
10.13879/j.issn1000-7458.2020-07.19641
五维指标
作者信息
序号
姓名
单位
发文数
被引次数
H指数
G指数
1
张亚东
西南交通大学信息科学与技术学院
54
358
11.0
17.0
2
徐慧斯
西南交通大学信息科学与技术学院
1
0
0.0
0.0
3
李耀
电子科技大学光电科学与工程学院
4
4
1.0
2.0
传播情况
被引次数趋势
(/次)
(/年)
引文网络
引文网络
二级参考文献
(58)
共引文献
(39)
参考文献
(15)
节点文献
引证文献
(0)
同被引文献
(0)
二级引证文献
(0)
1994(1)
参考文献(0)
二级参考文献(1)
1995(1)
参考文献(0)
二级参考文献(1)
2004(2)
参考文献(0)
二级参考文献(2)
2006(3)
参考文献(0)
二级参考文献(3)
2007(3)
参考文献(0)
二级参考文献(3)
2008(5)
参考文献(0)
二级参考文献(5)
2009(3)
参考文献(1)
二级参考文献(2)
2010(9)
参考文献(0)
二级参考文献(9)
2011(13)
参考文献(0)
二级参考文献(13)
2012(5)
参考文献(1)
二级参考文献(4)
2013(7)
参考文献(2)
二级参考文献(5)
2014(2)
参考文献(1)
二级参考文献(1)
2015(3)
参考文献(3)
二级参考文献(0)
2016(8)
参考文献(2)
二级参考文献(6)
2017(3)
参考文献(1)
二级参考文献(2)
2018(4)
参考文献(3)
二级参考文献(1)
2019(1)
参考文献(1)
二级参考文献(0)
2020(0)
参考文献(0)
二级参考文献(0)
引证文献(0)
二级引证文献(0)
研究主题发展历程
节点文献
自主化ATP
等级转换
建模与验证
安全状态机
危险与可操作性分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
铁道通信信号
主办单位:
中国铁道科学研究院
出版周期:
月刊
ISSN:
1000-7458
CN:
11-1975/U
开本:
大16开
出版地:
北京市海淀区大柳树路2号
邮发代号:
2-403
创刊时间:
1957
语种:
chi
出版文献量(篇)
8402
总下载数(次)
29
期刊文献
相关文献
1.
基于SPM的材料编码自主化初探
2.
基于UML和CPN的列控系统等级转换建模与分析
3.
自主化堆芯核设计软件COCO验证与确认
4.
CRH5型动车组自主化UIC网关的设计与实现
5.
采用有色Petri网的等级转换场景概念建模
6.
自主化班级管理的尝试
7.
农村小规模学校的自主化管理探究
8.
初探小学数学自主化教学
9.
CJ-1型城际动车组制动夹钳单元自主化研制与运用
10.
浅析活动在班级自主化管理中的作用
11.
借助多元策略,打造自主化数学课堂
12.
探讨不动产登记的电子化和自主化
13.
初中班级自主化管理模式的实践研究
14.
自主化的移动闭塞CBTC系统
15.
基于UPPAAL的高铁列控系统等级转换过程建模与验证
推荐文献
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
任务中心
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
期刊分类
期刊(年)
期刊(期)
期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
铁道通信信号2022
铁道通信信号2021
铁道通信信号2020
铁道通信信号2019
铁道通信信号2018
铁道通信信号2017
铁道通信信号2016
铁道通信信号2015
铁道通信信号2014
铁道通信信号2013
铁道通信信号2012
铁道通信信号2011
铁道通信信号2010
铁道通信信号2009
铁道通信信号2008
铁道通信信号2007
铁道通信信号2006
铁道通信信号2005
铁道通信信号2004
铁道通信信号2003
铁道通信信号2002
铁道通信信号2001
铁道通信信号2000
铁道通信信号1999
铁道通信信号1998
铁道通信信号2020年第9期
铁道通信信号2020年第8期
铁道通信信号2020年第7期
铁道通信信号2020年第6期
铁道通信信号2020年第5期
铁道通信信号2020年第4期
铁道通信信号2020年第3期
铁道通信信号2020年第2期
铁道通信信号2020年第12期
铁道通信信号2020年第11期
铁道通信信号2020年第10期
铁道通信信号2020年第1期
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号