否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

基于PI法的门源MS6.4地震前震中附近地震热点图像异常变化研究

基于1980年以来青海省和甘肃省区域地震台网的定位地震目录，分析了研究区最小完备震级，选取空间网格尺度为0.2°×0.2°、地震活动异常学习时间段和预测时间段均为3 a，应用图像信息（PI）法，分析了门源M_S6.4地震发生前震中附近地震热点图像的异常变化过程。结果表明，在2013年1月1日至2016年1月1日的预测时间窗内，冷龙岭断裂和祁连山北缘断裂附近存在明显的地震热点，且地震热点图像颜色偏深，发震概率较高，向前滑动至2014年1月1日至2017年1月1日，2015年1月1日至2018年1月1日和2016年1月1日至2019年1月1日3个预测时间窗，此两断裂附近仍存在地震热点，地震热点图像颜色逐渐由深变浅，而门源M_S6.4地震就落在PI法得到的地震热点内。门源M_S6.4地震前存在明显的地震热点，且地震热点相对集中，地震热点图像颜色由深变浅，震后消失；在祁连山北缘断裂附近，地震热点持续存在，分布较集中，地震热点图像颜色也呈由深变浅的过程。未来需关注祁连山北缘断裂，附近有发生强震的可能。     

变分模态分解在爆破信号趋势项去除中的应用

爆破工程中，信号趋势项的准确去除对提高爆破振动信号分析的精度具有重要意义。针对经验模态分解（empirical mode decomposition，EMD）识别法存在的模态混叠和端头效应等缺陷，提出了基于变分模态分解（variational mode decomposition，VMD）去除信号趋势项的方法，即VMD法。叙述了VMD法识别爆破信号趋势项原理，并进行了仿真实验，结果表明:趋势项频率对分解效果的影响相对较小，当趋势项频率处于1～5 Hz之间时，频率对分解效果的影响基本保持不变；振幅对分解效果影响显著，且振幅越小，VMD法的分解效果越差。当趋势项振幅超过原始爆破信号最大振幅的1/3时，VMD法分解效果较好。最后，应用VMD法和EMD法对含有趋势项的实测爆破振动信号进行处理，认为相比于EMD法，VMD法处理后的信号基本一致且不存在端点效应，在爆破信号趋势项去除领域中具有更加广泛的适用性。     

C-ADS注入器Ⅰ联锁保护系统设计

联锁保护系统是加速器驱动次临界系统（ADS）先导专项（C-ADS）核心系统之一，用于对加速器控制及人身和设备保护。为此设计搭建了基于可编程逻辑控制器（PLC）和PROFINET协议的联锁控制系统，对加速器各个关键部件的信号进行采集和控制。为满足加速器对可靠性的严格要求，该联锁系统选用最新型的PLC和I/O模块，并采用高可靠性容错和冗余技术的硬件设计。本文还对该联锁系统的冗余状态和非冗余状态做了可靠性分析对比。基于该系统的实验物理和工业控制系统（EPICS）的控制接口也已成功开发，并在线应用。     

直觉模糊模型检测在工程决策上的应用

将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。     

质子治疗装置动态电源控制系统研发

针对质子治疗装置中主环动态电源多平台能量的引出需求,研制了基于开源平台的高速实时动态电源控制系统,该控制系统以开源平台Beaglebone作为顶层硬件接口,以现场可编程逻辑门阵列(FPGA)为核心的控制器作为底层硬件接口,采用分布式的实验物理及工业控制系统(EPICS)进行远程控制。该系统可实时传输任意动态电源的输出参考电流波形数据,并结合定时系统与联锁系统,控制动态电源按预设电流波形进行输出,并实现多平台能量的引出。实验结果显示该控制系统能实现每秒最高十万条指令传输,百万次数据传输零误码率。同时,该系统结构灵活、扩展性强,可作为通用控制平台。     

BEPCII直线加速器数字延时触发器的设计与实现

针对北京正负电子对撞机II期(BEPC II)直线加速器升级改造过程中束流位置探测器(BPM)电子学对外部触发信号的需求,设计了一台高精度延时控制、上升时间短和参数灵活调节的数字延时触发器。采用FPGA(现场可编程门阵列)作为主控制器展开设计,重点介绍了基于FPGA的边沿检测模块和多通道延时处理模块的设计与仿真,描述了FPGA和驱动电路的设计方案以及在直线加速器上的应用。经测试,延时可调范围4 ns^4μs,最小步进4 ns,步进误差0.125%;上升时间2 ns,延时抖动135.4 ps。     

基于MTCA的HLS-Ⅱ直线加速器低电平系统改造

合肥光源(HLS-Ⅱ)在重大维修改造之后,其光源性能有了很大的提升。为了进一步实现连续、平稳地供光,需要对其进行恒流改造。恒流运行要求直线加速器的微波功率源有长期的稳定性与可靠性,旧的模拟低电平控制系统满足不了要求。本文基于微型电信计算平台(MTCA)设计实现了数字低电平控制系统,控制微波功率源的幅度和相位,它由以FPGA为核心的数字板卡、射频板卡、 MTCA机箱以及频率合成系统组成。该数字低电平系统工作在2 856 MHz的S波段,在线运行幅度稳定度达到0.04%,相位稳定度达到0.2°,满足恒流改造对直线加速器数字低电平系统0.25°相位抖动RMS值的相位精度要求。