联锁逻辑模型的安全性分析 被引量：12

1

作者 杜军威 徐中伟 王树梅 《计算机工程与应用》 CSCD 北大核心 2007年第2期1-4,32,共5页

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。... 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。 展开更多

关键词 联锁逻辑 故障树分析法 时间PETRI网 安全性分析

下载PDF 职称材料

Petri网模型的FTA安全性分析 被引量：10

2

作者 杜军威 徐中伟 《计算机工程》 CAS CSCD 北大核心 2007年第13期16-18,48,共4页

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用... 故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析。 展开更多

关键词 联锁逻辑 故障树分析法 PETRI网 安全性分析

下载PDF 职称材料

地铁35kV供电网络安全联锁设置 被引量：9

3

作者 宋大治 蔡彬彬 《电气化铁道》 2009年第6期45-47,共3页

利用地铁35kV供电网络线路纵差保护装置的光纤通信功能,结合开关柜综合保护测控装置的控制逻辑设置,实现变电所之间的安全联锁,以减少运营中因误操作引起的故障,提高供电系统的安全可靠性。

关键词 运行方式 联锁 线路纵差保护 控制逻辑

下载PDF 职称材料

变电站智能电子设备动态重构闭锁逻辑生成多代理系统 被引量：8

4

作者 陈武 段斌 《电力系统自动化》 EI CSCD 北大核心 2015年第21期107-112,共6页

为保证变电站二次系统功能的完整和便于设备检修,智能电子设备(IED)动态重构技术逐渐得到关注。IED动态重构需要装载并解析IED配置描述(CID)文件,因管控主机保存的CID文件关联的是变电站设计时的系统结构,不能表征电力系统动态变化,为... 为保证变电站二次系统功能的完整和便于设备检修,智能电子设备(IED)动态重构技术逐渐得到关注。IED动态重构需要装载并解析IED配置描述(CID)文件,因管控主机保存的CID文件关联的是变电站设计时的系统结构,不能表征电力系统动态变化,为确保闭锁逻辑的正确性,需重新生成闭锁逻辑并更新相应的CID文件。利用多代理技术,管理动态重构管控主机、数据采集与监控(SCADA)主机、电力系统拓扑校验、变电站五防闭锁规则库生成软件等功能组件,构建多代理系统,完成电力系统拓扑校验和闭锁逻辑生成等任务的交互策略与协调流程,获得闭锁规则库更新CID文件,保证动态重构IED闭锁功能的正确性,能适应变电站的改造和升级,并提供更加灵活的闭锁规则管理。 展开更多

关键词 智能电子设备 动态重构 智能电子设备配置描述(CID) 闭锁逻辑 多代理

下载PDF 职称材料

专用线DX3型道口电路设计方案分析与运用 被引量：2

5

作者 代立疆 《铁道通信信号》 2024年第3期95-101,共7页

沈阳东站与八家子(电厂)专用线间有3个道口,每个道口与车站的相对位置和联锁关系均不相同。根据专用线上道口接近通知点与车站、区间的位置关系,有道口上下行通知点均在站内、分别在站内和区间、均在区间3种情况。根据各道口的现场实际... 沈阳东站与八家子(电厂)专用线间有3个道口,每个道口与车站的相对位置和联锁关系均不相同。根据专用线上道口接近通知点与车站、区间的位置关系,有道口上下行通知点均在站内、分别在站内和区间、均在区间3种情况。根据各道口的现场实际情况、运营要求和站内联锁设备位置等,详细计算专用线上道口的接近通知时间和接近通知距离,结合站内联锁条件,分析道口接近点的联锁驱动逻辑和道口的报警时机。根据分析计算结果,基于既有DX3定型道口电路,总结设计车站与专用线间各种场景下的道口报警电路,并分析道口电路的动作逻辑等。上述道口电路已应用于沈白铁路沈阳东站,现场反映使用情况良好,可为以后类似场景的道口电路提供参考。 展开更多

关键词 道口电路 专用线 车站联锁 动作逻辑 接近通知

下载PDF 职称材料

枢纽车站信号机设计及联锁逻辑的实现 被引量：7

6

作者 张校瑞 《铁路通信信号工程技术》 2017年第6期22-24,共3页

