非流形几何造型及其布尔运算研究

简述了非流形造型的基本原理及其采用的基本操作,以及非流形几何造型布尔运算,侧重在其基本理论,包括:推广的Euler公式,集合属籍分类函数,正则集与正则集合运算;最后介绍了非流形造型布尔运算的5个基本运算步骤,即求交,新面环的生成与剖分,拓扑元素分类,连面成壳与连壳成体,以及悬点、悬边、悬面的生成.实践证明算法是有效、正确的.     

BANK编译模式在扩大单片机程序存储空间中的应用

利用C51编译器的BANK编译模式解决MCS-51系列单片机程序存储空间受64KB限制的问题,分析Keil C51编译器在BANK编译模式下的切换过程,提供一种软硬件的设计方法,并对设计的正确性进行了验证,从而解决了航天器设备典型单片机只能提供16B地址线对程序代码寻址的问题.     

PH曲线拟合在数控前瞻中的应用

为解决数控系统进行微小直线段平稳加工的问题,提出了一种拟合方法.综合了误差限制下的微小直线段长度、拐角、直线段相交点单调性等判定条件,将连续的微小直线段分割成若干区域.使用非线性最小二乘法将每一个区域内的点拟合成PH曲线,并通过模拟退火方法调整切矢量来控制拟合误差.根据区域的连接情况,将切矢量分为单向和双向两种调节方法.在模拟退火算法中,将微小直线段的斜率作为切矢量的初始值,利用细分直线的方法逐点计算弓高误差,并将此误差作为目标函数来快速进行切矢量的调整.结果表明,对微小直线段进行区域划分可以提高拟合效率.在控制弓高误差的情况下,此方法可以形成具有良好精度的光滑曲线,可以获得平稳的速度轨迹.     

基于Flowmaster的运输机供氧系统仿真

研究运输机供氧系统,建立相应的系统仿真模型,对整个管网系统中氧气的流动及分配进行仿真分析.系统由高压氧源、机组供氧点和座舱乘员供氧点3部分组成,各部分分别建模,然后集成系统;为了方便设计者针对不同的管路布置进行系统仿真分析,利用Flowmaster的外部元件模块开发出了氧气系统特有的元件,包括氧气调节器、减压器和快戴式氧气面罩;在某任务航程下利用此仿真模型对氧气系统进行了仿真计算,得到各气瓶耗氧量和各供氧点氧气流量的变化情况,验证了系统是否满足设计需求.     

Pioneer 10 Doppler data analysis: Disentangling periodic and secular anomalies

This paper reports the results of an analysis of the Doppler tracking data of Pioneer probes which did show an anomalous behaviour. A software has been developed for the sake of performing a data analysis as independent as possible from that of Anderson et al. [Anderson, J., Laing, P.A., Lau, E.L., Liu, A.S., Nieto, M.M., Turyshev, S.G. Study of the anomalous acceleration of Pioneer 10 and 11. Phys. Rev. D 65, 082004, 2002], using the same data set. A first output of this new analysis is a confirmation of the existence of a secular anomaly with an amplitude about 0.8 nm s⁻² compatible with that reported by Anderson et al. A second output is the study of periodic variations of the anomaly, which we characterize as functions of the azimuthal angle φ$\phi$ defined by the directions Sun–Earth Antenna and Sun-Pioneer. An improved fit is obtained with periodic variations written as the sum of a secular acceleration and two sinusoids of the angles φ$\phi$ and 2φ$2\phi$. The tests which have been performed for assessing the robustness of these results are presented.     

Tomographic reconstruction of the ionospheric electron density as a function of space and time

Electron density distribution is the major determining parameter of the ionosphere. Computerized Ionospheric Tomography (CIT) is a method to reconstruct ionospheric electron density image by computing Total Electron Content (TEC) values from the recorded Global Positioning Satellite System (GPS) signals. Due to the multi-scale variability of the ionosphere and inherent biases and errors in the computation of TEC, CIT constitutes an underdetermined ill-posed inverse problem. In this study, a novel Singular Value Decomposition (SVD) based CIT reconstruction technique is proposed for the imaging of electron density in both space (latitude, longitude, altitude) and time. The underlying model is obtained from International Reference Ionosphere (IRI) and the necessary measurements are obtained from earth based and satellite based GPS recordings. Based on the IRI-2007 model, a basis is formed by SVD for the required location and the time of interest. Selecting the first few basis vectors corresponding to the most significant singular values, the 3-D CIT is formulated as a weighted least squares estimation problem of the basis coefficients. By providing significant regularization to the tomographic inversion problem with limited projections, the proposed technique provides robust and reliable 3-D reconstructions of ionospheric electron density.     

超光谱成像仪成像电路的设计与实现

超光谱成像仪是环境减灾-1A卫星的主载荷之一,也是我国第一台采用静态干涉型光谱成像技术的星载遥感相机。成像电路是超光谱成像仪的核心组件之一,文章介绍了超光谱成像仪成像电路的系统组成,以及各功能模块的结构、功能和设计原理。     

基于实时数据库技术的空间环境模拟器数据管理平台

针对现有空间环境模拟器试验数据统一管理和试验设备集中监控的难题,文章提出了一种基于实时数据库技术的试验数据管理平台,首次在国内系统级空间环境模拟器研制中引入实时数据库概念,并成功应用于KM7空间环境模拟器中。该数据管理平台将KM7设备各分系统的关键数据信息进行分散采集,统一存储和调用,并通过网络发布。     

一种基于历史遥测数据的在轨卫星故障预警系统

对在轨卫星遥测数据的变化规律进行了分类,研究了数种主流的数据预测理论并分析了其适应性,由此提出了一种基于历史遥测数据的在轨卫星故障预警系统构架,并定义了其中各模块的功能以及接口关系,给出了实际应用的效果。这个系统对及早发现故障、维持在轨卫星的安全稳定运行具有重要价值。     

基于大气阻力实时辨识的Drag-free卫星最优控制研究

研究了基于大气阻力实时辨识的Drag-free卫星最优控制。将Drag-free卫星和其内部的验证质量等效为两颗内、外编队卫星并建立动力学方程,推导了基于卫星和验证质量的相对运动状态观测值反演大气阻力的算法。建立了状态最优调节器模型,采用动态规划求解经典的二次型最优控制。对低轨圆轨道Drag-free卫星的仿真计算结果表明方法的求解精度较高,计算消耗较小。