检索结果-维普期刊中文期刊服务平台

基于XMSF的高速铁路列控系统仿真测试平台设计被引量：1: 1; 作者陈建球唐涛《系统仿真学报》 CAS CSCD 北大核心 2013年第5期1090-1095,共6页; 总结高速铁路列控系统仿真的特点,提出了基于可扩展建模及仿真框架(XMSF)的高速铁路列控系统仿真测试平台方案,以使平台达到可扩展性,可重用性和可操作性,为高速铁路列控系统仿真测试平台的兼容性和可持续性发展提供支撑。利用XMSF可使... 展开更多; 关键词 XMSF 高速铁路列控系统可扩展性仿真辅助; 在线阅读下载PDF 职称材料

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法被引量：2: 2; 作者吕继东李开成 +1 位作者唐涛袁磊《中国铁道科学》 EI CAS CSCD 北大核心 2012年第5期91-97,共7页; 针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具... 展开更多; 关键词高速铁路列控系统混合通信顺序进程混合自动机行车许可场景; 在线阅读下载PDF 职称材料

铁路列控系统应急案例知识重用方法被引量：2: 3; 作者赵开功张晓蕾 +2 位作者李长明越成浩盖泳伶《中国安全科学学报》 CAS CSCD 北大核心 2022年第S02期217-224,共8页; 为提升重载铁路煤炭运输事故救援预案的可操作性和实用性,分析国能朔黄铁路公司列控系统的应预案知识结构,在相似度计算中融合适应度与相关度,提出一种新的案例检索方法,即新相似度计算方法;基于“2层本体”组织方式构建知识共享体系结... 展开更多; 关键词铁路列控系统应急处置案例检索知识重用应急案例; 在线阅读下载PDF 职称材料

面向安全评估的CTCS-2列控系统安全性测试环境被引量：1: 4; 作者熊静喻钢 +1 位作者徐中伟郦萌《计算机应用》 CSCD 北大核心 2010年第8期2181-2184,2188,共5页; 高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试... 展开更多; 关键词高速铁路列控系统安全苛求系统安全性安全性测试; 在线阅读下载PDF 职称材料

基于HUML的列控系统形式化建模与参数分析方法被引量：7: 5; 作者赵晓宇程瑞军 +1 位作者程雨马小平《铁道学报》 EI CAS CSCD 北大核心 2016年第11期80-87,共8页; 针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;... 展开更多; 关键词高速铁路列控系统 UML扩展机制混成自动机移动闭塞控制系统控制参数分析; 在线阅读下载PDF 职称材料

CTCS-1级列控系统总体方案思考与建议被引量：8: 6; 作者王强刘智平 +1 位作者王松林刘洋《中国铁路》 2021年第2期81-87,共7页; 为完善CTCS列控系统总体架构,基于CTCS列控系统特点分析,并结合既有铁路列控系统现状,对CTCS-1级列控系统总体方案提出建议。重点从列控系统的兼容性、冗余性、可转换、可降级4个方面对CTCS-1级列控系统总体技术方案和总体结构进行论述... 展开更多; 关键词铁路列控系统 CTCS-1 兼容性冗余性可转换可降级; 在线阅读下载PDF 职称材料

高速铁路宽带无线接入网的分析与设计被引量：2: 7; 作者何宇周志刚卜智勇《计算机应用与软件》 CSCD 北大核心 2013年第2期128-132,164,共6页; 随着我国高速铁路网的大规模扩张,原有的铁路无线接入技术在数据传输速率方面已经不适应新的通信业务需求,因此在铁路通信系统的无线接入专网中引入宽带无线通信技术已经成为必然趋势。结合高速铁路的通信业务需要,根据CTCS列控数据传... 展开更多; 关键词高速铁路宽带无线通信网络架构接入网服务质量指标中国铁路列控系统; 在线阅读下载PDF 职称材料