高铁线路互联互通需求日益增多,枢纽车站为满足CTCS-2/CTCS-3不同级别列车的运行,站场信号需进行点/灭灯切换,适配不同级别的列车运行。以昆明南站沪昆场为原型,阐述枢纽车站信号机设计及联锁逻辑的实现。

关键词 枢纽车站 信号 联锁逻辑

下载PDF 职称材料

多能互补微电网群能量管理系统设计方案研究及工程应用 被引量：7

7

作者 田盈 黄利军 +2 位作者 郭宝甫 王卫星 李瑞生 《供用电》 2018年第2期63-68,共6页

一定区域内多个微电网统一调控,形成微电网群运行模式。针对多能互补微电网群的运行管理需求,提出微电网群能量管理系统设计方案,包括系统组成、功能规划、通信架构、工程配置等内容。该系统由控制层设备、就地层设备、网络层设备及辅... 一定区域内多个微电网统一调控,形成微电网群运行模式。针对多能互补微电网群的运行管理需求,提出微电网群能量管理系统设计方案,包括系统组成、功能规划、通信架构、工程配置等内容。该系统由控制层设备、就地层设备、网络层设备及辅助设备等组成,设计方案还包含网络通信介质、互锁逻辑等设计细节,并给出工程应用实例。 展开更多

关键词 多能互补 微电网群 能量平衡 互锁逻辑

下载PDF 职称材料

基于高压感应电遥感检测的防误入闭锁装置

8

作者 马春晖 崔雅文 刘杰 《今日自动化》 2024年第1期137-139,共3页

文章提出的防误入闭锁装置基于高压感应电遥感检测技术,旨在解决高压开关柜检修期间可能发生的触电风险问题.通过采用电磁感应技术,实现了对高压开关柜内带电状态的非接触式检测,并结合创新的闭锁逻辑设计,有效降低了误操作风险.且通过... 文章提出的防误入闭锁装置基于高压感应电遥感检测技术,旨在解决高压开关柜检修期间可能发生的触电风险问题.通过采用电磁感应技术,实现了对高压开关柜内带电状态的非接触式检测,并结合创新的闭锁逻辑设计,有效降低了误操作风险.且通过智能闭锁机制,实现了对母线触头隔离挡板的精准闭锁.此外,文章提出的方案具有良好的可扩展性和通用性,为高压开关柜领域带来了显著的技术优势. 展开更多

关键词 高压开关柜 电磁感应 闭锁逻辑

下载PDF 职称材料

计算机联锁系统在城市轨道交通应用中的新变化 被引量：4

9

作者 宿秀元 《铁道通信信号》 2011年第8期38-40,共3页

根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对... 根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对于联锁逻辑判断所产生的一些变化和影响。 展开更多

关键词 城市轨道交通 计算机联锁 联锁逻辑

下载PDF 职称材料

基于时序Petri网的联锁逻辑形式建模与验证 被引量：4

10

作者 杜军威 徐中伟 《计算机工程与应用》 CSCD 北大核心 2007年第13期7-10,共4页

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最... 时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。 展开更多

关键词 联锁逻辑 时序PETRI网 形式建模 时序逻辑

下载PDF 职称材料

提高氯乙烯转化工序运行稳定性

11

作者 田娜 《中国氯碱》 CAS 2023年第8期19-22,共4页

通过对氯碱生产中氯化氢转化工序运行不稳定的主要因素进行分析,从改进测量方式、增加冗余配置、改变联锁逻辑等多方面提出了改进方案,提高了氯乙烯转化工序运行的稳定性,为系统的稳定运行提供有力依据。

关键词 氯化氢气体 差压变送器 反向差压 联锁逻辑

下载PDF 职称材料

交叉渡线增设信号机对联锁逻辑的影响分析 被引量：3

12

作者 李彩霞 陈晓周 王燕芩 《铁路通信信号工程技术》 2022年第6期40-43,共4页

