基于云计算的联锁系统发展探讨

1

作者 何志彬 邢科家 +3 位作者 梁志国 魏东冬 孔嘉铖 白帅 《铁道运输与经济》 北大核心 2024年第1期74-82,共9页

作为面向未来铁路信号系统的一种发展趋势,将云平台应用到联锁系统中有助于建设现代化铁路。通过对国内外铁路信号安全相关系统中应用云计算的相关研究概况进行调研,在深入分析将云计算引入铁路信号安全相关系统中不同方案架构的技术特... 作为面向未来铁路信号系统的一种发展趋势,将云平台应用到联锁系统中有助于建设现代化铁路。通过对国内外铁路信号安全相关系统中应用云计算的相关研究概况进行调研,在深入分析将云计算引入铁路信号安全相关系统中不同方案架构的技术特点基础上,针对铁路信号系统现代化的应用场景和需求,研究基于云计算的联锁系统功能,提出将云计算引入联锁系统发展的实现思路,并从高安全平台架构设计、软件监视技术、时钟同步技术、同步表决技术和系统防御技术等关键技术角度,探讨基于云计算的联锁系统面临的挑战,分析基于云计算的联锁系统发展趋势。对基于云计算的联锁系统发展面临的挑战给出相应的应对措施,为基于云计算的联锁系统发展提供参考。 展开更多

关键词 云计算 联锁系统 安全平台 同步表决 时钟同步

下载PDF 职称材料

LEU安全等级和设计方法研究 被引量：1

2

作者 陈志丹 钟英杰 《铁道通信信号》 2017年第4期6-9,共4页

地面电子单元是列车与列控中心交互信息的重要设备,依据EN50129标准对LEU设备进行隐患分析,发现"LEU设备发送过时的报文"和"LEU设备没有正确一对一分发报文至有源应答器",这两条隐患是SIL4级别,需要设计故障导向安... 地面电子单元是列车与列控中心交互信息的重要设备,依据EN50129标准对LEU设备进行隐患分析,发现"LEU设备发送过时的报文"和"LEU设备没有正确一对一分发报文至有源应答器",这两条隐患是SIL4级别,需要设计故障导向安全的架构来满足相应的SIL4级别安全功能。提出了一种LEU设备采用时钟级别的二取二架构的设计方法,并详细描述了故障导向安全的二取二比较器设计方法和故障导向安全的输出接口设计方法。 展开更多

关键词 安全 时钟级 二取二 比较器 SIL4安全功能

下载PDF 职称材料

青藏铁路综合安全监控系统的研究与设计 被引量：1

3

作者 杨菊花 盖宇仙 陈光武 《计算机工程与设计》 CSCD 北大核心 2011年第2期549-553,共5页

为解决青藏铁路现有监测系统信息分散、信息不能融合的难题,提出了将分散的监测信息集中分析、共享和集成,结合规范化的维护改进方法,建立反闭环管理的立体化、高可靠综合安全监控管理信息系统。系统基于信息源层来实现信息的接入,通过... 为解决青藏铁路现有监测系统信息分散、信息不能融合的难题,提出了将分散的监测信息集中分析、共享和集成,结合规范化的维护改进方法,建立反闭环管理的立体化、高可靠综合安全监控管理信息系统。系统基于信息源层来实现信息的接入,通过数据层数据的存储和融合,最后在应用层实现各种应用整合。在此基础上,采用基于NTP技术的同步方案实现系统中各设备时钟的同步。通信系统仿真和应用表明,该系统满足了信息的规范化统一管理和信息集成的综合运用需求,确保了青藏铁路运营安全和综合维护。 展开更多

关键词 青藏铁路 安全监控 时钟同步 信息融合 体系架构

下载PDF 职称材料

阿托伐他汀诱导肝脏Cyp7a1和时钟基因的表达 被引量：1

4

作者 李文楷 徐永吉 +1 位作者 陆远富 刘杰 《中国药理学通报》 CAS CSCD 北大核心 2016年第5期739-740,共2页

他汀类药物是羟甲戊二酰辅酶A（HMGCR）选择性抑制剂,是临床防治冠心病的重要药物[1-2].研究表明,阿托伐他汀能升高肝脏中胆固醇7羟化酶（Cyp7a1）的表达,改变体内胆汁酸代谢[3],并可能与其长期使用所致肝脏不良反应有关[4].

关键词 阿托伐他汀 安全性 胆汁酸代谢 CYP7A1 生物钟 BMAL1 Cloc

下载PDF 职称材料

三模-单模体系安全时钟系统设计

5

作者 金德鹏 刘毅东 车惠军 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第10期1718-1722,共5页

