CNKI学位论文(37)
知网期刊论文(69)
中图分类法(37)
哲学、宗教(1)
经济(1)
文化、科学、教育、体育(4)
历史、地理(6)
自然科学总论(1)
工业技术(9)
交通运输(16)
在“
CNKI学位论文
”中，
命中：
37
条，耗时：0.011995 秒
在所有数据库中总计命中：
106
条
1.
CTCS-3列控仿真平台控制中心的设计与实现
作者：
房晨
关键词：
CTCS-3
;
列控仿真平台
;
控制中心子系统
;
程序设计
;
数据库
论文级别：
硕士
学位年度：2011
2.
利用OPNET仿真分析CBTC系统中通信参数对列控的影响
作者：
张静
关键词：
CBTC
;
车地通信
;
802.11
;
AP间隔
;
连续丢包
;
越区切换
;
OPNET
论文级别：
硕士
学位年度：2010
3.
GSM-R网络干扰分析和优化策略研究
作者：
孙可
关键词：
GSM-R网络
;
干扰检测
;
分类挖掘
;
NBtree
;
J48
;
频率分配模型
;
遗传禁忌干扰优化策略
论文级别：
硕士
学位年度：2012
4.
CTCS-3级列控系统RBC设置及容量计算方法研究
作者：
赵宇坤
关键词：
RBC
;
GSM-R
;
设置
;
容量
;
Petri网
论文级别：
硕士
学位年度：2011
5.
基于CPN的CTCS-3级列控系统RBC切换的建模与分析
作者：
张友兵
关键词：
有色Petri网
;
CTCS-3级
;
RBC切换
;
建模
;
仿真
论文级别：
硕士
学位年度：2010
6.
高速铁路列车运行控制系统的形式化建模与验证方法研究
作者：
曹源
关键词：
高速铁路列控系统
;
安全苛求系统
;
验证
;
形式化方法
;
定理证明
论文级别：
博士
学位年度：2011
7.
列车运行控制系统分层形式化建模与验证分析
作者：
吕继东
关键词：
列控系统
;
复杂安全苛求系统
;
分层建模
;
验证
;
形式化方法
;
模型检验
论文级别：
博士
学位年度：2011
8.
传统堡寨聚落研究
作者：
王绚
关键词：
设防
;
防御性聚落
;
堡寨聚落
;
层级防御
;
精神防卫
论文级别：
博士
学位年度：2004
9.
唐代河东地区科学技术文化源流汇考
作者：
吴保安
关键词：
唐代
;
河东地区
;
山西
;
科学
;
技术
;
文化
论文级别：
博士
学位年度：2009
10.
面向混成特性的CTCS-3系统规范建模与验证
作者：
刘玉鹏
关键词：
CTCS-3系统规范
;
混成性
;
建模与验证
;
UML扩展机制
;
微分动态逻辑
论文级别：
硕士
学位年度：2012
1
2
3
4
按检索点细分(37)
作者(1)
引文(37)
按论文级别细分(37)
博士(12)
硕士(25)
按学位年度细分(37)
2004年(1)
2005年(1)
2007年(1)
2008年(1)
2009年(5)
2010年(7)
2011年(8)
2012年(12)
2013年(1)