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

西安交通大学学报 2014年第4期48卷 133-138页

作者：田寅贾利民董宏辉李海舰北京交通大学轨道交通控制与安全国家重点实验室北京100044

列车通信网络的物理拓扑结构和逻辑拓扑结构优化问题关系到列车控制系统及安全监测系统的性能和经济效益。对列车通信网络的设计问题进行建模,通过双层规划的思想,将列车通信网络的可靠性、建造费用与通信效率纳入统一的决策过程,从而... 详细信息

列车通信网络的物理拓扑结构和逻辑拓扑结构优化问题关系到列车控制系统及安全监测系统的性能和经济效益。对列车通信网络的设计问题进行建模,通过双层规划的思想,将列车通信网络的可靠性、建造费用与通信效率纳入统一的决策过程,从而建立科学的列车通信网络最优性能模型。上层规划以最低建造成本为目标,约束条件为网络可靠性;下层规划以最大通信效率为目标,约束条件为建造费用和网络物理拓扑。最后利用一种基于遗传算法和Floyd算法的混合求解过程对列车通信网络综合规划模型进行求解,得到满足网络稳定性要求下的最小费用设计方案及该方案下的最优效率通信方式。通过对实例结果的分析表明,文中提出的模型是切实有效的。

关键词：列车通信网络双层规划遗传算法可靠性

来源：评论

学校读者我要写书评

暂无评论

基于词项和语义融合的地铁信号设备故障文本预处理

引用

铁道学报 2021年第2期43卷 78-85页

作者：胡小溪牛儒唐涛北京交通大学轨道交通控制与安全国家重点实验室北京100044

数据预处理是数据驱动故障诊断的前提,为了更好地提取数据特征,针对地铁信号设备的故障记录提出一种基于词项和语义融合的文本自动预处理方法。采用隐式马尔可夫链识别特定线路的信号专有词汇,结合既有词库形成特定线路信号专用词库,解... 详细信息

数据预处理是数据驱动故障诊断的前提,为了更好地提取数据特征,针对地铁信号设备的故障记录提出一种基于词项和语义融合的文本自动预处理方法。采用隐式马尔可夫链识别特定线路的信号专有词汇,结合既有词库形成特定线路信号专用词库,解决线路专用信号设备故障词库的生成问题;分别在词项空间和语义空间进行故障记录的聚类、特征词提取与融合,形成故障记录的词袋表示,并在专家模板的基础上应用KNN算法统一故障记录描述,解决故障记录的模糊性问题。以某地铁线2015-2017年的故障记录为数据源进行试验,结果表明该方法有效,宏平均F1测试值达到95.56%。

关键词：文本预处理地铁信号 HMM K-means LDA

来源：评论

学校读者我要写书评

暂无评论

基于HMM的移动预测模型与仿真

引用

系统仿真学报 2007年第18期19卷 4118-4121页

作者：沈波刘云北京交通大学轨道交通控制与安全国家重点实验室

提出了一种基于隐马尔柯夫模型的移动预测模型,并给出增强模型预测能力和提高预测精度的方法。该模型用于预测移动IP网络中移动节点的运动方向和将要连接的接入路由器,为避免或减小由于移动造成的通信中断和时延赢得准备时间。仿真结果... 详细信息

提出了一种基于隐马尔柯夫模型的移动预测模型,并给出增强模型预测能力和提高预测精度的方法。该模型用于预测移动IP网络中移动节点的运动方向和将要连接的接入路由器,为避免或减小由于移动造成的通信中断和时延赢得准备时间。仿真结果说明,模型的预测准确率较高,在适当选择状态数的条件下,模型对移动的随机性具有较好的适应能力。

关键词：移动预测隐马尔可夫模型隐状态观察序列

来源：评论

学校读者我要写书评

暂无评论

高速铁路列控系统运营场景实时性的建模与验证

引用

铁道学报 2011年第6期33卷 54-61页

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

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限... 详细信息

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。

关键词：列控系统时间约束混合通信顺序进程时间自动机 RBC切换

来源：评论

学校读者我要写书评

暂无评论

OFDM技术应用于铁路频率选择性衰落信道下同步与信道联合估计的研究

引用

铁道学报 2010年第6期32卷 49-54页

作者：李旭石靖刘桓谈振辉北京交通大学轨道交通控制与安全国家重点实验室北京100044

正交频分复用(OFDM)作为未来移动通信的主导技术,研究将OFDM应用于铁路环境下的相关技术———在铁路无线衰落信道下的同步和信道联合估计具有重要意义。由于在OFDM系统中,定时同步、频率同步和信道估计之间存在着密切的联系,本文对此... 详细信息

正交频分复用(OFDM)作为未来移动通信的主导技术,研究将OFDM应用于铁路环境下的相关技术———在铁路无线衰落信道下的同步和信道联合估计具有重要意义。由于在OFDM系统中,定时同步、频率同步和信道估计之间存在着密切的联系,本文对此进行研究,建立了频率选择性衰落信道下的OFDM系统模型,设计估计帧结构和基于最大似然准则的定时同步、载波同步和信道参数联合估计的代价函数,进而提出联合估计算法。通过仿真验证所提算法,并得到如下结论:联合同步与信道估计,可以使系统整体性能得到优化;精确估计会改善系统性能,但多次迭代改善有限,特别是在低信噪比的情况下,所以建议采用粗估计和一次精确估计以达到较好的效果。

