位置：立项数据库 > 立项详情页
高速铁路信号系统安全评估基础理论与方法研究
  • 项目名称：高速铁路信号系统安全评估基础理论与方法研究
  • 项目类别：联合基金项目
  • 批准号：U1434209
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：唐涛
  • 依托单位：北京交通大学
  • 批准年度：2014
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 12
  • 0
  • 0
  • 0
  • 0
期刊论文
基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究
基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析
改进ANP的无线闭塞中心管控能力评价模型
基于SAT的应答器工程数据逻辑规则提取及验证
城轨计算机联锁的数据安全性验证
区间占用检查逻辑的建模与安全分析
基于通信的列车运行控制系统安全通信协议的性能分析
基于Markov决策过程的列控系统定量安全分析方法
基于Testcase Designer的列车运行控制系统测试方法的研究
新形势下国际私法教学思考——以“高铁走出去”的法律服务为视角
城市轨道交通全自动运行系统及安全需求
基于CRCCTst的CTCS-3级列控系统测试方法研究
唐涛的项目
列车运行控制及组织的基础理论与关键技术研究
期刊论文 97 会议论文 35 获奖 7 专利 7 著作 1