改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

我国航天运输系统成就与展望

我国运载火箭起步于20世纪60年代,经过半个世纪的发展,共经历了5个阶段,研制了4代17种运载火箭。具备发射低、中、高不同轨道,不同有效载荷的能力。本文对我国航天运输系统发展历程和成就进行了总结,并基于发展成果和未来发展需求,对航天运输系统未来发展规划进行了展望。     

一种用于纳型卫星在轨分离释放装置的设计

针对纳型卫星分离载荷的在轨分离释放需求,给出弹簧式分离释放装置的设计方案,解决国际上的商用现货产品不适用于这种非标准质量体积比的纳型卫星的问题.设计的分离释放装置能承载体积6 U(1 Unit即1 dm3体积),质量10 kg的分离载荷.由设计要求出发,给出包括中心承力构架、分离释放机构和对接环的方案,进行结构模态分析和过载分析.最后给出两两对称分离的在轨分离释放过程.结构设计结果表明该方案能满足一般的运载发射要求.该设计为任务的实施提供了有效可行的解决方案.     

无人平台复杂地形探测的视触融合方法

为提高无人平台在复杂环境中的地形探测能力以及解决在小样本数据下识别地形困难的问题,提出了一种无人平台复杂地形探测的视触融合方法。在原始宽度学习的基础上,建立了多模态级联特征节点宽度学习框架。首先进行触觉和视觉初步特征提取和融合特征提取,随后将融合特征矩阵经宽度学习分类器得到地形识别的结果。最后,在自建的视觉-触觉地形 (V-T2)数据集进行了实验验证。结果表明,相比于传统的融合算法,提出的融合算法有很好的准确性和鲁棒性,为无人平台地形探测提供了有效的策略。     

基于IMU/FADS/无线电的火星上升器组合导航方案

以火星采样返回任务中火星表面上升为背景,研究了基于惯性测量单元（Inertial Measurement Unit, IMU）、嵌入式大气数据传感系统（Flush Air Data Sensing System, FADS）和无线电信标的组合导航方法。首先,在传统的IMU导航框架中加入由无线电测量获得的相对距离、速度信息,以及由FADS获取的动压、温度数据,建立了基于IMU、无线电和FADS的导航观测模型;然后,基于无迹卡尔曼滤波（Unscented Kalman Filter, UKF）技术对测量信息进行了融合,并压制了过程噪声和测量噪声,从而对上升器的状态进行了联合估计;最后,在数值仿真中,将UKF与自适应无迹卡尔曼滤波（Adaptive Unscented Kalman Filter, AUKF）技术进行了对比,在比较不同滤波器性能的同时,验证了组合导航方法的有效性。     

超精密微牛级微波离子推进技术及其在卫星超精度控制中的应用研究

空间技术的快速发展使得利用空间卫星的编队飞行构建大型空间星座成为可能,在引力波探测、射电望远镜编队、星座组网等任务方面具有重要作用。超精度控制是实现卫星高精度编队飞行的关键技术。推进系统是实现卫星编队长期高度稳定飞行的保证,从而实现内部科学装置的正确运行。不同于常规的推进系统,卫星精密编队超精度控制对推进系统的推力可调范围、分辨率、响应时间、推力的一致性等有着极高的要求。根据卫星精密编队任务需求,对微牛级推进系统的功能及技术要求进行了分析,提出了基于M2微波离子推力器的卫星超精度控制推进系统。阐述了M2超精密微牛级推进系统的关键技术和研究进展,为后续M2推力器在无拖曳控制方面的应用奠定了基础。     

PWM低速爬行状态系统波动分析

脉宽调制技术（PWM）在自动控制领域有着广泛的应用。然而,在实际工程应用的过程中,包含PWM的系统在低速驱动的条件下难以达到高精度速度指标的要求。在工程实践经验的基础上,对这一问题进行详细分析,提出PWM的截断效应和移频效应引起波动的理论,并结合典型的机电伺服系统模型进行仿真,完成仿真层面的验证。仿真结果展示了机电伺服系统在低转速状态下由于PWM的截断效应引起转速波动的现象,契合了实际系统中表现的情况,验证了截断效应和移频效应的正确性,为提高系统精度指标提供了依据。     

电脉冲除冰系统参数的合理选择

目前,尽管可采用各种防(除)冰方法,但它们在需用能量及除冰性能上尚有不足之处。电脉冲除冰所需能量少、维护方便(无运动部件)、可靠性高、重量小及经济性好等方面大大优于现有的其他防(除)冰系统。本文介绍了电脉冲除冰系统的基本工作原理,分析了能量,电容和电压等电气参数、线圈的几何参数及蒙皮的材料等对除冰性能的影响。根据分析和实验室、冰风洞及飞行实验的资料,提出了有效除冰时各种參数的选择范围,以及提高性能的措施。     

冗余系统两种应力-强度分布模型的可靠度计算

本文运用应力-强度干涉理论,说明如何确定相同设备(或元件)构成的冗余系统的可靠性。讨论了冗余系统的并联和从n中取k两种结构形式的数学模型,推导了应力和强度服从瑞利分布的并联冗余系统,以及应力和强度分别服从麦克思韦分布和瑞利分布n中取k冗余系统的数学公式。最后,给出这两个模型在应力作用下,对应于不同的强度参数,设备或元件的可靠性曲线,直观地说明应力强度参数的改变对可靠性的影响。     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。