关键词： OFDM 同步信道估计铁路通信

来源：评论

学校读者我要写书评

暂无评论

城市轨道交通综合监控平台系统集成的研究

引用

铁道学报 2007年第3期29卷 107-112页

作者：徐杰贾利民秦勇王艳辉王卓北京交通大学轨道交通控制与安全国家重点实验室北京100044

为了解决城市轨道交通监控系统中的自动化孤岛问题,必须建立综合监控平台以实现各个监控系统间的信息共享、无缝连接和综合监控整个系统的运行状况。本文首先对城市轨道交通各个监控系统的特征及现状作了整体的描述;根据各子系统的现状... 详细信息

为了解决城市轨道交通监控系统中的自动化孤岛问题,必须建立综合监控平台以实现各个监控系统间的信息共享、无缝连接和综合监控整个系统的运行状况。本文首先对城市轨道交通各个监控系统的特征及现状作了整体的描述;根据各子系统的现状及特征,规划了城市轨道交通综合监控系统的总体框架,提出整个系统由中央级及车站级综合监控系统组成的分层管理模式;对车站级综合监控系统的基本功能作了详细描述;根据车站级综合监控系统功能,应用异构数据源提取技术、分布式组件技术、XML技术、元数据技术以及工业控制接口技术等,提出实现车站级综合监控系统的具体方法和步骤。

关键词：城市轨道交通综合监控系统总体结构功能设计分布式集成技术实现

来源：评论

学校读者我要写书评

暂无评论

基于有色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切换车载设备

来源：评论

学校读者我要写书评

暂无评论

基于CPTA实现报文数据与车载系统契约关系的研究

引用

铁道学报 2019年第4期41卷 102-110页

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

线路数据是驱动列控系统安全运行的基础。目前,有关列控数据安全的研究多集中于验证数据自身的完整性与合理性,却很少关注数据与其宿主系统间的契约关系,这可能会忽视由于数据没有满足宿主系统需求而产生的安全隐患。针对此问题,分析车... 详细信息

线路数据是驱动列控系统安全运行的基础。目前,有关列控数据安全的研究多集中于验证数据自身的完整性与合理性,却很少关注数据与其宿主系统间的契约关系,这可能会忽视由于数据没有满足宿主系统需求而产生的安全隐患。针对此问题,分析车载ATP在计算动态监控曲线过程中对报文语法、语义和时效性三方面的需求,并将其形式化为PVS公理,作为列车状态迁移条件来构建报文-车载CPTA契约模型,借助PVS定理证明工具证明该契约模型的正确性。实验结果表明,基于报文-车载的契约模型能够实现高效且可靠的报文验证,从而减少由于报文数据失效而引发的列车异常制动或降速的次数。

关键词：报文数据车载契约关系概率时间自动机

来源：评论

学校读者我要写书评

暂无评论

基于可交易出行路票的城市交通需求管理

引用

交通运输系统工程与信息 2021年第5期21卷 12-21页

作者：徐猛高自友北京交通大学轨道交通控制与安全国家重点实验室北京100044

可交易出行路票作为近年兴起的交通需求管理新思路持续受到学者的密切关注和深入研究。本文结合2016年以来利用可交易出行路票进行城市交通需求管理方面的研究进展,从可交易出行路票的公众接受度、出行管理建模分析以及基于组合手段的... 详细信息

可交易出行路票作为近年兴起的交通需求管理新思路持续受到学者的密切关注和深入研究。本文结合2016年以来利用可交易出行路票进行城市交通需求管理方面的研究进展,从可交易出行路票的公众接受度、出行管理建模分析以及基于组合手段的交通管理机制研究等3方面进行文献综述和分析。研究表明:5年前关于可交易出行路票的研究主要围绕可交易出行路票的理论建模或仿真分析展开;近5年来面向可交易出行路票的理论研究更加宽广和深入,面向应用层面的研究也更加受到关注。然而,现有大多数研究仍缺乏从实际应用的可实施角度进行深入研究和探讨,在此基础上,本文进一步对可交易出行路票的定义以及蕴含的4个关键要素:出行路票的发放总量、初始发放方案、收取方案和路票市场交易机制进行综述和分析,指出不足之处并给出可交易出行路票定义、4个关键要素以及交易方案层面的主观理解和认识,强调对这些基本要素不仅需从实际应用角度来厘清和重新认识这4个关键要素的内涵、作用范围和相互作用关系,还需要结合具体城市实际情况和交通管理目标进一步研究与分析。最后,对可交易出行路票的热点研究问题进行总结和展望,强调关于可交易出行路票对出行者个体行为的影响分析,基于碳中和发展路径的可交易出行路票量化交易技术等方面是今后重点关注的研究方向。

关键词：城市交通交通需求管理可交易出行路票交通拥挤交通管理

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：