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

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

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

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

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

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

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

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

基于LC电源的混合式高压直流断路器分断试验方法

直流断路器分断试验为运行试验中最为核心的部分,其有效性直接关乎直流断路器电气性能的验证。该文针对柔性直流电网用混合式高压直流断路器分断试验展开研究,目的在于提出具有工程可行性的分断试验方法和试验参数。首先,在对混合式高压直流断路器原理和工况分析的基础上,揭示了混合式高压直流断路器整机应力特性;然后,在应力提取的基础上,提出了LC电源试验电路以及参数;最后,通过200 k V断路器整机短路电流分断试验验证了试验电路和试验方法的准确性。实验结果可为混合式高压直流断路器试验系统设计提供参考。     

低噪音低能耗空气处理技术在后世博中国商飞总部大楼的应用

空气处理机组是直接影响建筑能耗与室内空气品质的设备,后世博商飞总部大楼采用低能耗、低噪声的空气处理机设备,从噪声与节能来实现绿色建筑优良的室内环境及能源的节约。     

宁东—山东±660kV直流输电工程晶闸管阀运行试验

为追求更高的传输效率及传输容量,特高压直流输电工程在我国电网中的应用越来越广泛。晶闸管阀作为其中的关键设备之一,必须通过完备有效的型式试验,以确保阀的设计是正确的。在IEC 60700-1标准的基础上,通过对现有运行试验电路的深入调研,开发了一套新的运行试验装置,并将其应用到宁东—山东±660 kV直流输电工程,试验结果表明该工程晶闸管阀的研发是成功的。     

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

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