-
公开(公告)号:CN108664251B
公开(公告)日:2021-08-10
申请号:CN201810384317.8
申请日:2018-04-26
Applicant: 北京控制工程研究所
IPC: G06F8/41
Abstract: 一种基于多维特征提取的遥控指令代码生成方法,首先读取XML配置文件包含的预定义信息以及各个根节点对应指令所需的配置文件信息,在内存中为XML配置文件中每个指令类型对应的各个变量开辟独立空间,然后创建指令子参数映射表、指令参数映射表、指令参数值映射表、指令映射表,最后根据外部指令选取需要载入的指令名称,并根据指令名称及对应的配置文件信息中参数类型生成指令码,完成指令生成。
-
公开(公告)号:CN113055081A
公开(公告)日:2021-06-29
申请号:CN202110369120.9
申请日:2021-04-06
Applicant: 北京控制工程研究所
Abstract: 本发明提供一种高可靠低开销的数据处理方法,发送端按照设定的采样周期对指令Cmd和数据进行采集,并打包形成数据包,发送给接收端;接收端按照设定的控制周期,接收数据包存入缓存Buffer;当一个控制周期接收后,计算当前控制周期接收到数据包的个数N;从缓存Buffer中提取本控制周期内第i个数据包,作为当前数据包,得到所有有效指令;本发明针对在数据发送端对指令打包后进行多次发送,在数据接收端对接收到的多个数据包进行一致性判断后确认指令是否有效的情况,通过缓存当前控制周期中的所有数据包以及上一控制周期的最后一个数据包和连续包计数器,解决了对包含相同指令的多个数据包进行跨周期接收和处理的问题,确保了接收指令的高可靠性。
-
公开(公告)号:CN110703725B
公开(公告)日:2020-09-18
申请号:CN201910896583.3
申请日:2019-09-23
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 本发明一种适用于航天姿态轨道控制系统的路径优化方法。所述路径优化方法将航天姿态轨道控制系统中的各种模式抽象成为有向图中的节点,模式转换条件抽象成为有向图中的节点间的连接路径,利用多项式原理筛选出所有模式转换条件的组合,保证这些条件连接所有模式,在该条件组合的基础上划分联通区域,然后增加最短的路径将所有子联通区域再进行联通,针对不同的转换条件组合形成不同的测试路径成本,最终从中选择成本最低的一条,方法简单,计算成本低,可在多项式时间内完成。运用得当将会节省大量的测试成本,同时针对所有需遍历类的测试路径规划中,无论其测试路径是有向还是无向,该方法均适用。
-
公开(公告)号:CN108279591B
公开(公告)日:2020-09-18
申请号:CN201711386677.3
申请日:2017-12-20
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种仿真平台数字量通用输出方法,首先定义初始化设置描述,包括发送模式、脉冲宽度、脉冲个数、电平状态、信号触发延时时间以及外部信号同步设置参数,判断发送使能或同步信号有效,等待相应延时时间后依据参数配置信息产生相应高低电平输出、正负单脉冲输出、有限个数脉冲输出和连续脉冲输出。本发明实现了数字量输出信号的统一描述,克服了传统数字量输出方法通用性差、研制周期长、成本高的缺陷,具有规范性、复用性强,研制周期短、成本低的优点。
-
-
公开(公告)号:CN108664251A
公开(公告)日:2018-10-16
申请号:CN201810384317.8
申请日:2018-04-26
Applicant: 北京控制工程研究所
IPC: G06F8/41
Abstract: 一种基于多维特征提取的遥控指令代码生成方法,首先读取XML配置文件包含的预定义信息以及各个根节点对应指令所需的配置文件信息,在内存中为XML配置文件中每个指令类型对应的各个变量开辟独立空间,然后创建指令子参数映射表、指令参数映射表、指令参数值映射表、指令映射表,最后根据外部指令选取需要载入的指令名称,并根据指令名称及对应的配置文件信息中参数类型生成指令码,完成指令生成。
-
公开(公告)号:CN108491197A
公开(公告)日:2018-09-04
申请号:CN201810148099.8
申请日:2018-02-13
Applicant: 北京控制工程研究所
IPC: G06F8/30
Abstract: 一种基于同平台组合编译的航天器在轨维护注入码生成方法,(1)采用ERC32编译系统还原航天器在轨运行软件的状态,通过一次链接生成a.out格式在轨状态目标文件;(2)使用ERC32编译系统对在轨维护源代码进行预处理和编译,生成相应的汇编码目标文件;(3)使用RCC编译系统对汇编码目标文件进行汇编处理,生成待上传中间目标文件;(4)将在轨状态目标文件转换为ELF格式的在轨状态中间目标文件;(5)精简在轨状态中间目标文件;(6)新建链接脚本文件;(7)生成新的可执行目标文件;(8)通过RCC编译系统将新的可执行目标文件转换成链接指令文件或BIN文件,直接提取指定起始地址的注入码指令,从而完成航天器在轨维护注入码的生成。
-
公开(公告)号:CN106452843A
公开(公告)日:2017-02-22
申请号:CN201610827520.9
申请日:2016-09-14
Applicant: 北京控制工程研究所
IPC: H04L12/24
CPC classification number: H04L41/0677 , H04L41/145
Abstract: 一种在轨1553B总线网络故障监测诊断方法,选取总线网络中某RT端做功能复用,为其增加总线网络故障监测及诊断功能,使得总线网络具备故障集中监测、集中诊断、分布式处理的能力。被复用的RT端负责消息传输异常的监测、基于飞行任务剖面的故障建模、故障诊断,并将故障诊断结果分发给总线控制器及其他RT端,实现1553B总线网络故障在轨自主处理。本发明在轨无须额外增加独立功能的总线监视模块,通过功能复用的RT端集中式监测整个总线网络的数据传输状态,基于飞行任务剖面生成1553B总线网络故障特征库,为卫星总线网络提供自主故障诊断和健康管理。该方法在已发射卫星中得以应用,取得了较好效果,推广应用前景良好。
-
公开(公告)号:CN103699388B
公开(公告)日:2015-07-08
申请号:CN201310744736.5
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础,结合领域知识,更准确地识别的数据竞争,降低数据竞争检测的漏报率。该方法对C源程序进行语法分析,构造源程序中使用的绝对地址集合,利用绝对地址集合,构造间接影响关系。根据C源程序中的中断响应函数,寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系,判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比,本发明所提出的方法,能够降低漏报,提高分析准确度。
-
公开(公告)号:CN103699388A
公开(公告)日:2014-04-02
申请号:CN201310744736.5
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础,结合领域知识,更准确地识别的数据竞争,降低数据竞争检测的漏报率。该方法对C源程序进行语法分析,构造源程序中使用的绝对地址集合,利用绝对地址集合,构造间接影响关系。根据C源程序中的中断响应函数,寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系,判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比,本发明所提出的方法,能够降低漏报,提高分析准确度。
-
-
-
-
-
-
-
-
-