基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

GPS接收机中码相位测量精化方法的研究

精确的码相位测量是保证GPS接收机得到精确伪距值进而进行精确定位的一个重要前提。在已有码相位测量精化方法的基础之上提出了两种新的码相位测量精化的方法,讲述了两种方法的原理与具体实现方法,并利用蒙特卡洛方法进行了仿真实验,得到了码相位结果均值、码相位结果均值方差等一系列实验结果,对几种方法的精化效果从精确性、稳定性和跟踪性能等几个方面进行了比较分析,得出了相应的结论。与三角匹配法和二次曲线插值精化法相比,二阶最小二乘拟合精化法和广义延拓逼近精化法有明显优势;广义延拓逼近精化法的精化精度最高、跟踪精度最高,而二阶最小二乘拟合精化法的稳定性最好。     

GH4133B合金精化模锻件的性能及工艺控制

叙述了现行工艺模锻的GH4133B合金精化模锻件的性能和组织特点;叙述了直接时效、添加预备热处理精化模锻件的性能和组织特点.叙述了标准热处理固溶加热温度与精化模锻件组织和性能的关系.     

电离层薄层高度对电离层模型化的影响

利用IRI2012模型分析了电离层薄层高度的时空变化规律,提出了基于应用中STEC的电离层改正误差分析理论,分析了电离层薄层高度变化的相关影响.结果表明,电离层薄层高度变化对电离层穿刺点位置、投影映射函数值、电离层建模结果、电离层模型精化和电离层模型精度评估结果的影响较大.高度截止角为10°时,电离层薄层高度变化导致电离层穿刺点的经纬度差异最大可达3.2°,投影映射函数最高可引入约15.46%的误差,电离层建模结果差异和建模实用误差最高分别达9.71%,3.64%,采用不同薄层高度数据的电离层模型参数拟合和模型精化结果最大可引入约9.26%的误差,采用不同电离层薄层高度数据进行模型精度评定时最大可引入约9.62%的误差.根据这些研究结果可知:在实际应用中应采用电离层薄层高度模型,并选取较大的卫星高度截止角来减小薄层高度变化引入的误差;采用固定高度时,区域电离层建模采用与实际电离层薄层一致的固定高度;进行精度评估时,参考数据的电离层薄层高度与需要精度评估的电离层模型薄层高度相等.      

增强型整体-局部高阶理论四边形单元层合板自由边分析

基于增强型整体-局部高阶理论,构造了四节点四边形单元并分析复合材料自由边拉伸问题.本理论预先满足层合板面内位移和层间应力连续条件及层合板上下自由表面条件,未知变量个数不依赖于层合板的层数.精化四节点四边形单元满足单元间C1弱连续性条件.数值结果表明,基于增强型整体-局部高阶理论构造的四边形单元能够精确分析自由边拉伸问题.层间横向剪切应力能够直接从本构方程中计算得出,而横向法应力则需在一个单元内使用局部三维平衡方程.     

国防科工委发布35项航天行业标准(2008年)

2008年,国防科工委发布了《运载火箭控制系统箭地接口设计要求》等35项航天行业标准(见表1),并自2008年6月1日起实施。     

精化杂交Mindlin板单元的几何非线性分析

基于放松单元间连续性要求约束的广义变分原理,建立了用于几何非线性分析的非协调四边形精化杂交Mindlin板元,其非线性单元刚度矩阵可按假定应变模式分解.本文列式与现有非线性杂交混合列式的主要区别在于,它吸收了现有线性杂交元列式的所有优点,引入了非协调模式和正交化.数值结果表明,正交化法可有效地改善单元的计算精度和效率,非协调模式可克服Mindlin板的自锁问题.     

结构静力数学模型的精化

用有限元方法获得的结构初始数学模型受多种因素影响,同真实结构相比存在着误差,直接用初始模型进行破坏载荷与破坏部位预计往往难于准确。重要结构尤其是飞机结构的静力破坏试验需要预估破坏载荷与破坏部位,以便合理安排试验大纲。本文建议从静力平衡方程出发,利用非破坏静力试验结果精化结构有限元初始理论模型,提高应力—应变分析结果的精度,进而提高破坏载荷和破坏部位的预估精度。模拟试验结果证明了本文方法的可靠性和可行性。