一种星载操作系统集成的故障快速自主处理方法

    公开(公告)号:CN105069052B

    公开(公告)日:2018-10-09

    申请号:CN201510441109.3

    申请日:2015-07-24

    Abstract: 本发明一种星载操作系统集成的故障快速自主处理方法,步骤如下:(1)为每种故障分配一个故障代码,并由用户自定义故障处理函数,作为一个记录项,以hash表的方式组织,实现以故障代码为关键字的快速插入和快速查找;(2)在星载操作系统运行过程中,当内核检测到故障时把故障代码发送到一个消息队列,通过消息队列取得故障消息,根据故障代码在hash表中进行查找,得出故障诊断的详细结果,并进行处理。本发明提供了应用层面的一种故障诊断和处理机制,能够采用软件手段有效解决系统中处理器中断或陷阱无法识别和处理的故障问题。

    一种基于配置帧的在轨SRAM型FPGA故障检测与修复方法

    公开(公告)号:CN104579313B

    公开(公告)日:2018-07-24

    申请号:CN201410841843.4

    申请日:2014-12-30

    Abstract: 本发明涉及一种基于配置帧的在轨SRAM型FPGA故障检测与修复方法,通过故障检测与修复系统实现,故障检测与修复系统包括主处理模块、配置帧回读模块、故障检测模块和配置帧纠错与恢复模块,本发明通过在高可靠芯片上实现的故障检测与修复系统,实现对SRAM型FPGA内部配置信息进行按帧的回读、校验及回写或改写,实现了配置信息帧级别的故障检测和修复,极大提高了FPGA因空间环境单粒子效应所引发的配置信息翻转问题的检测率和修复能力,为SRAM型FPGA提供了一种实现方式简单、资源消耗率低、无需软件支持的通用可靠性设计方法。

    一种星敏感器行像元噪声自适应滤除方法

    公开(公告)号:CN104599246B

    公开(公告)日:2017-09-29

    申请号:CN201410838145.9

    申请日:2014-12-29

    Abstract: 一种星敏感器行像元噪声自适应滤除方法,首先确定初始滤波背景估值修改量并写入星敏感器中;在星敏感器FPGA内部设计乒乓SRAM用于缓存图像行;然后星敏感器对获得的在轨图像进行自适应滤波处理;并根据内部图像存储SRAM统计占用率,自适应设置下限寄存器Ndown和上限寄存器Nup的值;最后利用内存回退技术进行噪声像元自适应滤波;直至所有图像均处理完毕。本发明具有快速自适应滤除多种类型噪声的特点,可以滤除空间粒子、图像传感器性能衰退或高温工况出现的热噪声和空间杂散光等噪声。便于星敏感器整机轻小化和星图快速识别的实现,而且该算法实现成本低、简单易行、移植性强,可普遍用于各类成像式敏感器的噪声滤除功能模块。

    一种星敏感器同步曝光方法

    公开(公告)号:CN104613962B

    公开(公告)日:2017-08-29

    申请号:CN201410838150.X

    申请日:2014-12-29

    Abstract: 一种星敏感器同步曝光方法,首先在星敏感器内部设计同步开关寄存器,判断是否开启同步功能,并检测同步脉冲信号质量;然后在星敏感器当前帧同步下降沿处增加曝光时间间隔;后续帧保持原曝光时间,对当前帧以后的曝光帧数进行计数,当曝光帧数满足预先设定的条件时,完成一个同步脉冲信号周期曝光时间调整;本发明可以给出星敏感器当前图像曝光时间相对于同步脉冲信号的时间偏差,可以自适应调整星敏感器曝光时间,使得星敏感器曝光时刻与同步信号下降沿具有精确的相位关系。且可以在同步状态下动态调整曝光周期,在不同数据更新率下均可以响应外部同步信号,可普遍用于各类航天成像敏感器或工业级成像敏感器。

    一种针对嵌入式实时操作系统形式化验证方法

    公开(公告)号:CN106708730A

    公开(公告)日:2017-05-24

    申请号:CN201611046321.0

    申请日:2016-11-22

    CPC classification number: G06F11/3608

    Abstract: 一种针对嵌入式实时操作系统形式化验证方法,采用分阶段的思路对嵌入式实时操作系统进行形式化验证,首先按照需求、设计、实现三个阶段进行形式化建模和验证,用具有严格数学定义的语法、语义的语言来描述操作系统,然后建立操作系统的形式化模型,提取待验证的性质,通过数学方法分析及验证形式化模型是否满足期望的性质,通过反复迭代,最终得到满足期望性质的形式化模型。本发明方法与现有技术相比,解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题,具有较好的使用价值。

    一种星敏感器姿态稳定跟踪的方法

    公开(公告)号:CN104567867B

    公开(公告)日:2017-05-10

    申请号:CN201410838410.3

    申请日:2014-12-29

    Abstract: 本发明一种星敏感器姿态稳定跟踪的方法,首先在星敏感器软件中建立跟踪列表结构,对星点的跟踪识别情况进行记录;对星敏感器每帧星图匹配识别结果与之前数帧星图匹配识别结果进行比对分析,筛选出被星敏感器稳定跟踪的星点;只采用可以被星敏感器稳定跟踪的星对进行姿态解算。本发明只采用经过多帧验证的、能稳定跟踪识别的星对进行姿态解算,削除不能稳定识别星对对应输出姿态的影响。

    一种面向并发OLAP的测试数据分层聚簇查询处理系统及方法

    公开(公告)号:CN103473260B

    公开(公告)日:2017-05-03

    申请号:CN201310256140.0

    申请日:2013-06-25

    Abstract: 本发明公开了一种面向并发OLAP的测试数据分层聚簇查询处理系统及方法,通过分层抽点、聚簇、索引组织表、大对象存储等一系列DBMS技术,降低并发OLAP中测试数据访问中的I/O代价,从而提高并发查询的处理能力。本发明在数据库管理系统中针对I/O性能和并行OLAP处理性能实现了并发查询处理优化技术,支持面向I/O性能来优化设置并发OLAP处理负载,从而提高了测试数据波形显示的可预期访问性能,实现了大规模并发OLAP的测试数据查询的加速处理。

    一种基于双帧处理的星敏感器空间粒子干扰抑制方法

    公开(公告)号:CN104567929B

    公开(公告)日:2017-04-19

    申请号:CN201410838155.2

    申请日:2014-12-29

    Abstract: 本发明一种基于双帧处理的星敏感器空间粒子干扰抑制方法,在空间粒子干扰较强的情况下,剔除非星点亮斑,抑制空间粒子干扰。即控制星敏感器敏感芯片卷帘式曝光、读出时间间隔极小的两帧星图并缓存;分别对两帧星图进行疑似星点信息提取,得到两帧可疑星点信息队列;对可疑队列进行网格化的特征比对,剔除非星点像斑信息,得到备选星点信息队列;对备选队列中的星点信息进行验证,从而得到真实恒星星点信息队列用于后续计算。本发明在星点队列比对时,预先对星点进行像面网格划分,有效缩减比对搜索时间,在完成星点队列比对后,用剩余星点信息在下一帧图像中进行开窗验证,保证了输出星点信息的有效性。

    一种内置CRC校验码的FPGA配置文件生成方法

    公开(公告)号:CN104461764B

    公开(公告)日:2015-12-30

    申请号:CN201410782611.6

    申请日:2014-12-16

    Abstract: 本发明提供一种内置CRC校验码的FPGA配置文件生成方法,该方法包括如下步骤:以EDA工具生成的FPGA配置文件为基础,按照特征值读取配置文件中所包含的FPGA配置信息,并按帧计算其对应的CRC校验码;在配置文件中搜索空白区域;将计算得到的配置帧CRC校验码写入搜索得到的空白区即可完成内置CRC校验码的FPGA配置文件生成,本发明能充分利用原始FPGA配置文件中的空闲资源,在不带来额外软硬件开销的基础下实现FPGA校验信息和配置信息的同时同地存储,并且计算过程不依赖于特定的FPGA芯片物理结构,便于硬件资源有限的平台实现FPGA配置信息回读校验达成系统容错目的,具有广泛的应用前景。

Patent Agency Ranking