关于集合运算的应用

通过多年的教学工作实践，发现集合的运算在多个领域中得到应用，为了方便学习，缩短学习时间，从多个角度来阐述集合运算的应用，旨在提醒学生对简单知识点的学习必须得到重视。     

立方体表示方法及其在多状态系统可靠性分析中的应用

本文介绍一种多状态系统集合的立方体表示方法和运算规则，并结合多状态系统顶事件概率计算，介绍其在多状态系统可靠性分析中的应用。     

无限集合上二元关系的矩阵证明

本文首先定义了无限布尔矩阵的运算,并给出了基本的运算律,利用关系图及关系矩阵与二元关系的一一对应关系,用无限布尔矩阵理论对无限集合上的二元关系进行了研究。     

知识系统决策规则的动态更新策略及等价矩阵计算

专家系统是航天领域中人工智能技术应用的重要形式。学习能力是人工智能、机器学习的本质特征之一。用属性及其取值表述对象的知识系统通常需要从大量样本中获取知识并以决策规则的形式加以表达。当样本集合发生变化时,则需对决策规则集进行动态更新。本文分析了增加和移除学习样本两种情况下调整决策规则的方法,提出了知识系统决策规则动态更新的策略和等价矩阵计算方法,通过算例进行了仿真和验证。结果表明:决策规则的动态更新方法和等价矩阵计算可以解决知识系统的动态学习问题,相较决策规则的全局获取运算,减少了计算量。     

区间卡尔曼滤波算法在高动态导航的研究

针对卡尔曼滤波算法中动力学系统模型以及噪声模型不能精确已知,导致卡尔曼滤波算法在实际中不能实现最优估计。首先分析了传统卡尔曼滤波算法中各种误差源的影响,以及区间矩阵运算的影响,经分析得到,区间运算可以保证集合映射的完全性,但不能体现最优化。通过分析,本文提出了一种新型的区间卡尔曼滤波,将各种误差源归约到先验估计值区间和后验估计值区间中,然后将区间交集运算应用于卡尔曼滤波算法。这种新算法运算量与传统卡尔曼滤波算法相当。通过仿真实验证实,该算法在含时变噪声的高动态导航定位中比传统卡尔曼滤波效果提高2dB。     

一种RS码变换或译码算法及关键方程的讨论

提出了ＲＳ系统码的一种变换域译码的算法，该算法不用球错误位置多项式的根和错误值，运算结构规则：用Ｇｒｏｅｂｎｅｒ基理论分析证明了关键方程的解是在〈ｒ＝ｌ－ｍ意义下解集合Ｍ中的最小元素。     

非零初末角速度约束下的卫星实时姿态机动规划

针对存在初末角速度非零约束的卫星姿态机动任务,提出了一种基于旋转分解的实时解析规划算法。该方法通过将卫星三维旋转分解为多个绕固定轴的一维欧拉旋转,使非线性规划问题转换为多个一维空间上的线性规划问题,再将各个线性规划的结果通过四元数运算融合为最终的姿态机动规划结果。与过去针对此类问题经常采用的非线性规划方法相比,该规划算法可以通过解析的形式给出,因此不需要通过多次数值迭代得到可行解,运算量少,可以实时进行计算,适合实际在轨应用。     

基于通信的协作型多智能体强化学习算法综述

多智能体系统在许多实际领域中得到了广泛应用，包括机器人技术、分布式控制和多人游戏等。这些领域中的许多复杂任务无法通过预定义的智能体行为来解决，而基于通信的多智能体强化学习(Multi-Agent Reinforcement Learning, MARL)技术是应对这些挑战的有效方法之一。该领域存在2个核心问题：1)如何建立有效的多智能体通信机制，从而提升多智能体系统的整体性能；2)在带宽受限的场景下，如何设计高效的通信调度方案从而压缩通信过程中冗余信息。本文首先对处理这两个核心问题的文献进行了概述并重点介绍具有代表性的一些工作，接着说明其在航天领域的应用前景，最后进行总结。     

计算章动的一个新方法

在传统的计算方法中，章动是有５个参数１，１＇，Ｆ，Ｄ和Ω线性组合的三角函数为因子的项之和。若Ｎ是项数，则用计算机计算章动时，包括黄经章动和倾角章动一般需要计算１３Ｎ次四则运算和２Ｎ次三角函数。然而，用计算机进行三角函数运算的机时比四则运算要长得多。本法为了更适用于计算机，尽可能把三角函数的运算次数减少到最少。以１０６项ＩＡＵ１９８０章动序列计算为例，传统的方法需要计算２１２次三角函数运算，而本法只     

一种RS码变换域译码算法及关键方程的讨论

提出了RS系统码的一种变换域译码的算法,该算法不用求错误位置多项式的根和错误值,运算结构规则:用Grbner基理论分析证明了关键方程的解是在相似文献   

巡航导弹制导方式及其电子对抗途径分析

巡航导弹在数次高技术局部战争中的成功使用,较快地改变了战争的进程和结果。以近几次局部战争中使用较多的对陆攻击巡航导弹为研究背景,通过分析其制导系统的工作原理,发现其弱点,提出部分反导措施和电子对抗途径。     

卫星电缆网内部充电效应仿真分析

