物质热力学函数温度系数的通用计算方法

物质热力函数（摩尔定压热容、熵、焓）是用于火箭发动机热力特性分析的常用函数.根据热力学关系,上述3种热力函数可表示为以温度为自变量,且含相同7个温度系数的多项式.由于精确分析物质热力特性的需要,需要各温度下更新更精确的数据值.将热力函数按温度高低分为不同区间,在保证各温度连接点函数值相等的情况下,采用最小二乘法的数学方法,通过编程计算,重新确定了135种火箭发动机常用物质的温度系数,得到300~ 5 000 K 内这些物质的函数计算值.进一步,对氮原子、液体铅、固体硅等相对误差较大的26种物质的摩尔定压热容利用最小二乘法再次进行了修正,使其精确度平均提高了100倍.所得到的热力函数计算值与标准值比较,误差小,精度高,使用方便,具有广泛的应用价值.      

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

宽带卫星通信信号的多维星座图解调方法

高速卫星数据传输需要利用较高调制维度和较多星座点数来实现,一方面导致接收端具有较大实现复杂度,另一方面系统可靠性极易受信道非线性影响。针对以上问题,通过对多维星座图信号的解调性能进行理论分析,得到极大后验概率（MAP）解调误符号率（SER）的理论公式,在保证系统SER性能的基础上,提出了基于星座图相关的检测方法。该方法利用脉冲正交性得到接收星座点,对其进行向量相关运算得到解调数据,有效降低了解调判决过程的复杂度。针对信号经过高功率放大器（HPA）后的非线性失真问题,建立了HPA信道估计模型,利用最小二乘（LS）信道估计方法对原解调星座图进行修正,提出了基于修正星座图的解调方法。仿真结果表明,该方法在降低实现复杂度的同时,有效提高了系统抗HPA信道非线性失真的能力,可实现对宽带高速卫星通信信号的高效准确解调。     

基于BM3803的1553B总线通信软件设计

在某卫星地面检测设备中使用BM3803处理器来模拟卫星中的总线控制端对远程终端进行检测,构建了比传统的Windows+1553B_PCI板卡方案实时性更强的卫星数据仿真平台。首先向BM3803移植了实时操作系统μC/OS II,设计了适用于BM3803的板级支持包,保证了软件的可在轨更新和任务的实时性,确定了用户任务与硬件高度分离的软件结构。在设计μC/OS II的用户任务时,充分利用BM3803和B61580的校验功能,提高了软件的可靠性。最后令本设计和Windows+1553B_PCI板卡方案完成相同的用户任务,对比可得本设计有更好的实时性,可满足卫星高层通信协议对实时性的要求。     

基于横截函数的欠驱动航天器姿态跟踪方法

针对航天器姿态跟踪任务,考虑一种配置2个独立动量交换型执行机构的欠驱动航天器,提出了一种基于横截函数的任意姿态轨迹跟踪控制律。利用三维特殊正交群SO(3)建立航天器姿态运动学方程,并基于动量守恒条件,将动力学方程与运动学统一写成以执行机构输出角动量为控制输入的降阶系统。利用横截条件与Lie代数秩条件构造基于SO(3)的横截函数,其本质为能够任意逼近平衡点的一个嵌入子流形,并基于横截函数与姿态误差建立降阶跟踪控制系统的伴随系统。针对伴随系统,提出了一种光滑静态反馈控制律,利用Morse函数证明了对于任意轨迹闭环系统的最终有界稳定性。进一步针对可行轨迹,基于零动态系统设计了横截函数的参数自调整律,使得在零动态时横截函数趋近跟踪系统的平衡点,证明了闭环系统具有指数稳定性。最后,通过数值仿真验证了提出控制器的有效性。     

基于CEMD的旋翼微动目标杂波抑制方法

针对旋翼微动目标杂波抑制问题,研究了一种基于复数据经验模态分解（CEMD）的微动目标杂波抑制方法。首先,建立了地杂波背景下的旋翼微动目标信号模。然后,根据杂波和微动信号在时频域的差异性,基于CEMD和Gabor变换,通过新定义的不同本征模态函数（IMF）的能量所占总能量的比重,选择出微动信号占优所对应的几个IMF分量,并基于这些IMF对旋翼微动目标进行时域和时频域重构,实现旋翼微动目标和杂波的分离,达到抑制杂波提取微动目标回波的目的。最后,与常规杂波抑制方法进行了对比,仿真结果验证了所提方法的有效性。     

大弯角串列叶型形状及相对位置的耦合优化设计

为了提高串列叶型设计的质量,建立了一套结合改进微粒群优化算法、自适应Kriging模型、非均匀有理B样条(NURBS)参数化方法的串列叶型优化设计系统。该系统可以实现叶型形状和叶型相对位置的耦合优化设计。提出了一种改进微粒群优化算法。在微粒群算法中,自适应改变微粒的惯性因子、学习因子、邻域微粒数目可以有效地平衡算法的全局和局部寻优能力。采用人工免疫算子对微粒群进行变异处理可以有效保持种群多样性。运用NURBS方法实现了串列叶型的参数化,设计了一种NURBS控制点的扰动方法,证明了改进EI(expected improvement)准则能使Kriging模型更容易跳出局部最优解。应用该系统优化某大弯角串列叶型,优化结果表明:在设计工况,优化后叶型的总压损失系数降低了40.4%,优化后的叶型在全攻角下的总压损失系数减小了,静压升增加了,在正攻角下的性能改善更明显,证明了该研究的耦合优化设计方法具有很好的实际应用价值。