您的位置： 专家智库 > >

燕飞

作品数：40 被引量：307H指数：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年
从城市轨道交通信息安全面临的严峻形势出发,介绍城轨交通信号系统组成,并对信号系统各子系统功能进行阐述。城轨交通信号系统是保证列车安全、准点、高密度运行的重要技术装备,主要由列车自动监控子系统、列车自动防护子系统、列车自动运行子系统、联锁子系统组成。根据信息安全风险分析模型,识别城轨交通信号系统信息安全的威胁来源及核心资产。由于城轨交通系统属于工业控制系统的典型系统,城轨信号系统则具备工控系统的一般性特点,继承工控系统的脆弱性。针对国内城轨交通信息安全研究的空白之处,结合工控系统不同层级结构的脆弱性,从技术和管理两个方面进行信号系统的信息安全风险辨识,通过分析发现存在物理安全、网络安全、主机安全和应用安全等层次上的风险。风险辨识结果反映出城轨交通信息安全存在大量的薄弱环节,以期为日后的研究和防护工作的开展打下基础。
陈嘉怡燕飞
关键词：城市轨道交通信号系统信息安全脆弱性分析
大城市低碳轨道交通模型与标准研究
低碳经济是应对全球变暖，保证可持续发展的重要课题。发展城市轨道交通对于提升交通部门的能源利用水平、降低交通部门的碳排放水平、解决大城市的拥堵问题，具有重大意义。通过分析大城市低碳轨道交通模型和标准，结合低碳城市和低碳交通...
郜春海燕飞
关键词：低碳发展轨道交通
贝叶斯网络在轨道交通屏蔽门系统安全分析中的应用被引量：9
2011年
安全是城市轨道交通的重要因素。随着轨道交通系统复杂度的不断提高、系统动态性和可维修性的不断增加,典型的故障树法和事件树法已经不能满足系统的故障预测与故障定位分析。探讨了使用贝叶斯网络进行轨道交通屏蔽门的安全评价。这是首次将贝叶斯网络引入轨道交通系统的安全分析中。建立了轨道交通屏蔽门系统模型,构造了轨道交通屏蔽门的贝叶斯网络,分析造成屏蔽门夹人这一危险源的原因和后果;同时比较了贝叶斯网络安全分析法与经典分析法的结果。结果表明,静态的贝叶斯网络在分析上可以作为经典故障树法和事件树法的综合分析法,其双向推理可以在相应的证据输入的支持下获得系统的故障预测概率,并判断出故障发生后系统部件对故障的贡献概率,从而为系统的设计和维护提供建议。
商晖燕飞李开成
关键词：贝叶斯网络城市轨道交通
列车运行控制系统安全保障与认证方法研究被引量：8
2010年
为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行。结合CENELEC国际标准和我国应用实践,提出以安全验证和确认为基础的安全保障与认证方法,将安全验证和确认的方法贯穿于系统研制开发生命周期内的每一个阶段,监控系统研制开发的每一个活动,评审系统研制开发的每一个文档,保证相关文档之间的追溯性,针对系统的所有需求进行完备性和充分性测试,才能够确保列车运行控制系统能安全、可靠地投入使用。列车运行控制系统是轨道交通系统的重要组成部分,关系其运行安全和效率2,010年底采用安全验证和确认的方法成功地将LCF-300型列车运行控制系统应用于北京轨道交通亦庄线和昌平线,并顺利通过英国劳氏公司的第三方安全认证。
燕飞
关键词：轨道交通列车运行控制系统安全苛求系统
面向列车虚拟编队的动态安全分析方法
本发明提供一种面向列车虚拟编队的动态安全分析方法，包括如下步骤，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时间自动机
一种列车开行方案评估方法
本发明属于铁路列车开行方案设计领域，具体涉及一种列车开行方案评估方法。所述方法在列车开行方案的编制过程中，采用复杂网络理论将生成的初始开行方案映射成列车服务网络，通过全面分析影响网络负载能力的因素，对整个网络中各车站的繁...
董海荣胡星竹周敏刘仁伟王洪伟燕飞
全选 清除 导出
共4页<1234>
聚类工具0