基于RSD软件计算的严重缺陷地连墙支护研究

利用钻孔取芯、声波透析、结构扫描等多种检测手段，对缺陷地连墙质量进行评估。在深入分析地连墙缺陷产生原因后，以工期、安全、有效、低成本为原则，提出了“地连墙+H型钢柱+混凝土内支撑”的支护体系；利用RSD基坑支护计算软件证明了方案的合理性。通过实际开挖，证明了此套支护方案的可行性。     

基于正则表达式的变电站集中监控信息解析方法

随着国家电网公司"大运行"体系建设的深入开展,海量、繁杂且存在不规则现象的集中监控信息的识别,已成为设备监控信息智能告警技术提升面临的主要问题。文中结合集中监控信息既定规则的特点,提出一种基于正则表达式描述的集中监控信息解析方法。通过正则表达式规则提取信息关键要素进行信息解析,并采用最大分词匹配算法进行信息识别匹配,实现变电站集中监控信息实时解析及自动校验,为设备监控信息智能告警技术的进一步提升奠定了良好基础。实际工程应用验证了所提方法有效性和实用性。     

辅助决策系统在城市快速公交专用道设置中的应用*

将GIS技术与专家系统相结合,先对城市地理空间数据进行表示,然后用与或树结构对公共交通领域知识进行表达,并采用深度优先搜索和回溯技术实现推理引擎.对GIS和ES之间的接口和其中所涉及到的空间知识进行了研究探讨.所构建的辅助决策系统能够很好地对城市公交线路进行指标评测和完成对公交专用道规划的选取.     

多核程序交互理论及应用

多核处理器上共享缓存使用效率,即程序局部性是影响并行程序性能的关键因素之一。提出了以足迹为基础的局部性理论。介绍了缺失率、重用距离和足迹之间的转化关系,并利用足迹可组合性特征建立了并行程序局部性预测模型。     

基于横向局部性的多核计算模型

片内多核已成为延长摩尔定律的方式,并行算法设计、编程模型、编译器和运行时系统都需要利用计算模型进行分析。现有多核模型对线程间共享缓存等资源的竞争已有较精确的模型,但是对于线程间数据共享考虑较少。提出线程间共享缓存的横向局部性和任务共享率概念,基于此扩展串行存储层次模型RAM(h),提出考虑任务共享率的多核并行计算模型MRAM(h)。     

基于MPI和CUDA的蛋白质定量软件的设计和分析

介绍了蛋白质定量软件的设计及测试结果,分析结果表明:P-QuantWiz软件在曙光600。的Intel集群部分,测试规模达到2048核,在256核加速比仍在增加。相对P-QuantWiz软件在单CPU运行的结果,PG-QuantWiz软件在单CPU运行的加速比为8.1,在16个GPU上运行的加速比为14.18,并行效率为89%。     

异构平台数学库MAGMA性能测试与分析

MAGMA是第一个面向下一代体系架构（多核CPU和GPU）开源的线性代数软件包,它采用了诸多针对异构平台的优化方法,包括混合同步、通信避免和动态任务调度.它在功能、数据存储、接口上与LAPACK相似,可以发挥GPU的巨大计算能力进行数值计算.对MAGMA进行了测试分析.首先对矩阵分解算法进行分析;然后通过测试结果,分析MAGMA有效的优化和并行方法,为MAGMA使用、优化提供有益的建议;最后提出了一种对于矩阵分块算法的自适应调优的方法,经过测试,对于方阵的SGEQRF函数加速比达到1.09,对于高瘦矩阵的CGEQRF函数加速比达到1.8.     

并行程序设计语言中局部性机制的研究

大规模并行应用程序的性能优化和并行化的关键瓶颈之一在于多核CPU中越来越深和越来越复杂的存储层次。文中系统地分析和总结了当前主要多核CPU和并行程序设计语言中的局部性设计方法,提出了两种局部性,即横向局部性和纵向局部性,从这两种局部性的视角深入分析了当前的主要并行程序设计语言的局部性设计机制,进一步总结对比了其优缺点,并指出了新一代并行程序设计语言应具有的特点,重点提出了新语言应同时综合考虑两种局部性支持的设计机制的研究观点。     

基于延迟隐藏因子的GPU 计算模型

近年来在生物计算,科学计算等领域成功地应用了GPU 加速计算并获得了较高加速比.然而在GPU 上编程和调优过程非常繁琐,为此,研究人员提出了许多提高编程效率的编程模型和编译器,以及指导程序优化的计算模型,在一定程度上简化了GPU上的算法设计和优化,但是已有工作都存在一些不足.针对GPU低延迟高带宽的特性,提出了基于延迟隐藏因子的GPU 计算模型,模型提取算法隐藏延迟的能力,以指导算法优化.利用3 种矩阵乘算法进行实测与模型预测,实验结果表明,在简化模型的情况下,平均误差率为0.19.     

综合应用操作平台的研制

针对自动控制原理、传感器与检测技术、PLC原理与应用、单片机原理及应用、交流调速系统等课程的综合实训,设计出开放性较强的综合应用操作平台,对其运用原理和结构组成进行了分析和探讨,并阐述了在实践教学和科研中的应用实例及其特点。