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

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

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

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

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

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

混合式直流断路器电流转移开关核心性能研究与参数设计

主支路电流转移开关是混合式高压直流断路器的核心部件,其转移电流的成功将直接影响断路器开断功能,为实现其在断路器中高效可靠工作,该文对电流转移开关核心性能进行研究。采用定性分析结合定量计算的方法,分析电流耐受、电压耐受、转移能量和可用率等性能的影响因素,并依据张北±500kV柔性直流电网技术要求,设计500kV混合式断路器主支路电流转移开关参数,研制全尺寸样机,并对样机进行性能测试,测试结果表明设计方法满足要求,验证所提方法的科学性和合理性。     

浅析云计算环境下的分布存储关键技术

伴随着互联网技术的快速发展,云计算成为网络技术的发展核心.云计算是一种新型的网络资源,具有对数据高效处理和储存特点,其分布存储、计算、传输的特征是以往计算技术所无法达到的.现阶段云计算数据中心储存量已超过PB级,但是受技术发展制约,云计算数据中心的数据存储规模以达到顶峰,常常会导致数据失效,增加运行成本也在一定程度上制约了云计算的推广应用.因此,提升数据中心的存储扩展性、容错性和低能耗是未来云计算环境下分布存储研究的关键.本文对云计算环境下分布存储关键技术的结构类型和发展中存在的问题和现状进行具体分析研究,提出的改进建议仅供参考.     

纺织用抗菌材料及其应用研究进展

随着科技的快速进步和人民生活水平的显著提高,尤其是新冠肺炎在全球的进一步蔓延,人们对功能性抗菌纺织品提出了更高的要求。为了进一步促进抗菌纺织品的发展,总结了常见的抗菌材料及其抗菌机制,综述了抗菌整理剂在纺织领域中的应用研究进展,指出抗菌纺织品行业亟待解决的问题,并从抗菌整理剂的选择性和高效性、抗菌纺织品的安全性、服用性能和耐久性以及抗菌纺织品检测标准的滞后性和规范性等4个方面展望抗菌整理剂及抗菌纺织品未来发展方向,为抗菌纺织品的跨越式发展提供理论参考,以期推动功能性抗菌纺织品的转型升级。     

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

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

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

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

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

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

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

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