后掠翼边界层横流不稳定转捩预测模型

通过对经典Falkner-Skan-Cooke三维边界层相似解的理论分析和数值求解,结合二维边界层转捩判据的思想,采用由试验数据标定的C1准则关系式求解横流不稳定转捩位移厚度雷诺数,建立了针对固定前缘后掠角机翼的横流转捩判据,并且通过方程求解和数据拟合得到了该转捩判据的数学结果.应用该模型对30°前缘后掠角的ONERA-M6机翼和45°前缘后掠角的NLF(2)-0415无限展长机翼进行了横流不稳定转捩数值模拟.模拟结果显示:改进后的转捩模型预测所得到的转捩位置精度较高,均与后掠翼横流试验数据吻合较好,从而证明了构建的横流不稳定转捩判据的合理性和实用性.      

基于RFID的民用飞机装配生产管理信息系统模型研究

在对飞机装配过程特点、飞机装配制造执行系统及业务流程、飞机装配流程进行一系列分析的基础上,提出了基于RFID技术的飞机装配生产管理信息系统模型,实现企业级信息系统与车间装配执行系统的连接,以及装配过程信息实时传送,保证了信息的实时性和准确性,为企业管理人员实现生产调度、有效管理提供了保障.阐明了该模型的体系架构、层次关联、技术路径与实施方案,为现代飞机制造企业提供了一种可行的装配生产管理信息系统的参考模型.     

基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.     

扩散作用对y-Re优模型转捩预测的影响

Gamma．theta转捩模型是Menter及其合作者提出的一个基于经验关系的转捩模型,其经验关系式和模型参数是通过来流米雷诺数均在150万以下的仍系列平板实验在CFX程序中标定的。首先通过33A平板修正了转捩经验关系式．然后对S＆K平板实验进行了数值模拟,研究了较高雷诺数下模型控制方程扩散项系数以及与数值扩散相关的流向网格尺度对gamma．theta模型转捩预测结果的影响。模拟的结果表明,这些因素对转捩位置都有明显影响,并且gamma方程的扩散项系数还影响转捩完成后全湍区的摩阻值。三种因素对转捩预测影响的趋势分别为：gamma方程的扩散项系数越大,theta方程的扩散项系数越小,流向网格尺度越大,则转捩位置越靠前。     

基于SpaceOS2的TCP/IP网络协议栈移植

航天器专用网络平台是未来航天器组网协同工作完成更复杂任务的关键技术.在操作系统层面需要对其进行有效地支持，以更好地提供给空间应用程序灵活和可靠的数据通讯服务.将伯克利BSD的TCP/IP网络协议栈的基础协议部分移植到航天器嵌入式操作系统SpaceOS2上，用以替代VxWorks操作系统.叙述协议系统中传输层的设计过程和模块接口的移植过程，并给出在SPARC处理器硬件平台上的性能测试结果.     

空间站水循环处理系统中微生物的检测技术

如何控制空间站水循环处理系统的微生物数量对于保证航天员的饮用水和生活用水十分重要。微生物数量超标会对航天员身体健康产生影响,某些硫酸盐还原菌也会附着在管道设备上并发生化学反应,产生的H₂S气体会腐蚀设备。控制水循环处理系统的微生物有地面控制、选用特殊材料和在轨杀菌共3个方面。2003年NASA给出了空间站中微生物控制的一系列要求。文章中提出了两种微生物检测方法:ATP生物发光法和比色固相萃取法测碘和银离子数量的方法,通过比较两者的优劣以及多方面的探究,最后,确定通过监测碘和银离子的数量来控制微生物数量更加方便有效。     

一种跨声速定常流场求解加速方法

跨声速定常流场的隐式求解相当于使用牛顿迭代法求解一个非线性方程组。为满足牛顿迭代收敛性的要求,通常需要对所求解问题进行全局化处理。在同伦延拓的框架内,提出了一种基于拉普拉斯算子的方程延拓方法,提高了定常流场隐式求解收敛速度。针对定常流场通常初始化为均匀来流的特点,一方面利用拉普拉斯算子的椭圆性加快边界条件信息向流场内部的传播,另一方面利用拉普拉斯算子的线性和正定性改善延拓问题的正则性,综合两者增加拟牛顿算法的稳定性,提高可用CFL数,最终达到提高流场求解效率的目的。由于流场问题的复杂性和非线性,难以通过理论分析得出先验的最优非线性求解策略。因此,通过无黏NACA0012翼型、湍流RAE2822翼型和三维ONERA M6机翼等算例的数值实验,研究了拉普拉斯项参数对收敛效率的影响,给出了效率较优的参数组合,验证了本文方法在跨声速情况下相对于经典伪时间推进法可以节约20%以上的CPU计算时间。      

中国电推进技术发展及展望

为了促进国内电推进技术的发展,简要介绍了国际上主要电推力器的种类和特点,并结合国外电推进技术的研究及在轨应用情况,介绍了中国电推进技术发展过程和应用现状,总结了国内外电推进技术的发展趋势。在此基础上,根据国内深空探测、商业航天、重力场测量、引力波探测等空间任务对推进器的高比冲、长寿命、宽调节范围、低成本、高精度等需求,提出了国内电推进技术应该将小型离子推力器、大型霍尔推力器、脉冲等离子体推力器以及无拖曳控制推力器作为重点发展方向的建议。     

一种适用于浸入有限元方法的网格自适应方法

针对动边界流固耦合的数值模拟问题，基于浸入有限元方法提出了一种耦合流场特征和几何特征的笛卡儿网格局部加密自适应方法，克服了单个自适应指示因子无法精确捕捉固体运动的特征的不足。在耦合自适应策略中，分别以流场涡量和固体位置作为流场和几何信息指示因子来驱动网格自适应。通过方腔顶盖驱动圆盘流动算例，以圆盘体积守恒和特征点的运动轨迹验证耦合自适应方法的优势。计算结果表明:仅基于流动特征的自适应不能很好地保证圆盘的体积守恒；仅基于几何特征的自适应无法有效追踪圆盘的轨迹；而耦合自适应策略能同时较好地保证两项指标的计算精度，在保证总体计算自由度不变的情况下，圆盘区域速度散度2-范数降低了一个数量级，圆盘的轨迹误差2-范数降低了2个数量级。      

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.