国家自然科学基金(60973035)
- 作品数：5 被引量：15H指数：2
- 相关作者：戴葵吴艳霞沈晶刘海波顾国昌更多>>
- 相关机构：华中科技大学哈尔滨工程大学湖北工业大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于签名的控制流错误检测算法检测能力的验证模型
- 2010年
- 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
- 吴艳霞顾国昌戴葵沈晶刘海波
- 关键词：可靠性
- 可扩展的桌面问题求解环境计算加速中间件
- 2010年
- 为利用多种高性能计算资源的计算能力,设计一种可扩展的桌面问题求解环境计算加速中间件,采用应用层、中间层和计算层3层结构,以降低系统设计的复杂度,支持多种并行后端、分布式扩展以及并行后端的即插即用。用该加速中间件进行Matlab中的LU分解实验,结果证明了其有效性。
- 王炎武陈虎戴葵奚建清
- 关键词：中间件
- 图像Laplace变换在异构多核工程科学计算加速协处理器上的实现被引量：1
- 2014年
- 基于自主研发的新颖异构多核工程科学计算加速协处理器(ESCA)体系结构,实现了图像Laplace变换算法。针对ESCA架构特点,采用子字并行计算和访存延迟隐藏等机制,进行了一系列并行算法优化,并在四核ESCA处理器原型上对图像Laplace变换算法的进行了性能评测。实验结果表明,对于计算密集型计算任务,ESCA处理器具有良好的计算加速效果。
- 贺章擎黄威戴葵郑朝霞
- 关键词：异构多核协处理器LAPLACE变换并行计算
- 汇编级软硬结合的控制流检测方法被引量：3
- 2010年
- 控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,首先阐述了CFCSS算法中存在的检测混淆和检测出错现象;接下来根据汇编语言特点,修改了基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的ICFCSS控制流检测算法;为了在ICFCSS算法基础上进一步提高错误检测能力、降低故障延迟时间和冗余指令开销,提出了软硬结合的ICFCSSHS控制流检测方法,此方法在编译程序时只增加了和签名有关的信息,在程序运行时通过译码阶段判指令类型来触发相应的硬件完成控制流检测.实验表明,此方法的冗余代码空间开销比CFCSS算法减少了21.5%,平均未检测出错误率仅为1.5%,具有一定的使用价值.
- 吴艳霞顾国昌戴葵刘海波沈晶
- 关键词：可靠性控制流图
- 高性能可扩展公钥密码协处理器研究与设计被引量：11
- 2011年
- 本文提出了一种高效的点乘调度策略和改进的双域高基Montgomery模乘算法,在此基础上设计了一种新型高性能可扩展公钥密码协处理器体系结构,并采用0.18μm 1P6M标准CMOS工艺实现了该协处理器,以支持RSA和ECC等公钥密码算法的计算加速.该协处理器通过扩展片上高速存储器和使用以基数为处理字长的方法,具有良好的可扩展性和较强的灵活性,支持2048位以内任意大数模幂运算以及576位以内双域任意椭圆曲线标量乘法运算.芯片测试结果表明其具有很好的加速性能,完成一次1024位模幂运算仅需197μs、GF(p)域192位标量乘法运算仅需225μs、GF(2m)域163位标量乘法运算仅需200.7μs.
- 黎明吴丹戴葵邹雪城
- 关键词：协处理器椭圆曲线密码体制MONTGOMERY模乘可扩展性
