摘要：为实现同时具备宽带可调谐、单透射峰、窄滤波带宽三大特征的高性能微波光子滤波器,设计了一种基于2×2光纤耦合器的环型谐振腔,推导、仿真并实际测量了该谐振腔的输出特性,最终与普通光滤波器相结合实现了高性能微波光子滤波器。实验结果表明,该光纤环谐振腔其滤波带宽可低至1.2 MHz,与普通可调谐光滤波器级联后可实现任意单透射峰的动态选择,通过相干探测链路实现了40GHz范围内可调谐的光载射频信号。与传统非腔体微波光子滤波器相比,该方法明显降低了滤波带宽;与单一光纤环谐振腔相比,该方法能够实现任意单透射峰的动态选择。这一滤波器有望用于未来超精细光谱分析、光纤传感等领域。

摘要：电网信息物理系统中的嵌入式终端不仅要具备常规的信息交互能力,还要在资源约束条件下,满足测控的实时性要求。面向规模庞大的复杂系统,需要引入形式化方法验证其可靠性。通过分析形式化方法在电网信息物理系统中的应用,设计实现一种适用于电网信息物理系统中嵌入式系统信息交互过程分析的形式化方法及模型检验软件工具,并结合实际案例详细分析模型检验工具的应用过程。实际案例表明,形式化方法可以缩小从高层设计到代码实现的距离,提高产品的可靠性,模型检验软件工具能够对当前嵌入式装置规模和复杂度快速增长带来的可靠性保障问题提供可参考的解决方案。

摘要：目前及时有效且安全的换流变局放检测手段依然较为缺乏,为此提出了一种基于宽带射频的换流变局部放电检测定位技术。其通过2.5 GHz高速采样电磁脉冲信号的原始时域波形,采用基于原始波形互相关的层次聚类算法进行信号分类。在获取原始波形的基础上,基于到达时间差方法进行设备级定位,并采用一种空间网格搜索算法进行求解。结合聚类分析、相位分布特征和定位分析,可有效区分局放信号和干扰信号,具有良好的干扰辨识能力。最后通过某±800kV换流变的出厂试验,联合脉冲电流检测、油色谱检测、超声波局放检测和该文提出的宽带射频局放检测,互相验证了局放检测结果,且换流变的拆解分析进一步确认了换流变内部发生局放的原因。研究结果表明:所设计的宽带射频局放检测系统具有非接触式获取信号,不破坏电力主设备本体及接地结构,可对局放和干扰信号进行设备级定位,安全易部署的优点。且经过第三方检测验证,在实验室中的定位精度可达到米级以内,有良好的工程应用价值。