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

铁路信号联锁逻辑形式化建模研究被引量：25: 1; 作者陈邦兴吴芳美《铁道学报》 EI CAS CSCD 北大核心 2002年第6期50-54,共5页; 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次... 展开更多; 关键词铁路信号联锁逻辑形式化建模有色PETRI网层次化有色Petri网联锁设备; 在线阅读下载PDF 职称材料

计算机在铁路信号联锁系统中的运用——评《铁路信号基础设备维护》被引量：2: 2; 作者赵伟《机械设计》 CSCD 北大核心 2020年第9期I0014-I0014,共1页; 现代计算机科学技术的不断发展,对我国铁路行业产生了积极的影响,当前国内铁路信号系统也在互联网科技的加持下不断升级,新型的铁路信号连锁系统被广泛应用于铁路运输工作中,已经成为当代铁路运行重要的辅助工具之一。与传统铁路信号系... 展开更多; 关键词铁路信号系统铁路行车安全信号设备铁路运行铁路信号联锁计算机科学技术故障发生率设备维护; 在线阅读下载PDF 职称材料

高速铁路信号云联锁系统数据容错技术研究被引量：1: 3; 作者何志彬邢科家 +2 位作者张宏扬魏东冬孔嘉铖《铁道科学与工程学报》 EI CAS CSCD 北大核心 2024年第7期2592-2602,共11页; 为适应铁路信号系统的数字化发展需求,将云计算技术引入铁路信号联锁系统(云联锁),有助于为联锁系统提供更高的灵活性、可扩展性和计算性能。目前,研究如何确保云联锁系统的安全性问题极具挑战性。为了解决目前商用云计算平台尚不能提... 展开更多; 关键词铁路信号联锁云计算基于算法的容错数据恢复安全; 在线阅读下载PDF 职称材料

一种变结构Petri网模型及其应用被引量：1: 4; 作者陈邦兴吴芳美《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第8期1098-1101,共4页; 引入一种变结构有色Petri网模型及其相应的结构变化机制,阐述两种结构变化方式及其相应算法.一种是修正结构方法CBM(changebymodification),一种是添加子网方法CBC(changebycomposition).结合铁路车站信号联锁中的进路自动解锁建模,讨... 展开更多; 关键词铁路信号联锁有色PETRI网建模; 在线阅读下载PDF 职称材料

题名铁路信号联锁逻辑形式化建模研究被引量：25: 1; 作者陈邦兴吴芳美; 机构同济大学电子与信息工程学院; 出处《铁道学报》 EI CAS CSCD 北大核心 2002年第6期50-54,共5页; 基金铁道部科技研究开发计划项目 (2 0 0 2 X0 0 7); 文摘铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景。; 关键词铁路信号联锁逻辑形式化建模有色PETRI网层次化有色Petri网联锁设备; Keywords signal interlocking coloured Petri net hierarchical coloured Petri nets; 分类号 U284.3 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名计算机在铁路信号联锁系统中的运用——评《铁路信号基础设备维护》被引量：2: 2; 作者赵伟; 机构昆明铁道职业技术学院; 出处《机械设计》 CSCD 北大核心 2020年第9期I0014-I0014,共1页; 文摘现代计算机科学技术的不断发展,对我国铁路行业产生了积极的影响,当前国内铁路信号系统也在互联网科技的加持下不断升级,新型的铁路信号连锁系统被广泛应用于铁路运输工作中,已经成为当代铁路运行重要的辅助工具之一。与传统铁路信号系统相比,计算机铁路信号连锁系统具有更强大的控制性、安全性和效率性,可以进一步有效提升铁路行车安全,提高铁路运营效率,降低铁路工作人员的工作强度。因此,现代铁路部门必须在正确认识铁路信号连锁系统及其信号设备的前提下,做好系统设备的维护工作,降低信号故障发生率,为铁路安全稳定运行提供必要前提。; 关键词铁路信号系统铁路行车安全信号设备铁路运行铁路信号联锁计算机科学技术故障发生率设备维护; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名高速铁路信号云联锁系统数据容错技术研究被引量：1: 3; 作者何志彬邢科家张宏扬魏东冬孔嘉铖; 机构中国铁道科学研究院中国铁道科学研究院通信信号研究所; 出处《铁道科学与工程学报》 EI CAS CSCD 北大核心 2024年第7期2592-2602,共11页; 基金中国国家铁路集团有限公司科技研究开发计划项目(J2021G006)。; 文摘为适应铁路信号系统的数字化发展需求,将云计算技术引入铁路信号联锁系统(云联锁),有助于为联锁系统提供更高的灵活性、可扩展性和计算性能。目前,研究如何确保云联锁系统的安全性问题极具挑战性。为了解决目前商用云计算平台尚不能提供满足铁路信号系统安全苛求等方面的技术保障措施,针对云联锁系统的安全性,提出一种用于云联锁系统的数据容错恢复方案,确保云平台可以运行联锁应用,并保障云联锁功能的安全性和正确性。首先,对既有计算机联锁系统的安全措施和目前针对云平台的安全技术手段进行分析,找出云联锁系统的安全保障措施的难点,提出一种云联锁系统结构,分析进路控制过程,探索适合于针对云联锁的监控方法。然后,根据进路控制过程,使用特征编码方法对联锁进路和输入信息进行编码。运用基于矩阵算法的容错技术,检测联锁运算数据错误,通过监控软件的运行行为来检测云联锁系统潜在的设计缺陷和计算错误等。对多节点的联锁运算故障进行分析,提出针对云联锁可能发生的多重故障的故障恢复方案,并对采取的措施进行详细分析。最后,通过平均危险失效概率定量计算分析云平台的安全性。研究结果表明:与传统技术相比,提出的监控方案具备更高的安全性能。研究结果可为进一步研究类似的高安全铁路信号系统、铁路信号系统数字化和信息化研究提供参考。; 关键词铁路信号联锁云计算基于算法的容错数据恢复安全; Keywords interlocking Cloud computing algorithm-based fault-tolerant data recovery safety; 分类号 U284.3 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名一种变结构Petri网模型及其应用被引量：1: 4; 作者陈邦兴吴芳美; 机构同济大学沪西校区电子与信息工程学院; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第8期1098-1101,共4页; 基金铁道部科技研究开发计划资助项目(2004X005); 文摘引入一种变结构有色Petri网模型及其相应的结构变化机制,阐述两种结构变化方式及其相应算法.一种是修正结构方法CBM(changebymodification),一种是添加子网方法CBC(changebycomposition).结合铁路车站信号联锁中的进路自动解锁建模,讨论了该模型的具体应用.; 关键词铁路信号联锁有色PETRI网建模; Keywords railway signal interlocking coloured-Petri nets modeling; 分类号 U284.43 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	铁路信号联锁逻辑形式化建模研究	陈邦兴吴芳美	《铁道学报》 EI CAS CSCD 北大核心	2002	25	在线阅读下载PDF 职称材料
2	计算机在铁路信号联锁系统中的运用——评《铁路信号基础设备维护》	赵伟	《机械设计》 CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
3	高速铁路信号云联锁系统数据容错技术研究	何志彬邢科家张宏扬魏东冬孔嘉铖	《铁道科学与工程学报》 EI CAS CSCD 北大核心	2024	1	在线阅读下载PDF 职称材料
4	一种变结构Petri网模型及其应用	陈邦兴吴芳美	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料