基于联锁车站调车作业的运营需要,在铁路线路交叉渡线的侵限绝缘节处增设置调车信号机越来越常见。该侵限绝缘处的调车信号联锁逻辑,无法用通用调车信号联锁逻辑覆盖。结合实际工程项目实施过程中的线路场景和联锁逻辑设计遇到的问题,... 基于联锁车站调车作业的运营需要,在铁路线路交叉渡线的侵限绝缘节处增设置调车信号机越来越常见。该侵限绝缘处的调车信号联锁逻辑,无法用通用调车信号联锁逻辑覆盖。结合实际工程项目实施过程中的线路场景和联锁逻辑设计遇到的问题,对该场景下的联锁逻辑进行影响分析,并针对涉及到的特殊联锁逻辑进行设计与说明。 展开更多

关键词 联锁逻辑 调车信号 交叉渡线 侵限绝缘 影响分析

下载PDF 职称材料

某核电厂控制室进风间空气γ剂量率监测仪设计优化

13

作者 李朝盛 姜忠旭 陆炜伟 《电子技术应用》 2023年第S01期76-78,共3页

控制室进风间空气γ剂量率监测仪功能为对主控室进风间进行监测,在测量到辐射剂量到达一定阈值,将触发报警。近三年各核电厂接连发生该仪表误报警引起的0级运行事件共5起,通过控制室进风间空气γ剂量率监测仪的安装位置优化、供电分组... 控制室进风间空气γ剂量率监测仪功能为对主控室进风间进行监测,在测量到辐射剂量到达一定阈值,将触发报警。近三年各核电厂接连发生该仪表误报警引起的0级运行事件共5起,通过控制室进风间空气γ剂量率监测仪的安装位置优化、供电分组优化、逻辑修改优化三方面进行仪表优化分析,提升仪表的运行可靠性,避免再次引发0级运行事件的发生。 展开更多

关键词 辐射监测仪表 联锁逻辑 供电分组 安装位置

下载PDF 职称材料

基于测试用例的通用联锁规则自动测试系统

14

作者 辛帆 王印 +1 位作者 谢林 杨平 《铁道通信信号》 2023年第10期15-22,共8页

为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、... 为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、解析并自动执行测试用例,将测试用例中定义变量的预期跳变时序解析为以指定变量为基准的相对周期,并建立一定顺序的“变量-跳变周期”矢量关系链表;同时,周期性地追踪关键变量,将测试结果与预期的矢量关系链表进行对比,以识别通用联锁规则中可能的时序问题。该系统已多次应用在国铁、城轨等相关项目的联锁规则测试中,效果良好,可为同类型项目测试提供参考。 展开更多

关键词 联锁规则 自动测试 测试用例 模块化仿真 布尔逻辑

下载PDF 职称材料

《火灾自动报警系统设计规范》有关问题的探讨及建议 被引量：3

15

作者 杨岩敏 《智能建筑与智慧城市》 2021年第3期34-35,41,共3页

探讨GB50116-2013《火灾自动报警系统设计规范》增加湿式自动喷水灭火系统联动控制的重要性及采用两个独立报警信号的"与"逻辑作为联动触发信号的必要性,提高消防系统动作的可靠性,降低误触发率。以及对该设计规范提出重修建议。

关键词 火灾自动报警系统 湿式自动喷水灭火系统 压力开关 联动控制 连锁控制 “与”逻辑 安全可靠

下载PDF 职称材料

一次大联锁试验中灭磁开关拒动的分析及处理 被引量：3

16

作者 陈刚 杨国辉 《电力系统保护与控制》 EI CSCD 北大核心 2010年第24期222-223,230,共3页

广东省某新建火电机组在发电机逆功率保护和发电机程跳逆功率保护的大联锁试验时,灭磁开关不能动作。经过对设计原理和保护动作逻辑图进行分析,通过模拟试验和各开关分闸时间测量,查出保护装置接收到发电机出口开关动合辅助触点返回信号... 广东省某新建火电机组在发电机逆功率保护和发电机程跳逆功率保护的大联锁试验时,灭磁开关不能动作。经过对设计原理和保护动作逻辑图进行分析,通过模拟试验和各开关分闸时间测量,查出保护装置接收到发电机出口开关动合辅助触点返回信号时,灭磁开关还没有跳开,因此造成了灭磁开关的拒动。提出了在发电机保护中取消发电机出口开关辅助触点参与逻辑的改进措施,保护逻辑回路经改造后,重新进行了大联锁试验,所有开关的动作顺序都能达到预先设计的效果。 展开更多

关键词 联锁试验 辅助触点 灭磁开关 保护 逻辑

