-
公开(公告)号:CN103678123B
公开(公告)日:2016-08-17
申请号:CN201310637395.1
申请日:2013-11-29
Applicant: 西安空间无线电技术研究所
IPC: G06F11/36
Abstract: 一种适用于处理器系统单粒子软错误脆弱点识别方法,基于单粒子软错误的防护设计对系统性能和资源的影响,建立脆弱点识别模型分析防护的重要性功能模块。通过编译指令的工作原理,从设计的代码级划分元电路节点(完成预编译代码或者指令序列的特定功能/子功能模块),由编译映射关系从指令级提取元电路节点脆弱性因素,进行等级论域划分,最终利用灰度系统理论对元电路节点的脆弱因素等级划分的不确定区间(灰度区间)进行可信度评估,并按照等级可信度排序得到计算结果。本发明可为处理器系统提供简便的脆弱性分析方法,实现可靠性的前提下减少系统代价和性能损失、提高系统防护效果的目的。
-
公开(公告)号:CN103955448A
公开(公告)日:2014-07-30
申请号:CN201410217007.9
申请日:2014-05-21
Applicant: 西安空间无线电技术研究所
IPC: G06F17/14
Abstract: 本发明一种抗单粒子翻转的FFT加固设计方法,包括以下步骤:分析FFT算法及电路结构,对电路中旋转因子存储所需的ROM采用RAM结构进行实现,对RAM的数据和地址进行反馈式的三模冗余加固;对电路中的存储最终结果并实现倒位序的RAM进行加固,将RAM数据和地址分别加固,对地址寄存器和数据分别采用反馈式的三模冗余和三模冗余进行加固;对ROM中查找旋转因子的关键寄存器进行反馈式三模冗余加固。本发明提高了FFT电路在空间环境中的可靠性,增加了FFT电路在抗单粒子翻转方面的能力,在加固设计方面具有一定的灵活性,为设备提供抗单粒子能力更强的FFT电路设计,可迅速应用到星载处理设备的研制中。
-
公开(公告)号:CN119966486A
公开(公告)日:2025-05-09
申请号:CN202411921241.X
申请日:2024-12-25
Applicant: 西安空间无线电技术研究所
Abstract: 本发明公开了一种基于RS485总线的星载处理设备遥控遥测方法,首先对RS485总线上的主从节点系统互联方案进行约定,主从节点系统互联方案包括主机节点和从机节点;其次对星载处理设备遥控类和遥测类帧格式的帧头、从机地址、数据类型、数据长度、数据内容、校验位和结束位进行规定,并扩展定义了遥控类和遥测类的从机地址、数据类型、数据长度和数据内容;最后对星载处理设备上电启动后RS485总线相关遥控遥测返回信息进行检测约定,根据外部总线输入的可靠性等级遥控指令和自主健康检测遥控指令确定星载处理设备工作状态。本发明通过合理配置后可以完成星载数传类处理、星载在轨图像处理等多种功能,满足星载高可靠遥控遥测需求。
-
公开(公告)号:CN117472452A
公开(公告)日:2024-01-30
申请号:CN202311376899.2
申请日:2023-10-23
Applicant: 航天东方红卫星有限公司 , 西安空间无线电技术研究所
IPC: G06F9/4401 , G06F15/78
Abstract: 一种星载软件定义功能中高可靠加载启动系统及方法,属于卫星有效载荷技术领域。本发明针对软件定义卫星载荷中软件加载高可靠性要求等特点,开展了星载软件高可靠加载启动实现系统及方法构建,实现了一种星载软件定义功能中高可靠加载启动系统及方法。本发明解决了基于高性能FPGA、DSP、CPU、AI芯片组成的星载计算存储资源设备中软件定义功能的高可靠性难题,特别是提升了软件高可靠加载能力,显著提升了星载设备可靠性和灵活性。
-
公开(公告)号:CN107967296B
公开(公告)日:2020-06-09
申请号:CN201711050579.2
申请日:2017-10-31
Applicant: 西安空间无线电技术研究所
IPC: G06F16/174
Abstract: 一种快速低资源开销的改进LZO压缩方法,首先根据回指距离构建LZO压缩方法对新字符进行压缩的第一压缩格式及对应的第一压缩算法、第二压缩格式及对应的第二压缩算法,然后记录进行LZO压缩的新字符长度,根据新字符长度、回指距离选择的压缩格式及对应的压缩算法进行LZO压缩。本发明以LZO算法为基础,对比特文件进行统计分析,在保留哈希运算的前提下提出一套新的压缩格式,该压缩格式种类划分少,判断方式简单,在几乎不降低压缩率的前提下减小回指距离,压缩与解压缩速度均有较大提高,更便于硬件实现和宇航应用,具有很好的使用价值。
-
公开(公告)号:CN106407285B
公开(公告)日:2019-11-29
申请号:CN201610752157.9
申请日:2016-08-26
Applicant: 西安空间无线电技术研究所
IPC: G06F16/174
Abstract: 一种基于RLE和LZW的优化比特文件压缩与解压缩方法,通过对FPGA配置比特文件进行数据格式分析,抠出比特文件的头部控制字,从真实配置数据开始,采用游长为4的RLE编码进行初步压缩,再进行LZW压缩进一步提升压缩率。解压缩时为压缩的逆过程,先进行LZW解压缩还原出中间数据,再对不包含头部控制字的数据部分进行RLE解压缩,还原出原始的FPGA配置比特文件。该方法综合考虑了压缩/解压缩的时间和压缩率,与Xilinx自带的压缩工具比较,与单纯应用RLE算法,单纯应用LZW算法比较,实现了压缩率与压缩速度的双赢。解决了Xilinx先进型号FPGA配置比特文件过大的问题,节省了存储芯片的开销,为FPGA在轨重构技术提供了关键技术支撑。
-
公开(公告)号:CN107967296A
公开(公告)日:2018-04-27
申请号:CN201711050579.2
申请日:2017-10-31
Applicant: 西安空间无线电技术研究所
IPC: G06F17/30
Abstract: 一种快速低资源开销的改进LZO压缩方法,首先根据回指距离构建LZO压缩方法对新字符进行压缩的第一压缩格式及对应的第一压缩算法、第二压缩格式及对应的第二压缩算法,然后记录进行LZO压缩的新字符长度,根据新字符长度、回指距离选择的压缩格式及对应的压缩算法进行LZO压缩。本发明以LZO算法为基础,对比特文件进行统计分析,在保留哈希运算的前提下提出一套新的压缩格式,该压缩格式种类划分少,判断方式简单,在几乎不降低压缩率的前提下减小回指距离,压缩与解压缩速度均有较大提高,更便于硬件实现和宇航应用,具有很好的使用价值。
-
公开(公告)号:CN103955448B
公开(公告)日:2017-08-29
申请号:CN201410217007.9
申请日:2014-05-21
Applicant: 西安空间无线电技术研究所
IPC: G06F17/14
Abstract: 本发明一种抗单粒子翻转的FFT加固设计方法,包括以下步骤:分析FFT算法及电路结构,对电路中旋转因子存储所需的ROM采用RAM结构进行实现,对RAM的数据和地址进行反馈式的三模冗余加固;对电路中的存储最终结果并实现倒位序的RAM进行加固,将RAM数据和地址分别加固,对地址寄存器和数据分别采用反馈式的三模冗余和三模冗余进行加固;对ROM中查找旋转因子的关键寄存器进行反馈式三模冗余加固。本发明提高了FFT电路在空间环境中的可靠性,增加了FFT电路在抗单粒子翻转方面的能力,在加固设计方面具有一定的灵活性,为设备提供抗单粒子能力更强的FFT电路设计,可迅速应用到星载处理设备的研制中。
-
公开(公告)号:CN103198055B
公开(公告)日:2016-03-30
申请号:CN201310033677.0
申请日:2013-01-29
Applicant: 西安空间无线电技术研究所
IPC: G06F17/14
Abstract: 本发明涉及一种分裂基FFT结构设计方法,以分裂基FFT算法原理为参考,对公式进行进一步的规整化,开展了2N点分裂基FFT并行流水结构设计的研究,按照快速计算以及资源优化的要求,对计算过程中的每个步骤进行优化处理,实现了2N点FFT的并行流水结构,该结构具有一定的规律性,此外对计算过程中的旋转因子采用选择存储方法,大量的节省了存储资源,对于大点数的FFT旋转因子的计算提出了使用CORDIC算法计算以节约资源,并给出了CORDIC算法计算说明。
-
公开(公告)号:CN103198055A
公开(公告)日:2013-07-10
申请号:CN201310033677.0
申请日:2013-01-29
Applicant: 西安空间无线电技术研究所
IPC: G06F17/14
Abstract: 本发明涉及一种分裂基FFT结构设计方法,以分裂基FFT算法原理为参考,对公式进行进一步的规整化,开展了2N点分裂基FFT并行流水结构设计的研究,按照快速计算以及资源优化的要求,对计算过程中的每个步骤进行优化处理,实现了2N点FFT的并行流水结构,该结构具有一定的规律性,此外对计算过程中的旋转因子采用选择存储方法,大量的节省了存储资源,对于大点数的FFT旋转因子的计算提出了使用CORDIC算法计算以节约资源,并给出了CORDIC算法计算说明。
-
-
-
-
-
-
-
-
-