分布式卫星嵌入式计算机系统结构设计方法

针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。     

基于顺序失效符的动态故障树形式规约

首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.     

湍流射流扩散火焰的层流火焰面模拟

采用双尺度κ-ε湍流模型，标量联合的概率密度函数（PDF）输运方程和层流火争面模型相结合，模拟湍流射流扩散火焰，比较了几种不同κ-ε湍流模型对轴对称湍流射流速度场模拟的结果，建立了混合物分数和湍流频率的联合PDF输运方程，并假定湍流频率和标量 线性关系，得到标量耗散率的概率分布，化学组分的浓度和温度由层流火焰面系综的平均得到，计算结果与直接用化学反应动力学计算的结果及实验数据做了比较。     

加油机喷流对受油机的气动干扰机理

针对软式平台(HDB)、软式吊舱(HDP)和硬式平台(FB)3种典型加油方案研究了喷流对加油流场的影响。采用结构化多块网格和雷诺平均Navier-Stokes(RANS)方程,通过带涡轮动力模拟器(TPS)和翼身组合体构型DLR-F6对数值方法进行了验证。通过对3种典型的空中加油方案进行数值模拟,并和不考虑喷流效应的空中加油流场进行对比,详细研究了不同加油方案中加油机喷流对受油机气动特性的干扰作用。结果表明:受油机升力系数、阻力系数以及低头力矩与无喷流相比均有增大。受油机在硬式平台加油方案中受喷流影响最小,但其横航向气动特性在软式吊舱加油方案中受加油机喷流影响较大。喷流对受油机的气动干扰主要表现在提高受油机来流动压、改变局部迎角以及对周边气流的引射作用,这些因素会导致受油机表面压力与无喷流相比发生较大变化。其中,局部迎角的改变是由喷流的加速效应及其对尾涡的耗散作用导致的。