A Class of TVD Type Combined Numerical Scheme for MHD Equations With a Survey About Numerical Methods in Solar Wind Simulations

It has been believed that three-dimensional, numerical, magnetohydrodynamic (MHD) modelling must play a crucial role in a seamless forecasting system. This system refers to space weather originating on the sun; propagation of disturbances through the solar wind and interplanetary magnetic field (IMF), and thence, transmission into the magnetosphere, ionosphere, and thermosphere. This role comes as no surprise to numerical modelers that participate in the numerical modelling of atmospheric environments as well as the meteorological conditions at Earth. Space scientists have paid great attention to operational numerical space weather prediction models. To this purpose practical progress has been made in the past years. Here first is reviewed the progress of the numerical methods in solar wind modelling. Then, based on our discussion, a new numerical scheme of total variation diminishing (TVD) type for magnetohydrodynamic equations in spherical coordinates is proposed by taking into account convergence, stability and resolution. This new MHD model is established by solving the fluid equations of MHD system with a modified Lax-Friedrichs scheme and the magnetic induction equations with MacCormack II scheme for the purpose of developing a combined scheme of quick convergence as well as of TVD property. To verify the validation of the scheme, the propagation of one-dimensional MHD fast and slow shock problem is discussed with the numerical results conforming to the existing results obtained by the piece-wise parabolic method (PPM). Finally, some conclusions are made. This revised version was published online in August 2006 with corrections to the Cover Date.     

平面动力系统的ω（α）极限集的一些性质

本文论述了平面动力系统的ω(α)极限集在轨道有界时的一些性质，并对轨道无界情形下其极限集的结构做了一些初步研究。     

Direct integration methods in dynamic problems of structural mechanics

A method of direct integration with respect to time is proposed to solve dynamic problems of structural mechanics and comparison with the well-known methods is presented.     

有攻角细长旋成体极端地面效应分析

本文用匹配摄动方法研究了细长旋成体贴近地面运动时诱导的不可压缩势流问题,它是经典细长体理论的推广和发展。文中将流场分为内外两个渐近区域,建立了问题的匹配摄动理论,并利用文献[1]中的双圆诱导不可压缩势流的精确解,给出了该问题的首阶解析解。然后又导出了细长体上的吸力和俯仰力矩的计算公式。在此基础上,文中对细长旋成体极端地面效应的运动学规律和动力学规律作了定性和定量两个方面的分析。     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

并联机器人运动性能的研究现状及发展趋势

随着并联机器人技术的发展,其运动性能的提升成为了发展需求,指出了研究工作空间和奇异位形的必要性。以研究方法为主线,详细阐述了工作空间和奇异位形的国内外研究现状及特点,进一步提炼出个体的创新思想和面临的共同难题。通过深入分析研究方法的原理,找到了解决共同难题的突破口,同时剖析了研究中的尚存难题。结合未来的发展趋势,从结构综合和理论创新两个方面进行突破,能够为并联机器人的发展提供强劲动力。得出的结论和展望给从事这一领域的研究者们提供了参考。     

Maximal admissible mode decision delay in terminal guidance

Mode decision-maker is a critical component in the logic-based Integrated Estimation and Guidance(IEG) system. For the best possible estimation and guidance performance, the mode decision delay of the mode decision-maker should be limited to a range as small as possible. This paper presents a numerical method for computing the maximal admissible mode decision delay that varies with time-to-go. Particular attention has been paid to highly maneuvering target interception in terminal guidance. The results of this research offer useful guidelines for the design of the mode decision-maker in IEG systems.     

液体推进剂在轨剩余量测量方法研究进展

介绍了在轨航天器液体推进剂剩余量测量技术国内外研究进展,并展望了未来的研究方向。首先简要介绍了造成微重力条件下液体推进剂剩余量测量困难的原因;接着回顾了液体推进剂剩余量测量技术的发展脉络,将其技术发展分为技术萌芽、技术成熟和新技术探索三个阶段;然后从基本原理、误差分析、研究进展等方面综述了常用的簿记法(Book-Keeping,BK)、压力体积温度法(Pressure-Volume-Temperature,PVT)和热量激励法(Thermal Gauging Method,TGM)等液体推进剂在轨剩余量测量技术,对比分析了各种方法的优缺点;最后,展望了液体推进剂在轨剩余量测量技术的发展方向:一是利用不同测量技术在不同卫星寿命期间具有不同测量精度的特点,将多种测量技术进行结合,以提高整体测量精度;二是开发适用于卫星全寿命周期高精度测量的新方法。     

Factor graph based navigation and positioning for control system design: A review

Navigation and positioning is an important and challenging problem in many control engineering applications. It provides feedback information to design controllers for systems. In this paper, a bibliographical review on factor graph based navigation and positioning is presented. More specifically, the sensor modeling, the factor graph optimization methods, and the topology factor based cooperative localization are reviewed. The navigation and positioning methods via factor graph are considered a...     

航空嵌入式系统2000年问题分析及检测方法

通过对航空系统嵌入式计算机的应用分析,根据航空系统嵌入式计算机应用领域和重要性的不同,将航空系统分为机载电子系统,遥测与导航系统,设备开发、测试和综合系统,以及生产加工系统四个层次。并针对每个层次绝对时间的使用特征,从系统参数共享到底层电路构型,提出了各自相应的 Ｙ２ Ｋ 问题检查方法,以及相应的检查内容和责任单位。