HI-13串列加速器辐射防护联锁系统改造

新建HI-13串列加速器辐射防护联锁系统采用PLC自动化控制, 增加与优化了原系统的联锁控制逻辑, 在充分保证人员辐射安全的同时, 使系统状态显示更直观, 操作更方便.     

C-ADS注入器Ⅰ联锁保护系统设计

联锁保护系统是加速器驱动次临界系统（ADS）先导专项（C-ADS）核心系统之一，用于对加速器控制及人身和设备保护。为此设计搭建了基于可编程逻辑控制器（PLC）和PROFINET协议的联锁控制系统，对加速器各个关键部件的信号进行采集和控制。为满足加速器对可靠性的严格要求，该联锁系统选用最新型的PLC和I/O模块，并采用高可靠性容错和冗余技术的硬件设计。本文还对该联锁系统的冗余状态和非冗余状态做了可靠性分析对比。基于该系统的实验物理和工业控制系统（EPICS）的控制接口也已成功开发，并在线应用。     

HIRFL人身安全联锁系统的设计与实现

兰州重离子加速器(简称HIRFL),是我国规模最大、加速离子种类最多、能量最高的重离子研究装置,可提供单核子能量达GeV量级的重离子束。HIRFL运行时,束流会在加速器隧道内产生辐射,需要建立一套人身安全联锁系统来保障人员的辐射安全。HIRFL人身安全联锁系统遵循分区联锁、硬件最可靠、失效保护、冗余及独立性、自锁等设计原则,选用了可靠性高的冗余PLC作为核心控制器,并使用了安全性高的联锁部件。本工作的完成保障了HIRFL工作人员的辐射安全,也为同类型加速器装置的人身安全联锁系统设计提供了参考。     

基于FPGA的储存环束流轨道联锁系统设计

上海光源储存环束流轨道联锁系统是加速器机器联锁保护系统(MPS)的重要组成部分,针对日常供光和机器研究的需求,需要对束流位置测量系统前各Libera电子学输出的联锁信号进行标记,以区分联锁信号的先后顺序和误报的联锁信号,同时触发所有Libera电子学前锁存逐圈(TBT)数据。新的联锁系统将所有联锁信号通过光纤传输汇总至FPGA数据采集板卡进行甄别,并将该系统集成储存环EPICS控制系统中。实验室测试显示该系统能够能够分辨数十ns范围内模拟的联锁信号,同时输出特定的触发信号至对应的Libera电子学,表明该系统达到设计要求。     

HL-2M 装置初始放电安全联锁系统研制

为确保 HL-2M 装置能安全、稳定地进行初始等离子体放电实验,参考国际热核聚变实验堆(ITER) 的安全联锁设计,并结合 HL-2M 装置的实际现状,建立了一套基于可编程逻辑控制器(PLC)慢控制的中央安全联 锁系统。搭建了一套千兆光纤星形网用来满足各系统之间的通讯。中央安全联锁系统根据故障风险等级和预先设 定的故障处理机制,协调各子系统进行联锁保护动作。WINCC 监控画面显示各子系统的运行状态和故障信息。 采用 EPICS CA 协议和 S7nodave 驱动实现了软 IOC 读取 PLC 变量,并结合 C#编程实现了对主机大厅门禁访问系 统的控制,保障了人员和设备的安全。该套中央安全联锁系统已经投入使用,平均扫描周期 1~3ms,满足 HL-2M 装置初始等离子体放电的安全联锁保护需求。     

BEPCⅡ低温控制系统研制

北京正负电子对撞机重大改造工程(BEPCⅡ)首次应用低温超导技术建造低温系统.低温控制系统通过控制前端低温系统的压力、液位、流量和功率等过程变量,分别产生饱和液氦、两相氦和过冷的单相液氦,使用这三种不同形式的氦流来冷却超导设备.低温控制系统采用EPICS+PLC双层架构体系,实现对前端低温超导设备的全自动控制.EPICS主要完成低温系统的过程控制、逻辑控制和PID闭环控制;PLC负责前端关键设备的联锁控制,用于保护低温超导设备的安全.     

多基准站GPS定位靶场测试方法研究

CBTC(Communication Based Train Control,基于通信的列车控制)系统的联锁软件为SIL4级的高安全、高可靠软件，目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量，要保证高覆盖率的测试十分困难。EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计，因此，采用形式化的方法设计软件，是构造高可靠、高安全软件的一个重要途径。本文总结了现有的CBTC系统中联锁子系统集成方式及优缺点，并使用事件确定有限自动机ETDFA(Event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义，保证联锁逻辑的正确性，减少软件的不确定性描述。以办理进路为例生成联锁对象的ETDFA模型，验证该方法的有效性和可行性。该方法不仅为CBTC联锁软件的设计与开发提供新思路，而且有助于安全苛求软件的形式化验证与分析，提高联锁软件的安全性和正确性。     

应用ETDFA生成CBTC联锁软件形式化模型的方法

CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。     

国产容错车站计算机联锁控制系统的研究

介绍了国产容错车站计算机联锁控制系统的构成及功能 ,详细分析了系统的特点。目前 ,该系统已成功地投入运营 ,并在实践中获得了用户的好评。     

高频环行器打火原因的分析

合肥光源(HLS)储存环高频系统环行器在工作中出现了两种形式的打火——谐波打火和束流丢失打火. 谐波打火的原因已经找到并予以解决, 但丢束打火的机制尚未明确. 文中描述了丢束后高频系统的响应过程, 分析了一些可能造成环行器打火的因素. 为了防止环行器打火受损, 建立了快速联锁保护电路, 该电路在历次打火中成功地保护了环行器.