您的位置： 专家智库 > >

邢建英

作品数：58 被引量：19H指数：3
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 44篇专利
  • 8篇期刊文章
  • 4篇会议论文
  • 2篇学位论文

领域

  • 32篇自动化与计算...
  • 1篇经济管理

主题

  • 13篇服务器
  • 11篇计算机
  • 9篇结点
  • 8篇计算机系
  • 8篇计算机系统
  • 7篇远程
  • 7篇接口
  • 7篇控制器
  • 6篇网络
  • 5篇刀片服务器
  • 5篇飞腾
  • 4篇远程终端
  • 4篇主板
  • 4篇缓存
  • 4篇告警
  • 4篇固件
  • 4篇固态盘
  • 4篇广播
  • 4篇感知
  • 4篇并行计算

机构

  • 58篇国防科学技术...
  • 5篇北京航空航天...
  • 2篇四川大学
  • 1篇聊城大学
  • 1篇中国信息安全...

作者

  • 58篇邢建英
  • 35篇袁远
  • 31篇蒋句平
  • 29篇郑明玲
  • 28篇李宝峰
  • 28篇张晓明
  • 27篇宋振龙
  • 27篇田宝华
  • 25篇魏登萍
  • 21篇孙言强
  • 21篇黎铁军
  • 20篇李小芳
  • 14篇肖立权
  • 13篇谢徐超
  • 12篇李琼
  • 11篇王俊
  • 10篇屈婉霞
  • 9篇李元山
  • 9篇孙岩
  • 8篇何静

传媒

  • 2篇计算机工程与...
  • 2篇计算机科学
  • 1篇计算机研究与...
  • 1篇清华大学学报...
  • 1篇软件学报
  • 1篇计算机与现代...
  • 1篇第一届建立和...
  • 1篇第二十一届计...
  • 1篇第十九届计算...

年份

  • 5篇2024
  • 3篇2023
  • 3篇2022
  • 2篇2021
  • 1篇2020
  • 3篇2019
  • 2篇2018
  • 1篇2017
  • 6篇2016
  • 1篇2015
  • 10篇2014
  • 6篇2013
  • 6篇2012
  • 4篇2011
  • 1篇2010
  • 1篇2009
  • 1篇2006
  • 2篇2005
共 58 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向超级计算系统的自选通边界扫描调测试方法及装置
本发明公开了一种面向超级计算系统的自选通边界扫描调测试方法及装置，该方法为：根据输入目标主板号、调测试命令、以及调测试并发量来计算出最优调测试JTAG线路，以确定监控主板JTAG输出端口并发出控制信号；利用背板上的交叉开...
蒋句平袁远肖立权田宝华李宝峰郑明玲张晓明李小芳邢建英孙言强李琼孙岩李根前
一种面向飞腾高密度服务器系统的授时方法
本发明公开了一种面向飞腾高密度服务器系统的授时方法，步骤包括：1）预先在飞腾高密度服务器系统中建立系统授时装置，并为处理器结点配置实时时钟芯片，将系统授时装置和各个基板管理控制器BMC相连，将基板管理控制器BMC与各个处...
黎铁军孙言强彭爽蒋句平李琼宋振龙李宝峰袁远郑明玲王俊邢建英魏登萍田宝华张晓明孙岩
文献传递
基于不变式生成的循环停机性验证
2012年
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。
邢建英李梦君李舟军
基于Web的超级计算机监控软件的设计与实现
针对大规模超级计算机监控软件面临的几个关键问题,本文提出了HTML和JS相结合的全局视图构建、基于长连接的多端口实时报警推送、基于后端文件的历史报警信息与事件查询、以及基于系统配置文件动态生成等解决方法,并基于这些方法,...
袁远肖立权蒋句平郑明玲邢建英孙言强
关键词：超级计算机监控软件富客户端
文献传递
基于FPGA的二维图像重采样算法加速器
本发明公开了一种基于FPGA的二维图像重采样算法加速器，包括FPGA芯片和外部存储器，FPGA芯片将从外部采集的已知图像存储到外部存储器中；在进行重采样处理时，FPGA芯片从外部存储器中读取已知图像的数据进行计算，并将计...
李宝峰蒋句平徐炜遐田宝华屈婉霞郑明玲张晓明郑义李元山李小芳宋振龙邢建英
文献传递
一种测距参数可消减的干扰源定位方法
本发明公开了一种测距参数可消减的干扰源定位方法，其步骤为：（1）监控网络检测到干扰攻击；（2）选取参照节点，进行干扰源位置的估算；（3）被选到的参照节点记录接收到的来自干扰源的信号强度值RSS，并通过网络广播该信息；（4...
孙言强蒋句平张晓明田宝华李小芳郑明玲李宝峰邢建英袁远曹跃胜胡军胡戈
文献传递
一种集成异构存储设备的海量存储系统监控方法
本发明公开了一种集成异构存储设备的海量存储系统监控方法，要解决的技术问题是解决大规模计算机系统中众多异构存储设备的统一监控问题。技术方案是构建由存储设备信息表、系统配置信息表、监控信息框架、监控客户端、事件获取模块、告警...
李琼魏登萍宋振龙蒋句平黄金锋郑明玲张鹤颖张晓明田宝华李小芳邢建英屈婉霞李宝峰
基于多维度监测数据的SSD寿命预测方法、装置及介质
本发明公开一种基于多维度监测数据的SSD寿命预测方法、装置及介质，该方法步骤包括：对SSD进行状态监控，获取多维度故障监测数据以及无法纠正的错误计数值，多维度故障监测数据包括多种影响SSD寿命的故障参数的监测数据；从获取...
张根谢徐超宋振龙袁远黎铁军魏登萍邢建英李志星周桐庆
物理地址感知的固态盘请求调度方法及装置
本发明公开了一种物理地址感知的固态盘请求调度方法及装置，本发明将I/O请求调度与固态盘闪存转换层协同设计，充分利用闪存转换层中的地址转换信息将I/O请求队列中可并行执行的闪存请求与冲突访问请求分离，引入可并行闪存请求组P...
李琼谢徐超袁远肖立权黎铁军魏登萍宋振龙蒋句平邢建英张凯邓峰
文献传递
多单元服务器轻量化告警相关性挖掘和收敛方法及系统
本发明公开了一种多单元服务器轻量化告警相关性挖掘和收敛方法及系统，本实施例方法首先提出一种基于级别相关性的告警去重方法对告警的进行去重；采用告警收敛支持树结构，作为对传统字典树面向告警收敛的适配改进，该结构通过增加一个告...
袁远周桐庆王俊邢建英李志星谢徐超宋振龙魏登萍张根
全选 清除 导出
共6页<123456>
聚类工具0