邢建英
- 作品数:54 被引量:18H指数:2
- 供职机构:国防科学技术大学更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 面向超级计算系统的自选通边界扫描调测试方法及装置
- 本发明公开了一种面向超级计算系统的自选通边界扫描调测试方法及装置,该方法为:根据输入目标主板号、调测试命令、以及调测试并发量来计算出最优调测试JTAG线路,以确定监控主板JTAG输出端口并发出控制信号;利用背板上的交叉开...
- 蒋句平袁远肖立权田宝华李宝峰郑明玲张晓明李小芳邢建英孙言强李琼孙岩李根前
- 一种面向飞腾高密度服务器系统的授时方法
- 本发明公开了一种面向飞腾高密度服务器系统的授时方法,步骤包括:1)预先在飞腾高密度服务器系统中建立系统授时装置,并为处理器结点配置实时时钟芯片,将系统授时装置和各个基板管理控制器BMC相连,将基板管理控制器BMC与各个处...
- 黎铁军孙言强彭爽蒋句平李琼宋振龙李宝峰袁远郑明玲王俊邢建英魏登萍田宝华张晓明孙岩
- 文献传递
- 基于不变式生成的循环停机性验证
- 2012年
- 循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。
- 邢建英李梦君李舟军
- 基于Web的超级计算机监控软件的设计与实现
- 针对大规模超级计算机监控软件面临的几个关键问题,本文提出了HTML和JS相结合的全局视图构建、基于长连接的多端口实时报警推送、基于后端文件的历史报警信息与事件查询、以及基于系统配置文件动态生成等解决方法,并基于这些方法,...
- 袁远肖立权蒋句平郑明玲邢建英孙言强
- 关键词:超级计算机监控软件富客户端
- 文献传递
- 基于FPGA的二维图像重采样算法加速器
- 本发明公开了一种基于FPGA的二维图像重采样算法加速器,包括FPGA芯片和外部存储器,FPGA芯片将从外部采集的已知图像存储到外部存储器中;在进行重采样处理时,FPGA芯片从外部存储器中读取已知图像的数据进行计算,并将计...
- 李宝峰蒋句平徐炜遐田宝华屈婉霞郑明玲张晓明郑义李元山李小芳宋振龙邢建英
- 文献传递
- 一种测距参数可消减的干扰源定位方法
- 本发明公开了一种测距参数可消减的干扰源定位方法,其步骤为:(1)监控网络检测到干扰攻击;(2)选取参照节点,进行干扰源位置的估算;(3)被选到的参照节点记录接收到的来自干扰源的信号强度值RSS,并通过网络广播该信息;(4...
- 孙言强蒋句平张晓明田宝华李小芳郑明玲李宝峰邢建英袁远曹跃胜胡军胡戈
- 文献传递
- 一种集成异构存储设备的海量存储系统监控方法
- 本发明公开了一种集成异构存储设备的海量存储系统监控方法,要解决的技术问题是解决大规模计算机系统中众多异构存储设备的统一监控问题。技术方案是构建由存储设备信息表、系统配置信息表、监控信息框架、监控客户端、事件获取模块、告警...
- 李琼魏登萍宋振龙蒋句平黄金锋郑明玲张鹤颖张晓明田宝华李小芳邢建英屈婉霞李宝峰
- 物理地址感知的固态盘请求调度方法及装置
- 本发明公开了一种物理地址感知的固态盘请求调度方法及装置,本发明将I/O请求调度与固态盘闪存转换层协同设计,充分利用闪存转换层中的地址转换信息将I/O请求队列中可并行执行的闪存请求与冲突访问请求分离,引入可并行闪存请求组P...
- 李琼谢徐超袁远肖立权黎铁军魏登萍宋振龙蒋句平邢建英张凯邓峰
- 文献传递
- 多单元服务器轻量化告警相关性挖掘和收敛方法及系统
- 本发明公开了一种多单元服务器轻量化告警相关性挖掘和收敛方法及系统,本实施例方法首先提出一种基于级别相关性的告警去重方法对告警的进行去重;采用告警收敛支持树结构,作为对传统字典树面向告警收敛的适配改进,该结构通过增加一个告...
- 袁远周桐庆王俊邢建英李志星谢徐超宋振龙魏登萍张根
- Client/Server数据库模型下的并发控制与恢复技术被引量:1
- 2006年
- 并发控制与恢复技术在 client/server 结构 DBMS 中有着极其重要的地位,直接关系到运行的正确性以及数据库的健壮性。在 Client/Server 结构中,进行日常事务处理时的首要任务就是保持缓存的一致性,这是进行并发控制的基础。本文详细地分析和研究了 Client/Server 中用到的缓存算法和恢复技术,指出了现有技术存在的不足,并对其发展趋势进行了展望。
- 邢建英张艳李舟军
- 关键词:CLIENT/SERVER缓存日志并发控制