专题首页
中图分类法(14)
自然科学总论(1)
工业技术(4)
交通运输(9)
在“
CNKI学位论文
”中,
命中:
14
条,耗时:0.0469801 秒
1.
列车运行控制系统安全通信协议验证方法的研究
作者:
陈黎洁
关键词:
模型检验
;
仿真
;
安全通信协议
;
ETCS
;
CBTC
论文级别:
博士
学位年度:2013
2.
高速铁路列车运行控制系统安全风险辨识及分析研究
作者:
张亚东
关键词:
高速铁路
;
列控系统
;
安全风险辨识
;
安全风险分析
;
模糊不确定性理论
;
基于逼近理想解的排序法
;
贝叶斯网络
;
多级可拓评价
论文级别:
博士
学位年度:2013
3.
轨道交通信号系统仿真测试与验证技术研究与应用
作者:
王东
关键词:
轨道交通
;
CBTC
;
测试验证
;
仿真
;
信息系统
论文级别:
博士
学位年度:2014
4.
基于模型的高速列车运行控制系统可信性验证方法研究
作者:
赵显琼
关键词:
高速列控系统
;
可信性验证
;
复杂安全苛求系统
;
混成马尔可夫链
;
安全性自动测试
;
无线闭塞中心
论文级别:
博士
学位年度:2012
5.
列控系统需求规范形式化建模与验证方法研究
作者:
谢雨飞
关键词:
列控系统
;
需求规范
;
建模与验证
;
模型转换
论文级别:
博士
学位年度:2012
6.
一种基于失效传播模型的安全分析方法的研究
作者:
牛儒
关键词:
系统安全分析
;
安全苛求信息物理系统
;
CBTC
;
失效传播模型
;
时序逻辑系统
论文级别:
博士
学位年度:2010
7.
无绝缘轨道电路故障诊断方法研究
作者:
孙上鹏
关键词:
轨道电路
;
故障诊断
;
电接触理论
;
支持向量机
;
相空间重构
论文级别:
博士
学位年度:2014
8.
高速铁路列车运行控制系统的形式化建模与验证方法研究
作者:
曹源
关键词:
高速铁路列控系统
;
安全苛求系统
;
验证
;
形式化方法
;
定理证明
论文级别:
博士
学位年度:2011
9.
列车运行控制系统分层形式化建模与验证分析
作者:
吕继东
关键词:
列控系统
;
复杂安全苛求系统
;
分层建模
;
验证
;
形式化方法
;
模型检验
论文级别:
博士
学位年度:2011
10.
CBTC车载系统测试案例设计及优化方法研究
作者:
胡巍巍
关键词:
CBTC
;
车载系统
;
基于需求的测试方法
;
因果图
;
测试案例优化
论文级别:
硕士
学位年度:2010
1
2
按检索点细分(14)
目录(1)
关键词(2)
摘要(10)
引文(1)
按论文级别细分(14)
博士(9)
硕士(5)
按学位年度细分(14)
2009年(3)
2010年(2)
2011年(2)
2012年(2)
2013年(3)
2014年(2)