国家自然科学基金(61272208) 作品数:16 被引量:38 H指数:4 相关作者: 白洪涛 欧阳丹彤 何丽莉 李占山 张立明 更多>> 相关机构: 吉林大学 湖北工程学院 中国地质调查局 更多>> 发文基金: 国家自然科学基金 吉林省科技发展计划基金 中央高校基本科研业务费专项资金 更多>> 相关领域: 自动化与计算机技术 天文地球 电子电信 自然科学总论 更多>>
基于OpenMP+MPI的2.5维电磁场正演并行化方法 被引量:6 2015年 针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并行运算。波数等间隔分配到各集群节点,以利负载均衡;集群节点读取各自的模型参数,MPI群集传递当前波数的计算结果,以降低通信开销。不同类型和规模算例的实验结果表明,该并行方法不仅能够达到与串行方法等同的精度,而且获得了接近线性的加速比。 白洪涛 范翠松 李昂 何丽莉 李桐林基于卫星云图的DBSCAN聚类云团分类方法 被引量:1 2016年 针对云分类问题提出一种新的云团分类方法.该方法先利用风云二号静止气象卫星实时云图图像资料建立多种云和地表类型的样本库,提取分析已知样本的光谱特征和纹理特征;再使用中值滤波器对云图进行预处理,并采用具有噪声的基于密度的聚类算法对云区聚类;最后对聚类得到的云团光谱特征和纹理特征进行匹配,确定云团所属的云类别.实验结果表明,该方法以云团为单位进行划分,易实现云团分类自动化. 王猛 何丽莉 白洪涛 欧阳丹彤关键词:光谱特征 纹理特征 卫星云图 基于多核CPU的卫星云导风并行反演算法 被引量:2 2016年 针对卫星云导风反演算法规模大、计算密集、耗时长,常规云导风反演串行算法效率低的问题,根据云导风反演中各风矢计算相对独立的特征,提出一种基于OpenMP框架的云导风反演并行算法.通过对多组云图数据在多核CPU上反演结果进行分析表明,该算法显著提高了云导风反演的效率. 王昌帅 何丽莉 欧阳丹彤 白洪涛关键词:云导风 OPENMP 结合特征学习的粒子群求解极小碰集方法 被引量:10 2015年 基于模型诊断中的极小碰集问题是人工智能领域的一个重要课题,现实中很多实际问题都可以转化为极小碰集问题,如老师与课程问题,极小覆盖集问题等.通过对极小碰集问题特征的研究,本文结合粒子群优化求解极小碰集的算法提出了一个新的算法,来指导极小碰集的求解:引入学习机制,减少极小碰集求解中对无解空间的搜索;加入翻转策略,来加速极小碰集有解空间中的求解.实验结果表明本文提出的算法在求解极小碰集问题上的效率有明显提高. 刘娟 欧阳丹彤 王艺源 张立明基于Hash函数的抵御失去同步RFID安全认证协议 被引量:1 2015年 针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击、失去同步等安全问题,在能耗、安全与性能方面优于当前其他主流协议. 郑莹 欧阳丹彤 何丽莉 白洪涛关键词:RFID HASH函数 GNY逻辑 基于OpenMP的一阶声波方程波场并行算法 被引量:1 2015年 针对高阶交错网格技术的计算效率瓶颈,研究了一种基于OpenMP的一阶声波方程波场并行算法。通过对多组不同规模的模型测试,分析了并行效率在不同并行粒度下模型和CPU核心数目的关系。实验结果表明,该方法达到了与串行方法相同的数据精度,在微机商用多核CPU上获得了2倍多的性能提升。 方金伟 白洪涛 孙惠敏关键词:OPENMP 自适应表压缩方法优化STR算法 2018年 表约束,也称为外延式约束,是约束编程领域最常见的约束形式,表压缩方法通过紧凑的表示元组集可以极大地缩减空间消耗,同时加速GAC算法。笛卡尔乘积表示和短支持是表约束中最常见的两种表压缩方法,两种表压缩方法在同一问题上的压缩率是影响它们优化效果的主要原因。基于STR算法提出一种自适应表压缩方法,在求解问题时自适应选择压缩率大的表压缩方法,将自适应表压缩方法应用到STR2上提出了STR2-Adaptive算法,可以同时覆盖两种表压缩方法的优势。实验结果表明,STR2-Adaptive算法在绝大部分实例上都能自适应选择最佳的表压缩方法,有效地减少了STR2算法空间消耗和CPU运行时间。然后将自适应表压缩方法扩展到采用了高效的比特向量表示的STRbit算法上提出了STRbit-Adaptive算法。实验结果表明,STRbit-Adaptive算法效率同样普遍优于STRbit算法。 李少兴 李占山 于海鸿关键词:自适应选择 求解约束可满足问题的eSTR算法优化 被引量:2 2016年 表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.但随着约束的增多及其元组集增大,占有的空间与相容性检测效率成了关键问题.eSTR是1个将STR扩展到高阶相容的算法,通过深入分析eSTR算法后发现有2种优化方式:PWsup数据结构和极小约束范围,同时证明了在极小约束范围上,约束网络仍然能够维持PWC+GAC,其中极小约束范围可以通过删除约束元组集中相应的列来降低eSTR2算法的空间消耗,而PWsup数据结构能够通过避免不必要的PW支持检测来减少eSTR2的CPU运行时间,实验结果表明:2种优化方式和eSTR2相结合后能够同时减少算法的空间消耗和CPU运行时间,在许多类实例上明显优于eSTR2和eSTR2w. 王瑞伟 李占山 李宏博关键词:约束网络 一种球面点投影关系的推理方法 2013年 在详细分析球面特性与模型的基础上,提出了球面点投影关系的推理算法,该算法能得到球面8种投影关系的逆关系与翻转关系以及8种投影关系间的复合关系,并以表格形式给出。通过查表,可以由已知的球面投影关系得到未知的球面投影关系。该推理方法完善了球面投影关系模型,为其实际应用奠定了基础。 欧阳继红 马玲关键词:人工智能 定性空间推理 球面几何 Curve length estimation based on cubic spline interpolation in gray-scale images 2013年 This paper deals with a novel local arc length estimator for curves in gray-scale images.The method first estimates a cubic spline curve fit for the boundary points using the gray-level information of the nearby pixels,and then computes the sum of the spline segments’lengths.In this model,the second derivatives and y coordinates at the knots are required in the computation;the spline polynomial coefficients need not be computed explicitly.We provide the algorithm pseudo code for estimation and preprocessing,both taking linear time.Implementation shows that the proposed model gains a smaller relative error than other state-of-the-art methods. Zhen-xin WANG Ji-hong OUYANG