-
公开(公告)号:CN119537107A
公开(公告)日:2025-02-28
申请号:CN202411594220.1
申请日:2024-11-08
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种四机热备份计算机中失步单机的故障恢复方法和装置,该方法应用于采用拜占庭容错结构的四机热备份计算机中,包括:在每个任务周期中,将四机热备份计算机中的内存数据进行分类,得到包括共有慢变数据和共有快变数据的分类数据;在四机热备份计算机的各单机的输出结果不一致时,确定失步单机;根据共有慢变数据对失步单机进行第一次恢复,并确定第一次恢复时所在的任务周期中发生变化的变化共有慢变数据;根据变化共有慢变数据和共有快变数据对失步单机进行第二次恢复,得到恢复数据;其中,第二次恢复在暂停任务运行状态下进行。本方案实现了四机热备份系统的单机级故障精确自主恢复,提高了星载计算机系统的高冗余容错能力。
-
公开(公告)号:CN119473548A
公开(公告)日:2025-02-18
申请号:CN202411603053.2
申请日:2024-11-11
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明公开了一种空间飞行器在轨控制程序的调度方法及装置,属于空间飞行器在轨操作技术领域。方法包括:基于星载软件的控制周期以及在轨控制程序的调度周期确定调度周期点的数量,建立控制周期计数器与调度周期点的对应关系;为所需并发运行的多个在轨控制程序分配对应的调度周期点;在每一个控制周期内,确定与当前控制周期计数器具有对应关系的调度周期点所对应的可调度在轨控制程序,并对该可调度在轨控制程序的当前所需调度的最小可调度单元进行调度;每一个在轨控制程序被分割为多个最小可调度单元。本发明不仅调度简单、快速和高效,且可以避免多任务之间需要同步互斥机制,实现了嵌入式环境下轻量级的多协程并发能力,具有良好的通用性。
-
公开(公告)号:CN119356900A
公开(公告)日:2025-01-24
申请号:CN202411603107.5
申请日:2024-11-11
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种空间飞行器在轨控制程序的同步处理方法及装置,属于空间飞行器在轨操作技术领域。方法包括:获取在轨控制程序的同步机制信息;所述同步机制信息包括具有绑定关系的同步条件和同步动作;对所述同步机制信息中的同步条件进行监测,同步条件未满足之前所述同步机制信息所对应的在轨控制程序处于挂起状态,直到监测到同步条件被满足时,调用所述同步机制信息所对应的在轨控制程序以触发执行与该同步条件绑定的同步动作。本发明能够可以降低系统资源占用率,提高在轨控制程序的并发调度性能。
-
公开(公告)号:CN113268367A
公开(公告)日:2021-08-17
申请号:CN202110453602.2
申请日:2021-04-26
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种1553B总线RT端子地址查找表在轨监测及维护方法,提供RT端子地址查找表在轨监测及维护机制,提高1553B总线运行可靠性,可用于航空、航天领域的系统可靠性设计,属于系统可靠性领域。本发明实现在轨航天器自主监测子地址查找表运行状态,若监测发生异常,首先执行在轨自主处理,若自主处理多次仍无效,将监测异常结果下传地面复核,在地面复核查找表或数据块发生异常后,为地面干预提供一键重置功能。此方法能有效提高航天器系统中1553B总线故障的在轨监测及快速修复能力,提高航天器系统长期在轨运行的可靠性。
-
公开(公告)号:CN119622471A
公开(公告)日:2025-03-14
申请号:CN202411706687.0
申请日:2024-11-26
Applicant: 北京控制工程研究所
IPC: G06F18/241 , G01C25/00 , G01C19/00
Abstract: 本发明公开了一种空间站陀螺正交性判断方法及装置,属于数据处理技术领域。方法包括:预先构建多个构型集;并确定每一个构型集中所包含的LTU组件,以形成与多个构型集一一对应的多个组件集;在针对当前构型进行陀螺正交性判断时,根据所述多个构型集确定当前构型所属的目标构型集;根据所述目标构型集确定对应目标组件集中包含的所有LTU组件;确定目标组件集中包含的所有LTU组件中是否存在目标LTU组件,该目标LTU组件中的三个陀螺均参与了故障诊断且无故障,若存在,则确定目标LTU组件中的三个陀螺具有正交性。本发明能够降低运算量,提高查找速度。
-
公开(公告)号:CN119473715A
公开(公告)日:2025-02-18
申请号:CN202411522574.5
申请日:2024-10-29
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种基于数据分区压缩处理的卫星软件快速上电恢复方法,涉及航天软件存储技术领域,其中方法包括:对卫星软件的数据依次进行功能划分和数据类型划分;根据划分结果对卫星软件的数据进行压缩和分区存储;当卫星重启时,根据功能划分结果对存储的数据进行上电恢复,以使卫星软件处于安全运行状态。本方案能够解决软件存储资源受限问题,同时能够减少上电后系统恢复的时间开销,有效保障了紧急关键任务期间软件的安全性、可靠性及稳定性。
-
公开(公告)号:CN119357194A
公开(公告)日:2025-01-24
申请号:CN202411603076.3
申请日:2024-11-11
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种空间飞行器的在轨控制程序中数据处理方法及装置,属于空间飞行器在轨操作技术领域。方法包括基于在轨控制程序利用包标识发起的订阅请求以及在轨控制程序针对遥测包定义的遥测量,更新遥测字典表;订阅请求用于请求转发该包标识对应的遥测包;遥测字典表用于记录在轨控制程序对遥测包的订阅信息;接收当前遥测周期转发的遥测包,利用遥测字典表中每一个遥测量的解码函数,将对应遥测量从该遥测包中解码出来;将解码得到的遥测数据值记录到遥测数据池表中,以使在轨控制程序在运行时从遥测数据池表获取所需使用的遥测量的遥测数据值。本发明能够实现在星载计算机资源有限的条件下接收遥测包、对遥测量解码得到遥测数据值的处理过程的实时性。
-
公开(公告)号:CN113055081B
公开(公告)日:2022-09-27
申请号:CN202110369120.9
申请日:2021-04-06
Applicant: 北京控制工程研究所
Abstract: 本发明提供一种高可靠低开销的数据处理方法,发送端按照设定的采样周期对指令Cmd和数据进行采集,并打包形成数据包,发送给接收端;接收端按照设定的控制周期,接收数据包存入缓存Buffer;当一个控制周期接收后,计算当前控制周期接收到数据包的个数N;从缓存Buffer中提取本控制周期内第i个数据包,作为当前数据包,得到所有有效指令;本发明针对在数据发送端对指令打包后进行多次发送,在数据接收端对接收到的多个数据包进行一致性判断后确认指令是否有效的情况,通过缓存当前控制周期中的所有数据包以及上一控制周期的最后一个数据包和连续包计数器,解决了对包含相同指令的多个数据包进行跨周期接收和处理的问题,确保了接收指令的高可靠性。
-
公开(公告)号:CN110764926B
公开(公告)日:2022-04-08
申请号:CN201910896595.6
申请日:2019-09-23
Applicant: 北京控制工程研究所
Abstract: 一种1553B总线RT端消息堆栈串并交叉查询方法,为提高1553B总线RT端消息收发的实时性与灵活性,简化软件设计时序,本发明提出了一种1553B总线RT端消息堆栈串并交叉查询设计策略,根据系统时序要求实现多次消息堆栈查询操作,并按需分布在任务或中断中,使得系统的每个控制周期实现多次消息堆栈查询操作,多次查询操作既可以为串行形式,又可以为并行形式,也可以串并交叉形式。此方法灵活可靠,时序设计简单,一方面,有效解决特殊消息收发时机需要特殊处理问题;另一方面,有效解决消息堆栈查询所面临的消息处理时延过长问题。本发明能够提高RT端软件设计灵活性,降低通信协议更动带来的变更影响,便于特殊消息时序处理,有效提升系统通讯功能设计能力。
-
公开(公告)号:CN112256493A
公开(公告)日:2021-01-22
申请号:CN202011033016.4
申请日:2020-09-27
Applicant: 北京控制工程研究所
IPC: G06F11/18
Abstract: 由于实现四机同步运行需要每个控制周期进行大量输入数据和输出数据的交换比对,如何快速访问这些数据项是数据交换比对中需要解决的关键问题。本发明提出了一种基于数据池的四机热备份计算机数据快速访问方法,以四机需要交换比对的数据为对象分别建立数据缓冲池,并建立二级索引表的数据访问机制,使得软件在数据采集、输入交换比对、算法计算、输出交换比对、数据输出的过程中与数据解耦,同时也提高了四机交换比对数据的访问效率和处理能力。
-
-
-
-
-
-
-
-
-