一种基于元数据的采样模拟技术优化

分析了目前主流采样模拟技术中定长样本的不足,提出了一种基于编译器元数据的采样模拟技术(BigLoopSP).首先利用编译器收集各种可能的周期行为的边界信息作为元数据.然后为了处理程序中大量存在的动态行为,基于编译器产生的元数据结合程序的动态行为进行周期行为的划分和采样点的选取.以此方案划分的变长候选样本能够在保证样本质量的前提下有效地减少所需特征样本的总数.因此比较于定长采样技术SimPoint,BigLoopSP在提高精确性的同时,进一步降低了模拟所需的时间(相对于SimPoint的平均加速比为2.63).     

基于模型的构件软件修改影响分析

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.面向构件的系统主要由第三方提供的可重用构件或者内建的可重用构件组成,因此,系统的质量好坏和维护的难易程度依赖于构件的品质.一个软件修改会给其他构件甚至整个系统带来影响,而修改影响分析是控制和消除这类影响的有效手段.然而,现有的研究很少涉及构件软件的修改影响分析,尤其缺少对系统层面的修改影响分析研究.提出了一种基于模型的系统化修改影响分析方法,该方法的基本思路是:首先提出构件及系统层面的修改影响分析模型,然后根据分析模型分别从构件和系统两个层面对构件软件修改前后的版本进行修改识别,并且利用“防火墙”方法进行影响分析.理论分析和实验结果表明,该方法是可行的,也是有效的.     

3D无线射频鼠标的设计与实现

一种3D无线鼠标设计的新思路,以凌阳单片机为核心控制器,通过MEMS加速度传感器和触控模块,感知鼠标的移动动作,同时,通过无线射频完成无线通信,从而实现鼠标功能。使用过程中,鼠标不仅可以放于载体使用,而且可以在空中使用,增添了鼠标的操控方式,同时,大大增加了此无线鼠标的适用范围。     

电容式微加速度计结构的建模及仿真

建立了电容式微加速度计的结构模型,运用有限元分析方法对其进行模态分析,研究了微加速度计结构尺寸对谐振频率和模态振型的影响,得出了结构尺寸对这两者的影响规律,为此类加速度计的结构设计提供了依据。     

球体上单极梯度测深视电阻率异常特征及应用

给出球体上单极梯度测深装置的ρ_s表达式及理论曲线,讨论了视电阻率异常特征及与各参数之间的关系,通过实例,探讨了该方法的应用效果和特点。单极梯度视电阻率测深在等轴状地质体上具有简单的高阻或低阻异常,异常大小和地质体的参数密切相关;在地面障碍物多的地区开展工作,相对对称四极电测深、五极纵轴测深有明显优势;在均匀介质中存在独立等轴状地质体时,单极梯度测深曲线出现单峰值异常;相对于四极测深其勘探深度较小受地表起伏及表层不均匀干扰大。     

一种针对多媒体扩展指令集和实际多媒体程序的自动向量化方法

自动向量化编译是利用处理器的多媒体扩展指令集提升多媒体程序性能的理想工具．但目前的研究不能有效加速实际程序．其主要原因是：普通算术操作的向量化不一定有性能提升;而多媒体典型操作因为其在源代码中表现形式多样而不能充分向量化．为了解决这一问题,文章对经典向量化算法进行改进以灵活统一地向量化这两类操作．主要的改进是增加了两个步骤：统一操作的不同表现形式和识别有价值的向量化操作．改进后的算法可以充分利用指令集生成高效代码,从而对实际多媒体程序拥有良好效果．此外,该算法可扩展性也很强．     

有效的数组私有化方法:相关-覆盖方法

数组私有化是并行化编译中的重要技术,该方针对现有数级私有化方法的不足,分析了数组私有化的本质,提出了一个数组私有方法：相关－覆盖方法。它将相关性分析技术和数据覆盖技术有机地结合在一起,具有了执行效率高、处理能力强、独立于数据表示的特点。     

从变量的初始化中获取指针指向信息

从变量的初始化中获取指针指向信息完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性,文中提出了一个实用的从变量的初始化中获取指针同信息的方法,在此方法中,变量的初始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向信息,这个方法被实现天复旦大学并行处理研究开发的Ｃ程序分析工具Ａｇａｓｓｉｚ系统内,实验数据说明是非常有效。     

利用U模变换增加并行粒度与改善数据访问局部性的方法

提出了一种利用循环变换增加循环并行粒度，改善循环数据访问局部性的方法，该方法利用了给定二重循环的相关向量集的某些性质，将外层循环变量不同而内层循环变量相等的若干次迭代合并，成为折叠后迭代空间的一个结点，并且保持内层循环的并行性不变，从而达到增加循环并行粒度的目的。对于更普遍的情况，该文讨论了如何根据给定循环的循环向量集，确定一个U模变换对迭代空间进行变换，达到内层循环可并行和扩大循环粒度两个目的，针对循环变换中数据访问局部性可能变差的问题，该文提出了对内层循环先合并，根据合并后的相关向量集变换迭代空间，以及折叠迭代空间的方法，该文的方法是Wavefront循环并行化方法的一种扩展。