您的位置： 专家智库 > >

燕飞

作品数：40 被引量：306H指数：11
供职机构：北京交通大学更多>>
发文基金：国家自然科学基金铁道部科技研究开发计划“十一五”国家科技支撑计划更多>>
相关领域：交通运输工程自动化与计算机技术经济管理环境科学与工程更多>>

合作作者

文献类型

  • 24篇期刊文章
  • 7篇专利
  • 6篇会议论文
  • 1篇学位论文

领域

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

主题

  • 20篇轨道交通
  • 17篇列车
  • 11篇列车运行
  • 8篇城市轨道交通
  • 7篇列车运行控制
  • 5篇动态安全
  • 5篇信号系统
  • 5篇形式化
  • 5篇轨道交通信号
  • 5篇编队
  • 5篇CBTC
  • 4篇网络
  • 4篇安全评估
  • 3篇铁路
  • 3篇铁路安全
  • 3篇通信
  • 3篇系统安全
  • 3篇列车安全
  • 3篇列车运行控制...
  • 3篇安全苛求系统

机构

  • 38篇北京交通大学
  • 1篇英国阿特金斯...
  • 1篇中国铁路经济...
  • 1篇北京交控科技...
  • 1篇交控科技股份...

作者

  • 38篇燕飞
  • 17篇唐涛
  • 10篇郜春海
  • 5篇牛儒
  • 3篇李开成
  • 2篇王洪伟
  • 2篇周敏
  • 2篇董海荣
  • 1篇吕继东
  • 1篇马琳
  • 1篇张岩
  • 1篇赵显琼
  • 1篇商晖
  • 1篇闫宏伟
  • 1篇徐天华

传媒

  • 9篇都市快轨交通
  • 5篇中国安全科学...
  • 4篇铁道学报
  • 3篇城市轨道交通...
  • 1篇铁道通信信号
  • 1篇市政技术
  • 1篇北京交通大学...
  • 1篇2005年全...
  • 1篇2005世界...
  • 1篇2009年系...
  • 1篇Thirte...
  • 1篇2010中国...

年份

  • 1篇2024
  • 3篇2022
  • 4篇2021
  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 2篇2017
  • 1篇2015
  • 1篇2013
  • 5篇2011
  • 4篇2010
  • 3篇2009
  • 2篇2006
  • 7篇2005
  • 1篇2004
共 40 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
轨道交通列车运行控制系统的形式化建模和模型检验方法研究
在现代公共交通体系中，轨道交通系统具有不可替代的突出地位。目前，我国的轨道交通正处在一个史无前例的大发展时期，人们对它有着很高的期望和要求。如何实现列车安全、快速、高效地运行，是摆在相关科研人员面前的一个突出问题。列车运...
燕飞
关键词：轨道交通列车运行控制系统安全系统
城市轨道交通信号系统信息安全风险辨识被引量：11
2018年
从城市轨道交通信息安全面临的严峻形势出发,介绍城轨交通信号系统组成,并对信号系统各子系统功能进行阐述。城轨交通信号系统是保证列车安全、准点、高密度运行的重要技术装备,主要由列车自动监控子系统、列车自动防护子系统、列车自动运行子系统、联锁子系统组成。根据信息安全风险分析模型,识别城轨交通信号系统信息安全的威胁来源及核心资产。由于城轨交通系统属于工业控制系统的典型系统,城轨信号系统则具备工控系统的一般性特点,继承工控系统的脆弱性。针对国内城轨交通信息安全研究的空白之处,结合工控系统不同层级结构的脆弱性,从技术和管理两个方面进行信号系统的信息安全风险辨识,通过分析发现存在物理安全、网络安全、主机安全和应用安全等层次上的风险。风险辨识结果反映出城轨交通信息安全存在大量的薄弱环节,以期为日后的研究和防护工作的开展打下基础。
陈嘉怡燕飞
关键词：城市轨道交通信号系统信息安全脆弱性分析
大城市低碳轨道交通模型与标准研究
低碳经济是应对全球变暖，保证可持续发展的重要课题。发展城市轨道交通对于提升交通部门的能源利用水平、降低交通部门的碳排放水平、解决大城市的拥堵问题，具有重大意义。通过分析大城市低碳轨道交通模型和标准，结合低碳城市和低碳交通...
郜春海燕飞
关键词：低碳发展轨道交通
面向列车虚拟编队的动态安全分析方法
本发明提供一种面向列车虚拟编队的动态安全分析方法，包括如下步骤，S1获取线路内的列车参数信息及线路运行参数信息；S2建立列车的单车运动模型，并获取列车的状态更新方程；S3根据状态更新方程建立相对坐标系下的虚拟编队列车运行...
燕飞杨一鸣牛儒
基于V模型的ATS软件验证方法研究
2017年
轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。
梁鸿煜燕飞
关键词：城市轨道交通V模型
城市轨道交通全自动运行系统及安全需求被引量：32
2017年
结合国内外全自动运行系统的运营研究资料,介绍国际轨道交通全自动运行系统发展状况,探讨全自动运行系统的功能结构。结合IEC62267与IEC62290等国际标准,论述全自动运行系统典型的系统功能与安全需求。以系统FAM与CAM模式转换为例,对运营场景进行分析研究,如实反映列车全自动驾驶系统真实的运营过程,在建模之前需对系统的功能进行梳理,实现需求到场景的追踪,以确保所建模型与功能需求的一致性,即此模型表达系统最终需要完成哪些功能,这些功能之间的关系如何以及系统完成这些功能需要与哪些外部参与者或系统实现交互。对全自动运行系统展开深入而全面的研究,对我国自主研发全自动运行系统提出参考建议,为全自动运行系统的安全运营保驾护航。
闫宏伟燕飞
关键词：城市轨道交通安全需求
基于UPPAAL的城市轨道交通CBTC区域控制子系统建模与验证被引量：18
2009年
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。
吕继东唐涛燕飞徐天华
关键词：UPPAAL时间自动机
一种列车开行方案评估方法
本发明属于铁路列车开行方案设计领域，具体涉及一种列车开行方案评估方法。所述方法在列车开行方案的编制过程中，采用复杂网络理论将生成的初始开行方案映射成列车服务网络，通过全面分析影响网络负载能力的因素，对整个网络中各车站的繁...
董海荣胡星竹周敏刘仁伟王洪伟燕飞
功能安全分析及建模方法研究
随着世界范围轨道交通的蓬勃发展，为确保轨道交通列车运行安全和提高运输效率，迫切需要装备性能先进、安全可靠的列车运行控制系统。功能安全分析方法(FSA)是一种基于安全苛求系统功能的安全分析方法,结合了FMEA、HAZOP等...
燕飞赵显琼唐涛
关键词：轨道交通列车运行自动控制
文献传递
IEC61508及其在铁路安全相关系统研制开发中的应用研究被引量：18
2005年
铁路是一个对系统设备安全性、可靠性要求很高的行业,列车提速又给铁路安全提出了新的要求,迫切需要建立一套铁路安全标准和评估体系,使得铁路安全管理规范化、标准化、国际化。借鉴国外铁路安全技术和标准,并结合我国铁路行业的实际情况来建立这个体系是比较可行的方法。文章首先对功能安全国际标准IEC61508进行了介绍和分析,然后对该标准在铁路安全相关系统研制、开发和评估过程中的应用进行初步探讨。
燕飞唐涛
关键词：铁路安全IEC61508安全评估安全相关系统
全选 清除 导出
共4页<1234>
聚类工具0