垂向对称的四陀螺冗余式单轴旋转捷联惯导方法

针对现有惯导正交配置方案在高海况下存在可靠性不高以及导航误差随时间累积快的问题,提出一种四陀螺冗余配置的单轴旋转捷联惯导新方案。通过器件级冗余技术,依据冗余数目等同时可靠性最大,导航特性更优的原则,设计了一种四陀螺圆锥垂向对称配置方案。以此为基础,考虑单轴旋转调制转轴垂直方向上器件误差的优势,提出将冗余配置和单轴旋转调制相结合的冗余式单轴旋转捷联惯导技术,并给出了具体的设计方法和过程。仿真结果表明:惯导系统可靠性较传统无冗余方案提升75%,定位精度较无旋转调制方案提升26%。新方法能够实现可靠性和精度的综合提升,且配置结构体积增加不多,安装方便,工程实现性较强。     

基于实时观测数据的大气密度模式修正

针对国际大气密度模式NRLMSISE-00, 以中国神舟飞船探测数据为基础, 提出一种基于实时大气密度观测数据的模式修正方法. 通过计算分析模式计算结果与探测数据的误差分布特征, 针对地磁相对平静期(Ap≤ 30)模式计算的误差特点, 建立了一种平均误差修正方法, 即认为在相对平静期, 在相同纬度和地方时, 模式误差基本相同, 某一时刻模式预测误差可以近似用与其相同纬度和地方时的平均误差来替代, 从而对模式预测结果进行修正. 以神舟4号探测数据为基础, 通过对模式预测结果采用两种方式进行修正, 可以看到模式误差得到了一定的改善. 采用误差库累积准实时修正, 修正后的误差由原来的20 %降至6 %; 采用误差库5天滑动预报修正后, 模式提前1, 2, 3天的预测误差由原来的20 %分别降至7.8 %, 9.4 %和10.5%.      

基于多失效模式的扭簧可靠性优化分析

基于广义应力 广义强度分布干涉理论和单一失效模式下扭簧可靠性计算模型,建立了多失效模式下扭簧可靠度优化数学模型,采用规格化加权法进行各失效模式影响相同（等失效效应）和有差异（非等失效效应）两种情况下的扭簧可靠度计算。在给定扭簧结构和工况约束条件下,应用提出的计算模型和技术进行了失效模式影响相同和有差异的基于可靠度最大的扭簧结构优化,与非优化结构的扭簧可靠度的比较,以及这两种情况下的扭簧可靠度比较。结果表明,提出的可靠度优化模型和方法是可靠和有效的,对于航天工程中零部件的可靠性优化分析具有很好的借鉴作用。     

不同强度磁暴期间热层大气密度响应特征分析

利用CHAMP卫星数据,对2002-2008年12个不同强度磁暴事件期间的热层大气密度变化特征进行分析,并研究对应磁暴期间大气模式NRLMSISE-00分布特征.结果表明,大磁暴期间日侧大气密度峰值从高纬到低纬的时间延迟为2h,中小磁暴期间的延迟时间为3～4h;春秋季暴时大气密度分布基本呈南北对称分布,而夏冬季大气密度的分布是夏半球大于冬半球,春秋季暴时大气密度大于夏冬季;NRLMSISE-00大气模式得到的热层大气密度很好的体现了半球分布以及季节分布的特征,但模式模拟结果偏小;Dst指数峰值比ap指数峰值更能反应大气密度的变化情况.      

系统可靠性预测方法

概述了系统可靠性预测的主要方法，对它们各自的优缺点和适用范围进行了系统的介绍了评论。在此基础上，提出一些新的可靠性预测方法，并对新方法的合理性进行了论证。     

Ψ(t)R_0──复合非时齐单调Poisson过程模型结构可靠性当量正态设计

本文讨论抗力Ψ（t）R0,荷载效应为强度函数λ（t）＝ae－bt,（t≥0,a,b＞0为实数）的复合非时齐单调Poisson过程结构可靠性模型。获得非时齐非增Poisson过程和非时齐非降Poisson过程样本函数最大值概率分布及统计参数估计。同时获得抗力Ψ（t）R0,其中R0～N（μR0,σ2R0）为初始随机变量,Ψ（t）＞0是t的单调递减连续实函数;荷载效应为复合非时齐单调Poisson过程模型结构可靠性当量正态设计表达式。     

最大熵磁共振成象理论

由于在实际磁共振成象系统中,只能得到有限的频谱数据,利用传统的ＦＦＴ方法重建磁共振图象,将导致截断的伪影和低的分辨率。本文提出了一种基于ＡＲ模型的最大熵磁共振成象算法,利用ＡＲ模型外推未知频谱数据,替代了ＦＦＴ方法的填零法重建,并利用了ＢＵＲＧ算法中的ＡＲ模型参数计算的有效性,不仅消除了截断伪影、抑制噪声、提高了分辨率,而且使重建时间与ＦＦＴ方法相当,完全适用于临床应用。     

凸轮弹性连杆复合机构的动力学修改

本文以胶印机递纸机构为研究对象,该机构为一两自由度凸轮连杆复合机构。在建立该机构运动弹性动力学（ＫＥＤ）有限元分析模型和现场袂测固有频率的基础上,提出了一种利用实 固有频率数据修正复合机构有限元动力模型的方法。其基本思想是利用机构各个运动位置上的固有频率实测值与有限元模型的计算值之间的加权误差建立目标函数,然后利用优化方法使目标函数极小化,从而求出有限元模型参数的修正值。计算结果表明该方法是简便有     

A Nonlinear Sub-grid Scale Model for Compressible Turbulent Flow

本文采用直接过滤的Navier-Stokes方程组作为可压缩湍流大涡模拟控制方程组。方程组中因过滤产生的高阶相关项用Taylor级数展开近似,但仅保留级数的一阶导数项。这样产生的误差相当于丢失了模型的部分耗散作用,本文用一种动力学非线性亚格子模型来补偿丢失的耗散影响。本文根据Caylay-Hamilton定理导出了一个非线性亚格子模型,模型中包含的系数由动力学模式确定。与传统的动力学Smagorinsky模式相比,这种动力学非线性模型(DNM)稳定性更好,且不需要在统计均匀方向进行统计平均来计算模型系数,因此减少了计算开销。本文用这种非线性亚格子模型对绕双椭球高超声速湍流进行了模拟,并将所得结果与实验值、计算值及理论值进行了对比。结果表明,本文模型可以有效地模拟可压缩湍流流场。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。