国际科技合作与交流专项项目(2012DFG81600)

作品数：4被引量：24H指数：3
导出分析报告
相关作者：唐涛赵林牛儒刘磊刘金涛更多>>
相关机构：北京交通大学中国铁道科学研究院更多>>
相关期刊：《交通运输工程学报》《铁路计算机应用》《铁道学报》更多>>
相关主题：GSNSTRUCTURING安全保障轨道交通信号系统系统开发更多>>
相关领域：交通运输工程自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于控制关系模型的CTCS-3级列控系统功能安全分析方法被引量：6
《铁道学报》2015年第8期36-43,共8页刘金涛 唐涛 赵林 刘磊 
国家国际科技合作项目(2012DFG81600);轨道交通控制与安全国家重点实验室自主课题(RCS2015ZT002)
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...
关键词：STPA CTCS-3级列控系统 形式化方法 功能安全分析 
改进ANP的无线闭塞中心管控能力评价模型被引量：5
《交通运输工程学报》2015年第1期108-118,共11页陈建球 唐涛 袁磊 
国家自然科学基金项目(61374201;U1434209);国家国际科技合作专项项目(2012DFG81600);轨道交通控制与安全国家重点实验室自主研究课题(RCS2014ZT06;RCS2011ZZ001)
分析了影响无线闭塞中心(RBC)管控能力的多种因素,研究了不同因素间的关系,应用网络层次分析法(ANP)建立了RBC管控能力评价模型。为了降低评价中人为主观性影响与提高评价结果的可信性,在ANP评价过程引入了专家均值置信法,建立了ANP评...
关键词：列车运行控制系统 无线闭塞中心 管控能力 网络层析分析法 专家均值置信法 
安全论证方法及其在铁路信号开发安全保障中的应用被引量：11
《铁道学报》2014年第4期54-59,共6页牛儒 唐涛 
国家国际科技合作专项(2012DFG81600);北京交通大学基本科研项目(2013JBM125;2012JBZ 014);博士点基金青年教师基金项目(20130009120034)
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的...
关键词：轨道交通信号系统 安全论证 系统开发安全保障 GSN(goal STRUCTURING notation) 
属性驱动的列车控制系统需求建模与验证被引量：2
《铁路计算机应用》2014年第2期1-6,共6页何丽芸 赵林 程瑞军 
国家国际科技合作专项项目(2012DFG81600);北京交通大学轨道交通控制与安全国家重点实验室自主课题项目(No.RCS2012ZT006)
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础。通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求...
关键词：需求规范 验证 列车控制系统 仿真 可实现性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部