公开(公告)号：CN108964978A

公开(公告)日：2018-12-07

申请号：CN201810578117.6

申请日：2018-06-05

Applicant: 北京空间飞行器总体设计部

Inventor： 詹盼盼 ,  王菁 ,  曹雅婷 ,  孙勇 ,  韦涌泉 ,  郭坚 ,  邱骐 ,  王红光 ,  刘欣 ,  徐勇 ,  李耀楠 ,  乔梁 ,  冯承钰 ,  周波 ,  张晓峰

IPC: H04L12/24 ,  H04L29/08

Abstract: 本发明公开了一种基于三机通信有限状态机模型的三机表决方法，提供了一种可靠的三机数据比对和切机策略，当某机出现故障或者软件运行异常时，能够通过另外两机的状态进行三取二识别，并有效地将故障机切除，避免其影响系另外两机正常工作；采用软硬件协同设计，将三机通信中各种复杂状态统一为三机通信有限状态机模型，并依据该模型进行表决和切机，解决了三机表决过程中的多种分支状态导致紊乱的难题，提高了三机系统的可靠性和确定性；统一了硬件异常、通信链路失效和软件运行异常的状态，将其统一为通信异常，并通过软件有效判别。

公开(公告)号：CN107729085A

公开(公告)日：2018-02-23

申请号：CN201710996603.5

申请日：2017-10-19

Applicant: 北京空间飞行器总体设计部

Inventor： 张睿 ,  曾连连 ,  方峰 ,  郭坚 ,  李林 ,  杨丽君 ,  李溟 ,  郝维宁 ,  周东 ,  周波 ,  李露铭

IPC: G06F9/445

CPC classification number: G06F9/44526

Abstract: 本发明提供了一种支持地址重定向的星载软件动态加载方法，能够实现简单、高可靠和冗余的星载软件地址重定向加载方法。步骤一、编写嵌入式软件链接配置文件；步骤二、程序启动时内存检测；步骤三、星载软件全局属性构件化：将所有的全局属性即会发生变化的属性，包括带初值的和不带初值的属性，均封装成一个构件的属性，该构件称为程序构件；步骤四、程序构件实例化：通过获得全局寄存器中保存的起始地址，将步骤三中定义的程序构件映射到健康的内存起始地址上，实现程序构件的实例化；步骤五、将整个程序编译链接形成可烧写的二进制程序文件；步骤六、最后将二进制文件烧写至目标设备上，加电正常启动。

公开(公告)号：CN309267857S

公开(公告)日：2025-05-02

申请号：CN202430497072.6

申请日：2024-08-07

Applicant: 北京空间飞行器总体设计部

Designer： 李海飞 ,  傅子敬 ,  曾福明 ,  马彬 ,  黄俊 ,  孟伟 ,  王振 ,  周波 ,  孙义濛 ,  王勇强

Abstract: 1.本外观设计产品的名称：行星际探测返回舱。
2.本外观设计产品的用途：返回舱随探测平台发射，携带样品封装容器及各种探测设备，在轨完成样品采集、转样后，返回舱与探测平台分离，返回舱经历抬升、起旋后，实现再入返回地球，完成行星际探测采样返回。
3.本外观设计产品的设计要点：在于形状。
4.最能表明设计要点的图片或照片：立体图。