物化法处理炸药废水研究进展

炸药废水含有多种剧毒物质 ,会对环境造成严重的局部污染。介绍了近年来物化法处理炸药废水的研究进展 ,指出该法目前存在工艺复杂处理费用较高的问题 ,提出应对一些较为廉价、经济的处理方法进行深入的研究     

IBOI:一种复杂性有效的基于指令块的乱序发射策略

顺序流水线结构由于逻辑简单,复杂性小,被广泛应用于嵌入式系统,以及片上多核和众核处理器.但是顺序流水线的指令发射速率受制于访存等长延迟事件,性能往往很低.本文在顺序流水线的基础上提出了一种基于指令块的乱序发射策略,只以少量的复杂性获得较好的性能功耗比.实验结果表明,本文提出的乱序发射策略相比顺序发射是一种复杂性有效的改进.     

防近红外侦视的伪装涂料研究现状与展望

简要综述了防近红外侦视伪装涂料的研究历史，伪装原理，涂料类型及国内外研究现状，并展望了该类涂料在服装，野营装备方面的应用前景。     

硅酸盐膨胀型防火涂料的研究现状与展望

简要介绍了硅酸盐膨胀型防火涂料的研究、发展背景，评述了该类涂料的类型、性能及特点，预测了这类涂料的研究、发展动向。     

一种高性能四倍精度浮点乘加器的设计与实现

高精度、高性能浮点运算部件是高性能微处理器设计的重要部分。通过对传统双精度浮点乘加运算算法的研究,结合四倍精度浮点数据格式特点,设计并实现一种高性能的四倍精度浮点乘加器(QPFMA),该乘加器支持多种浮点运算,运算延迟为7拍,全流水结构。采用双路加法器改进算法结构,优化头零预测和规格化移位逻辑,减小运算延迟和硬件开销。通过参数化设计验证方法,实现高效的正确性验证。逻辑综合结果表明,基于65 nm工艺,该QPFMA频率可达1.2 GHz,比现有的QPFMA设计运算延迟减少3拍,频率提高约11.63%。     

“申威-1 号”高性能微处理器的功能验证

微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了“申威-1 号”高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是“申威-1 号”RTL 级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL 级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析.