检索结果-内蒙古大学图书馆

中国铁道科学 2011年第3期32卷 93-99页

作者：刘金涛唐涛徐田华赵林北京交通大学轨道交通控制与安全国家重点实验室北京100044

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相... 详细信息

采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范UML模型进行扩展和抽象。根据转换规则,建立需求规范的NuSMV模型,并对NuSMV模型进行领域无关特性和领域相关特性的验证,通过反例对错误进行追踪、定位和修改。以需求规范中的模式转换为例,采用给出的形式化验证方法对其进行验证,验证结果确认模式转换满足活性、转移性、无死锁性、确定性及安全性的要求;验证过程表明UML与符号模型检验相结合的方法适用于CTCS-3级列控系统需求规范的验证。

关键词：列车控制系统需求规范形式化方法 UML 符号模型检验

来源：评论

学校读者我要写书评

暂无评论

城市轨道交通ATO的节能优化研究

引用

铁道学报 2014年第12期36卷 50-55页

作者：宿帅唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

自动列车驾驶系统ATO通过对列车的速度调节实现列车在站间的自动运行,列车在站间的控制策略决定其运行的能耗。传统的ATO可以根据线路情况、列车当前速度、位置、牵引制动特性以及停车点的位置计算相应的速度曲线,通过一定的控制算法实... 详细信息

自动列车驾驶系统ATO通过对列车的速度调节实现列车在站间的自动运行,列车在站间的控制策略决定其运行的能耗。传统的ATO可以根据线路情况、列车当前速度、位置、牵引制动特性以及停车点的位置计算相应的速度曲线,通过一定的控制算法实现对列车速度的精确追踪,保证列车准点并精确地到达停车点。但是该过程使得列车在站间运行时反复实施牵引力和制动力的转换,能耗较大。本文在传统ATO控制策略的基础上,分析一种基于驾驶策略的ATO控制方法,给出一种ATO节能驾驶策略的求解算法。该算法在保证列车到站时间误差在一定范围的前提下,通过延长列车的惰行距离,减少列车在站间运行的能耗。

关键词：自动列车驾驶系统驾驶策略节能运行

来源：评论

学校读者我要写书评

暂无评论

列车运行控制系统中安全通信协议的形式化分析

引用

铁道学报 2012年第7期34卷 70-76页

作者：陈黎洁单振宇唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修... 详细信息

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。

关键词：安全通信协议 ETCS EURORADIO 有色Petri网形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于客流需求的城际列车时刻表模型改进研究

引用

交通运输系统工程与信息 2017年第3期17卷 157-164页

作者：李得伟丁世顺张琦李姗北京交通大学轨道交通控制与安全国家重点实验室北京100044

列车时刻表的编制是铁路旅客运输组织的关键问题,如何优化时刻表,最大限度缩短旅客的旅行时间,具有重要的理论和现实意义.然而,既有基于客流需求的时刻表优化模型大多数假设列车顺序固定或不允许列车间任意越行,离实际尚有一定差距.针... 详细信息

列车时刻表的编制是铁路旅客运输组织的关键问题,如何优化时刻表,最大限度缩短旅客的旅行时间,具有重要的理论和现实意义.然而,既有基于客流需求的时刻表优化模型大多数假设列车顺序固定或不允许列车间任意越行,离实际尚有一定差距.针对这一问题,本文以最小化旅客在站等待时间和在车旅行时间的线性加权为优化目标,综合考虑列车停站、区间运行、安全间隔、列车容纳能力等约束,在定序无越行和定序有限越行模型的基础上,构建了更一般的非定序任意越行混合整数二次规划模型,并利用ILOG CPLEX分别进行求解.最后,以某城际高铁为例进行案例研究.结果表明,本文所提的非定序任意越行模型求解质量最好,且能有效减少旅客全程旅行时间,具有可行性.

关键词：铁路运输列车时刻表模型混合整数二次规划模型城际高速铁路客流需求

来源：评论

学校读者我要写书评

暂无评论

基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

引用

铁道学报 2012年第7期34卷 49-55页

作者：张友兵唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GS... 详细信息

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。

关键词： CTCS 有色Petri网 RBC切换车载设备

来源：评论

学校读者我要写书评

暂无评论

城市快速路三维集成交通事件自动检测算法

引用

中国公路学报 2011年第5期24卷 94-99页

作者：陈德旺余勇祝陶美北京交通大学轨道交通控制与安全国家重点实验室北京100044

为了及时、准确地检测交通事件并采取有效的管理手段,提高城市快速路交通管理水平,在总结现有交通事件自动检测算法优缺点的基础上,提出了一种基于二维空间和一维时间的交通流异常变化的三维集成交通事件自动检测算法(集成AID算法),并... 详细信息

为了及时、准确地检测交通事件并采取有效的管理手段,提高城市快速路交通管理水平,在总结现有交通事件自动检测算法优缺点的基础上,提出了一种基于二维空间和一维时间的交通流异常变化的三维集成交通事件自动检测算法(集成AID算法),并利用北京市二环快速路上现有的交通流数据及相应的交通事件信息,对提出的集成AID算法进行验证,对其有效性和实用性进行分析。结果表明:该算法能够对快速路交通事件进行有效检测,与各个维度的子算法相比,能有效提高检测率,降低误报率,能够满足实际工程应用的需求。

关键词：交通工程交通事件自动检测三维集成算法城市快速路交通流模型

来源：评论

学校读者我要写书评

暂无评论

高速列车驾驶界面设计中的照明眩光评估

引用

机械工程学报 2016年第8期52卷 170-178页

作者：詹自翔郭北苑方卫宁北京交通大学轨道交通控制与安全国家重点实验室北京100044

