Symbolic Algorithmic Analysis of Rectangular Hybrid Systems

This paper investigates symbolic algorithmic analysis of rectangular hybrid systems.To deal with the symbolic reachability problem,a restricted constraint system called hybrid zone is formalized for the representation and manipulation of rectangular automata state-spaces.Hybrid zones are proved to be closed over symbolic reachability operations of rectangular hybrid systems.They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas.To ...     

高转换效率的中红外BaGa_(4)Se_(7)光参量振荡器(特邀)EI北大核心CSCD

为抑制光参量振荡器(Optical Parametric Oscillator,OPO)振荡过程中信号光和闲频光向泵浦光的逆转换,首次采用在L型OPO腔的支路中插入信号光倍频晶体LiB_(3)O_(5)的(简称LBO)的方式,实现了BaGa_(4)Se_(7)(BGSe)OPO闲频光的高转换效率输出,当泵浦激光(1.06μm)能量为115 mJ时,闲频光(3.5μm)能量为16.18 mJ,光光转换效率为14.06%,斜效率为18.4%,这是目前已知1.06μm激光泵浦BGSe OPO最高的转换效率。模拟了不同泵浦能量下L型腔中有无LBO晶体时BGSe OPO腔内的三波波形,并给出了闲频光在实验中的输出波形。与传统OPO腔相比,所提出的L型OPO腔(含倍频晶体)在大能量泵浦条件下抑制了逆转换,可获得更高的闲频光转换效率。     

基于关联分析的变压器在线监测方法研究

本文中作者在电力大数据的基础上采用关联分析方法研究变压器绕组温升和负载率的关系,并推算在不同负载率水平下各相绕组的正常温升范围。通过对变压器实际运行数据进行建模和算例分析,验证了该模型可以通过变压器绕组的温度信号对变压器的运行状态进行初步判断。     

沿海城市暴雨-高潮位复合致涝区划研究北大核心CSCD

由于暴雨和高潮位的共同影响,沿海城市更容易遭受内涝灾害。暴雨和高潮位影响区域致灾因子划分是减灾措施布设的重要因素。本文提出了致灾因子区划方法,并进行了区划方法的效果分析。以海口市主城区为例,基于城市暴雨污水及流域雨洪管理建模软件构建一二维耦合城市内涝模型,计算不同组合工况下的淹没水深和淹没范围,将内涝区域划分为降雨影响区、潮汐影响区和共同影响区,并对三个区域进行了减灾措施优化分析。结果表明,潮汐影响区、共同影响区和降雨影响区距海岸线逐渐变远;降雨影响区布设蓄水池的效益要明显优于潮汐影响区,而潮汐影响区布设止回阀的效益要优于降雨影响区。因此,通过内涝区域划分可以更高效地布设防涝措施。     

赣江尾闾河网地形变化对洪季水动力的影响北大核心CSCD

为探明在新水沙条件和人类活动的影响下赣江尾闾河网地形变化与洪季水动力特征变化的关系,以1998—2020年为研究时段,基于1998、2013、2020年河道地形,分别建立一维河网数学模型,复演赣江98特大洪水,研究不同时期地形变化对洪季水动力特征的影响。结果表明:赣江尾闾河网的整体下切使水位流量关系右移,洪期各支洪峰流量整体增加,相同水位下,外洲站来流增幅超过50%。1998—2020年期间,南支地形下切幅度大于其他各支,地形不均匀下切导致尾闾河网节点分流比改变,整体上主支与南支分流增多、中支与北支分流减少。各支流速变化剧烈,主支下游流速增幅超过1 m/s。本研究可为河道整治规划、堤坝防护和灾害预防提供一些技术参考。     

交叉山脉地形下的山谷平均风速特性研究

复杂的地形山脉会影响山区的平均风场特性。根据真实地形建立交叉山脉的参数化简化模型,并定义其地形参数,采用数值仿真技术模拟不同风向角下该地形的平均风场,重点分析不同地形参数对交叉山脉山谷线区域总风速比的影响,在此基础上提出了山谷线区域总风速比的简化经验公式。研究结果表明,提出的简化地形能近似反映真实交叉山脉的山谷风场特征;来流沿着子山脉的风向为山谷线区域的不利风向;山谷线区域的总风速比沿海拔高度大致呈线性变化;子山脉坡度和山谷夹角增大均会减小山谷山脚处总风速比,增大山谷山顶处总风速比;数值仿真验证了提出的总风速比经验公式具有一定的合理性,可为实际工程设计提供参考。     

基于云端控制协同的无人机自动驾驶智能巡检技术

为解决传统电力系统巡检效率慢、巡检精度差的问题,提出基于云端控制协同的无人机自动驾驶智能巡检技术。搭建云端控制协同平台,云服务器通过内网接入智能巡检系统,设计无人机巡检多线程定位模块,通过PC端接收图像坐标模块的坐标信息,显示模块通过云平台实现数据共享;划分图像中心点坐标并标记,利用高斯核函数提升像素分布集中程度;最后拟定无人机悬停点,通过云端控制协同平台判断所获得的巡检路线图像是否存在异常,实现自动驾驶智能巡检作业。实验证明：所提方法能够精确识别初始图像像素点为574×574的图像的边缘;巡检航线水平误差最大值为0.5 m,垂直误差最大值为1 m,且巡检航线的运动未出现偏离或者抖动现象。为实现电网可靠、安全的运行提供了一定的技术支持。     

小断面岩石巷道掏槽爆破参数优化实验

针对小断面岩石巷道掏槽爆破效率低下的技术难题,依据掏槽爆破形成槽腔为后续炮孔提供自由面。通过分析施工过程中掏槽爆破存在的问题及其影响因素,采取了控制单一变量的方法,制定9组实验方案,同时配合规范的施工方法对掏槽爆破参数进行优化,从而获得最优的掏槽爆破参数组合。通过对实验数据的比较分析,优化的掏槽爆破参数使巷道掘进的炮孔利用率提高了20%,掘进综合成本节省了27%。     

高质量通信信号时频图处理及应用

针对信号监测工作中信号时频图清晰显示重要性的问题,首先介绍了信号时频特征获取,之后进行信号时频图显示处理,利用基于灰度变换图像对比度增强、图像渐变平滑处理、图像的锐化处理的数字图像处理相关算法对信号时频图进行显示处理,并成功的在实践工程中进行了运用,解决了信号时频特征在时频域直观显示的问题,从而能够在时频域上表示出信号...     

浅析网络安全风险评估问题

网络安全性能的预先识别、对网络整体的安全性能的掌握对网络安全非常重要。该文主要就网络安全风险的系统体系结构设计进行探讨,主要讨论了脆弱性扫描客户方子系统设计、脆弱性扫描服务器以及系统风险评估子系统设计三部分,对于深化网络安全风险评估具有一定作用。