-
公开(公告)号:CN116880440A
公开(公告)日:2023-10-13
申请号:CN202310804025.6
申请日:2023-06-30
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 本发明涉及航天器控制技术领域,特别涉及一种航天器控制软件IP模块识别与描述方法及装置。其中,该方法包括:获取待识别和描述的目标航天器控制软件;将所述目标航天器控制软件进行功能分解,形成所述目标航天器控制软件的功能特征树;将所述功能特征树中的部分节点识别为所述目标航天器控制软件的IP模块;基于集成芯片设计原则中外部物理接口与内部功能电路所具有的关联关系,将IP模块内部的功能拆分成功能子模块,并将与功能子模块具有关联关系的输入和/或输出提取为相应功能子模块的模块接口;基于对IP模块拆分的功能子模块和提取的模块接口,生成对IP模块的描述内容。本发明能够实现航天器控制软件的复用。
-
公开(公告)号:CN111628817B
公开(公告)日:2022-04-12
申请号:CN202010413127.1
申请日:2020-05-15
Applicant: 北京控制工程研究所
Abstract: 一种控制系统内1553B总线终端数据管控方法,根据1553B协议标准和消息帧格式,通过同时包含1553B总线消息操作字段和具体指令内容的数据管理指令块设计,提出了通用的控制器对部件数据管理指令的处理方法,统一了对部件的指令写入和参数读出数据管理流程,解决了针对各卫星部件的各个功能仍需进行特定指令定制的问题,同时解决了现有数据管理流程中对星上部件的数据取读过程复杂的问题,方法操作灵活性高,通用性好,可拓展至任意卫星部件管理流程。
-
公开(公告)号:CN110567485B
公开(公告)日:2021-04-13
申请号:CN201910749737.6
申请日:2019-08-14
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种多探头星敏感器在轨自主故障诊断与修复方法,属于卫星姿态控制技术领域。该多探头星敏感器基于多个探头视场内星点信息进行信息融合处理,以进一步提升产品精度,其多个探头融合后实现指标优于0.6″(3σ),单个探头实现指标优于1″(3σ),其技术特点为甚高精度、高动态和高动态性能,主要应用于遥感卫星及高分辨对地观测卫星;该方法针对产品在轨单个探头、多个探头不同故障模式设计了基于软件的自主故障诊断与修复方法;同时对于产品硬件设计中供配电单点问题,提高了单机及系统容错能力;同时可对产品在轨多个不同故障进行实时诊断与处理,有效提升了星敏感器产品的可靠性。
-
公开(公告)号:CN110034669A
公开(公告)日:2019-07-19
申请号:CN201910330642.0
申请日:2019-04-23
Applicant: 北京控制工程研究所
IPC: H02M1/32
Abstract: 一种低压直流母线桥臂短路故障保护电路,包括:母线电流检测与过流故障判断单元、保护与释放延时控制单元、过流保护单元。母线电流检测与过流故障判断单元中,母线电流检测电阻串联在母线正端进线,将电流转化为电阻两端的电压降信号,通过分压与滤波电路,将母线电流检测电阻两端各自相对于信号地的电压分别转换为比较电路正、反相输入电压,由滞环比较电路输出过流判断电平信号;过流判断电平信号送至保护与释放延时控制单元中,产生过流保护电平信号;过流保护电平信号送至桥臂开关管驱动级,可在发生母线过电流故障时,封锁开关管驱动脉冲电平,实现过电流保护效果。本发明采用简单、可靠的分立元器件,在低压直流母线正输入端采集电流信号,通过合理的保护与释放延时控制,可有效解决低压驱动电路桥臂因短路或过流故障而导致的开关管损伤失效问题。
-
公开(公告)号:CN107544466A
公开(公告)日:2018-01-05
申请号:CN201710832118.4
申请日:2017-09-15
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 本发明涉及一种单框架控制力矩陀螺低速框架故障诊断方法,属于航天器姿态确定与控制技术领域,特别涉及一种应用于航天器上的单框架控制力矩陀螺作为航天器姿态控制执行机构的故障诊断方法,适用于采用单框架控制力矩陀螺(SGCMG)作为执行机构的航天器。本发明的方法利用SGCMG低速框架理论运动角度和实际低速框架运行的角度偏差进行故障检测,并在故障判定阈值设计上与SGCMG运动状态结合起来,根据SGCMG指令角速度大小自主动态调整故障诊断阈值,提高了SGCMG低速框架运动速度变化较大应用场合的故障诊断可靠性和准确性。
-
公开(公告)号:CN106708730A
公开(公告)日:2017-05-24
申请号:CN201611046321.0
申请日:2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 一种针对嵌入式实时操作系统形式化验证方法,采用分阶段的思路对嵌入式实时操作系统进行形式化验证,首先按照需求、设计、实现三个阶段进行形式化建模和验证,用具有严格数学定义的语法、语义的语言来描述操作系统,然后建立操作系统的形式化模型,提取待验证的性质,通过数学方法分析及验证形式化模型是否满足期望的性质,通过反复迭代,最终得到满足期望性质的形式化模型。本发明方法与现有技术相比,解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题,具有较好的使用价值。
-
公开(公告)号:CN103713948B
公开(公告)日:2015-09-23
申请号:CN201310746023.2
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法,步骤如下:(1)利用操作系统接口函数创建用户任务TaskEncap_N(),在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装,即先挂起函数TaskFunc_N(),再调用函数TaskFunc_N();(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图,利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针;(3)时间片中断时,利用时间片中断钩子函数实现定时调度,即在需要任务调度的时刻,如果上一个时间段的任务未完成则重启动该任务,再恢复本时间段的任务;否则直接恢复本时间段的任务。
-
公开(公告)号:CN103699388B
公开(公告)日:2015-07-08
申请号:CN201310744736.5
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础,结合领域知识,更准确地识别的数据竞争,降低数据竞争检测的漏报率。该方法对C源程序进行语法分析,构造源程序中使用的绝对地址集合,利用绝对地址集合,构造间接影响关系。根据C源程序中的中断响应函数,寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系,判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比,本发明所提出的方法,能够降低漏报,提高分析准确度。
-
公开(公告)号:CN103950556A
公开(公告)日:2014-07-30
申请号:CN201410163314.3
申请日:2014-04-22
Applicant: 北京控制工程研究所
IPC: B64G1/28
Abstract: 本发明公开了一种控制力矩陀螺替代动量轮的卫星稳态控制方法。当正常工作的动量轮数量为三个时,传统方式下动量轮只能以角动量过零方式工作实现姿态稳定控制,此时控制精度有所下降。针对这一问题,本发明提出了将备份控制力矩陀螺高速转子作为角动量固定动量轮使用,通过转动低速框架角提供某一方向的固定偏置角动量,使得剩余三个动量轮可以工作在偏置状态,从而使系统进入以备份控制力矩陀螺高速转子和三个工作在偏置角动量状态的动量轮组成的零动量控制系统的稳态控制模式,避免动量轮过零使用的精度损失问题。该方法使冷备份控制力矩陀螺兼顾了侧摆机动和稳态控制的备份作用,提高了该类卫星执行机构在轨使用的可靠性。
-
公开(公告)号:CN103713948A
公开(公告)日:2014-04-09
申请号:CN201310746023.2
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法,步骤如下:(1)利用操作系统接口函数创建用户任务TaskEncap_N(),在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装,即先挂起函数TaskFunc_N(),再调用函数TaskFunc_N();(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图,利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针;(3)时间片中断时,利用时间片中断钩子函数实现定时调度,即在需要任务调度的时刻,如果上一个时间段的任务未完成则重启动该任务,再恢复本时间段的任务;否则直接恢复本时间段的任务。
-
-
-
-
-
-
-
-
-