为解决铁路信号系统现有安全时钟体系可用度较低的问题,提出了一种三模-单模体系的安全时钟系统,分析了该系统与传统安全时钟体系的可用度问题,理论推导证明了在长期工作条件下该方法与现有设计方法相比,可大幅度提高系统可用度。在此... 为解决铁路信号系统现有安全时钟体系可用度较低的问题,提出了一种三模-单模体系的安全时钟系统,分析了该系统与传统安全时钟体系的可用度问题,理论推导证明了在长期工作条件下该方法与现有设计方法相比,可大幅度提高系统可用度。在此基础上,根据铁路信号系统设计中的特殊要求,提出了其中关键模块——比较模块的设计方法,该方法利用Gray码计数器对时钟频率进行三模冗余,并将频率进行两两比较,其结果送入多数表决器进行时钟有效性判别,为系统提供频率稳定的安全时钟。仿真试验结果表明该设计方法能有效防止时钟频率漂移产生的危险输出。 展开更多

关键词 三模-单模 表决器 安全时钟 可用度 频率漂移

原文传递

车载列车自动防护的二乘二取二安全计算机平台同步机制 被引量：11

6

作者 蔡煊 王长林 《计算机工程》 CAS CSCD 北大核心 2015年第8期301-305,共5页

二乘二取二冗余结构是车载列车自动防护(ATP)系统安全计算机的技术趋势。针对二乘二取二系统中的双机同步问题,采用公共外时钟为二取二双机提供参考时钟信号,并基于时钟漂移率有界模型对本地时钟进行漂移补偿,实现二取二双机的本地时钟... 二乘二取二冗余结构是车载列车自动防护(ATP)系统安全计算机的技术趋势。针对二乘二取二系统中的双机同步问题,采用公共外时钟为二取二双机提供参考时钟信号,并基于时钟漂移率有界模型对本地时钟进行漂移补偿,实现二取二双机的本地时钟同步。在此基础上,系统软件采用任务周期时序控制和双机通信的方式,同步顺序地处理输入、计算、输出等任务,在控制周期中的每个任务点进行同步处理,达到二取二双机的任务同步。采用软件算法和系间通信实现2种系统之间的周期同步。实验结果表明,该同步机制能够满足车载ATP二乘二取二安全计算机对同步技术的需求。 展开更多

关键词 车载列车自动防护 二乘二取二 安全计算机平台 公共外时钟 时钟漂移率

下载PDF 职称材料

基于改进标准钟方法和全时域仿真的电力系统安全性评估 被引量：8

7

作者 刘磊 管晓宏 《中国电机工程学报》 EI CSCD 北大核心 2004年第1期11-17,共7页

在电力市场环境下,系统的安全性越来越受到人们的关注,但传统的可靠性评估方法可能难以发现系统运行中真正的危险所在。该文提出了一种基于改进标准钟方法(ISC)和全时域动态仿真的安全性评估方法,并采用双概率指标作为电力系统的安全性... 在电力市场环境下,系统的安全性越来越受到人们的关注,但传统的可靠性评估方法可能难以发现系统运行中真正的危险所在。该文提出了一种基于改进标准钟方法(ISC)和全时域动态仿真的安全性评估方法,并采用双概率指标作为电力系统的安全性测度。仿真实践和结果说明了仿真方法的可行性及有效性,该仿真不仅能体现系统连续动态过程(如故障链锁演变);而且可以相对独立地评估出2个安全性指标。最后还基于仿真结果对复杂大系统中存在的所谓幂律(Power Law)在电力系统中的存在性进行了适当的分析。 展开更多

关键词 电力系统 安全性 可靠性评估 标准钟方法 全时域仿真

下载PDF 职称材料

铁路信号安全关键软件形式化建模 被引量：6

8

作者 李耀 郭进 +1 位作者 杨扬 马亮 《铁道学报》 EI CAS CSCD 北大核心 2017年第9期74-80,共7页

针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了... 针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。 展开更多

关键词 安全关键软件 形式化建模 时钟约束 TIMED SyncCharts Kripke 计算机联锁

下载PDF 职称材料

一种提高大坝安全监控系统自动化水平的方法 被引量：6

9

作者 汪亚超 朱赵辉 彭妍 《水电自动化与大坝监测》 2007年第6期57-59,63,共4页

在介绍提高大坝安全监控系统自动化水平原理的基础上,以时钟控件在规定的时间内重复触发其Ontimer事件作为实现自动化的关键技术,提出了一种提高大坝安全监控系统自动化水平的方法,并以某双曲拱坝安全监控系统数据库自动备份模块为例,... 在介绍提高大坝安全监控系统自动化水平原理的基础上,以时钟控件在规定的时间内重复触发其Ontimer事件作为实现自动化的关键技术,提出了一种提高大坝安全监控系统自动化水平的方法,并以某双曲拱坝安全监控系统数据库自动备份模块为例,详细说明了其实现过程。由于该方法的实现过程适用于任何前端开发语言和后台数据库的组合,故该方法具有较强的实用性和广阔的应用前景。 展开更多

