微分中值定理与Newton-Leibniz公式的关系及证明

用Newton-Leibniz公式证明了广义微分中值定理，并且证明了所有的微分中值定理与Newton-Leibniz公式在一定条件下可以相互证明。     

一维变截面非定常气流杂交命题的广义变分原理

应用坐标变换，把可变动的物理平面，在映像平面上转化成的十分规则的矩形区，这给有限元计算带来了极大的方便。     

基于航行系统体系结构的动态空域规划

基于新航行系统体系结构的动态空域规划方法可以充分挖掘和发挥空域的潜能,不仅能够完成国家战略层面的航路、航线、管制扇区结构设计,还可以作为评估现有独立管制扇区是否最大限度地满足空域用户不断增长需求的依据。本文在参考美国航行系统体系结构发展的基础上,提出基于该体系的空域规划建模过程,以及关键性指标的应用,对动态空域划分与协调规则进行初步分析,为科学规划空域提供技术支     

基于B样条的直升机航迹处理方法

为满足航迹规划中最优航迹的要求,需要对参考航迹进行处理.提出了一种基于B样条曲线的直升机航迹后处理方法,方法以改进蚁群算法生成的参考航迹为基础,利用B样条曲线自身连续性、局部性、曲率变化均匀等特性,并根据直升机低空飞行的过载、最大飞行速度等限制条件,对参考航迹的航迹点进行修正和插值.B样条曲线也有利于对航迹进行局部重规划,可以满足出现意外情况时航迹修改和调整的要求.对B样条处理后的航迹采用广义预测方法(GPC)进行跟踪控制,并与线性插值处理得到的航迹进行比较,从航迹控制的角度验证了该后处理方法可以提高跟踪控制的性能和操纵品质.     

不可微数学规划的高阶对偶性

文章首先引入了一类不可微数学规划的高阶Mond-Weir对偶模型以及高阶V-不变凸、高阶广义V-不变吐的概念。然后,在ShashiK.Mishra和Norma.G.Rueda所做工作的基础上,对于上述高阶对偶模型建立了高阶V-不变凸条件下的弱埘偶和强对偶理论。最后,进一步在更弱的高阶广义V-不变凸条件下的建立了Mond-Weir型对偶模型的弱对偶和强对偶理论。     

广义波变量遥操作系统的透明性分析

分析了基于广义波变量的力反馈遥操作系统的透明性,推导了实现系统透明遥操     

建立协调机制及协同管理在不停航施工安全管理中的重要性

一、前言 《民用机场运行安全管理规定》（CCAR-140）第二百二十三条中规定：不停航施工是指在机场不关闭或者部分时段关闭并按照航班计划接收和放行航空器的情况下,在飞行区内实施工程施工。不停航施工不包括在飞行区内进行的日常维护工作。     

桥函数及广义桥函数的研究进展

桥函数和广义桥函数均为三值函数系,都是将初始序列经复制方式和移位方式变换后而形成的.它们包括了一些常见的非正弦正交函数,如沃尔什函数和方波函数等.简要介绍了近10年来北京航空航天大学通信与电子系统博士点在非正弦正交函数方面研究的一些新进展,重点介绍了复制理论和广义复制方法,桥函数、广义桥函数的复制生成方法、性质及其应用等专题.      

基于局部方法的余度惯性组件故障诊断

介绍了局部方法(local approach)原理及其在随机系统故障诊断中的应用问题,讨论了用于故障诊断的样本数目对检测性能的影响,指出通过增加样本数目,可以大大增加局部方法检测小故障的能力,并说明样本数为1时,广义似然比(GLR,Generalized Likelihood Ratio)方法和局部方法的判决函数相同.为了验证所提出方法的有效性,将局部方法用于沿正十二面体对称侧面配置的冗余微机械惯性组件(IMU, Inertial Measurement Unit)故障检测,实验结果表明文中的理论分析是符合实际情况的.      

双臂自由飞行空间机器人捕捉目标实验研究

本文主要介绍了在地面上模拟的空间微重力环境下双臂自由飞行空间机器人捕捉目标的实验。首先介绍了双臂自由飞行空间机器人地面实验平台，该实验平台由机器人模型、视觉系统、无线通讯系统、网络系统、操作台、运动规划系统、气浮系统七个子模块构成。其次简单介绍了双臂自由飞行空间机器人捕捉目标策略，最后介绍了基于该实验平台的几种实验。