InequalityProve及一个公开问题的求解

传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。     

基于IMM-MHT算法的杂波环境多机动目标跟踪

针对杂波环境下多机动目标的跟踪问题,提出将交互多模型(IMM)算法与多假设跟踪(MHT)算法结合,并运用Murty算法和假设树修剪方法进行假设生成和假设管理,提高IMM-MHT算法的实用性。仿真结果表明,IMM-MHT算法具有较高的正确关联率和较好的跟踪稳定性,且与只使用单模型的MHT算法相比,具有更好的跟踪精度。     

±800kV郑州换流站户内直流开关场设计

首先分析了±800 kV郑州换流站直流开关场接线与主要电气设备参数,并进行优化。然后计算站址污秽等级,确定直流设备爬电比距,为降低设备外绝缘,将极母线设备户内布置,通过计算直流开关场空气间隙,结合设备布置,给出了户内开关场推荐尺寸。最后配合阀厅布置特点,户内直流开关场与阀厅一列,呈极对称布置。该结果对郑州换流站的设计具有一定的指导意义。     

二维线性连续系统稳定性的新判据

提出了一个检验二维线性连续系统稳定性的新算法。该算法基于多项式判别系统理论,可以对系统稳定与否作出完备的判断,克服了传统频域方法需要取大量频率点进行检验且只能提供近似结论的不足。更重要的是,此算法可以用于分析含参数系统的稳定裕度。实际案例显示了该算法的有效性。     

跟踪临近空间目标的衰减记忆最小二乘算法

随着临近空间战略价值的显现,临近空间高速目标的跟踪成为国土防空领域研究的一个热点。临近空间高超声速飞行器具有高机动突防能力,且运动轨迹没有规律,使用常规滤波方法难以实现稳定跟踪。提出一种衰减记忆最小二乘算法,该算法不依赖特定的运动方程,鲁棒性强。仿真实验表明,新算法可以稳定跟踪高超声速飞行器,机动飞行段跟踪连续光滑,具有较高的跟踪精度。     

特高压变电站雷电侵入波防护研究

分析特高压变电站(换流站)的雷电流波形,提出雷电流值和故障率2种指标模型,提出采用Hara无损线多波阻抗模型对特高压交流、直流线路杆塔进行模拟。对1 000kV南京变电站内1 000kV交流配电装置选取最为严苛的运行方式,对站内配电装置布置和避雷器配置提出优化方案。