专题首页
中图分类法(76)
工业技术(30)
交通运输(50)
在“
CNKI学位论文
”中，
命中：
76
条，耗时：小于0.01 秒
1.
CTCS-3级列控系统RBC报文安全传输的研究
作者：
李嘉懿
关键词：
RBC
;
MAC
;
列车车载设备
;
无线报文传输
;
对等实体认证
论文级别：
硕士
学位年度：2011
2.
城市轨道交通CBTC系统区域控制器的研究与仿真
作者：
李凤华
关键词：
CBTC
;
移动闭塞
;
区域控制器
;
移动授权
;
ZC切换
论文级别：
硕士
学位年度：2011
3.
城市轨道交通区域控制器的研究
作者：
刘晓磊
关键词：
CBTC
;
区域控制器
;
移动授权
;
有色Petri网
;
VC++
论文级别：
硕士
学位年度：2011
4.
基于运行时验证的列控系统形式分析
作者：
柴铭
关键词：
CTCS-3
;
运行时验证
;
重写逻辑
;
4真值LTL
;
Maude
;
负近似
;
通信会晤建立
;
RBC交接
论文级别：
硕士
学位年度：2011
5.
高速铁路列控系统地面设备维修决策支持系统研究
作者：
胡岳鹏
关键词：
高速铁路列控系统
;
决策支持系统
;
数据仓库
;
故障树分析法
;
灰色系统
论文级别：
硕士
学位年度：2011
6.
基于FPGA的可靠性设计
作者：
周莹
关键词：
可靠性
;
亚稳态
;
FPGA
;
容错冗余
;
二乘二取二
论文级别：
硕士
学位年度：2012
7.
运输组织与区域控制一体化设计的现代有轨电车中央运行控制系统研究
作者：
吴成元
关键词：
现代有轨电车
;
运行控制
;
运输组织与区域控制
;
一体化设计
论文级别：
硕士
学位年度：2012
8.
CTCS-3级列控系统RBC设置及容量计算方法研究
作者：
赵宇坤
关键词：
RBC
;
GSM-R
;
设置
;
容量
;
Petri网
论文级别：
硕士
学位年度：2011
9.
基于时间自动机的CTCS-3级列控车载设备建模与验证
作者：
曹加云
关键词：
CTCS-3级列控系统
;
车载设备工作流程
;
时间自动机
;
建模
;
UPPAAL
论文级别：
硕士
学位年度：2010
10.
CTCS-3级计算机联锁系统仿真实现
作者：
王亚东
关键词：
铁路信号
;
计算机联锁
;
Visual
;
C++
;
仿真
论文级别：
硕士
学位年度：2011
1
2
3
4
5
6
7
8
按检索点细分(76)
题名(10)
目录(11)
关键词(14)
摘要(34)
引文(58)
按论文级别细分(76)
博士(7)
硕士(69)
按学位年度细分(76)
2006年(1)
2007年(1)
2008年(5)
2009年(13)
2010年(8)
2011年(18)
2012年(24)
2013年(5)
2014年(1)