On an Improved Constraint Satisfaction Model

约束满足模型是较为成功的模型之一，但也存在可改进之处。通过深入讨论Ｓｃｈｅｍａ模型，给出改进模型的设想与算法，经模拟实验加以验证，并给予深入讨论及理论分析。     

使线性规划目标函数减少预定值的研究

对已经得到最优解的线性规划 ,改变其约束矩阵的某一列向量 ,使目标函数最小值再减少一个预定值     

运动参数受限的目标跟踪算法研究

提出一种运动参数受限的目标跟踪算法,对于速度受限目标采用平滑修正滤波跟踪算法,首先使用Kalman滤波得到当前时刻的滤波值,找到平滑精度最高点,根据速度限制条件,对滤波结果进行修正。为了保证滤波的无偏有效性,修正计算得到的结果不参与后续滤波处理。通过理论分析和仿真表明,速度受限跟踪算法在观测误差相对较大以及滤波起始阶段可以使滤波跟踪效果获得较大的改善。     

非线性约束的半无限多目标规划离散型算法偏差估计

讨论一类具有非线性约束的半无限多目标规划离散型算法的偏差估计并给出相应的计算公式．     

基于相似度模型耦合角度制约规则的图像匹配算法

为了克服当前图像匹配方法主要通过测量距离的方法来实现图像匹配,忽略了图像间的相似度,导致算法存在错误匹配较多以及鲁棒性较差的问题。本文提出了基于相似度模型耦合角度制约规则的图像匹配算法。采用FAST检测方法对图像特征进行检测,快速获取鲁棒特征点,以改善算法的匹配正确率。随后,利用SURF特征描述机制,通过计算特征圆域内的Haar小波响应值,对特征点进行描述。引入结构相似度SSIM(structural similarity index measurement)模型,将其与欧氏距离模型相结合,构造相似度模型,从结构相似度与测量距离两方面出发,将特征点进行粗匹配。最后,利用特征点的余弦关系,求取特征点间角度,建立角度制约规则,对粗匹配结果完成优化。实验结果显示:与典型的匹配方法相比,该算法具有更好的匹配性能较好,在多种几何变换下仍具有理想的匹配精度。     

线性规划问题非有效约束条件判别定理的研究

对非有效约束条件和有效约束条件的特性进行了理论分析，获得了一些识别非有效约束条件的判定定理，为进一步研究删除非有效约束条件的方法奠定了理论基础。     

基于水印技术的多媒体认证系统模型研究

在Bran Chen提出的广义认证信息论模型的基础上,将水印认证的方法看作广义模型的特例来研究,由此提出了水印认证的信息论一般模型.首先,阐述了多媒体认证问题的一些相关基本概念.其次,在以知觉相似度函数来度量水印失真的前提下,给出了一个安全的、鲁棒的在失真条件限制下的水印认证系统可以渐近获得的条件.最后,以对策论的思想分析了认证系统攻守双方的博弈关系;并且进一步指出了水印认证系统建模和水印建模的区别和联系.     

约束非线性离散变量规划的最优性问题

本文讨论了含有离散变量的约束非线性规划问题。介绍了若干基本概念和定义,并给出了该问题的最优性条件和收敛条件。最后文中给出了理论研究的应用成果。     

串联式组合机构设计及运动分析

以常见的几种串联式组合机构为例，按机构组成从后往前的颁序对机构进行结构设计，并以相反顺序对机构进行运动分析．同时以凸轮连杆组合机构为例，用VB编程技术，对机构进行了设计分析，其设计速度快、计算精度高．用此方法，可对同类机构设计计算．     

线性规划问题非有效约束条件性质研究

鉴于在求解线性规划问题时经常遇到一些约束条件(非有效约束条件),它不仅影响求解的效率,而且占用了大量的计算机存储空间。为此对非有效约束条件和有效约束条件的特性进行了理论分析,获得了一些识别非有效约束条件的判定定理,为进一步研究删除非有效约束条件的方法奠定了理论基础。