期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
考虑不确定性的铁路信号安全计算机硬件SIL验证
被引量:
2
1
作者
张宏扬
梁志国
+3 位作者
王龙生
齐志华
白帅
乔亚琼
《铁道学报》
EI
CAS
CSCD
北大核心
2022年第6期66-74,共9页
铁路信号安全计算机是高安全完整性苛求系统,对其硬件进行SIL验证是SIL认证工作的重点。传统硬件SIL验证过程中常假设各参数取固定值,忽略了参数的不确定性影响。提出一种考虑不确定性的铁路信号安全计算机硬件SIL验证方法,首先采用蒙...
铁路信号安全计算机是高安全完整性苛求系统,对其硬件进行SIL验证是SIL认证工作的重点。传统硬件SIL验证过程中常假设各参数取固定值,忽略了参数的不确定性影响。提出一种考虑不确定性的铁路信号安全计算机硬件SIL验证方法,首先采用蒙特卡洛法(MCA)对参数概率分布已知类型的不确定性进行分析;然后采用模糊理论(FT)对参数概率分布未知类型的不确定性进行分析,并从可能性、必然性和可信性测度及符合性概率角度对结果所能声明的最大SIL进行判定。1oo2结构的实例仿真结果显示:基于FT计算结果的支集(5.01×10^(-10),5.57×10^(-7))包含基于MCA得出的极限区间(1.42×10^(-9),4.46×10^(-7)),即前者得出的结果更为保守;从可信性测度和符合性概率角度来看,两种方法所能声明的最高安全完整性等级均为SIL2。
展开更多
关键词
参数不确定性
硬件安全完整性
蒙特卡洛法
模糊理论
铁路信号
安全
计算机
在线阅读
下载PDF
职称材料
题名
考虑不确定性的铁路信号安全计算机硬件SIL验证
被引量:
2
1
作者
张宏扬
梁志国
王龙生
齐志华
白帅
乔亚琼
机构
中国铁道科学研究院集团有限公司研究生部
中国铁道科学研究院集团有限公司通信信号研究所
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2022年第6期66-74,共9页
基金
国家自然科学基金(U1734211)
中国铁道科学研究院集团有限公司重大课题(2019YJ063)。
文摘
铁路信号安全计算机是高安全完整性苛求系统,对其硬件进行SIL验证是SIL认证工作的重点。传统硬件SIL验证过程中常假设各参数取固定值,忽略了参数的不确定性影响。提出一种考虑不确定性的铁路信号安全计算机硬件SIL验证方法,首先采用蒙特卡洛法(MCA)对参数概率分布已知类型的不确定性进行分析;然后采用模糊理论(FT)对参数概率分布未知类型的不确定性进行分析,并从可能性、必然性和可信性测度及符合性概率角度对结果所能声明的最大SIL进行判定。1oo2结构的实例仿真结果显示:基于FT计算结果的支集(5.01×10^(-10),5.57×10^(-7))包含基于MCA得出的极限区间(1.42×10^(-9),4.46×10^(-7)),即前者得出的结果更为保守;从可信性测度和符合性概率角度来看,两种方法所能声明的最高安全完整性等级均为SIL2。
关键词
参数不确定性
硬件安全完整性
蒙特卡洛法
模糊理论
铁路信号
安全
计算机
Keywords
parameter uncertainty
hardware safety integrity
Monte Carlo Analysis
Fuzzy Theory
railway signal safety computer
分类号
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
考虑不确定性的铁路信号安全计算机硬件SIL验证
张宏扬
梁志国
王龙生
齐志华
白帅
乔亚琼
《铁道学报》
EI
CAS
CSCD
北大核心
2022
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部