金刚砂灰粉混凝土活性掺合料的研究

结合金刚砂灰粉混凝土活性掺合料具有的良好特性，介绍了其在混凝土中的应用，指出这种掺合料从根本上治理了金刚砂炉尘引起的环境污染，具有较好的社会效益。     

混凝土的收缩与非受力裂缝

对混凝土收缩的概念及其分类进行了阐述，分析了非受力裂缝产生的原因，介绍了混凝土开裂趋势的评价方法．提出了混凝土非受力裂缝开裂的预防控制措施。     

钙铝类水滑石对混凝土抗盐冻性能的影响

以氯盐为主要成分的除冰盐会导致混凝土发生盐冻破坏,而钙铝类水滑石(CAHL)可以对氯离子进行吸附固化。为研究CAHL对混凝土抗盐冻性能的影响,在C30混凝土中分别掺加胶凝材料质量0%、0.5%、1.0%、1.5%、2.0%的CAHL,测试不同CAHL含量对混凝土抗压强度、电通量、盐冻剥落质量、自由氯离子浓度的影响。结果表明:当CAHL掺量≤1.5%时,随着掺量的增加,混凝土的抗压强度逐渐增大,而电通量逐渐降低,说明合适的CAHL掺量可以提高混凝土的致密性;随CAHL掺量的增加,Friedel's盐的衍射峰逐渐增强,说明CAHL可以较好地固化氯离子;CAHL通过提高混凝土致密性和固化氯离子有效降低了盐冻条件下混凝土中的自由氯离子含量;与空白样相比,CAHL掺量为1.5%时的混凝土经28次单面盐冻剥落后质量损失下降22.9%。     

8751单片机开发建材专用计算器的研究

介绍了利用单片机开发建材测试专用计算器的组成结构及模块设计思路，阐述了硬件设计和软件设计包括的各项内容，指出该计算器实现了建材测试的专用性，人机交互界面良好，操作简便。     

高职院校实训基地建设实践探索——以苏州卫生职业技术学院为视角

实训基地的建设是发展高职教育的重要环节,是培养学生职业能力与职业素质的重要途径。以苏州卫生职业技术学院为例,从加强院内模拟实训基地建设、依托行业合作办学、拓展社会服务功能、加强实习全过程的质量监控等方面对高职院校实训基地的建设进行阐述与分析。     

面向SIMD扩展部件的循环优化研究

高性能微处理器中普遍采用SIMD向量扩展作为计算加速部件。在深入研究SIMD扩展部件数据依赖关系约束条件的基础上,提出一种基于依赖关系逆向图的Tarjan扩展算法,提高了SIMD并行性识别率,并结合传统向量化方法,实现了面向SIMD扩展部件的循环优化技术,消除了不可向量化语句对可向量化语句在数据重组中不必要的开销。实际程序测试结果显示,其在基于依赖关系的SIMD并行性判定方面优于ICC编译器,经过循环优化后,最终生成的SIMD代码其执行效率平均提高了12%。     

面向SIMD的数组重组和对齐优化

随着多媒体应用的普及,越来越多的处理器集成了SIMD扩展,但是非连续或者非对齐访存会阻碍程序的向量化或者造成性能损失。针对实际应用中出现的数组引用不连续的情况,提出了一种数学模型,用以刻画数组的访存模式和数据重组方案,以判断这些数组引用是否可以通过数组转置的方法满足连续性要求;并采用过程间数组填充、循环剥离和基于SLP的向量化代码生成方法等进行对齐优化。最后基于SPEC2000测试集对该算法进行了测试,结果表明,该方法可以有效地提升向量化程序的执行效率。     

非正规化循环的单指令多数据向量化

针对非正规化循环的上下界、步长等循环信息不确定的问题,解决了循环条件为逻辑表达式、增量减量语句和do-while循环的正规化问题。对不能正规化的循环提出了一种展开压紧算法,并用超字并行向量化方法发掘展开压紧的结果。实验结果表明,与现有的非正规化循环的单指令多数据(SIMD)向量化方法相比,所提出的转换方法和展开压紧方法能够更好地发掘非正规化循环的向量化特性,生成代码的性能加速比提高了6%以上。     

SIMD扩展部件数据依赖关系约束条件研究

SIMD短向量扩展指令是实现细粒度数据级并行的一条重要途径,自动SIMD并行化是利用SIMD扩展指令最简单直接的方法,但现有编译器无法充分挖掘程序中的SIMD并行成分.文章在深入研究SIMD扩展部件执行方式基础上,提出SIMD短向量数据依赖关系约束条件,并实现了一种基于Tarjan算法的SIMD并行判定框架,提高了SIMD并行性识别率.实际程序测试结果显示,在面向复杂依赖关系的SIMD并行性判定方面优于ICC v11.0编译器.     

水玻璃系混凝土养护剂的研究

针对目前现浇混凝土的养护方法不仅浪费水资源，而且费时费工，难于保证养护质量的情况，阐述了水玻璃系混凝土养护剂能彻底改变传统的养护方法，对养护剂机理作了分析，指出水玻璃系混凝土养护剂效果显著。