-
公开(公告)号：CN114030653B
公开(公告)日：2023-08-01
申请号：CN202111129791.4
申请日：2021-09-26
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种针对三浮陀螺高可靠使用的控制方法和系统，该控制方法包括：选择陀螺选择标志对应指示的若干个陀螺作为备选陀螺；获取各备选陀螺的通讯标志和电机状态标志；根据各备选陀螺的通讯标志和电机状态标志，判断各备选陀螺的有效性，得到各备选陀螺的有效性标志；根据各备选陀螺的有效性标志，确定使用陀螺；根据使用陀螺测量得到的角速度，对卫星进行姿态控制。通过本发明，解决了三浮陀螺短时掉电情况下电机启动的安全问题及陀螺未启动完成时错误数据被引入控制系统的问题。
-
公开(公告)号：CN110466806A
公开(公告)日：2019-11-19
申请号：CN201910673592.6
申请日：2019-07-24
Applicant: 北京控制工程研究所
IPC: B64G1/28
Abstract: 本发明涉及一种使用CMG控制卫星姿态的方法，该方法通过设计CMG的操纵律获得卫星姿态控制力矩，从而对卫星的姿态进行控制，属于卫星姿态控制技术领域，CMG为控制力矩陀螺。本发明通过将导致CMG三轴合成零动量的可用角动量包络严重畸形的多余角动量设置为三轴合成的偏置动量，使得CMG组合的可用角动量包络除偏置角动量方向外其余都分布比较平均，保证CMG控制的姿态机动在更多方向上都能正常完成。
-
公开(公告)号：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: 本发明公开了一种控制力矩陀螺替代动量轮的卫星稳态控制方法。当正常工作的动量轮数量为三个时，传统方式下动量轮只能以角动量过零方式工作实现姿态稳定控制，此时控制精度有所下降。针对这一问题，本发明提出了将备份控制力矩陀螺高速转子作为角动量固定动量轮使用，通过转动低速框架角提供某一方向的固定偏置角动量，使得剩余三个动量轮可以工作在偏置状态，从而使系统进入以备份控制力矩陀螺高速转子和三个工作在偏置角动量状态的动量轮组成的零动量控制系统的稳态控制模式，避免动量轮过零使用的精度损失问题。该方法使冷备份控制力矩陀螺兼顾了侧摆机动和稳态控制的备份作用，提高了该类卫星执行机构在轨使用的可靠性。
-
公开(公告)号：CN103699388A
公开(公告)日：2014-04-02
申请号：CN201310744736.5
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程序中使用的绝对地址集合，利用绝对地址集合，构造间接影响关系。根据C源程序中的中断响应函数，寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
-
Patent Agency Ranking
公开(公告)号：CN103699042A
公开(公告)日：2014-04-02
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
公开(公告)号：CN103678137A
公开(公告)日：2014-03-26
申请号：CN201310746685.X
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。
-
公开(公告)号：CN102929278A
公开(公告)日：2013-02-13
申请号：CN201210334300.4
申请日：2012-09-12
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种引入无效态方式实现的注入数据解耦方法，包括如下步骤：1)确定航天器的遥控块中需要更改的注入数据及取值；2)生成需要向航天器注入的遥控块，遥控块中包括需要更改的和不需要更改的注入数据，其中对需要更改的注入数据赋予步骤(1)中确定的取值，对不需要更改的注入数据取值为无效态约定值；3)地面对注入数据进行校验；4)地面向航天器注入遥控块，航天器依次查询遥控块中各注入数据是否为无效态约定值，若为无效态约定值，则不更改对应的在轨数据的取值；若为非无效态约定值，则将注入数据的取值赋予对应的在轨数据，本发明减小遥控块中注入数据的确认、生成、校验的工作量，解决上行数据注入遥控方式实时性差的问题。
-
公开(公告)号：CN115079228B
公开(公告)日：2025-05-02
申请号：CN202210495299.7
申请日：2022-05-07
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种卫星自主任务规划复杂指令时序验证方法，属于卫星姿态轨道控制技术领域；针对规划结果中的任务时序、任务衔接性、指令动作的正确性等功能进行时序验证和自动判读，通过建立时序模型验证规划结果的时序和冲突检测；通过建立数传模型模拟数传的开关机、图像文件的记录、回放和擦除等时序功能；通过建立规则库为测试结果提供自动化判读支持；本发明能够解决任务规划结果最主要的指令时序和指令完整性验证等一系列问题，通过多个时序模型解决了指令时序难以验证的问题，为任务规划软件和系统测试提供了一种更加高效可靠的方法。
-
公开(公告)号：CN113934650B
公开(公告)日：2023-07-18
申请号：CN202111012575.1
申请日：2021-08-31
Applicant: 北京控制工程研究所
IPC: G06F12/06 , G06F12/0877 , G06F18/23
Abstract: 一种基于CCSDS的1553B内存动态分配方法，针对传统被动内存管理方法存在的设计效率低、故障管理手段匮乏、在轨维护手段匮乏的问题，通过对CCSDS协议格式通用配置和1553B各子地址的复用配置，并对打包内容进行快速定制拼接发送，实现对本周期的各服务类型对应的消息按照协议约定进行组桢，能够对任意遥测子包通过遥测表配置快速排列组合放入指定的子地址中，解决了CCSDS协议下各型号遥测包打包和协议细节深度耦合，遥测打包效率低下的问题，具有通用化的优点。
-
-
-
-
-
-
-
-
-
Search Results
71
records
(took 0.06 seconds)