电缆结构作为最常见的卫星上的介质-金属结构,只受到卫星蒙皮的保护,其内部充电效应须引起重视。针对卫星上常见的电缆网结构进行了分析,使用内部充电三维仿真软件计算分析了GEO卫星上几种不同型号电缆对应不同蒙皮厚度下的充电效应,并对弯曲电缆、蒙皮孔洞处的电缆、电缆固定件等结构的简化模型进行了仿真分析。结果显示,在GEO恶劣电子环境下,单一卫星电缆会因为内部充电效应带上一定的负电位,在绝缘皮较厚或电缆处于蒙皮孔洞处等情况下,充电负电位会升高;电缆固定件介质块的充电电位与介质材料的尺寸有关,会带来较高的放电风险。     

Orbital manoeuvres of free flying platforms for retrieval by space shuttle

In a typical future mission a free flying platform will be released to space by Space Shuttle. After performing its active mission, it will have to wait for a suitable later Shuttle flight for retrieval at its original orbital altitude. To allow for the orbital descent during the total mission time of typically several months, one or several orbit raise manoeuvres have to be performed with the platform's own propulsion system. In the paper, the velocity-requirements Δv for these orbital transfers, depending on Sun activity, rendezvous-altitude, ballistic coefficient and longest expected mission time are treated.The simplest manoeuvre, consisting of one initial ascent transfer and one descent transfer at the actual retrieval date, is shown to be not optimal. Up to 25% of Δv can be saved, if several orbit raising transfers in a certain sequence are applied. A straightforward analytical treatment is presented for the optimization, while a computer program with the CIRA-atmosphere model is used for actual mission planning.     

纤维增强树脂基复合材料的蠕变性能

文章阐述了纤维增强树脂基复合材料中存在的蠕变现象及其研究进展,介绍并评价了现今蠕变研究主要采用的方法,最后分析了几种可能改善材料抗蠕变性能的途径。     

航天用电连接器的接触可靠性研究

接触可靠性是保证航天用电连接器正常工作的关键。结合近年来在检验及使用过程中出现的多想航天用电连接器接触失效的实例，在阐明其失效机理基础上，分析了影响电连接器接触可靠性的各种因素，并对分离力等接触可靠性检查方法进行了讨论。     

飞机供氧和燃油箱惰化技术概况

本文简要论述了飞机供氧和油箱惰化的必要性,并分别对飞机供氧和几种油箱惰化技术进行了分析比较,然后论述了国外飞机供氧和油箱惰化联合系统的发展概况及不足,这样可为我国未来的发展提供些借鉴。     

DORIS系统自主在轨实时定轨的实现与精度分析

国家科技重大专项高分辨率空间对地观测项目的实施,对卫星平台的自主在轨实时定轨提出了新的需求。由法国发展的DORIS实时定轨系统虽已成功应用于多个对地观测平台,但该系统从未公布其原始数据和数据处理的技术细节,因此本文尝试利用DORIS地面主控站提供的ENVISAT标准格式多普勒数据,假设星上自主定轨时采用相同的数据,基于卡尔曼滤波算法实现（仿真）自主实时定轨。计算表明仅考虑简单的非球形引力模型,对于位置误差1km,速度误差1m/s的初始条件,2小时后滤波趋于稳定,滤波精度为十米量级,速度精度为厘米每秒级。为提高滤波计算效率,对坐标系统转换进行简化后,定轨精度仍在十米量级。基于DORIS仿真测量数据滤波计算表明,随着测量精度的提高和每圈观测弧段的增加,滤波计算的精度也会得到有效提高。     

大型复杂航天器的若干结构与力学问题

本文讨论了大型杂航天器的若干结构与力学问题，包括在轨系统识别，损伤检测和自适应结构的产生背景，基要概念，处理途径与关键技术，开展这些问题的深入研究，对保证航天器的正常工作与安全极为重要。     

Uncontrolled Attitude Motion of the Foton-12 Satellite and Quasi-Steady Microaccelerations onboard It

The results of determination of the uncontrolled attitude motion of the Foton-12 satellite (placed in orbit on September 9, 1999, terminated its flight on September 24, 1999) are presented. The determination was carried out by the onboard measurement data of the Earth's magnetic field strength vector. Intervals with a duration of several hours were selected from data covering almost the entire flight. On each such interval the data were processed simultaneously using the least squares method by integrating the satellite's equations of motion with respect to the center of mass. The initial conditions of motion and the parameters of the mathematical model employed were estimated in processing. The results obtained provided for a complete representation of the satellite's motion during the flight. This motion, beginning with a small angular velocity, gradually sped up. The growth of the component of the angular velocity with respect to the longitudinal axis of the satellite was particularly strong. During the first several days of the flight this component increased virtually after every passage through the orbit's perigee. As the satellite's angular velocity increased, its motion became more and more similar to the regular Euler precession of an axisymmetric rigid body. In the last several days of flight the satellite's angular velocity with respect to its longitudinal axis was about 1 deg/s and the projection of the angular velocity onto the plane perpendicular to this axis had a magnitude of approximately 0.15 deg/s. The deviation of the longitudinal axis from the normal to the orbit plane did not exceed 60°. The knowledge of the attitude motion of the satellite allowed us to determine the quasi-steady microacceleration component onboard it at the locations of the technological and scientific equipment.     

Space activities in Korea—History, current programs and future plans

Korea has participated in space development only since the 1990s. Despite its short history, Korea has been increasing its technological capabilities with the successful experience of several national projects. The Korean government established a long-term space development plan in 1996, which suggests a clear way forward for space development up to 2015. Space activities in Korea will grow continuously. The direction of future space activities will be decided by the national space development plan. This paper discusses Korea's past and present space activities and future development projects.