积分计算中的几种方法

本文主要是应用积分上限函数的构造，建立了相应的公式。从而解决了一些定积分的繁难计算。其次，给出了一个定积分不等式的证明与三重积分计算的方法。     

扰动线运动对惯性系粗对准影响分析及优化方法

针对扰动线运动对惯性系粗对准精度影响较大的问题，通过分析惯性体坐标系下重力加速度积分矢量的物理含义，给出了受扰动线运动影响的惯性系粗对准的误差分析。并在此基础上提出了基于位移积分矢量构造定姿矢量矩阵的抗扰动粗对准算法，利用对速度积分矢量进一步积分得到的3个时间点的位移积分矢量构建姿态解算矩阵，抑制扰动线运动对粗对准精度的影响。仿真结果表明，该算法可有效减小扰动线运动影响下的对准结果振动幅值，能够快速收敛到满足精对准使用的精度范围，从而提高武器装备环境适应性。     

预测-五阶容积卡尔曼滤波方法

为适用于强非线性、非高斯过程噪声系统，结合预测滤波（PF）与高阶容积卡尔曼滤波（HCKF），提出一种预测-五阶容积卡尔曼滤波（P5thCKF）方法。通过预测滤波方法对系统模型中的过程噪声及其方差阵进行实时调整，进而将新模型代入到五阶容积卡尔曼滤波框架中进行实时递推状态估计。推导了五阶球面单形-径向积分准则，采用五阶球面单形积分准则处理球面积分，广义高斯-拉盖尔积分准则处理径向积分；描述了预测滤波方法并对模型误差调整量进行了推导。通过2个仿真实验验证了本文方法在强非线性、非高斯过程噪声系统中的可行性以及应用于工程实践的可能性。     

抛物积分微分方程的Crank-Nicolson全离散格式下的超收敛分析

文章基于低阶协调的双线性元在矩形网格下的高精度积分恒等式，在时间方向使用具有二阶精度的Crank-Nicolson离散格式，再利用插值与投影相结合的技巧，给出了抛物积分微分方程的全离散格式下的超逼近和超收敛的误差估计。最后，通过数值试验验证了理论分析的正确性。     

基于逆模拟分析的民用飞机操纵状态再现研究

民航飞行事故原因调查分析时，常常要对飞机的操纵状态进行再现分析。但由于FDR数据缺失、设备损坏等各类原因，对飞行员的操纵情况并不能准确有效地还原。采用逆模拟技术是解决飞行操纵状态再现分析的有效途径。逆模拟技术是通过已知的系统输出确定动态系统控制输入的计算方法。在众多逆模拟算法中，积分逆模拟算法由于具有模型独立、实现简单而得到广泛应用。对某中型民用运输机采用积分逆模拟方法，对一个简单的飞机操纵进行了再现分析。分析了积分逆模过程中的收敛区间和稳定性，并总结了使用积分逆模拟算法的注意要点。     

一种测压试验数据与部件测力试验数据的协调处理方法

由于试验的风洞不同，试验模型不同，测压试验数据积分带来的误差等原因，导致了测压试验数据积分结果与部件测力试验结果不一致，这样的两套数据难以用于型号设计。为此，笔者采用了一种以部件测力试验为基础，将测压试验数据积分结果及其分布协调处理到与部件测力试验结果一致的方法，并用于型号的设计研制中。     

求极限的若干技巧

在求极限基本方法的基础上，阐述了运用泰勒公式，导数定义，定积分先化简等技巧来求极限。     

飞机大攻角气动力建模研究进展

在飞机大攻角气动力建模领域中，将已有的模型归纳为代数模型、积分模开和微分方程模型三类。文章给出了非线性气动力两种常用的代数模型－多项式模型和样条函数型；简要阐述了非常气动力积分模型的建立及其简化过程；重点综述了新近开发的微分方程模型，从有分离的的翼和有涡破裂的三角翼气动力模型形式推广出微分形式的飞机大攻角气动力模型。应用实例表明，积分模型和微分方程模型能够描述大攻角气动力的非定常增升和迟滞效应。     

不规则边界上的近似超奇性边界积分方程

提出角点、棱边处不规则边界上的近似超奇性边界积分方程，其依据是边界上任一Cauchy或Hadamard主值积分可以由2个相应的近奇性边界积分的平均值近似表达。近似方程与光滑边界上的超奇性边界积分方程具有统一的表达形式，并且不需要正则化过程，有利于简化程序设计。给出的数值算例说明了近似方程的可行性与有效性。     

级数证明问题的几种处理方法

通过有关级数证明的几个例题，提出了思考和分析问题几种常用的方法。特别是对一般项为抽象形式的级数证明，更要思路开阔，根据所给的条件确定解决问题的不同方法。在级数的一般项中含有参数时，要对参数取值的不同情况进行讨论，才能得到完整的结果。最后介绍了一致收敛性质在证明问题中的应用，尤其当级数的一般项由定积分表示时，一致收敛级数的逐项微分、逐项积分的性质经常会用到。     

基于模型的航电系统集成验证技术研究

为了满足系统集成度高、交联关系复杂的航电系统集成验证需求,提出了基于模型的航电系统集成验证技术。详细介绍了基于模型的航电系统仿真和测试方法,航电系统仿真建模规范,以及基于模型运行的航电系统集成验证平台。通过在航电系统集成过程中的应用,基于模型的集成方法有效地提高了航电系统集成效率,保证了航电系统集成准确度。该方法可应用于航电系统全数字集成、半物理集成和全实物动态集成,保证各阶段试验的衔接,持续提升航电系统集成工作的技术水平。     

GNSS/INS深组合技术研究进展与展望