题名基于XMSF的高速铁路列控系统仿真测试平台设计被引量：1: 1; 作者陈建球唐涛; 机构北京交通大学轨道交通控制与安全国家重点实验室北京交通大学电子信息工程学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2013年第5期1090-1095,共6页; 基金 CTCS-3级列控系统测试评估认证平台及评估测试-测试评估平台(2009BAG12A08-01) CTCS-3级列控系统测试评估认证平台及评估测试-系统规范(2009BAG12A08-02) 中央高校基本科研业务费专项(2011YJS006); 文摘总结高速铁路列控系统仿真的特点,提出了基于可扩展建模及仿真框架(XMSF)的高速铁路列控系统仿真测试平台方案,以使平台达到可扩展性,可重用性和可操作性,为高速铁路列控系统仿真测试平台的兼容性和可持续性发展提供支撑。利用XMSF可使系统仿真不只局限于某个平台或中间件,可实现仿真测试系统的跨平台和跨地域性。同时,采用分层结构,在平台中增加仿真辅助层,通过XML描述不同运行模式,实现仿真运行地自动化,减少人员操作,提高系统仿真及测试的高效性。; 关键词 XMSF 高速铁路列控系统可扩展性仿真辅助; Keywords XMSF high-speed train control system expansibility simulation aid; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法被引量：2: 2; 作者吕继东李开成唐涛袁磊; 机构北京交通大学轨道交通运行控制系统国家工程研究中心北京交通大学轨道交通控制与安全国家重点实验室; 出处《中国铁道科学》 EI CAS CSCD 北大核心 2012年第5期91-97,共7页; 基金国家“八六三”计划项目(2011AA010104) 北京交通大学轨道交通控制与安全国家重点实验室开放课题(RCS2011K010) 北京交通大学科技基金资助项目(2012JBM024); 文摘针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。; 关键词高速铁路列控系统混合通信顺序进程混合自动机行车许可场景; Keywords Automata theory Computer operating procedures Model checking Railroad cars Railroads; 分类号 U284.482 [交通运输工程—交通信息工程及控制] U238 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

题名铁路列控系统应急案例知识重用方法被引量：2: 3; 作者赵开功张晓蕾李长明越成浩盖泳伶; 机构国能朔黄铁路发展有限责任公司肃宁分公司北京科技大学土木与资源工程学院国家能源投资集团有限责任公司安全环保监察部中国安全生产科学研究院中国矿业大学(北京)应急管理与安全工程学院国能数智科技(北京)有限公司智能矿山与智慧运输业务部中国铁路济南局集团有限公司济南西机务段中国酒泉卫星发射中心; 出处《中国安全科学学报》 CAS CSCD 北大核心 2022年第S02期217-224,共8页; 基金国家重点研发计划项目(2016YFC0801805) 国家能源集团基金资助(10032998IC190047); 文摘为提升重载铁路煤炭运输事故救援预案的可操作性和实用性,分析国能朔黄铁路公司列控系统的应预案知识结构,在相似度计算中融合适应度与相关度,提出一种新的案例检索方法,即新相似度计算方法;基于“2层本体”组织方式构建知识共享体系结构,设定阈值通过知识重用模型检索历史案例,利用新相似度计算方法判断适应度更高的历史案例,并在国家能源集团应急指挥系统生产安全事故救援和应急演练中的实际应用。结果表明:该方法能够筛选出与当前案例在适应度和相似度2个方面均适用的历史案例,为当前案例的应急响应过程提供可行性的处置参考方案,有效缩短联动协同救援响应时间。; 关键词铁路列控系统应急处置案例检索知识重用应急案例; Keywords railway train control system emergency handling case search knowledge reuse emergency case; 分类号 X924.3 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

