基于EM-ICP的三维人脸简化点云并行配准算法

提出了一种基于离散曲率估计和kd-tree简化人脸点云的并行EM-ICP配准算法.首先建立人脸点云的三维空间kd-tree,并结合离散高斯曲率对点云进行了保留几何特征的简化;然后基于CUDA对EM-ICP算法进行并行加速,对简化的人脸点云进行配准.该算法能够避免局部配准等缺陷,同时EM-ICP算法并行保证了配准工作的高效.实验证实了本文算法的健壮性和稳定性.     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

三维空间散乱点集快速曲面重建的研究与实现

提出了一种快速曲面重建方法。针对Power crust算法提出一种不均匀降采样技术,根据曲面的局部特征大小对采样点进行削减,从而在不破坏原曲面拓扑特性的情况下,使参与曲面重建的采样点数目降低。实验结果表明,改进后的算法运行效率有所提高。     

在Transputer网络上实现五层数值预报模式的试验

本文介绍在Transputer网络上并行计算五层数值预报模式的一个方案:用一个Transputer芯片完成一层的计算量,最大限度地缩小层间数据交换,试验结果的令人满意的.     

一个新的基于radix-8的标量乘算法

椭圆曲线标量乘是椭圆曲线密码系统中最关键、最耗时的运算,因此如何快速高效实现标量乘运算是研究的重点。目前常见的标量乘算法有:double-and-add算法,NAF算法,MOF算法等,但它们都是基于radix-2编码表示的,无论采用何种编码,倍点运算的次数都不变,减少的只是点加(或点减)运算的次数。提出一个基于radix-8表示的新的编码方法,及一个基于radix-8表示的标量乘算法,通过用八倍点运算代替倍点运算,且编码是从左到右(即从最高位向最低位)进行,编码和主计算可以合并,提高实现效率并节省内存空间。实验结果表明,该算法较经典的double-and-add算法能够提高效率30%以上。     

一种改进的Harris特征点检测算法

现有Harris特征点检测算法采用高斯滤波进行平滑,图像存在角点信息丢失与偏移的现象。为解决该问题,提出基于变分B样条滤波与快速局部窗口搜索相结合的Harris特征点检测算法,选择具有低通特性的B样条函数作为平滑函数构造滤波器,引入形态学滤波中的极大值滤波思想,利用快速局部窗口搜索算法进行特征点局部极值的提取,从而提高特征点提取的精度和速度。实验结果表明,改进算法具有特征点提取快速均匀、检测定位准确、抑噪性好的特点。     

数控系统轨迹的连续运动处理方法

介绍一种数控系统连续轨迹的实现方法.设计思想是:在上位机(PC)上进行预处理,计算出数控机床沿轨迹各点的速度,判断轨迹的连续性,并找出轨迹中的"拐点"和减速点,然后将这些数据传给下位机(DSP)对机床进行运动控制.这样机床就能在给定速度的情况下沿轨迹进行不断的加减速运动,从而提高机床的加工效率.     

FCC油品质量指标智能监测系统的数据挖掘与修正技术

为使ＦＣＣ油品质量指标智能监测系统更加有效地实时预测从人平行 的汽、柴油重要质量指标,本文利用模糊匹配技术和计算机网络技术,建立了基于稳定历史工竞的数据挖掘及修正子,并在实际生产装置中稳定运行结果表明,该子系统能更加有效、对稳定汽油蒸汽压、粗汽油干点和轻柴油凝点进行实时修正,从而提高了ＦＣＣ油品质量指标明监测系统的预测精度和运用水平。     

基于非监督特征学习的兴趣点检测算法

由于兴趣点是图像中的基础、关键特征,因此兴趣点检测是图像配准、图像检索以及图像识别的关键步骤。基于兴趣点对于图像特征响应较为强烈的特性,结合非监督特征学习算法可以自主地从无标签的样本中提取特征的思想,提出了UFL-ID兴趣点检测算法。该算法无监督学习了图像的底层特征,对特征进行信息量和各向同性的评价,并利用特征的卷积响应及评价参数寻找图像中的兴趣点。与其他常见的兴趣点检测算法的对比实验表明,该算法具有良好的重复性与抗噪能力。     

企业绩效管理在CIMS系统设计中的研究与应用

信息化是企业提升和保持竞争力的重要手段，但怎样才能与企业的各种价值活动真正地结合起来，为企业的生产和管理带来效益，这是所有企业一直非常关心的问题。针对石化炼化企业的生产、管理工作中的各种价值活动，引入企业绩效管理系统，使企业管理变革与CIMS系统相结合，探索企业战略信息系统建设的新途径和新方法，达到增强企业竞争力，促进企业赢利的目的。