关注集中联锁系统安全输出的闭环检查

在计算机联锁得到很大的发展,CTCS2型列控系统大规模应用的同时,要注意划清计算机联锁系统与列控系统的界面,集中联锁系统安全输出要得到有效的闭环检查。

安全输入输出平台在深圳龙华现代有轨电车道岔控制器中的应用

简述了VIOP(安全输入输出平台)的架构,对双系冗余VIOP的系统接口、模块组成、内外部通信连接状况,以及通过VIOP的双系热备AM(采集模块)实现对同一继电器节点状态的分时采集原理,通过双系热备DM(驱动模块)实现双断驱动原理等关键技术进行了介绍。简述了VIOP的整体冗余网络架构以及VIOP诊断维护功能。重点对采用VIOP的iLOCK-200T型道岔控制器在深圳龙华现代有轨电车示范线项目SmarTram信号系统中的应用情况进行了介绍。描述了龙华现代有轨电车大和站的1个主逻辑单元带多个VIOP的架构配置情况和工作原理。对后续VIOP迭代的技术方案进行了展望,指出未来可以考虑通过远程更新、网络通信远程部署等方式降低成本,实现道岔控制器的精简与高效控制。

基于ARM+FPGA架构的安全数字量输入输出信号系统设计

采用ARM+FPGA架构方案,构建安全数字量输入/输出系统的设计,能够高效、实时、准确地处理安全输入/输出信号,其设计思想是对输入信号进行安全编码,且生成唯一预期的编码,并对其进行故障检测;对输出信号进行安全编码码序的匹配输出,并回读状态反馈信号,判断是否异常;通过安全性和故障防御分析,该设计在铁路产品的应用中通过采用56位编码的码序,危险失效率均能满足安全认证标准中安全完整性等级四级SIL4的要求。

交错并联磁集成Buck变换器的输出本质安全研究

为了使电路能以较小的最大输出短路释放能量满足本质安全要求,提出将交错并联磁集成技术应用到传统Buck变换器中,交错并联能有效减小输出总电流纹波,磁集成能有效减小单通道电流纹波。以双通道交错并联磁集成Buck变换器为例进行研究,分析了电路的工作原理和临界电感,CCM和DCM下的电感电流纹波,并进行了输出本质安全判据;最后对所设计的电路进行仿真证明理论分析的正确性,并用试验加以验证。

故障安全输入输出模块的设计与实现

故障安全输入输出模块是安全计算机系统的重要组成部分,是系统安全可靠运行的基础。对安全输入输出模块的主要特征、安全设计策略进行了分析和说明,并对故障安全输入输出模块的硬件设计与实现给出了具体的建议。

LLC谐振半桥输出本质安全电源的设计

为了提高矿用电源的效率,保证矿用电源的安全性,研究并设计了LLC谐振半桥输出本质安全电源。基于实现软开关技术的要求,分析了LLC谐振变换器的工作原理,确定了主电路的谐振参数。设计并仿真了LLC变压器。根据最大输出纹波电压和最大输出短路释放能量的要求,确定了输出滤波电容的大小。最后通过实验验证了理论的正确性及有效性。

输出本质安全型正激变换器的优化设计

论文对正激变换器进行了输出本安特性分析,从最大输出短路放电能量最小的角度优化电感、电容设计,研究正激变换器的动态特性并进行了闭环设计,提高了电路的稳定性,给本安电源的后续环节设计提供更大的空间。并通过仿真得出了正激变换器输出波形,为后续环节的设计提供更大的空间。

CTCS3-300T列控车载设备安全数字输入输出模块可靠性研究

重点对车载安全数字输入输出模块进行故障导向安全部分的分析,从理论分析到模拟仿真,到各种测试方法,研究了VDX模块的可靠性。

铁路信号系统安全输入输出平台

介绍了一种新的铁路信号系统安全输入输出平台,该平台可以适应不同规模车站的需求,提高了系统的灵活性,且逻辑运算部分和输入输出部分各自独立。平台中采集模块基于编码技术,驱动模块和通信处理模块基于非编码技术进行设计,可以进一步降低系统成本,提高系统可靠性。

新一代轨道车运行控制系统安全接口设计

介绍了新一代轨道车运行控制系统的接口技术,通过对安全设计原理的分析应用,实现了新一代轨道车运行控制系统的安全输入和安全输出接口。

输出本安Buck-Boost变换器的最危险输出短路放电工况研究

