查询结果:   海宁,张彩珍,孙国营,于洋.基于动态故障树的新型区间占检系统可用性分析[J].计算机应用与软件,2019,36(6):47 - 53.
中文标题
基于动态故障树的新型区间占检系统可用性分析
发表栏目
应用技术与研究
摘要点击数
1004
英文标题
AVAILABILITY ANALYSIS OF INTERVAL OCCUPANCY CHECKING SYSTEM BASED ON DYNAMIC FAULT TREE
作 者
海宁 张彩珍 孙国营 于洋 Hai Ning Zhang Caizhen Sun Guoying Yu Yang
作者单位
兰州交通大学电子与信息工程学院 甘肃 兰州 730070 北京全路通信信号研究设计院集团有限公司 北京 100071    
英文单位
School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, Gansu, China Beijing National Railway Research and Design Institute of Signal and Communication Ltd., Beijing 100071, China    
关键词
区间占用检查 动态故障树 马尔科夫转换链 二乘二取二 可靠性
Keywords
Interval occupancy checking Dynamic fault tree Markov transform chain Double 2-vote-2 Reliability
基金项目
国家自然科学基金项目(61761027);中国铁路总公司科技研究开发计划课题(2016X003-H)
作者资料
海宁,硕士生,主研领域:列车运行控制系统。张彩珍,教授。孙国营,高工。于洋,硕士生。 。
文章摘要
在铁路运输中,为消除自闭线路区间轨道区段分路不良状态对列车运行的安全影响,通过修改列控中心软件来实现对区间占用的逻辑检查,进一步提高运输安全及行车效率。国内对动态冗余结构系统进行可用性分析主要采用马尔科夫模型,对于状态空间规模较大的系统,建模过程较为繁琐,计算过程也十分复杂。基于动态故障树对软件式区间占用检查系统进行建模,采用基于线性搜索的算法对模型进行计算求解,引入故障可用率与故障修复率对系统的可靠性进行仿真分析。通过拟合可靠性及安全性曲线与继电式系统的相关性能进行比较,得出软件式区间占用检查系统具有更高的可用性,性能更为优良,适宜在既有线大力推广。
Abstract
In railway transportation, in order to eliminate the influence of bad state of track section division on the safety of train operation, the software of train control center is modified to realize the logical inspection of section occupancy to further improve transport safety and operation efficiency. Markov model is mainly used to analyze the availability of dynamic redundant structural systems in China. For large-scale systems in state space, the modeling process is complicated and the calculation process is very complex. In this paper, a software interval occupancy checking system was modeled based on dynamic fault tree, and we solved the model by linear search algorithm. We also introduced the fault availability and repair rate to simulate the reliability of the system. By comparing the fitting reliability and safety curve with the relay system, it is concluded that the software interval occupancy checking system has higher availability and better performance, and is suitable for popularization on existing lines.
下载PDF全文   

