-
公开(公告)号：CN103745153A
公开(公告)日：2014-04-23
申请号：CN201310746198.3
申请日：2013-12-30
申请人： 北京控制工程研究所
IPC分类号： G06F21/52
CPC分类号： G06F21/52 , G06F11/3644
摘要： 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103744813A
公开(公告)日：2014-04-23
申请号：CN201310751624.2
申请日：2013-12-31
申请人： 北京控制工程研究所
摘要： 一种保障1553B总线通信时序正确性的时序确定方法，根据1553B总线各个子地址通讯方式和特点，确定了通讯的时序要求，保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求，为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求，还给出了多个通讯共同完成同一系统功能时，需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号：CN103678136A
公开(公告)日：2014-03-26
申请号：CN201310744664.4
申请日：2013-12-30
申请人： 北京控制工程研究所
摘要： 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
公开(公告)号：CN103677080A
公开(公告)日：2014-03-26
申请号：CN201310646792.5
申请日：2013-12-04
申请人： 北京控制工程研究所
IPC分类号： G06F1/12
摘要： 本发明针对空间计算机三机热备份设计的系统同步问题，提出了一种三机热备份的时间同步方法。该方法首先细化三机各自的硬件时钟分辨率，而后在系统运行时利用三机共有的同步信号以及三机各自的硬件时钟信息进行GNC星时的获取，此外设计策略控制三机硬件差异所造成的三机小尺度GNC星时发散问题，保证了GNC星时与数管星时同步。本发明不需要系统硬件为三机提供高精度的时钟信息，减少了应用软件对硬件环境的依赖。我国探月二期GNC系统主控计算机采用了该发明，从而在不做任何硬件改动的情况下，实现了三机星时同步误差在100微秒以下，满足了任务需求。
-
公开(公告)号：CN113934624B
公开(公告)日：2024-09-20
申请号：CN202111088604.2
申请日：2021-09-16
申请人： 北京控制工程研究所
摘要： 本发明一种深空探测系统星载程序在轨维护、验证系统及方法，根据星载软件更新的方式，提供了字节级，函数级和全文级三种在轨维护类型。采用地面终端系统实现地面预处理及验证。数据切割工具(Systools DATA Splitter)和封装函数(Function Config)按照注入协议将待执行程序自动拆分和封装。地面数字孪生系统中的数管模拟(OBDH Simulater)模块和GNC分系统并行验证模块完成封装指令的校验和地面1:1仿真验证，最后利用序列比对算法系统自动完成在轨维护结果的确认。本发明是有效增强航天器可靠性、拓展航天器实用性和提高航天器寿命的一种有效途径，为航天器软件后续功能和性能改进提供了良好的平台环境，为提升航天器在轨维护智能化程度提供了有力支持。
-
公开(公告)号：CN113934623B
公开(公告)日：2024-07-23
申请号：CN202111070252.8
申请日：2021-09-13
申请人： 北京控制工程研究所
摘要： 本发明涉及一种基于特征表的测试脚本自动生成方法，属于自动测试技术领域；步骤一、建立星敏感器和陀螺的动力学测试特征量T1、T2、……、Tn，n为特征量的个数，n为大于1的正整数；步骤二、按照需求确定各动力学测试特征量Ti中各类型及对应各设置内容的实际测试数据；建立以动力学测试特征量T1、T2、……、Tn为表头的特征表；步骤三、读取特征表中的各测试数据，完成测试脚本的自动生成；本发明实现了需求功能相对独立，测试步骤重复性高的测试用例自动化生成，大大减少了纯手工编写测试用例脚本的工作量，提高了测试效率，具有复用性强，操作简单的优点。
-
公开(公告)号：CN117664108A
公开(公告)日：2024-03-08
申请号：CN202311576172.9
申请日：2023-11-23
申请人： 北京控制工程研究所
摘要： 一种基于光学和测距修正的小天体自主导航方法，包括：光学相机可见整个小天体时，利用小天体中心视线方向测量，光学相机只能看见小天体表面局部特征时，利用小天体表面陆标特征的视线方向测量，确定测距波束与小天体表面相交点的等价求解方式；利用相交面全局搜索和邻接面搜索策略，确定小天体多面体模型中面的搜索顺序；利用上述相交点的等价求解方式，按上述面的搜索顺序依次判断小天体多面体模型与测距波束是否相交，若相交则获取测距波束与小天体地形交点；根据上述地形交点，确定探测器位置，作为基于光学和测距修正的自主导航系统观测量，采用定常导航滤波方法即可对自主导航系统状态进行实时估计，实现自主导航。
-
公开(公告)号：CN111553049B
公开(公告)日：2023-08-29
申请号：CN202010209754.3
申请日：2020-03-23
申请人： 北京控制工程研究所
摘要： 本发明一种基于精细模拟地形的月面着陆斜距测量数学仿真方法，(1)利用matlab随机生成着陆点附近精细模拟地形并叠加在真实地形上，形成仿真地形，仿真地形按预先划定的网格存储；(2)采用三角形分割和线性插值方法，计算网格内测距波束脚印处的高程；(3)利用测距波束脚印处高程修正斜距。本发明提出的利用matlab随机生成着陆点附近精细模拟地形的方法可以仿真陨石坑分布的多样性。本发明采用三角形分割和线性插值方法计算的网格内任意点高程更为接近真实情况，避免了地形跳变，本发明提出的基于精细模拟地形的月面着陆斜距测量数学仿真方法，利用测距波束脚印处高程来修正斜距，提高了斜距的仿真精度。
-
公开(公告)号：CN113859583B
公开(公告)日：2023-07-14
申请号：CN202111094514.4
申请日：2021-09-17
申请人： 北京控制工程研究所
摘要： 一种用于火星着陆过程的高容错火工品控制方法，针对火星大气进入着陆过程的大动态、强冲击环境以及严格时序要求，在总线通信方式触发的基础上，提出采用星载计算机硬线直接控制火工品和通过总线消息通知接口控制单元控制火工品的双重冗余火工品控制方法，保证正常情况下星载计算机和接口控制单元都可以按先后时序逻辑及时发出火工品控制指令，从而实现了火工品相关指令的双重冗余控制逻辑，并通过对星载计算机时序测试口的组合触发使用，实现对火工品指令的测试验证。
-
公开(公告)号：CN114018235A
公开(公告)日：2022-02-08
申请号：CN202111138062.5
申请日：2021-09-27
申请人： 北京控制工程研究所
摘要： 一种大量程光纤陀螺全温全动态脉冲补偿方法，包括：在地面测试状态下，将惯性测量单元放置在地面温箱内；设置多个温度区间、角速度采样区间；获得每个温度采样点对应所有角速度采样点的刻度因数，并确定一个标称刻度因数；确定理论脉冲输出；进行温度补偿；进行角速度补偿。本发明直接利用大量程光纤陀螺的脉冲输出，进行全温全动态的脉冲补偿，可显著提高其测量和导航的精度。
-
-
-
-
-
-
-
-
-
搜索结果
68 条记录 (耗时 0.038 秒)
