-
32421.动态环境下基于多人工鱼群算法和避碰规则库的机器人路径规划
[计算机、通信和其他电子设备制造业] [2014-06-15]
为了提高机器人路径规划的速度、环境适应能力和高效动态避碰问题,提出了一种基于多人工鱼群的机器人路径规划算法和基于避碰规则库的动态避障算法.该算法中,人工鱼以其与目标点的距离为食物浓度,两个邻近栅格的距离为步长,其觅食行作为默认行为,在一定条件下执行聚群或追尾动作,并采用两鱼群双向搜索机制在静态环境下规划出较优路径.在此基础上,机器人查询动态避障规则库获得避碰方法,从而实现与动态障碍的避碰.大量仿真实验结果表明,该方法具有较高的收敛速度和较强的搜索能力,能在非常复杂的动静态障碍环境中,迅速规划出一条安全避碰的优化路径.
关键词：动态环境；机器人路径规划；多人工鱼群；避障规则库
-
32422.旋转变换和欠定盲分离的DUET算法
[计算机、通信和其他电子设备制造业] [2014-06-15]
DUET是采用时频掩码求解欠定问题的著名算法.本文讨论旋转变换对DUET算法的影响,提出了一个改进的DUET算法.该算法利用混叠矩阵的任意两列作为旋转矩阵,先旋转接收信号和混叠矩阵,后执行DUET算法.因为DUET算法在不同的旋转变换下有不同的结果,所以需要将这些结果相加,以弥补DUET算法的失真.最后,几个语音信号的实验结果显示算法的性能和实用.
关键词：欠定盲分离；稀疏成分分析；不重叠；时频掩码；l0范数
-
32423.均匀搜索粒子群算法的收敛性分析
[计算机、通信和其他电子设备制造业] [2014-06-15]
本文将均匀搜索粒子群算法(Uniform search Particle Swarm Optimization,简称UPS0)的位置更新公式变换为一个差分方程,求解差分方程得到非递推的位置更新公式,推导解的收敛条件并求出了UPSO对学习系数c及惯性系数w的收敛区域,最后通过6个Benchmark 函数仿真实验对收敛区域的正确性进行验证,实验结果表明学习系数和惯性系数在收敛区域内时的UPSO收敛,不在收敛区域外时UPS0发散.
关键词：粒子群算法；均匀搜索粒子群算法
-
32424.基于MapReduce的并行Web服务自动组合
[计算机、通信和其他电子设备制造业] [2014-06-15]
如何在大规模的Web服务集合中进行快速、高效的自动组合是当前Web服务组合研究与应用的难点.传统的Web服务自动组合方法大多建立在单机计算基础上,服务数量一旦过多,规划或搜索空间随之膨胀,组合效率低下.本文提出了一种分步分治、深度优先搜索的Top-k Qos服务组合算法,并采用MapReduce实现了分布式、并行的服务自动组合过程.实验结果表明,该方法在应对大规模的服务集合时,能快速、高效的提供满足用户需求的组合服务.
关键词：Web服务；服务组合；MapReduce；回溯树
-
32425.基于姿态角辅助非线性滤波算法的机动目标跟踪
[计算机、通信和其他电子设备制造业] [2014-06-15]
基于扩展卡尔曼滤波思想,本文提出了一种融合姿态角信息的非线性滤波算法.通过分析目标二维和三维运动特征与姿态角的关系,以姿态角和速度模值为控制项,建立状态方程和量测方程,对目标的位置状态进行估计,实现了姿态角信息和位置信息的有效融合.姿态角在不同随机噪声条件下的仿真实验结果验证了算法的准确性和实时性.
关键词：目标跟踪；姿态角；扩展卡尔曼滤波；非线性滤波
-
32426.基于样本和线性结构信息的大范围图像修复算法
[计算机、通信和其他电子设备制造业] [2014-06-15]
基于纹理的图像修复算法对于修复破损区域比较大的图像效果较好,但该算法对于含有结构信息的图像修复效果很差.通过新的优先项的计算、平均值补偿及增加惩罚项提高传统的基于样本的图像修复算法的修复效果,结合图像中常出现的直线和曲线结构特征,提出了基于样本和结构信息的大范围图像修复算法.实验表明,该算法易于实现,修复结果能达到令人满意的效果,具有较高的实用价值.
关键词：图像修复；纹理；样本；结构信息
-
32427.基于微分动态逻辑的CPS建模与属性验证
[计算机、通信和其他电子设备制造业] [2014-06-15]
随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Logic),其操作模型为hybrid program.将HyhridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.
关键词：信息物理融合系统；微分动态逻辑；HybridUML；模型转换；验证
-
32428.一种非线性GM-PHD滤波新方法
[计算机、通信和其他电子设备制造业] [2014-06-15]
为了解决目标数未知情况下的多目标跟踪问题,提出了一种非线性条件下的高斯混合概率假设密度滤波新方法.该方法利用三阶球面容积-径向采样规则计算目标状态的概率分布特性,解决了状态方程和观测方程的非线性计算问题,利用模糊门限对滤波器的剪枝方法进行了优化,避免了高斯项数目的指数增长,利用观测数据生成新目标密度,使滤波器具备了对观测空间任意位置随机出现新目标的跟踪能力.通过仿真实验比较了四种非线性高斯混合概率假设密度滤波方法的性能,实验结果验证了提出算法的有效性.
关键词：多目标跟踪；随机有限集；概率假设密度滤波器；容积卡尔曼滤波；模糊门限
-
32429.基于BP神经网络和泰勒级数的室内定位算法研究
[计算机、通信和其他电子设备制造业] [2014-06-15]
在研究分析室内无线信号传播特性和传统的室内定位算法的基础上,提出了用BP神经网络来拟合室内无线信号传播模型,避免了对无线信号传播模型中参数A和n的不精确估计.在训练完成的BP神经网络的输入层输入接收信号强度值RSSI(Received Signal Strength Indicator),在输出层即可得到对应的距离值,再利用泰勒级数展开法确定盲节点的坐标位置.最终通过Matlab仿真和ZigBee平台实验验证了算法的可行性和有效性.
关键词：室内定位；BP神经网络；RSSI(ReceivedSignalStrengthIndicator)；ZigBee；泰勒级数
-
32430.皮秒级精度可编程数模混合CMOS方波延时器
[计算机、通信和其他电子设备制造业] [2014-06-15]
提出了一种基于数模混合CMOS电路的能实现皮秒级精度、线性化、延时时间、精度和范围可编程、能复制输入波形的小体积、低功耗、低成本及可单芯片化的方波延时器.分析了回路的工作原理,并利用Tanner EDA工具进行建模和仿真.结果表明采用0.6μm数模混合CMOS工艺,通过8位延时控制和2位范围选择信号,可实现最高约20ps/LSB的延时分辨率和最大约28ns的延时范围.
关键词：皮秒级精度；可编程；CMOS电路；方波延时器
027-87841330