摘要：为了提高MPSOC处理器的可靠性,提出了一种基于软件表决和硬件仲裁的三模冗余容错处理器设计方案,并对这种容错设计进行了原型实现和验证,试验结果表明了方案的正确性和有效性.

摘要：分析FPGA的配置数据帧格式以及整个器件中配置数据帧的类型和分布,在此基础上给出具体的位流回读故障检测方法和重配置容错方法,最后给出了实现该容错方法的一个实例.论文研究可为星上拟采用基于SRAM的FPGA的各分系统电路容错设计所借鉴.

摘要：为解决用户在外临时办公对电脑的需求以及商家运营传统共享电脑时成本高、利润低、不安全等问题,文章提出了基于微信小程序的共享云电脑系统设计方法。此系统包括微信小程序端、后端处理系统、云电脑端和MySQL数据库端,提供云端办公与娱乐新体验。基于微信小程序的共享云电脑系统具有广阔的市场前景和显著的社会意义。该系统能有效降低商家运维共享电脑的难度和成本,从而推动云业务的发展,为用户提供便捷的服务,为商家创造更多的商机。

摘要：简要回顾月球探测的发展现状,给出月球巡视探测器的概念和主要功能,据此分析和研究系统方案设计、分系统组成、工作状态和工作模式。最后提出月球巡视探测器的关键技术,以期为月球巡视探测器的工程研制提供参考。

摘要：针对嫦娥五号着陆器和上升器组合体(着陆上升组合体)在月昼高温环境下工作期间无法提供足够散热面的难题,利用水在真空下高效蒸发/升华带走热量的原理,构建了水升华热排散系统.其在嫦娥五号任务中实现了月面正常启动和稳定运行,月面工作期间散热量达到约400 W,相对误差小于6.7%,使着陆上升组合体在月面110℃~140℃的环境下工作期间系统温度降低了5℃~10℃,有效保障了着陆上升组合体月面工作期间各系统在适宜的温度下运行,支撑了探测器月面无人自动采样任务的成功实施,标志着我国自主研制的高温水升华热排散系统首次月面应用取得成功.

摘要：为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。

摘要：根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.

摘要：太阳极轨天文台利用高轨道倾角(≥80°)和小椭偏率轨道,将首次实现正面对太阳极区磁场和速度场高精度成像观测,结合多波段遥感和原位测量,为解决太阳磁活动周起源的世纪难题提供决定性观测,为破解“原始”高速太阳风的起源效应之谜提供直接观测支撑,为理解日球层整体结构突破性创建数据驱动的日球数值模型.

摘要：航天器控制系统是一种典型的信息-物理融合系统(CPS),应用CPS技术将是提高航天器控制系统设计正确性和效率的一个重要途径.在探讨CPS系统特征和CPS技术研究的进展以及分析航天器控制系统的技术特点的基础上,分析了在航天器控制系统中应用CPS技术的可行性,提出了基于CPS技术的系统设计的新思路和技术途径,并研究了在航天器控制系统中应用CPS技术需解决的问题和面临的挑战.

摘要：用钠硅酸盐玻璃生产原始玻璃纤维短切纱,再经过酸沥滤和热烧结工艺处理后得到高硅氧玻璃纤维短切纱。通过对浸润剂配方中润滑剂和成膜剂种类、加量及配方固含量等因素设计实验,结果表明,该配方满足了原始钠硅酸盐玻璃纤维在生产过程中拉丝工序湿润滑和集束的要求,达到了原丝短切纱在酸液中不结团的目的,使短切纱与酸液充分进行化学反应,制造出w(SiO_(2))>96%的高硅氧玻璃纤维短切纱。