为得出Buck-Boost变换器最危险的输出短路放电工况,依据其输出短路火花放电曲线,深入研究了负载电阻、输入电压等参数对输出短路放电能量的影响。考虑到实际的参数取值范围,指出当负载电阻RL小于给定电感L对应的临界电阻RLC时,输出短路火花放电能量是关于RL的凹函数,且随输入电压的减小而增大;当RL>RLC时,放电能量与输入电压无关,但随RL的增加而增大。并得出Buck-Boost变换器存在一特征电感LT,当L>LT时,其最危险工况为:负载电阻和输入电压最小;而在L<LT时,其最危险工况为:负载电阻最大。仿真和实验结果验证了理论分析及所得出最危险工况的正确性。

ET200S安全从站EM1F-RO模块应用浅析

EM1F-RO数字量电子的模块大量应用于阳极机组故障安全输出回路中,通过介绍EM1F-RO模块的属性、端子分配、接线方式及应用让读者对数字量电子模块在ET200S安全从站中的应用有一个初步的了解。

爆炸性危险场所关联设备齐纳二极管安全栅的设计

本质安全型电气设备具有体积小、轻便安装、可应用于"0"区等优点,在煤矿、石化等爆炸性场所得到了广泛的使用。在这些场所安装的本质安全型电气设备大部分由关联设备供电。齐纳二极管安全栅作为本质安全型电气设备的关联设备一种,可以有效地限制非本安电路到本安电路的能量,防止危险能量窜入危险区,因此齐纳式安全栅的设计是本安防爆技术中的关键。本文从指出齐纳二极管安全栅的要求,对齐纳二极管安全栅的设计具有指导意义。

基于SFMEA的球体平台测控系统软件安全性分析与设计

军用软件的安全性和可靠性已经成为系统设计的重要指标之一,针对某系留式球体平台测控系统软件的安全性问题,采用了SFMEA安全性分析方法,从系统的角度入手,识别出软件安全性需求及球体平台系统软件各种故障模式,分析每个故障模式产生的原因和对系统的影响,提出了软件在设计上采取的基于信息输出安全检测的一系列安全保障技术,提高了球体平台测控系统软件的可靠性。

江西广电IPTV网络安全攻防实验室设计和实践

本文介绍了江西广电IPTV网络安全攻防实验室的功能架构及系统构成,并且分析了江西广电IPTV攻防实验室将产生的价值和效益。

CTCS3-300T车载设备VDX时序问题分析与解决措施

安全数字输入/输出单元(VDX)在CTCS3-300T列控车载ATP系统中至关重要,列车在运行中发生VDX故障,将直接导致故障停车。为保障300T型ATP系统的正常运行,提高运营维护效率,结合VDX单元的功能原理,针对VDX时序问题,分析产生的原因,探讨解决措施,得到处理VDX时序问题的方案。

一种符号化执行的实时系统一致性测试生成方法

系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性.

一种基于时间自动机的实时系统测试方法

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.

Buck变换器的输出短路火花放电能量及输出本质安全判据

为得出Buck变换器的输出本质安全判据,基于安全火花试验装置,对其输出短路火花放电特性进行了试验研究,发现其放电过程可分为介质击穿、火花产生、火花维持和火花熄灭四个阶段.基于得出的火花放电特性,对其输出短路火花放电能量进行了深入分析,指出对于给定电感的Buck变换器,当负载电阻RL小于给定电感对应的临界电阻RLC时,火花放电能量是关于RL的凹函数;而在RL>RLC时,是关于RL的凸函数.考虑到实际的参数取值范围,进一步指出:RL<RLC时的火花放电能量随RL的增加而增大,且在RL=RLC时达到最大值;而在RL>RLC时,则随着RL的增加,先增大后减小,在增加到特征电阻RL,DCM时达到最大值.得出了变换器在全动态范围内的最危险工况:变换器在输入电压最高及负载电阻等于RL,DCM时工作于DCM,此时,短路火花放电能量达到最大值.基于能量等效,提出了可模拟变换器输出短路放电特性的等效简单电容电路及输出本质安全判据,仿真和试验结果验证了理论分析及所提出判据的正确性和可行性.

全电子计算机联锁系统架构与关键技术研究

阐述全电子计算机联锁系统的特点、系统架构、网络设计和模块功能,并就电源切换、信号机驱动控制、信号机模块的隔离检测、防雷、信号机模块可配置性和兼容性等关键技术进行探讨。全电子计算机联锁系统克服了传统计算机联锁加继电器电路的不足,具有节省设备空间、简化施工配线、规模扩展灵活、易于故障处理等优点,对计算机联锁系统的发展具有重要意义。