中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

高加速应力筛选

介绍了高加速应力筛选的目的、内涵及其与传统环境应力筛选的区别,详细介绍了HASS的应力类型、范围、应力剖面结构和设计方法,提供了国外常用HASS剖面的实例.     

Y19-1飞机飞行试验数据采集系统

简要介绍Y19- 1 飞机飞行试验数据采集系统的组成和工作原理。着重阐述固态记录可编程采集编码器的特点     

带通FSS结构的插入相位延迟特性

基于互导纳法研究实心半波壁频率选择表面(Frequency selective surface,FSS)的插入相位延迟(Insertion phase delay,IPD)特性,考察FSS结构的IPD与加载介质的IPD之间的关系,分析了介质厚度、极化状态等因素的影响,重点关注交叉极化状态,考察极化角及入射角变化时的去极化效应.结果表明,解决带通FSS结构交叉极化问题的方法是保证TE和TM两种主极化状态下谐振频率的一致性,从而减小两种极化状态的IPD之差.     

绕三角翼流动中的非定常现象研究

利用流动显示技术、片光技术及PIV技术,对三角翼面上的各种非定常特性做了研究.分别对涡层中的小涡结构,二次涡同主涡相互作用所引起的二次涡的喷射效应,螺旋破裂扰动的非定常特性,涡破裂点沿轴方向振动的非定常特性,以及完全分离流中的非定常特征进行了较为细致的研究,给出了不同扰动的频率特性.      

空间交会最终平移段控制策略

提出空间交会最终平移段的控制方法,选取追踪航天器的相对位置与姿态角作为控制变量,同步控制追踪航天器的质心运动与姿态运动,修正制导机动执行偏差的影响,使目标航天器保持在光学导航视场范围之内,且满足对接操作对追踪航天器状态的要求。     

Rapid design and optimization of low-thrust rendezvous/interception trajectory for asteroid deflection missions

Asteroid deflection techniques are essential in order to protect the Earth from catastrophic impacts by hazardous asteroids. Rapid design and optimization of low-thrust rendezvous/interception trajectories is considered as one of the key technologies to successfully deflect potentially hazardous asteroids. In this paper, we address a general framework for the rapid design and optimization of low-thrust rendezvous/interception trajectories for future asteroid deflection missions. The design and optimization process includes three closely associated steps. Firstly, shape-based approaches and genetic algorithm (GA) are adopted to perform preliminary design, which provides a reasonable initial guess for subsequent accurate optimization. Secondly, Radau pseudospectral method is utilized to transcribe the low-thrust trajectory optimization problem into a discrete nonlinear programming (NLP) problem. Finally, sequential quadratic programming (SQP) is used to efficiently solve the nonlinear programming problem and obtain the optimal low-thrust rendezvous/interception trajectories. The rapid design and optimization algorithms developed in this paper are validated by three simulation cases with different performance indexes and boundary constraints.     

海天混杂闪烁背景下运动点目标检测新方法

针对海天混杂闪烁背景及单像素运动点目标的特征,设计了海天相连区域快速定位及基于模式分类的环域全向差分扩展中-均值滤波的预处理算法,二次进行全向差分均值滤波后,利用基于直方图的自适应阈值分割得到初步侯选目标点.形态学滤波保留有效的单像素侯选点,最后进行帧间侯选目标点之间的相关性分析和目标短时丢失的直接再搜索.仿真实验采用两个实拍场景中加入单像素仿真目标生成的220帧图像,结果为:信噪比≥0.5时单帧检测率为91%,3帧以上的连续检测中检测率达到95%;对照组22帧不含仿真点目标,3帧以上的连续检测虚警数为0.      

采用TLC方法的超机动飞行控制系统设计

基于轨迹线性化控制(Trajectory linearization control,TLC)方法,研究了超机动飞机飞行控制系统的设计问题。首先简要介绍了TLC方法的设计思想;然后根据奇异摄动理论,将超机动飞行控制系统分成快慢两个回路,并为其分别设计了轨迹线性化控制器;最后分别用所设计的控制器和已有的动态逆控制器对某型歼击机进行了赫布斯特机动仿真。仿真结果和对比分析表明,所设计的TLC控制器是有效的,且比动态逆控制器具有更好的控制跟踪性能。     

原位反应合成Nb掺杂Al2O3/TiAl复合材料的显微结构分析

利用Al-Ti-TiO2体系原位反应合成了Nb掺杂Al2O3／TiAl复合材料。借助XRD和SEM研究了Nb掺杂Al2O3／TiAl的显微结构以及Nb引入量对复合材料显微结构的影响。结果表明，复合材料由TiAl、Ti3Al、Al2O3、Nb和NbAl3相构成，细小Al2O3颗粒分布于基体晶粒交界处，存在一定的团聚；Nb元素引入量的高低，可调节产物中TiAl和Ti3Al的相对含量，随Nb含量的增大，TiAl含量逐渐减少，Ti3Al则逐渐增大；同时，基体晶粒和Al2O3颗粒均有所细化，且分布逐渐均匀，材料的均匀性得到改善。