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

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

Stationary flow fields prediction of variable physical domain based on proper orthogonal decomposition and kriging surrogate model

In this paper a new flow field prediction method which is independent of the governing equations, is developed to predict stationary flow fields of variable physical domain. Predicted flow fields come from linear superposition of selected basis modes generated by proper orthogonal decomposition(POD). Instead of traditional projection methods, kriging surrogate model is used to calculate the superposition coefficients through building approximate function relationships between profile geometry parameters of physical domain and these coefficients. In this context,the problem which troubles the traditional POD-projection method due to viscosity and compressibility has been avoided in the whole process. Moreover, there are no constraints for the inner product form, so two forms of simple ones are applied to improving computational efficiency and cope with variable physical domain problem. An iterative algorithm is developed to determine how many basis modes ranking front should be used in the prediction. Testing results prove the feasibility of this new method for subsonic flow field, but also prove that it is not proper for transonic flow field because of the poor predicted shock waves.     

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开发工具自动绘制出矩形花键拉刀图纸。结果表明其完全满足工程实践要求。     

Orbit determination of BDS-3 satellite based on regional ground tracking station and inter-satellite link observations

The BeiDou global navigation satellite system (BDS-3) has established the Ka-band inter-satellite link (ISL) to realize a two-way ranging function between satellites, which provides a new observation technology for the orbit determination of BDS-3 satellites. Therefore, this study presents a BDS satellite orbit determination model based on ground tracking station (GTS) observations and ISL ranging observations firstly to analyze the impact of the ISL ranging observations on the orbit determination of BDS-3 satellites. Subsequently, considering the data fusion processing, the variance component estimation (VCE) algorithm is applied to the parameter estimation process of the satellite orbit determination. Finally, using the measured data from China’s regional GTS observations and BDS-3 ISL ranging observations, the effects of ISL ranging observations on the orbit determination accuracy of BDS-3 satellites are analyzed. Moreover, the impact of the VCE algorithm on the fusion data processing is evaluated from the aspects of orbit determination accuracy, Ka-band hardware delay parameter stability, and ISL ranging observation residuals. The results show that for China’s regional GTSs, the addition of BDS-3 ISL ranging observations can significantly improve the orbit determination accuracy of BDS-3 satellites. The observed orbit determination accuracy of satellite radial component is improved from 48 cm to 4.1 cm. In addition, when the initial weight ratio between GTS observations and ISL ranging observations is not appropriate, the various indicators which include orbit determination accuracy, ISL hardware delay, and ISL observation residuals were observed to have improved after the adjustment of the VCE algorithm. These results validate the effectiveness of the VCE algorithm for the fusion data processing of the GTS observations and ISL ranging observations.     

斜沟槽型机匣处理的实验研究

在一个亚音速的单级轴流压气机实验台上针对５种不同结构参数的斜沟槽型机匣处理进行了较为系统的实验研究。通过对总性能和基元性能,特别是叶片尖部流动的详细测量,证明了这种型式的处理机匣可以提高效率,但在稳定裕度上略有损失,并解释了其影响转子性能的机理。     

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

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

基于协同决策的多航站楼停机位实时分配算法

针对多航站楼机场停机位实时指派问题,提出了基于协同决策并考虑航空公司时隙交换公平性的机位实时指派算法。该算法将多航站楼资源的可共享性考虑到指派算法中,以最小延误费用原则为约束,采用混合集合规划进行指派模型的建立与求解。该算法在保证多航站楼停机位资源有效共享的前提下,充分实现了航空公司时隙交换的公平性,并且使延误引起的多方成本最小化。算例说明:本文提出的算法可以有效解决多航站楼的机位实时分配问题。     

基于并联贮箱结构的卫星推进剂剩余量测量方法

星上推进系统推进剂剩余量测量是卫星在轨管理的重要工作,事关卫星剩余寿命估计和离轨时机的选择,对于提高卫星效率具有重大的意义．中国现有的推进剂剩余量计算方法只适用于传统的双贮箱结构,不适用于桁架式卫星平台的多贮箱并联结构,为此必须开发新的计算方法,同时提高计算精度．比较多种推进剂剩余量测量方法,重点论述两种可用于并联贮箱结构的测量方法．     

基于当地变量的横流转捩预测模型的研究与改进

Langtry和Menter提出的转捩预测模型需要改进以具备预测横流转捩的能力。当地变量Helicity参数可以指示边界层内的横流信息,因而可用来构造适用于复杂构型以及当代计算流体力学(CFD)并行计算的横流转捩预测模型。实现了基于Helicity参数的横流转捩预测模型,对于后掠角为45°的NLF(2)-0415无限展长后掠翼,模型能够预测不同雷诺数对横流转捩的影响,但是对6:1椭球的横流转捩预测结果与试验数据相差较多。针对实现的横流转捩预测模型的缺点,考虑横流速度因素进行改进。横流速度的求解经过简化近似可以当地求解,因而保证了改进的模型完全基于当地变量的优势。采用改进后的横流转捩预测模型分别对NLF(2)-0415机翼、6:1椭球以及DLR-F5机翼进行数值模拟,并与试验数据进行对比分析,结果显示改进后的横流转捩预测模型可以较为准确地捕捉横流转捩现象。