基于开放光路FLRDS技术的C2H2和C2H6气体检测

磷酸铁锂电池因其较长的使用寿命和环保性,被广泛应用于储能系统。然而,近年来,储能电站安全事故频发,给电网稳定运行造成了威胁。在热失控过程中,磷酸铁锂电池会产生C₂H₂和C₂H₆等可燃气体,是造成燃烧、爆炸等灾害的重要原因。因此,实时准确监测储能预制舱内C₂H₂和C₂H₆等可燃气体的浓度是保障其安全稳定运行的关键。文中提出一种基于开放光路光纤环形腔衰荡光谱(fiber loop ring-down spectroscopy,FLRDS)技术的气体检测方法,可实现自由空间内微量气体在线监测。对梯度折射率(gradient index,GRIN)透镜的空间光耦合光学损耗进行理论和实验分析,建立插入损耗为0.95 dB的开放光路FLRDS气体检测系统。根据C₂H₂和C₂H₆红外光谱特性,开展激光光源性能测试。模拟开放空间气体环境研究了C₂H₂和C₂H₆的气体浓度检测方法,结果表明,该系统具有较好的稳定性,N₂背景下测量信号标准偏差S仅为平均值的0.156%。衰荡时间与气体浓度之间存在良好的线性关系,C₂H₂线性拟合度R²为0.998 32,C₂H₆线性拟合度R²为0.994 72。反演计算结果表明,C₂H₂和C₂H₆的最大相对误差分别为3.215%和4.72%,最大绝对误差分别为16.86 μL/L和12.74 μL/L,测量精度良好。     

基于过渡电阻评估的灵活接地系统暂态故障选线方法

灵活接地系统发生单相高阻接地故障后,并联小电阻的投入将导致故障稳态分量变小,同时各馈线零序电流稳态幅值变化量差异较小,存在选线难题。分析并联小电阻投入后灵活接地系统暂态故障特征,得到馈线暂态零序电流与母线暂态零序电压及其导数的固有关系,分析小电阻投入时刻与暂态故障特征幅值的关系,从而提出一种基于过渡电阻评估的灵活接地系统暂态故障选线方法。该方法通过小电阻投入产生的低频暂态电压电流评估过渡电阻,进而实现故障选线,不受故障初相角影响,耐过渡电阻能力强,对互感器精度要求低;同时,通过小电阻投入时刻的选择可实现暂态故障特征的最大化调控,可为灵活接地系统选线与保护方法提供新思路。最后,通过仿真和实时数字仿真（RTDS）实验验证了所提方法的正确性。     

湿热老化对电抗器匝间过电压耐受特性的影响

在干式空心电抗器的服役过程当中,水分有可能会大量地侵入包封并造成包封内绝缘的严重湿热老化而发生电抗器事故。但是目前对电抗器湿热老化并最终导致起火故障的详细过程和机理没有进行深入研究。由于湿热老化材料耐击穿性能下降,匝间绝缘在过电压的作用下有可能被击穿形成永久的匝间短路通路而发生故障,文中探讨这种短路故障发生的可能性,研究匝间过电压对匝间绝缘的影响。首先分析电抗器端口可能出现的最大过电压,然后利用链形回路计算电抗器在运行过程中可能遭受的最大匝间过电压,最后利用只包含两匝线圈的简易电抗器模型研究匝间过电压造成匝间绝缘故障的风险;结果表明：虽然电抗器在遭受过电压冲击时匝间绝缘有可能承受较大的过电压,但即使匝间绝缘已老化严重,过电压也不易将匝间绝缘击穿造成短路故障。     

基于双重注意力机制和GRU网络的短期负荷预测模型

电力负荷预测对电力系统的部署、规划和运行影响重大,但目前各输入特征对电网负荷情况影响的程度不稳定,且递归神经网络捕获负荷数据的长期记忆能力差,导致预测精度下降。提出一种基于双重注意力机制和GRU网络的预测新模型,利用特征注意力机制自主分析历史信息与输入特征间的关联关系,提取重要特征,并通过时序注意力机制自主选取GRU网络中关键时间点的历史信息,提升较长时间段预测效果的稳定性。在3个公开数据集上的实验结果表明,该模型在预测精度指标上表现良好,对比SVR、KPCA-ELM、DBN、GRU、Attention-GRU、CNN-LSTM、Attention-CNN-GRU模型预测精度分别提高了2.47、1.14、1.93、1.37、1.04、0.74、0.41个百分点。     

基于模型参考模糊自适应控制的永磁同步电机控制器设计

基于模型参考模糊自适应控制（MRFAC）方法设计永磁同步电机（PMSM）速度控制器。该控制器具有传统模型参考自适应控制构架。传统模型参考自适应控制系统中的反馈控制器和常规自适应机构分别由主模糊控制器、模糊自适应机构替代，模糊逆模型结合自适应调整算法构成的模糊自适应机构对主控制器参数进行实时调整，以达到快速适应对象参数和状态变化的目的。利用模块化建模工具Matlab／Simulink建立PMSM控制系统模型。仿真结果表明了所设计控制器运行平稳，具有良好的动、静态特性。     

针对大气紊流改进的飞控系统设计及仿真研究

提出了一种改进的抗大气紊流纵向俯仰姿态保持飞行控制系统设计方法;针对大气紊流频谱,建立了包括大气紊流、舵回路和飞机模型为一体的增广模型;运用LQG/LTR对控制系统稳定裕度的补偿作用,设计了抗素流扰动的飞行控制系统,并加入外环PID控制器,提高了系统的动静态性能;最后通过给飞机模型施加摄动来验证飞行控制系统的鲁棒性;仿真结果表明,用该方法设计的飞行控制系统具有良好的动静态品质和较强的抗大气素流干扰的能力,从而使飞行控制系统具有良好的稳定性和鲁棒性.     

面向数字媒体技术专业的数字化学习平台建设

数字媒体技术专业通过数字化学习平台,为教师和学生、学生与学生、学生与教学资源间的互动提供了一种新的更有效的交互方式,也让整个教育方式更加高效。结合数字媒体技术专业特点和数字化学习平台应用优势,对数字媒体专业数字化学习平台建设进行系统阐释。     

面向维汉机器翻译的语料筛选技术研究*

统计机器翻译是近十年来的主流机器翻译技术,其在维汉机器翻译中良好的性能已经得到了广泛的认可。维汉统计机器翻译的最终翻译性能同样是受这几方面的影响：翻译模型、语言模型、语料质量和规模等。本文旨在通过对维汉双语训练语料的筛选来提高最终的机器翻译性能。在相关学者的研究基础上,本文提出了改进的IBM1模型评价句对齐质量、双语语言模型困惑度进行语料筛选和多种筛选指标综合求交集的方法。这些方法没有语言特性的依赖,支持维汉双语语料的筛选。通过实验可证明,使用这些方法筛选而来的语料训练出的维汉翻译模型的性能更优。     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

分数阶微积分定义的一致性在HOL4中的验证

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Caputo定义的分数阶微积分形式化模型;然后验证了该定义与Grunwald-Letni-kov定义、Riemann-Liouville定义之间的关系,实现了这3种常用定义在HOL4中的转换,在一定程度上使这3种定义达到了统一,完善了高阶逻辑定理库。