在GNSS/INS组合导航领域,深组合是最深层次的组合方式,随着航空、航天、军事等应用对导航系统性能要求的提升,深组合技术逐步成为国内外研究的重点。通过对GNSS/INS深组合的技术起源与结构发展过程的梳理,总结出当前对深组合概念理解的两种立场。按照接收机环路跟踪结构与信息处理方式不同,将深组合结构分为标量深组合、相干矢量深组合以及非相干矢量深组合3种类型,其中相干矢量深组合又可以分为级联式和集中式两种结构。综述了国内外深组合技术的研究现状并指出了当前研究中存在的问题,最后结合实际应用需求对深组合的发展进行了展望。     

国际空间站有效载荷集成流程分析

国际空间站（ISS）针对有效载荷从论证、研制到随ISS飞行的过程建立了标准集成流程和精益集成流程两种模式,这两种模式互为补充,有效支持了ISS载荷随飞行任务的滚动实施。在有效载荷集成过程中,NASA采用多线并行的方式,其集成流程从理念上不完全等同于传统卫星有效载荷随飞行任务实施的研制流程,并设置有效载荷集成经理,架设有效载荷管理方、研制方和研究团队之间的桥梁。通过对国际空间站有效载荷集成过程的深入分析,提出可供我国空间站有效载荷集成借鉴的经验,如提供快速集成流程、加强有效载荷集成管理、强化有效载荷全寿命周期管理等。     

一类特殊的一阶常微分方程的初等积分法

微分方程是与微积分同时诞生的，从诞生的时候起，人们就试图用初等积分法求微分方程的解。经过一百多年的努力，人们掌握了一些可以用初等积分法求解的微分方程类型，也发现有许多微分方程无法用初等积分法求解。但还有很多微分方程可用初等积分法求解，只是人们还没有发现它们。所以，用初等积分法求解微分方程仍是微分方程领域的一个基本研究内容。在这篇文章里讨论了一类类似黎卡提方程的一阶微分方程的初等积分法。     

浮空器的发展及其对航空电子综合技术的挑战

本文介绍了现代军用和民用浮空器的蓬勃发展,展望了浮空器的广阔发展前景,此外还阐述了浮空器的发展对航空电子综合技术带来的机遇和挑战.对大量浮空器的航空电子系统综合问题进行了研究,包括应用综合、技术综合、地面控制站和用于通信的Ad-Hoc网络.     

EDA与PDM集成方案和实现技术

分析了现有EDA系统和PDM系统的功能特点及系统间集成需求;构造了EDA系统与PDM系统的集成框架,并研究了文件集成和元器件集成的工作原理:应用组件技术,开发了EDA系统与PDM系统的集成接口模块,实现了Protel 99SE与SmarTeam的集成.     

通导一体化概念框架与关键技术研究进展

通导一体化是综合PNT体系发展的重要组成部分和关键方向。对通信导航一体化的概念进行了探讨,提出了通信导航弹性融合的概念框架。面向综合PNT体系需求,设计了通导一体网络化PNT系统架构,阐述了通导一体化关键技术的研究进展,从通导一体化信号、信道、接收处理、网络架构、网络管理等多个角度进行了全面系统的梳理和分析;介绍了低轨通导融合、区域自组网通导融合、5G+UWB协同等典型成果,并对网信场图、智能网管、博弈对抗等通导一体化技术未来发展方向进行了展望。     

通导一体化概念框架与关键技术研究进展

通导一体化是综合PNT体系发展的重要组成部分和关键方向.对通信导航一体化的概念进行了探讨,提出了通信导航弹性融合的概念框架.面向综合PNT体系需求,设计了通导一体网络化PNT系统架构,阐述了通导一体化关键技术的研究进展,从通导一体化信号、信道、接收处理、网络架构、网络管理等多个角度进行了全面系统的梳理和分析;介绍了低轨...     

北斗导航接收机高增益相干积分算法

近年来,针对弱信号的高灵敏度接收机已逐渐成为国内外的研究热点。加长相干积分时间可以提高信噪比,从而跟踪到更弱的信号。但是,北斗导航接收机跟踪环路并不可以无限加长相干积分时间,相干积分时间的长短和功效还受到卫星导航电文比特跳变的限制。为了消除导航电文比特跳变对相干积分的影响,提出了一种改进的基于最大似然估计的北斗信号位同步方法,完成位同步后再利用先猜后检的方法便可以实现长相干积分。利用软件接收机进行编程设计,仿真结果表明：该长相干积分算法能够稳定可靠地实现对弱信号的跟踪,20ms相干积分环路信噪比约提升12dB,40ms相干积分环路信噪比约提升15dB,80ms相干积分环路信噪比约提升17dB,提高了北斗导航接收机的灵敏度。     

Hybrid integration method for highly maneuvering radar target detection based on a Markov motion model

To detect highly maneuvering radar targets in low signal-to-noise ratio conditions, a hybrid long-time integration method is proposed, which combines Radon-Fourier Transform (RFT), Dynamic Programming (DP), and Binary Integration (BI), named RFT-DP-BI. A Markov model with unified range-velocity quantification is formulated to describe the maneuvering target’s motion. Based on this model, long-time hybrid integration is performed. Firstly, the whole integration time is divided into multiple time segments and coherent integration is performed in each segment via RFT. Secondly, non-coherent integration is performed in all segments via DP. Thirdly, 2/4 binary integration is performed to further improve the detection performance. Finally, the detection results are exported together with target range and velocity trajectories. The proposed method can perform the long-time integration of highly maneuvering targets with arbitrary forms of motion. Additionally, it has a low computational cost that is linear to the integration time. Both simulated and real radar data demonstrate that it offers good detection and estimation performances.