国家自然科学基金(60634010)
- 作品数:62 被引量:555H指数:14
- 相关作者:唐涛毛保华丁勇刘海东杜鹏更多>>
- 相关机构:北京交通大学香港理工大学西安交通大学更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域:交通运输工程自动化与计算机技术机械工程经济管理更多>>
- 我国铁路列车运行计划集成编制方法研究被引量:15
- 2009年
- 根据我国建国以来铁路列车运行计划编制的特点,将编制方法分为4个阶段,分析归纳了4个阶段编制方法的基本特征、主要成果、与发达国家的差异及存在问题.接着,论文根据列车运行计划编制涉及的主要方法与技术,从列车运行图、人员与设备周转计划、车站作业计划、方案计算验证4个方面分析了列车运行计划编制的主要方法和技术关键.通过对列车运行计划集成编制的研究,提出了新一代列车运行综合计划编制的系统框架、需要突破的关键科学问题以及技术实现的要点.最后,结合作者在该领域已经取得的研究进展,阐述了新一代列车运行综合计划系统编制的功能及其应用案例.
- 毛保华王保山徐彬刘海东陈建华杜鹏
- 关键词:中国铁路列车运行计划集成技术
- 地铁车站内乘客疏散时间计算方法研究被引量:33
- 2008年
- 在分析实测数据的基础上,针对地铁车站内乘客疏散时间计算问题建立了考虑人群密度、空间环境变化的数学模型.文中分别对乘客下车过程、站台、通道和楼梯的行走过程、使用自动扶梯过程以及通过出口过程进行分析研究,以乘客疏散过程为依据建立基于统计学与排队理论的综合计算模型,给出了适合计算地铁车站内乘客出站所需疏散时间的方法.本文以西直门地铁站乘客疏散为案例验证了所建立计算模型的有效性及实用性,模型计算结果与观测数据的总体误差约为2.25%,其中仅楼梯阶段与出口的通行时间计算误差超过10%.案例研究结果还表明地铁车站疏散能力存在上限,在进行地铁车站设计与列车运行计划制定的过程中应充分考虑这一限制因素.
- 陈绍宽李思悦李雪洪婧赖瑾璇蔡培
- 关键词:疏散时间地铁车站
- CTCS-3级列控系统车载设备测试序列的优化被引量:13
- 2010年
- 如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法.
- 李伟王海峰
- 关键词:车载设备遗传算法邮递员问题
- 基于GA_GSQP算法的设备维修计划优化模型被引量:5
- 2009年
- 维修工作是提高设备可靠性、保证设备正常运行的有效措施,本文建立了维修费用约束下可靠性最大的预维修计划优化模型.该模型以平均可靠性为优化目标,考虑了维修费用、维修间隔、设备运行总时间等约束.本文建立的模型为一般非线性优化问题,设计了基于全局序列二次规划方法(global sequential quadraticprogramm ing,GSQP)的改进遗传算法(GA_GSQP)进行求解.最后,在算例中以GSQP算法、遗传算法和禁忌搜索算法的优化结果作比较,分析了所设计的GA_GSQP遗传算法的优化效果.
- 陈绍宽毛保华郭谨一贾文峥
- 关键词:遗传算法
- 轨道交通GPS错误数据检测算法研究及验证被引量:5
- 2007年
- 对某线两车站间轨道的58601组GPS测量数据的分析发现,数据存在测量过密或重复记录、测量过疏或忘记记录、往返测量、测量或记录错误等4种错误模式。为此提出对应的4种算法进行检测判断:针对前2种错误模式,根据相邻两点之间的距离来判断;针对错误模式3,根据当前点和其后第2点之间的间隔距离来判断;针对错误模式4,根据相邻线段的角度变化来判断。利用Matlab编程实现了算法,以58601组数据为例进行计算和确认,并与人工判断相比较。结果表明:该算法是有效的,检出率为100%,大幅压缩了检测时间,既减少了工作量,也保证了判断的正确性。
- 陈德旺蔡伯根唐涛
- 关键词:测量数据GPS测量轨道交通
- 电动自行车干扰下的HCM2000模型算法研究
- 2016年
- 在城市道路交叉口,电动自行车(简称电动车)对机动车通过交叉口的通行效率产生了很大干扰,本文对电动车产生的干扰进行了研究,通过对昆明市多个交叉口的数据分析,结合交叉口禁左的渠化设计,以绿灯时间内的干扰时间长度(干扰时间)、电动车流量、电动车交叉口越线车辆数为干扰因子,用SPSS分析直行机动车流率和三个因素之间的相关性,确定三个参数的影响系数,重新标定HCM2000中对直行车通行能力的计算公式,计算结果与不受干扰时的数据进行对比,发现在绿灯时间内有25%的直行机动车受干扰,最后通过调查另外五个交叉口,对模型进行验证,对比结果表明,改进后的算法能够更好的反应实际通行能力。
- 赵强成卫孙娇
- 关键词:交通工程通行能力电动自行车SPSS
- 城市轨道交通检票机配置的仿真研究
- 主要介绍了确定合理检票机台数的仿真计算方法。针对城市轨道交通检票排队系统的乘客到达特征和排队规则,根据离散事件系统的事件步长法对排队过程设计了仿真算法,编制了仿真计算程序。仿真程序可以模拟服从不同分布规律的乘客到达间隔时...
- 冯伟王祎南丁勇王学勇李凯胜
- 关键词:检票机仿真
- 文献传递
- 概率模型检验的CBTC系统通信协议的形式化验证被引量:4
- 2009年
- 通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×10-10.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.
- 谢雨飞徐田华唐涛
- 关键词:CBTC系统通信协议形式化验证
- 列车运行控制系统设计正确性的验证方法被引量:3
- 2010年
- 为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时,CTCS-3级列车运行控制系统设计的正确性.
- 曹源唐涛罗丹穆建成
- 关键词:交通信息工程形式化方法列车运行控制系统安全苛求系统
- 多端口形式化测试自动生成方法在CTCS-3车载系统中的应用被引量:10
- 2011年
- 针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA)。LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套。文中还描述了运用UP-PAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成。
- 赵显琼唐涛
- 关键词:CTCS时间自动机车载系统UPPAALCOVER