一种高效的多模式字符串匹配算法

在Fan-Su(FS)多模式字符串匹配算法基础上,结合BM-Horspool(BMH)算法和Quick Search(QS)算法的优点,提出一种高效的多模式字符串匹配算法。该算法能够充分利用本次匹配失败和部分匹配成功的信息,一方面增加模式树根节点失配的概率,提高匹配过程中失配时的跳跃距离。另一方面避免不必要的状态转移,实现不匹配时的连续跳转。分析指出,在最好情况和平均情况下,时间复杂度均优于ACBM算法和FS算法。实验结果表明,一般情况下该算法的查找时间仅为AC算法的10%~35%,ACBM算法的50%~60%,FS算法的70%左右,FSQB算法的65%左右。     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

一种共聚物的合成工艺及阻垢性能研究

以水为溶剂,次亚磷酸钠-过硫酸钠为引发剂,以丙烯酸(AA)和2-丙烯酰氨基．2-甲基丙磺酸(AMPS)为单体合成集膦酸基、羧酸基和磺酸基于一体的共聚物制备工艺和阻垢药效进行了研究。经对反应物浓度、反应条件等各因素进行正交设计和反复实验。结果表明,当摩尔配比为AA∶AMPS∶NaH_2PO_2∶Na_2S_2O_8=80∶10∶3∶1,反应温度为70℃,滴加时间为2h,继续保温反应时间为0．5h时,所制备的共聚物阻垢分散性能显著增加,尤以阻Ca_3(PO_4)_2垢的效果明显提高。     

Simultaneous measurement of gas and solid holdups in multiphase systems using ultrasonic technique

Ultrasonic technique has been recently developed to measure dispersed phase holdups in multiphase flows. The experimental results obtained in this work have shown that the fluctuations of the sound speed and attenuation of ultrasound are well-defined functions with solid and gas holdups in liquid-solid and gas-liquid two-phase flows. When both solid particles and gas bubbles are present in a liquid flow, gas bubbles appear to be a dominant factor for the instability of ultrasound signals. These findings lead to a new approach for simultaneous detection of gas and solid holdups in a gas-liquid-solid three-phase flow. In this work, canonical analysis and optimization methods are successfully applied to differentiate the contributions of gas bubbles and solid particles to the ultrasonic signals recorded from three-phase systems. The gas and solid holdups determined by the proposed approach are in a good agreement with the experimental results obtained using differential pressure transducers and conductivity probes.     

基于颜色矩的图像检索算法研究

为克服基于文字的图像检索技术对大型图像数据库实施困难、描述不完整等弊端,对RGB颜色矩和Munsell颜色矩进行研究,RGB颜色矩只适用于简单图像,Munsell颜色矩无法判断图片具体信息。为此,采用信息融合技术进行检索判断层的融合,选择多颜色空间融合颜色矩,在分析传统融合算法基础上,提出一种改进融合算法NewcombMNZ。实验结果表明,该算法能提高检索精准度和排序值,对噪声具有良好的鲁棒性,且能减少检索性能较差的特征对融合结果的影响,适用于特征数量较少的情况。     

(α-MS)S-B-(α-MS)S三嵌段共聚物的合成及其结构与性能

以α-甲基苯乙烯(α-MS),苯乙烯(S)和丁二烯(B)为单体,采用两步聚合偶合法,先将α-MS,S,THF及n-BuLi于30℃下聚合1h,再加入环己烷和B,于50℃下聚合4h,最后加入偶合剂苯甲酸苯酯,反应2～3h,即得到(α-MS)S-B-(α-MS)S三嵌段热塑性弹性体。该共聚物经GPC,IR,UV,NMR,DSC等表征,(?)_n=(10～13)×10~4,(?)_w/(?)_n=1.1～1.3;当硬段/软段为30/70(质量比)时,软段中1,4-结构含量为70％～85％,形态具有相分离特征,随α-MS/S值的增加,硬段T_g可在90～160℃调节,其力学性能有一定的改善,并接近或超过SBS热塑性弹性体。     

非线性PID自学习控制方法研究

针对非线性、多变量、强耦合系统的控制问题,提出一种基于双曲函数的非线性PID自学习控制方法。在PID控制过程中,用双曲函数构造比例、积分、微分3个增益参数分别随误差变化的规律曲线,将传统线性PID控制律转化为非线性PID控制律的控制思想,并使用自学习算法实时调整3个非线性增益函数的增益系数,实现基于双曲函数的非线性PID自学习控制。仿真实验结果表明,与其他控制方法相比,该方法具有更强的鲁棒稳定性和抗扰动能力,是一种有效的控制方法,在非线性控制领域具有重要的应用价值。     

自适应收扩系数的双中心协作QPSO算法

针对量子粒子群优化(QPSO)算法迭代后期种群多样性下降、收敛速度慢、易陷入局部最优的缺点,提出一种自适应收缩-扩张系数的双中心协作最子粒子群优化算法。该算法从2个方面进行改进:(1)自适应调节收缩-扩张系数,其目的是帮助粒子跳出局部最优点,提高粒子的全局搜索能力;(2)双重更新全局最优位置,即在每次迭代中,先后分别采用2种不同的方式更新全局最优位置。第1种方式与QPSO算法一致,第2种方式则引入双中心粒子,使其和当前全局最优位置在相应维度上合作,从而达到更新全局最优位置的目的。从固定迭代次数和固定精度角度分析算法性能,仿真结果表明,相比于QPSO算法,该算法在保证复杂度较低的情况下,可提高收敛速度,增强全局和局部搜索能力。     

基于语义技术的柑橘园土壤环境判定决策支持系统的设计与实现

农业生产管理决策支持系统对提高相关农产品的产量与质量起到越来越重要的作用。针对柑橘生产中土壤环境影响柑橘生长的问题,提出了基于语义技术的柑橘园土壤环境判定决策支持系统,重点讨论了该决策支持系统的系统结构、土壤语义数据库的建立以及推理规则的定义等,并应用语义数据库软件AllegroGraph实现了柑橘土壤语义数据库。     

低熵图像序列无损压缩

大规模的云渲染技术带来了大量的三维图形渲染数据。为了减小集群渲染产生的图像序列数据的传输以及存储代价,针对渲染图像序列低熵的特点,基于字典编码技术提出了降低数据局部复杂性的无损数据压缩方案。该方案通过数据重排技术来大大提高数据的局部冗余度,从而提高数据无损压缩效率。为了进一步解决大规模图像序列的压缩耗时问题,提出了一种云计算平台上的分布式图像压缩处理方案,充分利用现有云计算中Map/Reduce计算模型实现了分布式编码方案。实验结果证明,对于渲染产生的大规模低熵图像序列,提出的方案能够有效提高编码率并减少编码时间。