gAC:基于GPU的高性能AC算法

字符串匹配是计算科学中研究最广泛的问题之一,已成为信息检索和生物计算等领域的核心操作。然而受限于CPU的计算能力和存储器访问带宽,传统的串行字符串匹配算法难以进一步提升性能。GPU在计算能力和存储器访问带宽上有很大提升,已经在很多应用上取得了卓越成效。gAC作为一种基于GPU的并行AC算法,针对GPU的SIMT(Single-Instruction Multiple-Thread)以及合并存储器访问的技术特点,采取了减少条件分支、合并访问全局存储器等优化方法,使得在C1060GPU上的字符串扫描速度达到51Gb/s,比基于CPU的串行算法提升了28倍。     

闪蒸干燥机工作参数的最佳匹配实验研究

在实验的基础上分别建立了干燥产品粒度和湿度与分级器半径、鼓风量及引风量三者的函数式，并采用复合形法对该函数式进行了优化，优化结果在实验中得到了验证。     

关于第二积分中值定理渐近性的一个注记

对于第二积分中值定理中的搴，本文给出并证明了比文献[3]更一般的结论，文献[3]的有关定理可以看成本文定理的直接推论．     

点到平面距离公式的一种新证法

该文根据球面上一点切平面的方程和平移变换,对空间任一点P(x0,y0,z0),分P点为坐标原点和P点不是坐标原点两种情形,给出了到平面π:Ax By Cz D=0的距离公式d=|Ax0 By0 Cz0 D|/√A2 B2 C2 的一种新证法.     

荧光衬底可望用于生产无磷光体LED

由于GaN衬底缺乏，难以生产高质量GaN外延材料。解决这一问题的较好办法之一是使用ZnO衬底，这是因为：ZnO衬底与外延层之间有较好的晶格匹配而且它可设计出新的器件结构。ZnO与GaN、InGaN有相同的六角晶体结构，其结晶学空间群同为“P63mc”。GaN与ZnO之间的晶格失配为2．2％，而ZnO与InGaN（In组份18％时）之间是完全匹配的。     

基于DFRFT水下动目标LFM回波检测算法

匹配滤波器作为高斯白噪声背景下线性调频信号的最优检测器,在水下声信号处理中得到了广泛的应用。根据匹配滤波器输出峰值位置可以获得目标距离的估计,但运动目标径向速度造成的回波和样本失配将导致匹配滤波器检测性能下降。利用分数阶傅里叶变换对线性调频信号的聚焦特性,提出了应用离散分数阶傅里叶变换的水下运动目标线性调频回波检测算法。仿真测试表明,该算法对于混响噪声背景下径向速度未知动目标的线性调频回波具有良好的检测性能。     

基于位图的点集表面表示及其渲染

提出了一种基于位图的点集表面表示形式：先对点集表面进行参数化，然后在参数域上进行曲面重构和重采样得到基于二维数组的点集表面表示。采用了切空间对齐的方法得到点集表面的参数坐标。该方法能寻找出点集代表的流型所在的二维参数空间，并存参数化过程中较好地保留了原曲面的尺度信息。位图形式表示点集表面具有数据结构简单和便于随机访问的优点。提出了基于位图表示形式的点渲染方法，该方法采用双线性插值来实现视角依赖的点集表面的重采样，解决了点渲染中采样点不足的问题。     

基于遗传规划的服务匹配算法研究

将服务组合的问题视为一个Agent动作规划的问题，给出了一个基于动作规划的服务组合模型。进而结合遗传规划的可变分层结构，提出了一个适应于上述模型的服务匹配算法。仿真实验表明，在具有关联特征的服务选择空间中，该算法比其他算法具有更好的寻优能力和更快的速度。     

多点输入反应谱中相关系数ρ_(ijkl)的简化

对多点输入反应谱计算公式中的相关系数进行了简化,简化从频响函数和积分的特性两方面进行。首先将Hi(ω)Hj(ω)*写成实部与虚部和的形式,然后根据积分的特性,将相关系数中的积分次数由原来的i×j×k×l次(i、j为结构的振型个数;k、l为结构的支承点个数)减少到5×j×k×l次,仍为精确解,且计算时间大大缩短,使多点输入反应谱法的推广应用成为可能。     

一种基于Gr(o)bner基和有向图的几何约束求解方法

方程组规模大和约束一致性分析方法的欠缺影响基于Grobner基的代数法在约束求解中的应用。针对应用有向图进行约束分解产生的强连通分量不饱和问题，提出进行强连通分量内变量匹配，以消去自由实体，从而使强连通分量趋于饱和，方程组得以简化。并以此为基础提出基于Grobner基进行约束一致性判别的方法。以含有冗余约束的三角形为例阐述了约束一致性分析和求解的过程。