关键词 大坝安全监控系统 自动化 时钟控件 数据库 自动备份

下载PDF 职称材料

基于二乘二取二架构的安全扩展平台研究 被引量：4

10

作者 王瑞 徐宁 +1 位作者 朱嘉良 刘佳 《铁道通信信号》 2020年第5期35-38,共4页

为节约时间和资金成本,在不改变既有CTCS-2/3级列控系统的前提下,进一步修改完善扩展其系统功能,提出采用二乘二取二架构安全扩展平台.平台内部双CPU之间采用时钟同步机制进行实时自检、互检,大大提高了安全扩展平台的安全性、可靠性和... 为节约时间和资金成本,在不改变既有CTCS-2/3级列控系统的前提下,进一步修改完善扩展其系统功能,提出采用二乘二取二架构安全扩展平台.平台内部双CPU之间采用时钟同步机制进行实时自检、互检,大大提高了安全扩展平台的安全性、可靠性和可用性. 展开更多

关键词 安全扩展平台 二乘二取二架构 时钟同步

下载PDF 职称材料

铁路信号安全协议中消息认证码算法的研究 被引量：4

11

作者 张凯 伍忠东 刘菲菲 《铁道标准设计》 北大核心 2020年第5期181-189,共9页

为了提高铁路信号安全协议RSSP-Ⅱ中消息鉴定安全层消息认证码算法的安全性和实时性,首先将传统的MASL-TDES-MAC算法底层的加密算法改进为安全性能更强的高级加密标准AES算法,并对改进后的MASL-AES-MAC算法采用FPGA技术进行硬件设计,其... 为了提高铁路信号安全协议RSSP-Ⅱ中消息鉴定安全层消息认证码算法的安全性和实时性,首先将传统的MASL-TDES-MAC算法底层的加密算法改进为安全性能更强的高级加密标准AES算法,并对改进后的MASL-AES-MAC算法采用FPGA技术进行硬件设计,其次根据硬件设计所达到的最高时钟频率和逻辑资源消耗情况,对算法的硬件实现环节采用查找表技术和流水线技术进行优化,最后在QuartusⅡ软件和Modelsim软件上进行联合仿真实验。研究结果表明:经过改进及优化后的算法具有更高的最高时钟频率和更低的逻辑资源消耗,不仅提高了协议的安全性,而且改进及优化后的算法在实时性方面比原算法提高了69.84%。 展开更多

关键词 铁路信号安全协议-Ⅱ 消息认证码算法 高级加密标准算法 FPGA技术 最高时钟频率 逻辑资源消耗

下载PDF 职称材料

安全气囊系统常见故障的排除方法及改进措施 被引量：1

12

作者 李文顺 《装备制造技术》 2013年第4期175-176,179,共3页

阐述了安全气囊系统的作用及工作原理,并结合作者的工作经验,介绍了常见故障的排除方法及改进措施,为从事安全气囊系统品质改进工作的工程师提供了参考。

关键词 安全气囊 SRS计算机 时钟弹簧 气体发生器

下载PDF 职称材料

基于FPGA的“龙鳞”通信模块跨时钟域验证实践 被引量：1

13

作者 肖安洪 曾辉 +4 位作者 秦友用 靳津 周俊燚 郭文 陈俊杰 《上海交通大学学报》 EI CAS CSCD 北大核心 2019年第S01期84-87,103,共5页

由于现场可编程逻辑门阵列(FPGA)功能实现的多元化,往往会出现不同时钟域的信号.不同时钟域的信号进行交互,若不进行同步处理,经常会产生数据丢失、时序错误等问题,所以跨时钟域检查对FPGA功能实现特别重要.本文主要阐述了在开展"... 由于现场可编程逻辑门阵列(FPGA)功能实现的多元化,往往会出现不同时钟域的信号.不同时钟域的信号进行交互,若不进行同步处理,经常会产生数据丢失、时序错误等问题,所以跨时钟域检查对FPGA功能实现特别重要.本文主要阐述了在开展"龙鳞"平台通信模块FPGA软件验证与确认工作中跨时钟域检查的测试流程和方法,对跨时钟异常进行分类,分析通信模块FPGA软件的跨时钟异常并提供解决方案,为FPGA测试工程师提供一种测试思路. 展开更多

关键词 现场可编程逻辑门阵列 龙鳞 通信模块 跨时钟域 验证

下载PDF 职称材料