基于UML的计算机联锁软件的分析与建模

有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。     

一起400V断路器同时跳闸故障分析

分析一起400VPCA和B段母线上11路断路器同时跳闸的故障现象,通过深入排查,发现在技术改造利旧电源柜时存在的隐患、使用过程中的疏忽以及设计上存在的缺陷,分析了故障原因,采取了相应的对策,对于400V低压厂用电供电系统的供电方式、供电的可靠性、稳定性、合理性提出了一些参考意见.     

BNCT速调管功率源联锁保护系统设计

为了保证BNCT速调管功率源系统安全稳定运行,并满足系统实时监测、快速响应、故障定位、易维护等要求,开发设计一套基于西门子PLC的联锁保护系统.该系统实时监测水冷、高压电源、撬棒等所有设备工作状态,同时根据速调管要求执行加电、故障联锁逻辑程序,并实现故障定位、状态显示.本文主要介绍控制系统总体方案设计、软硬件设计以及后...     

电气二次防误闭锁与微机监控闭锁共同运行的必要性

对已一运行多年的220 kV茅口变电站的防误闭锁改造后,在运行和停电检修过程中出现的一些问题进行分析,对电气二次防误闭锁与微机防误闭锁共同运行的必要性进行讨论,提出了一些见解.     

核电生产现场签入签出制度的实现与应用

工作控制流程作为核电工作的核心环节,在核电的整个业务流程中占据最为重要的作用,核电严苛的安全要求、紧凑的工作安排,需要有一整套具有先进理念的信息系统进行支持。生产现场的安全保障、工作控制流程的高效可控,是核电业务开展的重要保障。本文从生产现场签入签出理念的引入为切入点,通过建立配套的运行管理系统,现场开完工电子系统及后台监视系统,实现了在核电生产现场签入签出制度的建立。该制度的建立,有利于提升现场的安全可控水平,提高工作效率,为核电生产的高效稳定提供支持。     

Advan Trol-pro集散控制系统实现二氧化氯制备在漂白杨木浆生产线中的应用

本文介绍了浙大中控DCS在二氧化氯制备过程中的算法控制和联锁保护控制。     

一次风机控制回路的更换与优化

针对国华准格尔发电有限公司(以下简称准电)一次风机油泵联锁及主辅电源切换回路原设计存在的问题,改用PLC控制装置代替继电器控制,用压力变送器代替压力开关。改造后,不仅优化了控制回路,而且简化了就地控制箱的线路,提高了一次风机的稳定性,同时也大大降低了辅机系统的故障率。同类现象可借鉴。     

HDPE装置ESD系统报警功能的开发与设计

叙述了横河Prosafe-PLC紧急停车系统在工业HDPE装置的应用。由于原有系统报警功能不能满足实际工况的要求,对开发系统的软件进行研究,从功能设计到硬件连线两方面进行改进。改造后系统经实际投用,取得了满意的效果。     

常用低压变频电机风冷系统的几点思考

结合工程实例,就常用低压变频电机冷却风机的配电、控制等展开分析和探讨,研究不同使用条件下低压变频电机冷却风机宜采用的控制方案.     

YDT-Ⅰ型机车登顶作业安全监控系统研究

YDT-Ⅰ型机车登顶作业安全监控系统采用硬件和软件的双重联锁措施,充分保证了登顶作业人员的安全。联锁软件编制为模块化结构,故障诊断、容余容错技术,采集驱动模块采用多种安全保护措施,大大提高了系统的安全性和可靠性。