基于非局部均值去噪算法的PM模型及其Split-Bregman迭代实现

基于偏微分方程能量变分模型中规则项的设计,将传统的基于梯度的PM模型与非局部均值算法相结合,对加性噪声进行去噪在最小化非局部PM模型能量函数的过程中,分别运用原始算法和Split-Bregman迭代算法进行了数值运算,结果表明,两种方法均取得到了较好的修复效果。     

基于CheckMate的混合系统建模和验证

形式验证是混合系统中的重要研究方向,Checkmate是基于MATLAB/Simulink和Stateflow工具箱开发的一种混合系统建模、仿真和形式验证工具。文章首先介绍了混合系统形式验证的概念和验证过程,从用户的角度介绍了CheckMate的每个自定义模块的设置及其功能原理,通过一个三维线性混合系统的例子,说明了使用CheckMate进行建模、仿真以及验证的方法,最后指出了CheckMate验证工具的局限性。     

经济欠发达地区基于产业同构的空间整合初探——以云南省为例

从欠发达地区主体性的视角出发,以云南省城市经济区为例,运用经济学分析手段,深入研究欠发达地区经济与产业发展中的关键问题,指出该地区发展的地方资源依赖性与产业同构性.根据这些问题,提出了基于产业同构性与互补性辩证统一、空间邻近以及依托交通走廊的整合原则,将云南省8个基层城市经济区整合成三大经济整合区,通过城市经济区空间整合,云南省基本形成了以昆明为核心的三大增长轴,形成了内联外引的开发格局.     

广西主导产业选择的实证分析

西部大开发和北部湾经济区战略的实施,为广西区域经济的发展注入了良机。为了实现广西经济的发展,我们首先要选择和培育适合广西经济发展的主导产业。本文基于产业竞争力和产业发展潜力两个方面,运用区位商和因子分析的方法,定量实证分析了广西38个行业部门,将其划分为三类,即＂双强＂、＂双弱＂、＂一强一弱＂,并在文章的最后指出了适合广西经济发展的主导产业。     

OTDR原理及其应用

介绍了OTDR的测试原理和基于OTDR的分布式光纤传感器的传感原理,总结了它们在各个领域的应用情况,并指出了未来的发展趋势。     

改进的独立分量分析算法

对独立分量分析算法的基本理论和FastICA算法进行了简要介绍.传统的FastICA算法只具有二阶的收敛速度,为了提高独立分量分析算法的收敛速度,减少迭代次数和运行时间,提出了一种改进的独立分量分析算法——五阶收敛的牛顿迭代法.对牛顿迭代算法加以修正,使改进的独立分量分析算法具有五阶的收敛速度.图像信号分离仿真实验表明,改进算法与传统的FastICA算法在分离效果相当的情况下,明显减少了传统的FastICA算法的迭代次数和运行时间,提高了收敛速度和运行效率.     

修正型随机Mann迭代系统

通过随机φ半收缩算子引入了一类随机Mann迭代系统,并在一定条件下证明了该随机迭代系统收敛到一个可分Hilbert空间中随机算子的随机不动点.     

一种新的SAR图像斑点噪声自适应抑制方法

在合成孔径雷达(synthetic aperture radar, SAR)图像斑点噪声抑制处理中,为有效保护图像细节,提出欧拉弹性能量各向异性扩散去噪模型。该模型将各向异性扩散模型转化为最小能量变分模型,结合欧拉弹性能量模型的边界保护和增强能力,在抑制噪声的同时能更有效地保护和增强细节信息。同时为了提高计算效率,提出自适应变步长去噪算法。仿真和真实SAR图像的实验结果表明,该算法不仅在抑制噪声的同时能够很好地保护图像细节,而且有效减少了计算时间、提高了效率。     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

综合重构与正交迭代位姿估计算法

摘要： 多摄像机系统(multiple camera systems, MCS)在机器视觉领域成为研究热点. 针对MCS的位姿估计问题提出了一种新的综合重构与正交迭代算法,并引入广义摄像机模型来描述MCS以方便算法推导. 为充分利用MCS提供的冗余测量信息,将观测到的参考点进行分类,并构建了加权目标函数,综合了最优绝对定向解和正交迭代(orthogonal iteration, OI)算法的优点. 三维重构信息的引入不仅克服了OI算法的位姿模糊,而且提高了位姿估计的收敛速度和鲁棒性. 采用了自适应权值方法降低重构误差对最终估计的影响. 仿真结果验证了提出算法的有效性和优越性.