COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器

分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLID_data、SLID_data的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约...     

混合式直流断路器合成开断试验方法及等效研究

国际上已开发出多种混合式高压直流断路器,并完成工程应用,其在多端和直流电网应用前景广阔。短路电流开断能力是直流断路器的核心性能,而直流开断过程同时存在大电流、高电压和强能量,造成在试验室中等效复现开断应力极为困难。国际上至今尚未形成统一的等效开断试验标准,试验容量与等效性关系也缺少理论研究和定量分析。该文基于混合式直流断路器开断原理,提取开断过程分阶段等效应力,揭示试验容量与等效性数学关系,奠定试验电路参数设计及等效分析的理论基础。进一步提出双频电流源合成开断试验方法,完成关键等效应力数学解析与试验电路参数最优设计,开展试验应力仿真验证及等效性对比分析。研究表明,双频电流源合成等效试验方法可实现混合式直流断路器开断电应力全等效,技术经济性良好,对开断试验装置开发及标准制定具有指导意义。     

心灵深处的遇合——读莫砺锋先生的《杜甫评传》

莫砺锋先生的《杜甫评传》是《中国思想家评传丛书》之一种。该书在继承前人成果后自创新说,围绕"思想"这一宗旨,贯穿整部著作的叙述。通过阅读《杜甫评传》发现其在对杜甫与传统文化的关系,对杜诗的解读及对历史人物的评价方面都有其独到之处。     

基于微源控制-小波神经网络的微网功率预测

针对可再生能源发电具有功率周期变化与对环境敏感的双重性,提出将微源控制(MSC)用入分布式电网功率预测的小波神经网络模型学习算法。该算法在灵活处理功率局部与周期特性的基础上,结合环境因素对功率变化的影响,引入关联因子优化权重,得出最终预测结果。通过对实际微网系统的仿真测试,并与BP神经网络与GRNN模型进行比较,研究结果表明：MSC-WNN模型在三次测试中相对误差均在-1%-1%以内,说明了其具有较高预测精度和良好的鲁棒性能。     

柔性直流电网用混合式高压直流断路器特征参数提取及应用

在半桥型模块化多电平换流器联合混合式高压直流断路器构建的柔性直流电网中,直流断路器特征参数与直流系统配置参数之间存在紧密关联。特征参数是系统能力投射到断路器上的外在表现,一方面反映系统的出力水平,另一方面反映断路器承受最苛刻整机应力能力。特征参数提取是实现混合式高压直流断路器在柔性直流电网中工程应用的理论基础。该文在对混合式高压直流断路器应用、原理、工况理论分析的基础上,提取混合式高压直流断路器五种特征参数,并揭示各参数之间的数学联系,论证各特征参数的具体影响。建立的系统级混合式高压直流断路器PSCAD/EMTDC运行数字仿真电路验证了特征参数提取与其影响效果的正确性。实施的200k V断路器整机分断试验结果验证仿真电路和数学分析的准确性。该文结论能够有效指导混合式高压直流断路器的设计与应用。     

大容量可控关断的直流输电用电流源型换流器研究综述

可控关断的电流源型换流器(current source converter,CSC)相较于LCC和VSC具有较好的技术优势,逆阻型大功率可关断半导体器件的快速发展为CSC在高压直流输电领域的应用提供了发展契机.针对现有CSC的拓扑、调制方法的优缺点进行调研和对比,分析总结出适用于高压直流输电的LCC-CSC拓扑和特定谐...     

反向恢复电荷分散性对直流换流阀的影响

直流换流阀是直流输电的核心设备,它的设计性能直接影响整个直流系统的优劣。而晶闸管的反向恢复特性是阀设计时考虑的重要因素之一。为满足耐压要求,换流阀需多只晶闸管串联,但每只晶闸管的反向恢复电荷均不同,这种电荷分散性将引起晶闸管级端电压的不同。首先分析直流换流阀关断时刻反向恢复电荷差异对晶闸管级端电压的影响。在此基础上,分别分析反向恢复电荷分散性对阀最小触发电压和最小关断角的影响,推导其理论公式,并通过仿真验证公式的准确性。最后,得出在系统条件一定的情况下,阀设计时对所选用晶闸管的反向恢复电荷分散性的一般要求。     

新型可控电网换相换流器拓扑及其控制方法

为保持传统电网换相换流器(line commutated converter,LCC)低损耗、高可靠性和经济性等优点的同时,又避免换相失败故障风险,提出一种新型具有可控关断能力的电网换相换流器(controllable line commutated converter,CLCC)拓扑结构。该拓扑基于全控和半控器件混联的设计思路,首先通过全控型器件转移电流,等待晶闸管关断能力恢复后,再利用全控器件关断电流以快速完成桥臂间换相。可控电网换相换流器主要包括常规换流和可控换流2种运行模式,研究不同运行模式下换流器的工作原理及换流器内部控制策略。通过搭建特高压直流输电系统仿真模型,分析可控电网换相换流器的暂、稳态和典型故障态运行特性。仿真结果表明,在发生交流故障时,可控电网换相换流器可以主动关断桥臂电流实现强迫换相,同时提供一定的无功支撑,解决多馈入直流系统换相失败问题,有利于提高电网安全稳定运行水平,提升多直流馈入受端电网电力接纳能力。     

可控电流源型换流器换流应力分析EI北大核心CSCD

可控关断的电流源型换流器(current source converter,CSC)是解决直流输电换相失败问题的有效方法之一。对其开展电气应力分析是换流器电气、绝缘和试验设计的理论基础,其相关研究仍属空白。该文在分析CSC运行原理和调制方法的基础上,首先研究在主动换相与强迫换相过程中,换流阀及关键部件的应力特性;其次,给出逆阻集成门极换流晶闸管(reverse blocking integrated gate commutated thyristor,RB-IGCT)周期关断的建模方法,提取4500V/3000A器件的建模参数。最后,建立“器件–换流阀–系统”详细仿真模型,对250kV/750MW的直流系统进行仿真分析,提取主动和强迫换流过程中的整机和关键部件的应力特性。结果表明,所提理论分析方法和参数计算能够为CSC的电气设计和等效试验提供技术支撑。     

直流输电用大功率逆阻型IGCT器件关键技术研究EI北大核心CSCD

受限于大功率可关断器件的发展,高压直流输电用可控关断的电流源型换流器(current source converter,CSC)一直未取得实质性进展。该文首先介绍基于换流器级联的CSC拓扑方案,搭建250kV/750kW的直流输电仿真系统,提取逆阻型集成门极换流晶闸管(revere blocking integrated gate commutation thyristor,RB-IGCT)器件应用于直流输电系统所应满足的技术要求;其次,分析低通态压降、损耗优化和高du/dt和di/dt的RB-IGCT器件关键设计方法。最后,对研制的4500V/3000ARB-IGCT关键核心参数进行实验验证。研究结果表明,所研制的RB-IGCT器件可以满足CSC的要求,是构建CSC的可行路线。