基于小波变换和概率神经网络的焊接接头类型识别

为了实现机器人自动焊接过程中快速、精确地提取焊缝特征信息,提出了一种基于小波变换和概率神经网络的焊接接头类型识别方法。先采用小波变换对由激光视觉传感器采集的焊接接头图像进行降噪和增强,对重构后的图像进行二值化,然后提取图像的特征信息,组成图像特征向量,最后构建概率神经网络分类器并进行测试。结合视觉传感器中激光器与摄像机的位置关系,最终识别出4种焊接接头。实验结果表明,所提出的方法特征提取简单,识别率高,并具有较好的实时性。     

Hadamard不等式的几种新证明

本利用几何算术不等式，矩阵的分解，行列式的性质给出Hadamard不等式几种新颖，简洁的证明。     

间歇式高速同步相机新型全数字化微机控制系统

本文提出了一种间歇式高速同步相机的全新设计方法，介绍了系统的工作原理，硬件，软件设计以及核心控制算法，最后给出了实际应用结果。     

M.K.D.V方程高阶全离散Galerkin有限元格式

本文用对角隐式Runge-Kutta方法(D.I.R.K),对M.K.D.V.方程在时间方向离散,采用增加扰动项的办法,得到了L~2模意义下时间方向具有三阶精度的格式。数值实例表明,其精度比无拢动项及C-N格式好。还证明了收敛性和稳定性,用Newton迭代法求解非线性方程组,并证明选取适当的初始值,Newton迭代仅需一步完成。     

自入射代数的不可分解模由其合成因子决定的充分必要条件

本文利用有限表示型自入射代数的分类理论和覆盖方法,得到了自入射代数的不可分解模由合成因子决定的充分必要条件.     

一类半线性方程Dirichlet问题

本文利用概率方法证明了如下的Dirichlet问题的解的存在性：{－（△/2＋μ）u f(u)=v，在D中，其中D是R^d中的一个有界规则区域，μ和v是属于广义Kato类的符号测度，f是R^1上的连续可微函数连g↓eD上的一个连续函数。     

图与补图全独立数间的关系

对图G(V,E),V∪E中既不相邻、又不相关联的最大元素个数,称为G的全独立数,并简记为α_T(G)。本文研究了图和补图全独立数之间的关系,得到α_T(G) α_T(G~C)≤「3y 1/2」。其中y=|V(G)|,G~C是G的补图,「x」为不大于x的最大整数,且界可达。     

弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．