您的位置： 专家智库 > >

刘金涛

作品数：11 被引量：48H指数：6
供职机构：北京交通大学更多>>
发文基金：国家高技术研究发展计划国家重点实验室开放基金国家自然科学基金更多>>
相关领域：交通运输工程自动化与计算机技术环境科学与工程经济管理更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 4篇专利
  • 1篇学位论文

领域

  • 7篇交通运输工程
  • 3篇自动化与计算...
  • 1篇经济管理
  • 1篇环境科学与工...

主题

  • 5篇铁路
  • 5篇列车
  • 5篇列控系统
  • 4篇CTCS-3...
  • 3篇形式化
  • 3篇形式化方法
  • 3篇列车控制
  • 3篇列车控制系统
  • 2篇调度
  • 2篇调度集中
  • 2篇调度集中系统
  • 2篇体系化
  • 2篇铁路工程
  • 2篇铁路工程建设
  • 2篇铁路建设
  • 2篇铁路建设工程
  • 2篇统调
  • 2篇系统调度
  • 2篇列车运行
  • 2篇列车运行控制

机构

  • 11篇北京交通大学
  • 2篇中国铁道科学...
  • 2篇中国国家铁路...

作者

  • 11篇刘金涛
  • 6篇唐涛
  • 6篇赵林
  • 2篇郑伟
  • 2篇王洪伟
  • 2篇吴道华
  • 2篇刘磊
  • 2篇高鹏飞
  • 2篇李宪
  • 2篇张大林
  • 1篇徐田华
  • 1篇刘超

传媒

  • 3篇铁道学报
  • 3篇中国铁道科学

年份

  • 3篇2023
  • 1篇2021
  • 2篇2015
  • 1篇2014
  • 1篇2013
  • 2篇2012
  • 1篇2011
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于微分动态逻辑的无线闭塞中心交接协议建模与验证被引量：7
2012年
ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。
刘金涛唐涛赵林刘玉鹏
关键词：列车控制系统混成系统UML图
基于UML扩展机制的列控系统建模方法研究被引量：7
2012年
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。
赵林唐涛刘金涛刘超李宪
关键词：UML扩展机制对象约束语言列车运行控制系统
基于STPA的CTCS-3级列控系统功能安全分析方法被引量：7
2014年
利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析。以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析。分析结果表明,利用形式化技术扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
刘金涛唐涛赵林刘磊
关键词：列车控制系统
普速铁路CTC系统调度集中模式下操作方式优化算法
本发明提供了一种普速铁路CTC系统调度集中模式下操作方式优化算法，包括：提取待优化车站的特征类型；对待优化车站的车站作业复杂度进行计算；根据待优化车站的特征类型，选取与待优化车站同类型车站作为优化对比车站；计算选取的优化...
刘金涛丁治敏王瑞斌李军于世武
文献传递
一种铁路工程建设项目风险管理方法
本发明提供了一种铁路工程建设项目风险管理方法。本发明基于DoDAF规范化体系结构描述方法和FAHP层级分析结构模型提出，是一种适用于铁路建设工程项目的多维度全生命周期工程建设项目风险管理方法。本发明所提基于DoDAF和F...
高鹏飞郑伟王洪伟刘金涛吴道华张大林
一种铁路工程建设项目风险管理方法及系统
本发明提供一种铁路工程建设项目风险管理方法及系统，属于工程项目风险预测管理技术领域，收集铁路工程建设项目数据信息；建立/更新项目信息库，构建基于DoDAF的风险管理模型，确定风险管理实施细则；根据确定的风险管理实施细则和...
高鹏飞郑伟王洪伟刘金涛吴道华张大林
基于UML的CTCS-3级列控系统需求规范形式化验证方法被引量：9
2011年
采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改。以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证。
刘金涛唐涛徐田华赵林
关键词：列车控制系统形式化方法符号模型检验
基于STPA的需求阶段的高速列车运行控制系统安全分析方法研究
高速列车运行控制系统（简称高速列控系统）是高速铁路的核心技术和关键装备，对于确保高速列车运行安全和运输效率起着重要的作用。一旦高速列控系统出现问题，将有可能造成行车中断，甚至是车毁人亡的严重后果。为保障高速列控系统的安全...
刘金涛
关键词：高速铁路列车运行控制系统安全管理
基于控制关系模型的CTCS-3级列控系统功能安全分析方法被引量：6
2015年
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
刘金涛唐涛赵林刘磊
关键词：CTCS-3级列控系统形式化方法
基于UML模型的CTCS-3级列控系统功能安全分析方法被引量：10
2013年
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。
刘金涛唐涛赵林李宪
关键词：形式化方法UML可达集
全选 清除 导出
共2页<12>
聚类工具0