您的位置: 专家智库 > >

邓锦洲

作品数:15 被引量:9H指数:1
供职机构:国防科学技术大学更多>>
发文基金:国家教育部博士点基金国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 10篇专利
  • 2篇期刊文章
  • 2篇会议论文
  • 1篇学位论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 7篇容错
  • 3篇等价
  • 3篇等价变换
  • 3篇图像
  • 3篇图像压缩
  • 3篇内存
  • 2篇代码
  • 2篇等价性
  • 2篇多核
  • 2篇多核并行
  • 2篇硬件
  • 2篇硬件要求
  • 2篇容错方法
  • 2篇容错功能
  • 2篇容错能力
  • 2篇冗余
  • 2篇冗余容错
  • 2篇软错误
  • 2篇数据校验
  • 2篇瞬态故障

机构

  • 15篇国防科学技术...

作者

  • 15篇邓锦洲
  • 12篇谭庆平
  • 12篇徐建军
  • 12篇张南
  • 10篇孟宪凯
  • 10篇曾平
  • 10篇张浩宇
  • 2篇宁洪
  • 2篇姜晶菲
  • 2篇徐毅
  • 1篇任江春
  • 1篇周寰
  • 1篇盖璐璐
  • 1篇欧阳雪

传媒

  • 1篇计算机工程与...
  • 1篇中国科技论文
  • 1篇全国抗恶劣环...

年份

  • 2篇2021
  • 3篇2019
  • 2篇2018
  • 1篇2017
  • 3篇2016
  • 3篇2014
  • 1篇2013
15 条 记 录,以下是 1-10
排序方式:
一种基于多URL规则集的HTTP数据匹配方法
本发明公开了一种基于多URL规则集的HTTP数据匹配方法,包括:拆分待匹配URL规则集中的每一条规则;数字化规则集,即将拆分后的每一条URL规则进行分解并数字化为若干个结点;建立用于搜索的哈希二分多链表,即将数字化后的每...
谭庆平李盼盼曾平徐建军邵则铭孟宪凯张南邓锦洲张浩宇仵思聪刘鑫昊唐国斐谢勤政颜颖
文献传递
一种线性汇编级的可配置容错方法、计算机、计算机程序
本发明属于计算机软件加固技术领域,公开了一种线性汇编级的可配置容错方法、计算机、计算机程序,将程序代码划分为若干个基本块;所有变量重命名;计算每个变量的复算效率;计算每个变量的影响因子;对全部变量进行排序并选取部分进行可...
谭庆平李盼盼邓锦洲徐建军邵则铭曾平张南孟宪凯张浩宇唐国斐谢勤政颜颖刘鑫昊
文献传递
一种图像压缩多核并行容错方法、计算机、处理器
本发明属于硬件瞬态故障检测及修复技术领域,公开了一种图像压缩多核并行容错方法、计算机、处理器,构建图像并行压缩模块,单核图像处理程序进行多核处理器上的移植与优化;根据已有核级冗余容错特征,确定非绑定异步冗余容错模型;根据...
谭庆平唐国斐李盼盼徐建军邵则铭曾平张南孟宪凯张浩宇邓锦洲谢勤政颜颖刘鑫昊
文献传递
基于μC/OS-II操作系统的任务堆栈区数据校验恢复方法
一种基于μC/OS‑II操作系统的任务堆栈区数据校验恢复方法,目的是对存储器中的任务堆栈数据进行校验与恢复。技术方案为:为操作系统中的任务建立校验控制块;在操作系统内核代码中插入更新校验控制块的代码;在操作系统中建立校验...
谭庆平邓锦洲徐建军邵则铭孟宪凯张南曾平张浩宇仵思聪刘鑫昊唐国斐
文献传递
基于DSP的JPEG 2000位平面扫描过程的快速实现
目的:在星载DSP环境下高效实现JPEG 2000图像压缩算法的位平面扫描过程,以帮助解决航天侦测领域的图像数据传输瓶颈。方法:利用符号编码参数提前计算、MQ编码后移、消除上下文机制等方式优化JPEG 2000的位平面扫...
张南谭庆平徐建军邓锦洲徐毅
关键词:图像压缩JPEG
一种基于线形汇编指令差异性变换的DSP软错误检测方法
本发明公开了一种基于线形汇编指令差异性变换的DSP软错误检测方法,目的是解决现有DSP软错误检测方法性能开销大的问题。技术方案是将程序划分为无存基本块,构建程序控制流图,识别出循环,筛选出可编排软件流水的循环;对程序进行...
谭庆平邵则铭徐建军宁洪姜晶菲孟宪凯张南邓锦洲曾平张浩宇
基于程序等价变换的轻量级软加固方法
由于高能粒子的影响,空间计算机运行时会产生单粒子翻转效应,从而导致程序发生异常和错误。本文针对高级语言级别的程序,提出一种通过程序等价变换减少编译后产生的跳转指令从而提高程序的容错能力的轻量级软加固方法。与传统的软加固方...
邓锦洲谭庆平张南徐毅
关键词:轻量级
软件实现的DSP内存保护技术
在许多高可靠性系统中,设计者会通过硬件方式对内存中的数据进行编码保护,其实现方式主要是增加额外的数据校验位以及编码和解码电路。然而,在某些空间电子设备上并不具备上述硬件条件,这时就需要通过软件实现的数据编码方法对内存中的...
邓锦洲
关键词:数字信号处理器内存保护软件实现
一种面向单粒子效应的容错自动转换工具
2016年
空间环境下高能粒子辐射所产生的单粒子效应是半导体电路中的1种瞬态故障现象,是影响航天计算机可靠性的重要原因。与硬件加固技术相比,针对单粒子效应的软件容错技术由于在实现成本和灵活性等方面的优势而备受关注。而自动化工具能提高容错加固的效率,拓展软件容错技术的应用范围。本文面向DSP线性汇编程序,设计实现了一种容错自动转换工具AFTCT。AFTCT能够实现程序分析和容错转换功能。同时,该工具能够集成多种容错算法,对新算法具有很好的扩充能力。并且结合JPEG2000程序对转换后代码进行了测试验证。
盖璐璐徐建军邓锦洲邵则铭
关键词:单粒子效应软件容错
一种线性汇编级的可配置容错方法、计算机、计算机程序
本发明属于计算机软件加固技术领域,公开了一种线性汇编级的可配置容错方法、计算机、计算机程序,将程序代码划分为若干个基本块;所有变量重命名;计算每个变量的复算效率;计算每个变量的影响因子;对全部变量进行排序并选取部分进行可...
谭庆平李盼盼邓锦洲徐建军邵则铭曾平张南孟宪凯张浩宇唐国斐谢勤政颜颖刘鑫昊
共2页<12>
聚类工具0