面向申威异构架构的并行代码自动生成

异构架构逐渐成为高性能计算领域的主流架构,但相较于同构多核架构,其硬件结构及存储层次更为复杂,程序编写更为困难.先进的优化编译器可以协助程序开发人员实现更为高效的代码,降低程序开发复杂度.多面体编译模型通过抽象分析将程序抽象成空间多面体表示形式,能够将多种循环变换与硬件映射相结合,并面向特定体系结构生成相应的代码.设计实现了一个面向国产申威异构架构的并行代码自动生成系统,采用“源-源”编译模式,基于多面体编译模型实现.系统针对申威异构架构特点将程序计算过程进行硬件部署,同时实现数据传输与内存空间的自动管理.实验基于Polybench测试集中线性代数相关用例进行测试.结果表明,利用代码自动生成系统生成的异构并行代码能够在申威异构平台上正确运行,并能够有效发挥申威异构平台的性能,基于申威异构平台利用64线程加速计算的平均加速比达到了539.16倍.     

Mo2FeB2金属陶瓷-钢覆层材料的制备及性能研究

以FeB、Mo、Fe等粉末为主要原材料,采用真空液相烧结技术,制备了Mo_2FeB_2金属陶瓷-钢覆层材料,并对其界面组织、耐磨性和界面相容性进行了研究。结果表明,Mo_2FeB_2金属陶瓷主要由Mo_2FeB_2硬质相和γ-Fe粘结相构成,组织致密,显微硬度高达1600HV0.5。Mo_2FeB_2金属陶瓷-钢覆层材料界面是无缺陷的冶金结合,具有良好的界面相容性。在界面存在一个从高硬度到低硬度的渐变过渡区。磨损试验表明,Mo_2FeB_2金属陶瓷-钢覆层材料具有比YG8硬质合金更好的耐磨性。     

MEASUREMENT OF HYPERFINE FIELD IN Ni BY MEANS OF γ-γ AUGULAR CORRELATION METHOD

本文利用时间微分扰动角关联(TDPAC)方法,以~(111)Cd为探测原子核,测量了高纯Ni样品中作用于~(111)Cd溶质离子的超精细磁场强度.     

地表水中重金属污染的检测技术比较研究

重金属污染是水环境的污染的主要问题之一,故水环境的重金属检测在环境监测中占有重要地位。本文通过研究常规仪器(原子吸收、原子荧光)与ICP-MS在八种重金属检测中的分析过程与结果,得出利用ICP-MS分析技术可以实现对地表水中不易挥发的重金属的快速检测。     

光谱和铁谱及自动磨粒激光技术在油液监测中的应用

在发动机和小轿车手动变速箱齿轮系统中分别对CF-4 15W-40润滑油进行了应用试验,利用光谱、铁谱以及自动磨粒激光技术(LNF)分别对油液进行了监测.结果表明:综合应用3种磨粒技术能够有效及时地对油液进行监测,防止故障发生;当光谱测定的磨损金属和污染元素含量达到极限指标(或经验指标)时,应采用自动磨粒激光技术进行验证;当自动磨粒激光技术测定的磨粒达到50 μm时,应采用铁谱分析,以便准确判断磨损类型.     

太浦闸监控系统与远程传输网络

介绍了太浦闸监控系统的监控网络、闸门控制、安全监测和视频监视等部分的体系架构与具体实现，以及远程传输网络的总体架构与基于iFIX平台网络信息发布的实现。     

基于多面体模型的矩阵乘法向量代码生成

矩阵乘法是众多科学计算的核心,而向量化编程是提升其性能的主要手段之一。针对现有的向量化优化往往存在需要手工进行调优以及与硬件结构映射的问题,基于多面体编译器PPCG,在多面体模型中引入向量代码生成框架,提出了基于多面体模型的矩阵乘法向量代码生成框架。通过对矩阵乘法的向量化方案进行收益分析来确定向量化方案,指导应用框架的代码生成,基于该代码生成框架,有利于矩阵乘法的向量化快速优化。选取13个规模在64×64×64到1 024×1 024×1 024之间的矩阵乘法用例进行实验,结果表明,该框架能够正确生成向量化代码,与基础编译器ICC的自动向量化功能相比,应用该框架生成的向量化代码最高获得了5.09倍的加速和3.39倍的平均加速。     

基于半导体可饱和吸收镜锁模的Yb:NaY(WO4)2飞秒激光器

采用提拉法生长了Yb:NaY(WO4)2晶体,使用透射式半导体可饱和吸收镜(SESAM),实现了激光二极管(LD)抽运的连续波锁模飞秒激光运转。当最大抽运功率为8.6 W时,输出功率为164 mW,中心谱线为1035 nm,锁模脉冲的重复频率为35 MHz。经测量此时锁模脉冲宽度为246 fs。     

快中子活化法测量炮弹炸药密度

本文介绍用14MeV中子活化法无损测量大口径炮弹炸药密度的原理及方法,并对一批炮弹用活化法与称量法的测盈结果进行比较,其相对误差在±2.5～5％之内。     

面向部分向量化的循环分布及聚合优化

大量循环中都存在着少数无法向量化的语句以及许多可向量化语句,循环分布通常可以将这些语句分离到不同的循环中,进而实现循环的部分向量化。目前主流的优化编译器仅支持简单激进的循环分布方法,因而导致向量化后的循环开销过大,且不利于寄存器和cache的重用。针对上述问题,提出了面向部分向量化的循环分布及聚合方法。首先,分析了一般循环分布的两个关键问题:语句集的划分和循环执行顺序的确定;其次,提出了面向最大聚合的凝聚图结点排序方法来指导循环合并,在不影响并行性的前提下减小了循环开销;最后,通过实验对提出的方法进行了验证。实验结果表明,对于测试用例,提出的方法能够生成正确的向量化代码,并且能够显著提高向量化程序的执行效率。