带约束的平行机排序问题

讨论了带资源约束和机器准备时间的平行机排序问题，资源约束是指每个机器最多加工κ个工件．首先对一般情况下的同型机的PLPT排序进行了讨论；并首次对同类机排序进行了研究，给出了一个FLPT近似算法，同时对m=2时证明了PLPT排序的最坏情况紧界是2．     

神经网络PDP系统中的CS问题

本文阐述PDP中的约束满足(Constraint Satisfaction,简记为CS)的一般概念及其在PDP中的解决,着重分析在PDP中的几个模型:Schema模型,Boltzmann机,Harmony理论,和它们的特征及局限性。     

能量法曲面光顺技术研究与探索

综合国内外曲面光顺技术的研究思路，选择一种能量法优化，光顺NURBS曲面的数学模型，并在反求工程软件（RE-SOFT）中通过施加适当的约束条件对其进行求解，使得被光顺曲面能在合理的约束条件下获得理想的光顺效果，从而论证了能量法广泛应用于该领域的美学效果及其发展前景。     

On an Improved Constraint Satisfaction Model

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

关于"一大"的几个热点问题的探讨

陈独秀李大钊等对“一大”不重视；广东只派了陈公博一位代表参加“一大”；包惠僧是陈独秀派到上海向临时中央和“一大”组织者汇报情况的联络员，这种特殊身份使其不是代表而得以接近大会组织者并参加大会。“一大”闭幕于8月31日不符合马林对大会安全的要求；天气情况证明不可能闭幕于8月1日；8月5日在上海开过中央局成员会，这是8月5日闭幕说的由来；“一大”最可能闭幕于8月3日。“一大”的伟大历史意义是客观存在的，但有相对性的一面，革命和建设取得成绩的大小直接决定了当时人们对“一大”意义的认识。     

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

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

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

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

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

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

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

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

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

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