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

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

温度垂直递减率对飞机尾涡影响的数值模拟

为了更深入精确地研究航空器尾涡演变规律,保障航空器安全运行,本文采用数值模拟方法对不同温度垂直递减率下A330-300飞机尾流的耗散规律进行了研究。数值模拟选择SST (Shear stress transport) k-ω湍流模型,通过构建5种不同温度垂直递减率下的温度场,并在温度场内编译A330-300飞机尾流场实现不同温度垂直递减率下的演化。通过数值模拟结果与雷达探测数据的对比验证了数值模拟方法可靠性。计算结果表明,一般湍流强度下,不同的温度垂直递减率主要作用于尾涡衰减阶段,通过改变尾涡内外温度影响尾涡演化。温度垂直递减率越小,尾涡衰减区环量减小得越快;温度垂直递减率越大,尾涡下沉的速率越大,快速耗散后的涡核间距越大。     

《航天产品代号的编制规定》修订与实施

简要介绍航天行业标准<航天产品代编制规定>的主要     

基于查表的开环MPM预失真器

提出了一种基于查表的开环记忆多项式模型(MPM,Memory Polynomial Model)预失真器.从MPM预失真器系数估计和执行信号预失真处理两方面加以考虑.首先,利用预失真器和高功率放大器(HPA,High Power Amplifier)传输特性的互补性,由采集到的HPA输入、输出基带数据进行单次最小二乘估计得到MPM预失真器的系数,避免了以往递归结构的收敛性和计算量大等问题.然后,利用MPM预失真器的特点,建立了基于输入信号强度索引的一维向量表,通过查表实现MPM预失真器的幂次累加项,极大地减少了实现预失真器所需的计算量及硬件开销.仿真显示,采用提出的预失真器可以有效补偿HPA对信号的记忆非线性失真,有效带宽内获得了近20 dB的功率改善,也显著改善了系统误码性能.     

合成射流控制NACA0015翼型大攻角流动分离

为了研究合成射流激励器处于NACA0015翼型回流区时对其分离流动的控制,采用商用计算流体力学软件Fluent 6.1求解Reynolds平均Navier-Stokes方程,通过对翼型气动力特性、脱落漩涡结构以及射流孔口附近流动结构的分析,揭示了合成射流处于分离区时对边界层控制的机理.结果表明:当合成射流孔口处于回流区时仍可有效推迟翼面边界层分离点,缩小回流区范围,从而有效提高翼型的升力.当射流方向垂直于壁面,无量纲频率以及吹气速度比都等于1时,翼型平均升力系数提高40%左右.      

飞行控制用无刷直流电动机的优化设计

飞行控制中机电作动系统的发展是全电飞机的重要技术之一,而高速大功率密度的无刷直流电动机是其中的关键部件.为解决无刷直流电动机设计中的非线性优化问题,提出了使用遗传算法进行优化设计.为解决无刷直流电动机多目标优化问题,采用了多目标函数变量加权法,将多目标函数变成单目标函数进行优化计算.在计算中,为达到无刷直流电动机全局优化的目的,采用随机产生离散初始种群及随机交叉操作和变异操作方法.但由于采用随机交叉和变异操作,优化结果始终是发散的.为此采用优秀个体保护策略,加快了优化设计的收敛.在满足技术要求的前提下,通过计算达到了减小电机的体积重量、减小转子转动惯量及机电时间常数、提高无刷直流电动机功率密度的目的.      

运载火箭测发控网络设计

运载火箭测试发射控制系统对数据处理能力、数据通信能力的要求越来越高。本文采用最新的网络通信技术,结合CZ-3A运载火箭测发控网络的实际设计需求和设计原则,概要介绍了运载火箭测发控网络的特点,着重从测发控网络的拓扑结构、双网卡捆绑技术、静态路由技术等五方面详细阐述了测发控网络的设计,最后通过测发控网络的功能测试验证了该设计的可靠性和先进性。     

基于联邦滤波的异质异步多传感器组合导航算法

针对多源组合导航中各导航子系统数据更新频率不一致导致滤波器量测信息非等间隔,以及动力学模型受到干扰量测信息异常的问题,提出一种基于多尺度模型的自适应组合导航信息融合算法.利用不同尺度上的观测信息在各尺度上进行Kalman滤波,并经过融合最终获得基于全局的状态估计值.且以飞行器为应用对象,设计了适用于飞行器的惯导/卫星/...     

模糊变分原理在求解结构固有频率中的应用

在处理含模糊参数的结构固有频率问题时,现有的方法局限于先将模糊参数转化为区间数求解,再由区间解构造出相应的模糊解.由于现有方法计算量较大,所以提出了基于模糊变分原理的模糊里兹法和模糊有限元法.通过在瑞利商变分中直接引入模糊参数,得到了结构固有频率问题的模糊变分原理.作为模糊变分原理的应用,推导了模糊里兹法和模糊有限元法.这两种方法都可以直接得到问题的模糊解,与传统的区间解法相比,提高了计算效率.算例表明,这两种方法不但具有较高的计算精度,而且可以很大程度上减少计算量.