下载PDF 职称材料

基于布尔代数的通用联锁逻辑生成方法 被引量：1

17

作者 杨平 谢林 《铁道通信信号》 2021年第6期54-57,61,共5页

提出一种基于布尔代数的通用联锁逻辑生成方法。从数据通用处理、通用联锁逻辑搜索、参数过滤和通用联锁逻辑生成4个方面展开研究。首先根据通用布尔代数语法建立搜索方法库;然后结合实际数据执行该搜索方法库生成搜索路径,过滤掉搜索... 提出一种基于布尔代数的通用联锁逻辑生成方法。从数据通用处理、通用联锁逻辑搜索、参数过滤和通用联锁逻辑生成4个方面展开研究。首先根据通用布尔代数语法建立搜索方法库;然后结合实际数据执行该搜索方法库生成搜索路径,过滤掉搜索路径中不符合要求的站场设备,得到通用联锁逻辑;最后结合实例详细说明通用联锁逻辑的搜索过程。 展开更多

关键词 计算机联锁 联锁逻辑 数据处理 参数过滤

下载PDF 职称材料

基于服务追踪和预约逻辑的多间隔联闭锁实现方案 被引量：1

18

作者 段斌 李国竞 +1 位作者 刘艳 袁韩英 《电力系统自动化》 EI CSCD 北大核心 2014年第3期155-160,共6页

在变电站智能人机接口和控制中心分别同时操作线路间隔母槽隔离开关和母联间隔断路器的特定情境下,隔离开关位置的改变将导致母联闭锁失效。提出了含预约逻辑的多间隔联闭锁实现方案,解决多主体操作不同间隔设备的并发行为而导致的误操... 在变电站智能人机接口和控制中心分别同时操作线路间隔母槽隔离开关和母联间隔断路器的特定情境下,隔离开关位置的改变将导致母联闭锁失效。提出了含预约逻辑的多间隔联闭锁实现方案,解决多主体操作不同间隔设备的并发行为而导致的误操作问题。分析了多间隔联闭锁的预约机制,介绍了IEC 61850-7-2标准第2版中的控制命令状态机和服务追踪技术,提出了含预约逻辑变量的闭锁功能逻辑节点(CILO)闭锁模型,以及基于控制命令解析的预约逻辑算法。进一步提出了基于服务追踪和预约逻辑的通用多间隔联闭锁体系架构并设计了其信息交互流程。 展开更多

关键词 变电站自动化 闭锁 服务追踪 预约逻辑 控制模型

下载PDF 职称材料

600MW燃煤机组锅炉密封风机节能改造 被引量：2

19

作者 邢希东 邱盈忠 +1 位作者 冀子明 文大缀 《陕西电力》 2015年第2期84-88,共5页

以600 MW火电机组锅炉密封风机为改造对象,根据系统配置的特殊情况,将其中2台风机改造为增压密封风机,由大气取风改为由一次冷风母管取风,电机额定功率降低了66%。通过增压减容改造,75%负荷下,厂用电率降低约0.13个百分点,年节电约8 500... 以600 MW火电机组锅炉密封风机为改造对象,根据系统配置的特殊情况,将其中2台风机改造为增压密封风机,由大气取风改为由一次冷风母管取风,电机额定功率降低了66%。通过增压减容改造,75%负荷下,厂用电率降低约0.13个百分点,年节电约8 500 MWh,节能效果明显。同时结合改造后情况,对风机的运行方式和联锁逻辑进行了优化,充分发挥了节能项目的节能作用,同时保证了系统运行的安全性,提高了密封风机运行的可靠性。 展开更多

关键词 密封风机 增压减容 运行方式 联锁逻辑 节能分析

下载PDF 职称材料

电码化执行单元在全电子计算机联锁系统中的工程应用 被引量：2

20

作者 张涛 杨卫东 《铁道通信信号》 2018年第3期28-30,共3页

全电子计算机联锁系统不再采用继电方式而采用高度集成化和电子化的电码化执行单元,实现编码及发码逻辑功能。结合具体工程案例,以继电电路为参照,详细介绍电码化执行单元的编码及发码原理,及其在全电子计算机联锁系统中的工程应用。

关键词 计算机联锁 电码化 逻辑 工程应用

下载PDF 职称材料