航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

Progress on Solar Physics in China During 2004 - 2006

The solar physics studies in China during 2004-2006 from solar interior to solar atmospheres and solar-interplanetary space are summarized. These researches are arranged under the topics of solar interior, photosphere, chromosphere and transition region, corona, flares and CMEs (and the associated radio bursts, X-ray/γ-ray bursts and particle acceleration), solar wind, solar cycle, and ground-based instrumentation.     

基于VB的矩形花键拉刀设计系统的实现

传统的拉刀设计方法效率低，利用计算机设计程序可以使其实现自动化，快速、准确。介绍了基于Visual Basic6．0环境下矩形花键拉刀设计程序，剖析了其中主要的功能模块。该程序可对拉刀的结构参数进行设计计算，并利用AutoCAD集成的VBA开发工具自动绘制出矩形花键拉刀图纸。结果表明其完全满足工程实践要求。     

阻旋栅对密封静力与动力特性影响的数值分析与实验研究

密封动力特性对旋转机械转子系统稳定性影响较大,在密封入口端部设置阻旋栅是提高密封稳定性的有效方法。设计加工了无/有阻旋栅共5种密封结构,从数值分析与实验研究两个方面研究阻旋栅对密封静力与动力特性的影响规律。建立阻旋栅密封静力特性CFD理论模型,数值分析阻旋栅对密封泄漏量、切向速度以及周向压力分布的影响;应用不平衡同频激励法实验研究阻旋栅对密封动力特性的影响。研究结果表明:阻旋栅可降低密封的泄漏量,减小密封内流体的切向速度,进而降低密封内流体的周向压力差,且随着阻旋栅周向稠度与径向长度的增加,这种作用逐渐增大,这是阻旋栅抑制气流激振力的主要原因;预旋是密封产生交叉刚度的重要因素,密封的交叉刚度随进出口压比与转速的增加而增大;阻旋栅可有效降低密封的交叉刚度,增加密封的主阻尼,提高密封的稳定性。本文研究揭示了阻旋栅抑制密封气流激振力的机理,为设计阻旋栅密封提供理论依据。     

磁轴承PWM开关功放电流实时降噪

针对传统低通滤波器在脉冲宽度调制(PWM, Pulse Width Modulation)开关功放电流降噪过程中存在去噪效果与系统带宽难以兼顾的问题,提出了一种基于提升小波变换的功放电流实时降噪法.首先基于dB4提升小波算法,采用滑动数据窗、对称边界拓展和阈值法强制降噪等相结合的方案实现对功放电流的实时降噪.然后根据不同小波分解层数对系统截止频率的影响,确定合适的小波分解层数.实验证明,提升小波实时降噪算法既可以有效地滤除功放电流噪声,又对系统带宽和相角滞后影响较小,非常适用于对实时性和信噪比都有较高要求的磁悬浮高速转子系统.      

喷管两相流耦合数值模拟与粒子热增量预测

含有氧化铝粒子的两相流是固体火箭发动机喷管流场的重要特征.在有限体积方法框架下,采用基于热增量试验数据的粒子壁面反弹模型以及基于粒子轨道的单元内颗粒源(PSIC,Particle Source in Cell)两相流耦合算法,对喷管内两相流流场及粒子撞击产生的壁面热增量进行了计算和分析,研究了氧化铝粒子尺寸对粒子轨道分布和喷管壁面热增量分布的影响规律.研究结果表明:喷管扩张段内粒子稀疏区域范围随粒子直径增加而增大;粒子热增量只分布于喷管收缩段内,粒子直径越大,产生的壁面热增量越强.     

磁悬浮控制力矩陀螺框架结构的拓扑优化设计

建立磁悬浮控制力矩陀螺框架结构的有限元分析模型,对控制力矩陀螺框架结构进行模态分析,阐述了框架结构优化设计的基本思路.结合双向渐进优化算法拓扑优化理论,基于通用有限元分析软件ANSYS的参数化设计语言和二次开发语言,开发了连续体拓扑优化模块.以框架结构的最低阶频率值为约束条件,以框架结构质量最小为优化目标,引入名义应力的概念,建立框架结构固有振型与名义应力的关系,实现了磁悬浮控制力矩陀螺框架结构的动态拓扑优化,扩展了双向渐进优化算法的应用范围.优化后的结构构型具有更为合理的质量和刚度布局,频率提高11.49%,质量减少5.65%.     

来流条件对热流组分扩散项影响效应分析

使用数值模拟的方法研究了高超声速热化学非平衡流动中不同来流条件对热流组分扩散项的影响。以RAM-CII飞行试验外形为例,使用AUSM+-up格式耦合LU-SGS方法求解带化学反应源项的多组分NS方程。得到如下结论:在非平衡热环境数值模拟研究中,完全催化壁时组分扩散项热流所占比率表征了壁面催化效应的强弱;在同一高度下,随着马赫数升高热流组分扩散项比例越来越显著,而马赫数相同时,随着高度增高热流组分扩散项所占比例越来越小,主要原因在于当地化学反应进行程度不同。     

双转子系统临界转速的有限元分析

利用有限元软件ANSYS建立简易双转子系统的有限元模型,分别用QR阻尼法和同步响应法计算该双转子系统的临界转速以及主振型。用该软件自带的参数化设计语言（APDL）编制该双转子系统临界转速和不平衡响应的计算程序,分别求出内转子和外转子为主激励的临界转速及主振型。对比结果发现采用QR阻尼法和同步响应法计算双转子系统前三阶临界转速的误差均在1％以内,结果吻合很好。用这2种方法计算双转子系统的临界转速都能得到满足工程精度要求的结果。     

材料长时间加热试验及隔热性能预测分析

针对高超声速再人飞行器长时间的气动加热,在电弧加热风洞上进行了热防护系统材料性能的长时间加热模拟试验.实现了电弧加热器加热运行时间长达1000s.本研究对三种多相隔热材料进行了隔热性能探索性试验研究,并进行了数值模拟计算,结果表明:材料的隔热性能与材料的使用环境及内部结构密切相关;相应地增加材料的密度和固体材料的比率有利于降低隔热材料的等效导热系数,并延长材料达到热平衡的时间.