一起两点接地导致500kV保护误动分析及控制

摘要：目前电网发生多起高压变电站电流互感器二次回路误碰两点接地导致500kV保护误动的事故,因为500kV保护采集的是两台电流互感器二次回路的和电流,采取二分之三接线方式,当其中一台电流互感器及其二次回路检修停运,另外一台电流互感器及其二次回路仍然运行,此时如果在工作中对风险控制措施不妥将会导致保护误动作,导致电网事故。本文在通过案例分析总结出高压变电站500kV保护采集的是两台电流互感器二次回路的和电流接线方式情况在维护中风险控制措施,遵循“先断后短”的安全措施原则进行控制,同时也总结一般220kV保护常规双母线接线方式风险控制措施,一般遵循“先短后断”的原则。本文总的原则已在工程中得到实践。     

多工位电流互感器测试系统智能保护器的实现

电流互感器二次侧开路,会危及人身安全及损坏电路.实现一种用于电流互感器测试平台的二次侧开路保护器,以保护操作人员和测试电路.保护器主要由氧化锌压敏电阻、保护继电器、二次侧开路监控电路、硬件处理保护电路和单片机等组成.二次侧发生开路时,压敏电阻限制开路电压,监控电路同时控制保护继电器触点闭合短接二次侧两端,单片机通过串口上传开路报警信息.多工位实时保护,集中监控多路互感器测试通道.保护器既可由硬件独立完成保护工作,也能受PC机管理控制.它对互感器二次侧相关电路影响小,开路保护反应时间短,保护效果好.现场运行一年多来,表明保护器性能可靠、稳定.     

电压互感器二次回路N600多点接地查找方法与应用探讨

在变电站、电厂的日常运行中,电压互感器(PT)二次回路有且仅有一个接地,但是现实会出现多点接地点的问题或故障,这给维护人员的工作带来较大的困难,需要科学有效的查找方法。笔者一直从事继电保护工作,将以电阻法、电流法和电压法三种方法入手,探讨了电压互感器二次回路N600多点接地查找方法及其具体应用。     

电流电压互感器二次回路故障仿真装置的研制

详细介绍了用于电力系统中模拟电流电压互感器二次回路故障的仿真装置研制方案,包括研制思路、设计方案、工作原理及分析探讨。     

浅析电压互感器开口三角形接线错误的判断

电压互感器二次接线柱通常有三个绕组,一组用于测计量接成星形状、一组用于保护接成星形状、另外一组接成三角形状用于零序电压保护。当开口三角形绕组发生接线错误时,会在开口处产生200V的高电压,需要保护人员快速定位接线错误处,排除故障。利用测量值来判断定位错误接线位置是一种快速的方法。     

基于AT91SAM9X35的回路状态监控终端设计

针对常见的分流窃电手段展开分析,研究电流互感器二次回路阻抗在分流窃电情况下的变化规律及特点,选择合理有效的监控方式和方法,实现对电流互感器二次回路分流窃电的有效监控.提出了一种基于AT91SAM9X35的终端设计方案,该终端可用于回路状态监控,可实时监控二次回路正常、二次回路开路、二次回路短路、一次旁路、回路串接半导体...     

智能变电站过程层二次虚回路自动校核系统

为提高对智能变电站过程层二次虚回路的自动控制抗干扰和校核能力,设计了基于线性扩张自适应控制的智能变电站过程层二次虚回路自动校核系统。建立了智能变电站过程层的二次虚回路等效电路模型,采用误差反馈校正方法调节模糊控制参数;在此基础上,进行智能变电站过程层二次虚回路的线性自抗扰控制和参数整定性处理,根据等效控制反馈增益的变化实现对过程层二次虚回路的自动校核。仿真实验结果表明,采用该方法进行智能变电站过程层二次虚回路自动校核的校核精度较高、可靠性较好,且校核过程较稳定,提高了智能变电站过程层二次虚回路的抗干扰能力,具有很高的应用价值。     

分析电流互感器二次侧开路的危害及防范措施

电流互感器是一种把大电流转变成小电流的变换器,由于其特殊的物理结构,二次侧是不能开路的,否则会导致电流互感器的准确度降低,甚至电压过高危害运维人员的安全。因此要分析其二侧开路的危害及防范措施,避免类似事故的发生。     

电子式互感器测量环节传输特性的研究