高速列车驾驶环境中的照明眩光对界面设计有着十分重要的影响,如何在设计阶段对眩光进行有效的评估,是目前高速列车驾驶界面设计中面临的一个难题。针对高速列车驾驶界面照明环境复杂,眩光源的形状和边界难以判定,眩光计算参数值难以准... 详细信息

高速列车驾驶环境中的照明眩光对界面设计有着十分重要的影响,如何在设计阶段对眩光进行有效的评估,是目前高速列车驾驶界面设计中面临的一个难题。针对高速列车驾驶界面照明环境复杂,眩光源的形状和边界难以判定,眩光计算参数值难以准确采集等问题,提出一种基于统一眩光评估(Unified glare rating,UGR)公式和小光源UGR修正公式的高速列车驾驶界面照明眩光评估模型,在利用视觉仿真方法获得包含驾驶员视觉仿真图像及其每一像素点光度学信息的基础上,通过对视觉仿真图像内的眩光源像素点进行判定、整合和筛除,获取高速列车驾驶界面照明眩光评估模型计算参数值,实现高速列车驾驶界面的眩光评估。采用被试主观评价试验对CRH3型车驾驶界面的12种照明方案进行眩光评估,并与提出的基于视觉仿真的照明眩光评估方法的计算结果进行对比分析,分析结果表明提出的方法与主观感受具有显著的线性关系。该方法可在设计阶段对高速列车驾驶环境照明眩光进行有效评估,为驾驶界面相关设计与优化提供指导。

关键词：高速列车驾驶界面设计视觉仿真照明眩光评估

来源：评论

学校读者我要写书评

暂无评论

大规模城轨路网客流分布推演的建模与仿真方法

引用

铁道学报 2018年第11期40卷 9-18页

作者：蒋熙冯佳平贾飞凡孙捷萍李春晓北京交通大学轨道交通控制与安全国家重点实验室北京100044

大规模网络条件下,如何经济高效地构建仿真系统来实现城市轨道交通路网客流分布的动态推演是一个亟待解决的问题。将"运输流状态网络模型"与有限状态机模型相结合,提出了适用于大规模路网条件下多分辨率客流分布推演的仿真建... 详细信息

大规模网络条件下,如何经济高效地构建仿真系统来实现城市轨道交通路网客流分布的动态推演是一个亟待解决的问题。将"运输流状态网络模型"与有限状态机模型相结合,提出了适用于大规模路网条件下多分辨率客流分布推演的仿真建模方法,给出了利用仿真推演引擎遍历状态网络来实现系统状态动态推演的算法。采用混合式并行仿真任务分解策略,给出了基于网络客流量的域分解方案优化方法,以及基于关键同步事件的子域内时钟协调方法,以简单高效的方式实现并行仿真的时钟推进。自主开发了仿真系统,并以北京地铁为背景构建仿真案例,并对提出的方法进行了验证。

关键词：城市轨道交通并行仿真策略状态推演仿真引擎仿真时钟协调

来源：评论

学校读者我要写书评

暂无评论

基于路网仿真的地铁运营协调性分析

引用

交通运输系统工程与信息 2015年第3期15卷 120-126页

作者：蒋熙孙捷萍张弛李元培苗建瑞北京交通大学轨道交通控制与安全国家重点实验室北京100044

面向地铁运营状态的动态性、不确定性及多因素动态关联性,采用路网运营仿真技术,基于路网客流分布状态变化,从网络整体角度研究地铁运营协调性的定量分析方法.将运营协调决策问题分成资源配置、服务设计、客流控制三个层次,提出利用运... 详细信息

面向地铁运营状态的动态性、不确定性及多因素动态关联性,采用路网运营仿真技术,基于路网客流分布状态变化,从网络整体角度研究地铁运营协调性的定量分析方法.将运营协调决策问题分成资源配置、服务设计、客流控制三个层次,提出利用运能需求匹配度,将系统不同层次的协调性进行关联分析的思想.从运输单元运能需求匹配度的均衡性和换乘服务效能两个方面构建网络运营协调性分析指标,给出基于分布熵的协调性指数计算方法.构建地铁路网运营中观仿真模型,给出面向协调性研究的路网仿真实验流程.最后,以北京地铁为例,进行案例研究,利用路网客流分布仿真实验数据分析两条线路的运营协调性,给出优化后的列车开行间隔.

关键词：城市交通城市轨道交通运营协调性系统仿真地铁路网定量分析

来源：评论

学校读者我要写书评

暂无评论

基于偏好顺序集的非补偿式铁路旅客选择行为估计方法

引用

交通运输系统工程与信息 2017年第6期17卷 120-125,154页

作者：赖晴鹰刘军马敏书骆泳吉北京交通大学轨道交通控制与安全国家重点实验室北京100044

精细化需求预测是铁路提高收益的重要基础.本文考虑了铁路产品属性对于旅客选择行为的影响,构建具有一定偏好顺序的产品集合来表征不同类型的旅客.在此基础上,利用客票存根及余票数据,建立预售期内旅客选择过程的极大似然函数,求解得到... 详细信息

精细化需求预测是铁路提高收益的重要基础.本文考虑了铁路产品属性对于旅客选择行为的影响,构建具有一定偏好顺序的产品集合来表征不同类型的旅客.在此基础上,利用客票存根及余票数据,建立预售期内旅客选择过程的极大似然函数,求解得到不同旅客类型的出现概率.首先通过仿真算例验证了模型的计算可行性,然后通过实证数据,估算了北京南至上海虹桥方向不同旅客类型在各时段的出现概率,进一步统计得到旅客在不同时段下铁路旅客buy-up行为概率及属性敏感度的变化,并提出一些可用于优化售票策略的建议.

关键词：铁路运输选择行为选择偏好集客票数据非补偿原则

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：