-
公开(公告)号：CN103473056B
公开(公告)日：2016-08-17
申请号：CN201310403895.9
申请日：2013-09-06
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明涉及一种遥测配置文件自动生成方法，根据用户选择的配置项的解析方式及输入数据中提供的配置项描述，自动生成符合格式要求的遥测配置文件；该方法通过采用包含物理层、数据层和解析层的遥测配置文件自动生成系统实现，其中物理层识别数据格式，数据层将数据格式进行统一，解析层确定解析顺序并完成数据解析生成遥测配置文件，整个过程自动完成，与传统人工编写遥测配置文件相比，遥测配置文件自动生成速度快，能极大地提高遥测配置文件生成效率，同时避免传统人工编写容易出错的缺陷，大大提高了遥测配置文件的准确度，且该方法采用分层架构和逐级解析方式，能够适应输入文件、输出格式的变化，具有较强的可维护性、可扩展性和可伸缩性。
-
公开(公告)号：CN104898645A
公开(公告)日：2015-09-09
申请号：CN201510219987.0
申请日：2015-04-30
Applicant: 北京控制工程研究所
IPC: G05B23/02
CPC classification number: G05B23/0278
Abstract: 本发明公开了一种卫星故障检测隔离恢复策略及策略动态调整方法，包括步骤如下：根据遥控指令，动态调整卫星故障检测隔离恢复策略；顺序取出故障检测隔离恢复策略队列中的故障检测隔离恢复策略，并根据故障检测隔离恢复策略进行故障检测；若故障检测结果为产生故障，则进行故障隔离和故障恢复。本发明解决了传统星载嵌入式软件必须通过钩子函数、替换现有功能以及修改堆栈窗口等复杂方法实现软件新增功能的不足，提高了卫星故障检测隔离恢复策略的可调整能力，为今后XX-3B卫星平台提供了良好的应用基础。
-
公开(公告)号：CN104836611A
公开(公告)日：2015-08-12
申请号：CN201510164291.2
申请日：2015-04-09
Applicant: 北京控制工程研究所
IPC: H04B7/185
CPC classification number: H04B7/18508 , H04B7/18519
Abstract: 一种基于事件的星载软件运行状态监控方法，首先建立有限的关键事件存储空间和软件运行过程中关键事件信息编号，并确保每个关键事件信息的编号唯一性；然后，通过关键事件信息在软件中的触发点将关键事件信息存储在预先设置的有限事件存储空间中；最后，在到达关键事件信息存储时间上限或关键事件信息存储数目上限时，对固定下传数目的关键事件信息进行下传，保证关键事件信息下传的及时性。本发明通过有限存储空间内完成所有关键事件信息记录，节省了事件信息存储空间，另外本发明在关键事件信息被触发时才进行记录和下传，提高存储空间和遥测下行通道使用效率。
-
公开(公告)号：CN103745153B
公开(公告)日：2015-07-08
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103678137B
公开(公告)日：2015-07-08
申请号：CN201310746685.X
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。
-
Patent Agency Ranking
公开(公告)号：CN103218289B
公开(公告)日：2015-07-08
申请号：CN201310108439.1
申请日：2013-03-29
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 本发明公开了一种星载软件测试自动执行方法，根据可执行测试脚本序列动态创建顺序执行线程和实时监控线程，将可执行测试脚本序列导入到顺序执行线程，将可执行测试脚本序列中的实时监控任务导入到实时监控线程中形成实时比对序列；所述可执行测试脚本序列包括多个脚本序列块，每个脚本序列块包括多个操作块。本发明不但可以基于测试事件的时间先后顺序，还可以通过比对变量的变化来触发测试事件的执行，提高了自动测试序列执行的灵活性和对各种状态更改的测试覆盖率。
-
公开(公告)号：CN103699042B
公开(公告)日：2015-04-22
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
-
公开(公告)号：CN103473056A
公开(公告)日：2013-12-25
申请号：CN201310403895.9
申请日：2013-09-06
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明涉及一种遥测配置文件自动生成方法，根据用户选择的配置项的解析方式及输入数据中提供的配置项描述，自动生成符合格式要求的遥测配置文件；该方法通过采用包含物理层、数据层和解析层的遥测配置文件自动生成系统实现，其中物理层识别数据格式，数据层将数据格式进行统一，解析层确定解析顺序并完成数据解析生成遥测配置文件，整个过程自动完成，与传统人工编写遥测配置文件相比，遥测配置文件自动生成速度快，能极大地提高遥测配置文件生成效率，同时避免传统人工编写容易出错的缺陷，大大提高了遥测配置文件的准确度，且该方法采用分层架构和逐级解析方式，能够适应输入文件、输出格式的变化，具有较强的可维护性、可扩展性和可伸缩性。
-
公开(公告)号：CN112817733B
公开(公告)日：2023-12-12
申请号：CN202110220744.4
申请日：2021-02-26
Applicant: 北京控制工程研究所
Abstract: 一种高效的卫星自主任务规划任务池设计方法及系统，将卫星任务划分为成像任务和数传任务两大类。通过对任务信息进行公共特征提取，将任务信息分为任务级信息和子任务级信息，任务级信息主要包括任务状态、任务序号、优先级、子任务索引、子任务数量、成像数据量等信息，子任务级信息主要包括子任务序号、推扫方式、地理坐标、成像的各类时间、姿态机动、相机状态等信息。建立分类分级的任务池用来接收、存储和管理各类任务。本发明方法在卫星计算机资源受限的情况下，通过一级任务池的动态碎片式整理和二级任务池的循环存储设计策略有效压缩了卫星规划任务数据空间，通过多维度索引表的建立为任务的动态插入和信息的高效使用提供了有力支持。
-
-
-
-
-
-
-
-
-
Search Results
113
records
(took 0.033 seconds)
