您的位置： 专家智库 > >

孟宪凯

作品数：15 被引量：1H指数：1
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信天文地球更多>>

合作作者

文献类型

  • 12篇专利
  • 2篇学位论文

领域

  • 4篇自动化与计算...
  • 1篇天文地球

主题

  • 10篇容错
  • 4篇容错方法
  • 4篇计算机
  • 4篇计算机软件
  • 3篇代码
  • 3篇软错误
  • 2篇等价
  • 2篇等价变换
  • 2篇等价性
  • 2篇电路集成
  • 2篇多核
  • 2篇多核并行
  • 2篇硬件
  • 2篇硬件要求
  • 2篇容错功能
  • 2篇容错技术
  • 2篇容错能力
  • 2篇容错系统
  • 2篇冗余
  • 2篇冗余容错

机构

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

作者

  • 14篇孟宪凯
  • 12篇谭庆平
  • 12篇曾平
  • 12篇徐建军
  • 12篇张浩宇
  • 12篇张南
  • 10篇邓锦洲
  • 2篇宁洪
  • 2篇姜晶菲

年份

  • 1篇2022
  • 2篇2021
  • 1篇2020
  • 3篇2019
  • 3篇2018
  • 1篇2017
  • 2篇2016
  • 1篇2014
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向航天应用软件的源代码级软加固技术研究
航天应用软件运行在恶劣的空间环境中，其可靠性受到由空间高能粒子辐照导致的瞬时故障的严重影响。为解决该问题，国内外相继对容错技术展开了研究。容错技术按实现方式可分为硬件实现和软件实现。与硬件实现的容错技术相比，软件实现的容...
孟宪凯
关键词：容错技术程序语言
一种基于多URL规则集的HTTP数据匹配方法
本发明公开了一种基于多URL规则集的HTTP数据匹配方法，包括：拆分待匹配URL规则集中的每一条规则；数字化规则集，即将拆分后的每一条URL规则进行分解并数字化为若干个结点；建立用于搜索的哈希二分多链表，即将数字化后的每...
谭庆平李盼盼曾平徐建军邵则铭孟宪凯张南邓锦洲张浩宇仵思聪刘鑫昊唐国斐谢勤政颜颖
文献传递
一种线性汇编级的可配置容错方法、计算机、计算机程序
本发明属于计算机软件加固技术领域，公开了一种线性汇编级的可配置容错方法、计算机、计算机程序，将程序代码划分为若干个基本块；所有变量重命名；计算每个变量的复算效率；计算每个变量的影响因子；对全部变量进行排序并选取部分进行可...
谭庆平李盼盼邓锦洲徐建军邵则铭曾平张南孟宪凯张浩宇唐国斐谢勤政颜颖刘鑫昊
文献传递
一种图像压缩多核并行容错方法、计算机、处理器
本发明属于硬件瞬态故障检测及修复技术领域，公开了一种图像压缩多核并行容错方法、计算机、处理器，构建图像并行压缩模块，单核图像处理程序进行多核处理器上的移植与优化；根据已有核级冗余容错特征，确定非绑定异步冗余容错模型；根据...
谭庆平唐国斐李盼盼徐建军邵则铭曾平张南孟宪凯张浩宇邓锦洲谢勤政颜颖刘鑫昊
文献传递
一种基于线形汇编指令差异性变换的DSP软错误检测方法
本发明公开了一种基于线形汇编指令差异性变换的DSP软错误检测方法，目的是解决现有DSP软错误检测方法性能开销大的问题。技术方案是将程序划分为无存基本块，构建程序控制流图，识别出循环，筛选出可编排软件流水的循环；对程序进行...
谭庆平邵则铭徐建军宁洪姜晶菲孟宪凯张南邓锦洲曾平张浩宇
一种嵌入式容错系统及其容错方法
本发明属于计算机软件技术领域，公开了一种嵌入式容错系统及其容错方法，嵌入式容错系统设置有中央处理器，中央处理器通过焊接固定于电路集成主板的右侧上方，磁性轨道通过焊接固定于电路集成主板的左侧边缘，第一专用系统通过螺丝固定于...
谭庆平李盼盼徐建军邵则铭曾平张南孟宪凯张浩宇颜颖谢勤政周歆星韩沛宇沈桂竹
文献传递
一种基于多URL规则集的HTTP数据匹配方法
本发明公开了一种基于多URL规则集的HTTP数据匹配方法，包括：拆分待匹配URL规则集中的每一条规则；数字化规则集，即将拆分后的每一条URL规则进行分解并数字化为若干个结点；建立用于搜索的哈希二分多链表，即将数字化后的每...
谭庆平李盼盼曾平徐建军邵则铭孟宪凯张南邓锦洲张浩宇仵思聪刘鑫昊唐国斐谢勤政颜颖
文献传递
基于μC/OS‑II操作系统的任务堆栈区数据校验恢复方法
一种基于μC/OS‑II操作系统的任务堆栈区数据校验恢复方法，目的是对存储器中的任务堆栈数据进行校验与恢复。技术方案为：为操作系统中的任务建立校验控制块；在操作系统内核代码中插入更新校验控制块的代码；在操作系统中建立校验...
谭庆平邓锦洲徐建军邵则铭孟宪凯张南曾平张浩宇仵思聪刘鑫昊唐国斐
面向软错误的程序可靠性分析与优化技术研究
随着集成电路制造工艺的不断进步,电子器件的集成度和工作频率越来越高、工作电压越来越低,致使其受宇宙射线、电磁辐射等因素影响而发生软错误的概率显著增加。为应对软错误对计算机系统可靠性带来的挑战,国内外纷纷展开了针对软错误的...
孟宪凯
关键词：软错误软件容错技术可靠性
一种线性汇编级的可配置容错方法、计算机、计算机程序
本发明属于计算机软件加固技术领域，公开了一种线性汇编级的可配置容错方法、计算机、计算机程序，将程序代码划分为若干个基本块；所有变量重命名；计算每个变量的复算效率；计算每个变量的影响因子；对全部变量进行排序并选取部分进行可...
谭庆平李盼盼邓锦洲徐建军邵则铭曾平张南孟宪凯张浩宇唐国斐谢勤政颜颖刘鑫昊
全选 清除 导出
共2页<12>
聚类工具0