电子式互感器作为电力系统的一种新型二次设备,具有动态范围大、数据传输抗干扰能力强、测量精度高、线性性良好等特点,因而在现代电力系统及继电保护中发挥着重要的作用.在分析罗氏线圈电流互感器结构和测量原理的基础上,对其进行传感头和模拟信号处理系统的建模工作,推导了传递函数,研究了电网高次谐波及冲击电流两种电网畸变波形对电子式电流互感器传输特性的影响,并通过Simulink进行了定性、定量仿真分析,同时还分析了电子式互感器的结构参数对输入输出特性的影响.     

智能变电站合并单元二次信号无线相位测试装置的研制

为了解决使用外电压引基准信号进行各电压等级分布的合并单元的二次信号相位测试难题,设计了新型的相位测试装置。在500 kV变电站的现场应用、电流互感器二次电流2 mA条件下,该装置能够准确地对变比、极性和相位进行准确测量。在变压器差动回路检查时（即在六角图测试时）,由于变压器短路阻抗较高,在保护装置的显示屏幕上无法准确读取二次电流数据时,能够使用该装置完成对二次接线的核查。有效地避免了带负荷校验保护和计量回路极性错误,具有智能化、操作简便化等特点,能够同时满足常规变电站、智能变电站的测试需求,为下一步智能变电站的研究奠定技术基础。     

Timed verification of the generic architecture of a memory circuit using parametric timed automata

Using a variant of Clariso-Cortadella’s parametric method for verifying asynchronous circuits, we analyse some crucial timing behaviors of the architecture of SPSMALL memory, a commercial product of STMicroelectronics. Using the model of parametric timed automata and model checker HYTECH, we formally derive a set of linear constraints that ensure the correctness of the response times of the memory. We are also able to infer the constraints characterizing the optimal setup timings of input signals. We have checked, for two different implementations of this architecture, that the values given by our model match remarkably with the values obtained by the designer through electrical simulation. Partially supported by project MEDEA+ Blueberries. A preliminary version appeared in the Proceedings of 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’06), Sept. 2006.     

使用输出分组和电路可满足性的等价性验证算法

介绍了一种使用电路可满足性解算器的组合电路等价性验证算法．对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题．同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间．实验结果表明,该算法是实用有效的．     

利用门限进行电路故障诊断

如何设定故障门限对电路故障诊断结果影响很大。简述了电路故障诊断基本概念 ,重点介绍了如何利用故障门限进行电路故障检测和故障隔离。介绍了如何通过电路仿真分析来设置故障门限 ,并结合实例进行了具体分析     

对时间自动机进行空性检测的过程和改进

为了提高对时间自动机进行空性检测的效率,研究了使用基于时钟区域(zone)的符号化方法和抽象对时间自动机进行空性检测,提出了针对时间自动机自身特点对检测过程进行改进的方法.通过使用基于zone的符号化表示方法和抽象,一个符号化状态表示显式的状态的集合,时间自动机的状态空间会显著缩小,不同的抽象方法对状态空间有不同的效果.符号化状态间不仅有相等关系还有包含关系,通过判断这种包含关系可以尽早的找到接收路径和避免不必要的状态展开从而提高空性检测的效率.实现了改进的检测过程,对一些例子进行了数据比较,取得了较好的实验结果.     

可能性测度下的CTL符号化模型检测

随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证。 对可能性测度下CTL符号化模型检测进行了研究。首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证。该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义。     

原理图自动审查系统中的协同技术

该文提出了一种原理图级电路设计自动审查系统协同设计实现方案。这种技术的关键就在于将设计和测试向量融为一体,即当设计和测试单独进行时,能够根据设计资料生成标准的测试向量,依据测试向量实现原理图的自动测试。该文介绍了此协同设计体系的系统结构、集成框架结构及扩展EDA内置的测试功能。     

基于梯形逻辑的联锁系统形式化验证方法

铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。     

模型检验在航天测控软件上的应用研究

模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。     

基于模型检查的VHDL到FSM的转换

随着计算机软硬件系统规模的日益复杂,如何保证系统的正确和可靠,逐渐成为当前理论界和产业界共同关心的重要问题.为此提出的诸多理论和方法中,模型检查以其简洁明了和自动化程度高而引人注目.提出了一个针时时序电路VHDL设计的模型检查的解决方案.讨论了该方案的系统结构,将VHDL设计转化为有限状态机模型的算法,以及针对同步时序电路设计的模型化简,可有效减少FSM的状态空间,继而可以采用符号模型检查算法对需要检查的性质进行验证.