经济实用的DSP电源解决方案

笔者介绍了两种低纹波的DSP电源解决方案:一为采用MAX1793和大电流EMI静噪滤波器NFM41P;二为改进的去耦p型滤波电路和大电流EMI静噪滤波器NFM41P。并对方案的特点及其实现进行了详细的解析。试验结果表明:所述方案的纹波小,仅100 mV左右;成本低,仅几十元;适用范围广,通过改变MAX1793芯片的输出电压,可将本方案移植到TI的C5000,C6000系列,且还可用于其他的脱机工作系统。     

大规模孔洞点云的快速重建算法研究 *

针对实际中经常存在的含有孔洞的点云数据 ,在原多层重建算法的基础上提出了一种可以进行点云补洞的快速曲面重建算法。首先对散乱点云数据进行空间自适应八叉剖分 ,然后对点云数据进行由粗到精的多层插值 ,建立隐式曲面方程 ,最后提出了两种加快重建的方法。加速算法可以减少重建时间 ,非常有利于处理大规模点云。实验结果证明 ,本算法对点云孔洞修补效果良好 ,重建速度快 ,效率高。     

Ptolemy离散事件模型形式化验证方法

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.本文提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义,其次设计了一组从离散事件模型到时间自动机的映射规则.然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证.最后以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性.     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

概率模型检测技术在机器人路径规划中的应用

在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的新方法。首先,分析环境中的主要影响因素,将机器人的移动行为看作一个不确定事件,构建马尔可夫决策过程(MDP)模型。然后,采用概率计算树逻辑(PCTL)公式描述模型属性,表达机器人复杂多样的目标任务。最后,运用PRISM平台对模型进行分析和验证,得到满足属性的全局优化路径和定量数据。仿真结果表明,上述方法不仅能够保障机器人在障碍物环境中无碰撞移动,而且可以避开环境相对复杂的区域,保证机器人以最大概率完成任务。对比试验证明上述方法的正确性和有效性。     

一种改进的六角形砍边细分方法

研究了六角形网格上的曲面细分算法,改进了六角形网格砍边细分算法.在六边形网格的砍边细分过程中,利用对偶砍角法对非六角形网格进行六角形网格化预处理,然后通过计算相邻两个面片的夹角,根据预先设置的阈值,自动对初始混合控制网格上具有尖锐特征的顶点和边分别作标记,然后对这些标记过的边和点进行特殊处理,局部修改细分规则进行迭代细分.实验结果表明,该算法效果好,能更好地保持原始模型的特征.     

图形匹配算法在公式发现理论FDD中的应用

传统的经验公式发现理论FDD虽采用启发式搜索,但随着函数库的扩大,仍存在函数的组合爆炸现象.根据复合函数曲线仍然具有原函数图形特征的性质,提出了从函数曲线的图形特征入手,采用图形匹配的新方法,将各类初等函数的曲线图形作为搜索库元素,用Hausdorff距离匹配法将目标函数曲线与搜索库元素进行匹配.实验结果表明,该方法能够快速有效地搜索到原型函数,提高了算法的搜索效率.     

VGA汉字显示的FPGA设计与实现

VGA是显示器接口的一种工业标准.以往大多采用通用处理器控制VGA接口来实现汉字及其它信息的显示,但是以通用处理器为核心的体系结构不易修改,体积偏大,不适合小型便携式设备的设计.由于FPGA具有可重构、体积小等优势,采用FPGA来控制VGA的汉字显示.依据VGA的显示原理,提出了一种基于Xilinx Spartan-3的彩条信号显示方法,并利用FPGA内部的块RAM,实现了VGA的汉字显示.实验结果表明,由FPGA来控制汉字的显示,达到了预期的效果,克服了通用处理器的弊端.     

城市环境下GPS导航系统的地图匹配估计

针对城市环境下车辆的行驶特点,在GPS定位数据的基础上,利用位置择近算法对车辆进行地图匹配估计,使车辆在道路法线方向的定位误差显著减小,误差仅保留在车辆行驶方向的径向分量中.试验结果表明,经地图匹配修正后,车辆运动轨迹的定位精度达到了道路城内,进一步提高了系统的跟踪能力.