根据该篇关键词查找到本刊已发表相关论文供参考
序号
文  章  标  题
作者1
发表栏目
页码
摘要
1
铁路道岔故障诊断及显示系统的设计与实现
唐维华
软件技术与研究
2019
9
37
[摘要]
2
基于真值发现的加油站车辆号牌缺损数据填充方法
彭新亮
数据工程
2019
8
41
[摘要]
3
行李表面主被动柔顺贴标方法研究
武伟
应用技术与研究
2019
8
120
[摘要]
4
Spark框架下基于对比散度的网络服务TLRBM推荐算法
那勇
算法
2019
8
293
[摘要]
5
基于体系结构模型的综合化航电分区可调度性验证
刘哲旭
应用技术与研究
2019
7
69
[摘要]
6
一种在线式商品真伪识别系统的设计与实现
周庆隆
应用技术与研究
2019
7
122
[摘要]
7
考虑擦除编码可靠视频流三步式内凸逼近优化
朱雯曦
多媒体技术应用
2019
7
169
[摘要]
8
基于动态故障树的新型区间占检系统可用性分析
海宁
应用技术与研究
2019
6
47
[摘要]
9
异构云环境下的密码服务调度方法
孙德洋
安全技术
2019
6
302
[摘要]
10
基于分布式NoSQL数据库的档案大数据存储与检索方案研究
施晓峰
数据工程
2019
5
15
[摘要]
11
一种智能警用枪械安全装置的设计
章磊
应用技术与研究
2019
4
69
[摘要]
12
基于Netty的IoT终端通信服务系统设计
顾振德
网络与通信
2019
4
135
[摘要]
13
一种动态多路径冗余的网络传输架构的研究
周荃
网络与通信
2019
4
140
[摘要]
14
基于弱监督深度学习的文本聚类算法及应用
谭敏
人工智能与识别
2019
4
171
[摘要]
15
基于问题等级的不完美排错NHPP可靠性模型
费琪
软件技术与研究
2019
3
1
[摘要]
16
基于贝叶斯推断的复杂系统可靠性分析
苏续军
算法
2019
3
219
[摘要]
17
基于大数据算法的电话号码与客户编号对应关系的识别研究与实现
刘鲲鹏
算法
2019
3
301
[摘要]
18
基于大数据技术构建输变电设备状态监测数据模型研究
郭宝
应用技术与研究
2019
2
135
[摘要]
19
车辆移动云可靠性任务调度
李晓静
应用技术与研究
2019
11
78
[摘要]
20
基于在线排队模型的信道优化分配研究
许洪华
网络与通信
2019
11
112
[摘要]
21
一种基于改进Bayes估计和能量均衡的WSN数据融合节点选取方法
张欢
网络与通信
2019
11
121
[摘要]
22
基于SA解码的V2V广播自主资源选择算法
张家波
网络与通信
2019
11
127
[摘要]
23
基于布谷鸟算法的3D NoC测试优化研究
许川佩
算法
2019
11
256
[摘要]
24
增量数据驱动的自适应身份认证量化评估框架
李思斯
安全技术
2019
11
294
[摘要]
25
一种具有前向安全性的短签密方案
林楠
安全技术
2019
11
306
[摘要]
26
基于混合编程技术的浑善达克沙地沙漠化遥感监测系统的设计与实现
刘宏宇
应用技术与研究
2019
1
123
[摘要]
27
基于无速度传感器的PMSM反步终端滑模控制
赵军勇
应用技术与研究
2019
1
132
[摘要]
28
基于IRF2和LACP MAD的气象网络设计研究
鲍磊磊
应用技术与研究
2019
1
137
[摘要]
29
改进PSO和机器状态对车间任务调度研究
张晓寒
信息技术交流
2019
1
320
[摘要]
30
SDN架构下的链路分离路径算法的研究
池亚平
网络与通信
2018
9
183
[摘要]
31
基于LabVIEW的心电监护仪自动检定系统的研发
李林超
应用技术与研究
2018
8
128
[摘要]
32
基于最优组合权秩和比的电力信息系统可靠性综合评价
夏露
应用技术与研究
2018
8
148
[摘要]
33
基于变结构自抗扰的车用PMSM模型预测控制
高华鑫
应用技术与研究
2018
6
83
[摘要]
34
存储虚拟化和全闪存技术在烟草核心系统的应用
刘荣
应用技术与研究
2018
6
96
[摘要]
35
高速网络环境中适合大数据传输的改进UDT协议
邢璐
网络与通信
2018
6
138
[摘要]
36
基于微服务架构的分布式测距系统的研究与设计
向彬彬
应用技术与研究
2018
5
89
[摘要]
37
一种支持数据质量评价的方法与应用研究
宋俊典
信息技术交流
2018
5
328
[摘要]
38
基于Selenium的电力营销系统用户权限自动配置
黄潜
应用技术与研究
2018
4
187
[摘要]
39
Android与ROS交互通信的可靠性设计
李梦男
网络与通信
2018
3
106
[摘要]
40
基于Boost.Asio的智能车载终端数据采集系统
刘静
嵌入式软件与应用
2018
2
248
[摘要]
41
一种基于微小卫星系统软件在轨编程功能的设计方法
钱方亮
软件技术与研究
2018
12
16
[摘要]
42
GA-BP在化工园区VOCs预测模型中的应用
任伟
算法
2018
12
274
[摘要]
43
基于分段线性坐标优化的退化压缩感知水印检测
陈晓锋
安全技术
2018
12
313
[摘要]
44
ESPP:基于SDN的节能路径规划系统
肖军弼
网络与通信
2018
11
204
[摘要]
45
基于指令级冗余的密码流处理器并发错误检测方法
戴强
安全技术
2018
10
286
[摘要]
46
一种基于形式化可配置特征单元的特征模型
苏浓光
数据工程
2018
1
44
[摘要]
47
一种基于环保大数据的存储模式及数据导入设计与实现
高锐
应用技术与研究
2017
9
64
[摘要]
48
大数据环境下离散制造车间异常事件发现方法
马超
算法
2017
9
288
[摘要]
49
一种基于行为和航迹特征的室内定位方法研究
李宝林
应用技术与研究
2017
8
114
[摘要]
50
基于局部近邻图的特征描述与特征匹配算法研究
谢宜婷
图像处理与应用
2017
8
185
[摘要]
51
一种改进的非局部平均图像去噪算法
许光宇
图像处理与应用
2017
7
149
[摘要]
52
嵌入式图像边缘检测系统设计与实现
陈鹏展
嵌入式软件与应用
2017
7
176
[摘要]
53
基于动态授权机制的自适应云访问控制方法研究
陆佳炜
安全技术
2017
7
325
[摘要]
54
基于深度引导空洞填补的虚拟视点绘制方法
娄达平
多媒体技术应用
2017
6
162
[摘要]
55
一种基于Windows操作系统的存储虚拟化在线扩展技术
王大鹏
软件技术与研究
2017
5
24
[摘要]
56
井架主梁缺陷的随机有限元及扩展有限元分析
练章华
应用技术与研究
2017
4
48
[摘要]
57
电力线载波通信的OFDM编码方案
刘玉珍
网络与通信
2017
4
131
[摘要]
58
基于多传输通道的单向传输技术研究
杨越
网络与通信
2017
4
135
[摘要]
59
基于CAN总线的智能电动密集架控制系统的研究
王玉丽
嵌入式软件与应用
2017
4
260
[摘要]
60
基于调制传递函数的数码影像质量评价研究
刘佳琪
图像处理与应用
2017
3
160
[摘要]
61
基于有限元的挖掘机平台振动功率流分析
陈欠根
应用技术与研究
2017
2
118
[摘要]
62
基于有限状态机的高速串口通信收发器的FPGA设计
陈孟春
网络与通信
2017
12
178
[摘要]
63
基于改进贝叶斯算法的云服务可靠性预测方法研究
钱双洋
软件技术与研究
2017
11
34
[摘要]
64
基于回归分析的早期预警和失效预测技术
田从根
软件技术与研究
2017
11
53
[摘要]
65
PLS算法在多维数据挖掘判别分类中的研究及应用
黄彪
数据工程
2017
11
58
[摘要]
66
基于重写逻辑的PKMv3协议形式化建模与验证
佘葭
安全技术
2017
11
270
[摘要]
67
基于监控日志的航班查询系统可靠性评估方法
丁建立
应用技术与研究
2017
10
108
[摘要]
68
基于FTL层的高可靠星载数据编码保护设计
曹丹丹
应用技术与研究
2017
10
149
[摘要]
69
基于3D激光雷达道路边缘实时检测算法的研究与实现
李强
人工智能与识别
2017
10
219
[摘要]
70
基于关联特征的贝叶斯Android恶意程序检测技术
王聪
安全技术
2017
1
286
[摘要]
71
基于功能划分图的Web服务组合规划和最优选择
吴芳
软件技术与研究
2016
9
10
[摘要]
72
面向以太网的网络故障自动实时发现与定位方法
赵灿明
网络与通信
2016
9
101
[摘要]
73
多视角分布式视频编码中基于置信度的时空边信息融合
黄碧波
多媒体技术应用
2016
9
134
[摘要]
74
基于ALE规范的分布式RFID中间件研究与实现
应俊
软件技术与研究
2016
7
14
[摘要]
75
基于层次分析法的海洋专网安全评估指标体系
邹国良
应用技术与研究
2016
7
97
[摘要]
76
一种基于D-S证据理论的融合RGB特征和Depth特征的3D目标识别方法
杨慧
人工智能与识别
2016
7
162
[摘要]
77
嵌入式操作系统MQX内存管理机制分析与改进
文瑾
嵌入式软件与应用
2016
7
239
[摘要]
78
基于鼠标和键盘行为特征组合的用户身份认证
王振辉
安全技术
2016
7
308
[摘要]
79
一种基于集群的SDN控制器负载均衡方案
黄小曼
网络与通信
2016
6
130
[摘要]
80
面向高并发复杂民航业务的服务器架构设计
李永进
软件技术与研究
2016
5
4
[摘要]
81
基于可靠性评估的人体骨架重建方法的研究
蔡俊
多媒体技术应用
2016
5
144
[摘要]
82
基于粗糙集理论的PSO-IOIF-Elman神经网络建模
田娜
算法
2016
5
248
[摘要]
83
支持SPIN验证的详细级SFMEA方法研究
刘畅
安全技术
2016
5
281
[摘要]
84
基于EV-Globe的虚拟战场环境系统设计与实现
柳玉
应用技术与研究
2016
4
76
[摘要]
85
基于流处理技术的云计算平台监控方案的设计与实现
单莘
应用技术与研究
2016
4
88
[摘要]
86
一种移动网络下基于双时间戳的数据增量同步研究
郝平
网络与通信
2016
4
143
[摘要]
87
基于企业服务总线的信息管理系统可靠性分析
陈玮
软件技术与研究
2016
3
27
[摘要]
88
一种基于权重的云服务搜索算法
孙寒玉
软件技术与研究
2016
3
38
[摘要]
89
基于安卓手机客户端与服务器的污水处理监控通信系统研究
何颖
应用技术与研究
2016
12
52
[摘要]
90
基于跨层设计的车载网路由协议
杨小凤
网络与通信
2016
12
106
[摘要]
91
一类精确修复多个节点的简单再生码
王丽莎
数据工程
2016
11
11
[摘要]
92
基于网格服务的电力海量数据分布式恢复算法
常涛
算法
2016
11
200
[摘要]
93
基于HTTP请求行为的组合式隐蔽信道的构造研究
郑威
安全技术
2016
11
269
[摘要]
94
基于频谱包络特征提取的PUE攻击检测研究
刘云飞
安全技术
2016
11
277
[摘要]
95
面向高并发民航业务的动态负载均衡设计
田丰
软件技术与研究
2016
10
1
[摘要]
96
基于光纤通道存储区域网的改进DHCHAP安全协议研究
乔猛生
网络与通信
2016
10
135
[摘要]
97
基于焦点队列的GUI自动测试方法研究
夏加高
软件技术与研究
2016
1
4
[摘要]
98
采煤机滚筒辅助设计及载荷计算软件的开发与应用
赵丽娟
应用技术与研究
2016
1
60
[摘要]
99
基于UDP协议的心电图波形传输研究与实现
刘阅军
应用技术与研究
2016
1
65
[摘要]
100
Android软件可靠性测试用例自动生成的设计研究
李震
嵌入式软件与应用
2016
1
235
[摘要]
101
一种大规模数据快速并行导入工具的研究与实现
邵开丽
软件技术与研究
2015
9
26
[摘要]
102
面向IS-IS网络的NetMonitor系统的设计与实现
姚忠将
网络与通信
2015
9
112
[摘要]
103
电网感知的云计算服务请求路由算法
兰远东
网络与通信
2015
9
119
[摘要]
104
基于自相似模型的智能网络质量管理系统
周志荣
网络与通信
2015
7
108
[摘要]
105
嵌入拒识的极限学习机在基因表达数据分类中的应用
何颖
人工智能与识别
2015
7
177
[摘要]
106
嵌入式SIP服务器的研究与设计
杨碧川
嵌入式软件与应用
2015
7
232
[摘要]
107
一种基于微内核操作系统进程间通信恢复方法
孙可钦
软件技术与研究
2015
6
9
[摘要]
108
RDP码存储系统节点故障恢复的读盘优化
张燕
应用技术与研究
2015
6
104
[摘要]
109
物联网中基于KNN和BP神经网络预测模型的研究
陈飞彦
网络与通信
2015
6
127
[摘要]
110
Ad Hoc网络中基于联系时空的预测转发模型
刘迪
网络与通信
2015
6
167
[摘要]
111
基于用户异常等级的虚拟机动态防御等级配置策略
万贻敏
安全技术
2015
6
272
[摘要]
112
Hadoop平台中MapReduce调度算法研究
徐焕良
综合评述
2015
5
1
[摘要]
113
一种FlexRay总线优化方法研究
李斌
网络与通信
2015
5
141
[摘要]
114
针对大文件的多流多宿主传输控制研究
金珊
网络与通信
2015
5
149
[摘要]
115
MQX任务优先级的设置与对中断影响的研究
朱仕浪
嵌入式软件与应用
2015
5
224
[摘要]
116
基于MIMU/WI-FI的井下人员三维全局定位
罗宇锋
网络与通信
2015
4
113
[摘要]
117
学习自动机建立虚拟退避算法的VANET服务质量改进
张浩
网络与通信
2015
4
125
[摘要]
118
无人机飞行过程中图像定位算法研究
吴爱国
图像处理与应用
2015
4
165
[摘要]
119
模拟退火算法优化聚类头节点的MANET服务质量改进
鲜敏
信息技术交流
2015
4
326
[摘要]
120
基于SCPN的软件可靠性建模与分析
潘峰
软件技术与研究
2015
3
7
[摘要]
121
基于PC辅助机制的高效VANET路由协议
吴昊
网络与通信
2015
3
131
[摘要]
122
基于组件的 电动汽车充电站监控系统通信软件
唐明
信息技术交流
2015
2
330
[摘要]
123
基于GA的多智能机器人合作的物流配送系统研究
代冀阳
算法
2015
12
253
[摘要]
124
基于PSO-混合核函数的SOM网络流量分类研究
李涛
网络与通信
2015
11
117
[摘要]
125
三维环绕追踪式RFID识别系统的研究
薛君志
应用技术与研究
2015
10
90
[摘要]
126
基于过采样CDR的4B/5B编码的设计与实现
刘忠坤
嵌入式软件与应用
2015
10
227
[摘要]
127
小型PLC编程装置的存储和反编译模块设计
未庆超
嵌入式软件与应用
2015
10
236
[摘要]
128
基于多层MD5消息摘要的文件完整性实时检测技术
方燕飞
软件技术与研究
2015
1
20
[摘要]
129
敏捷开发在战机飞控系统软件研制中的应用
邵山
软件技术与研究
2015
1
44
[摘要]
130
基于多线程机制的电力数据采集系统设计与实现
彭玉柱
应用技术与研究
2015
1
78
[摘要]