题名面向安全评估的CTCS-2列控系统安全性测试环境被引量：1: 4; 作者熊静喻钢徐中伟郦萌; 机构上海工程技术大学航空运输学院上海大学悉尼工商学院同济大学电子与信息工程学院铁道部产品质量监督检验中心铁路车站计算机联锁检验站; 出处《计算机应用》 CSCD 北大核心 2010年第8期2181-2184,2188,共5页; 基金国家自然科学基金资助项目(60674004) 铁道部科技研究开发计划资助项目(2008X003-A 2009X002-A); 文摘高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。; 关键词高速铁路列控系统安全苛求系统安全性安全性测试; Keywords train control system of high speed railway safety-critical system safety safety test; 分类号 TP306 [自动化与计算机技术—计算机系统结构] TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于HUML的列控系统形式化建模与参数分析方法被引量：7: 5; 作者赵晓宇程瑞军程雨马小平; 机构中国铁道科学研究院研究生部北京交通大学轨道交通控制与安全国家重点实验室中国铁道科学研究院基础设施检测研究所北京交通大学交通运输学院; 出处《铁道学报》 EI CAS CSCD 北大核心 2016年第11期80-87,共8页; 基金国家高技术研究发展计划(2011AA11A102); 文摘针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;将列控系统安全性需求加入到HYTECH模型,建立安全HYTECH模;利用模型检验工具HYTECH对安全HYTECH模型进行自动分析。根据所提出的基于UML概要文件建模方法,以移动闭塞系统中的追踪模型为例,建立后行列车的控制器HUML模型;通过计算安全HYTECH模型的可达集得到未知控制参数的取值范围;验证结果表明基于HUML的列控系统建模和分析方法的有效性。; 关键词高速铁路列控系统 UML扩展机制混成自动机移动闭塞控制系统控制参数分析; Keywords high speed train control system UML extensibility mechanism linear hybrid automata moving block control system control parameter analysis; 分类号 U238 [交通运输工程—道路与铁道工程] U284.482 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名CTCS-1级列控系统总体方案思考与建议被引量：8: 6; 作者王强刘智平王松林刘洋; 机构中国国家铁路集团有限公司工程设计鉴定中心中铁上海设计院集团有限公司通号设计院上海申铁建设管理有限公司工程部; 出处《中国铁路》 2021年第2期81-87,共7页; 文摘为完善CTCS列控系统总体架构,基于CTCS列控系统特点分析,并结合既有铁路列控系统现状,对CTCS-1级列控系统总体方案提出建议。重点从列控系统的兼容性、冗余性、可转换、可降级4个方面对CTCS-1级列控系统总体技术方案和总体结构进行论述,并对系统安全性进行分析,为CTCS-1级列控系统的发展提供参考。; 关键词铁路列控系统 CTCS-1 兼容性冗余性可转换可降级; Keywords railway train control system CTCS-1 compatibility redundancy convertibility ability of degradation; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名高速铁路宽带无线接入网的分析与设计被引量：2: 7; 作者何宇周志刚卜智勇; 机构中国科学院上海微系统与信息技术研究所; 出处《计算机应用与软件》 CSCD 北大核心 2013年第2期128-132,164,共6页; 基金国家重大科技专项(2011ZX03004-003); 文摘随着我国高速铁路网的大规模扩张,原有的铁路无线接入技术在数据传输速率方面已经不适应新的通信业务需求,因此在铁路通信系统的无线接入专网中引入宽带无线通信技术已经成为必然趋势。结合高速铁路的通信业务需要,根据CTCS列控数据传输标准对铁路通信系统的QoS保障要求,分析比较了当前宽带无线通信协议中的几种接入网架构,并设计了高铁宽带无线通信接入网架构。; 关键词高速铁路宽带无线通信网络架构接入网服务质量指标中国铁路列控系统; Keywords High-speed rail Broadband wireless communication Network architecture Access networks QoS Chinese Railway trains control system（CTCS）; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TN929.5 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于XMSF的高速铁路列控系统仿真测试平台设计	陈建球唐涛	《系统仿真学报》 CAS CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
2	基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法	吕继东李开成唐涛袁磊	《中国铁道科学》 EI CAS CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
3	铁路列控系统应急案例知识重用方法	赵开功张晓蕾李长明越成浩盖泳伶	《中国安全科学学报》 CAS CSCD 北大核心	2022	2	在线阅读下载PDF 职称材料
4	面向安全评估的CTCS-2列控系统安全性测试环境	熊静喻钢徐中伟郦萌	《计算机应用》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
5	基于HUML的列控系统形式化建模与参数分析方法	赵晓宇程瑞军程雨马小平	《铁道学报》 EI CAS CSCD 北大核心	2016	7	在线阅读下载PDF 职称材料
6	CTCS-1级列控系统总体方案思考与建议	王强刘智平王松林刘洋	《中国铁路》	2021	8	在线阅读下载PDF 职称材料
7	高速铁路宽带无线接入网的分析与设计	何宇周志刚卜智勇	《计算机应用与软件》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料