公共文化服务平台

共 4 条记录，以下是 1-4

全选清除导出

排序方式：

改进ANP的无线闭塞中心管控能力评价模型被引量：5: 2015年; 分析了影响无线闭塞中心(RBC)管控能力的多种因素,研究了不同因素间的关系,应用网络层次分析法(ANP)建立了RBC管控能力评价模型。为了降低评价中人为主观性影响与提高评价结果的可信性,在ANP评价过程引入了专家均值置信法,建立了ANP评价模型。以京沪高铁和郑西高铁下行区段第1个RBC(RBC-JH1、RBC-ZX1)的实际布置为例,使用SD软件求解模型,获得了RBC管控能力影响因素的定量排序。研究结果表明:管辖范围、控制车站数、非周期数据处理、注册受控列车数量、单个RBC最大控车容量、周期数据处理、车站复杂度、无线信道传输延时的权重分别为0.167、0.095、0.092、0.090、0.086、0.072、0.064、0.058,它们对RBC管控能力的影响较大,在实际RBC布置中,需要优先考虑这些因素;得到了RBC-JH1的权重为0.037,RBC-ZX1的权重为0.039,结合需要优先考虑的因素,建议RBC-JH1的管辖范围可以扩展至中继站6。改进ANP评价模型对无线闭塞中心管控能力评价的适用性较好,结合已有的RBC布置数量计算公式,可确定一条线路RBC管控范围和布置数量。; 陈建球唐涛袁磊; 关键词：列车运行控制系统无线闭塞中心管控能力

属性驱动的列车控制系统需求建模与验证被引量：2: 2014年; 形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础。通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求。首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性。该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径。并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性。; 何丽芸赵林程瑞军; 关键词：列车控制系统仿真

安全论证方法及其在铁路信号开发安全保障中的应用被引量：10: 2014年; 随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。; 牛儒唐涛; 关键词：轨道交通信号系统 STRUCTURING

基于控制关系模型的CTCS-3级列控系统功能安全分析方法被引量：6: 2015年; 本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。; 刘金涛唐涛赵林刘磊; 关键词：CTCS-3级列控系统形式化方法

全选清除导出

共1页<1>

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