Judgement of Design Scheme Based on Flexible Constraint in ICAD

The conception of flexible constraint is proposed in the paper. The solution of flexible constraint is in special range, and maybe different in different instances of same design scheme. The paper emphasis on how to evaluate and optimize a design scheme with flexible constraints based on the satisfaction degree function defined on flexible constraints. The conception of flexible constraint is used to solve constraint conflict and design optimization in complicated constraint-based assembly design by the PFM parametrization assembly design system. An instance of gear-box design is used for verifying optimization method.     

求解多背包约束下下模集函数最大值的近似算法及其性能保证

将部分穷举法与贪婪算法相结合,给出求解多背包约束下非减下模集函数最大值的近似算法．证明了该算法的性能保证是1-e^-1,算法的时间复杂性为O（3n^4）．     

复杂地形下甘肃舟曲江顶崖滑坡自动提取方法

为精确获取甘肃省舟曲县南峪乡江顶崖在复杂地形下的滑坡区域分布,利用数字正射影像和数字高程模型准确获取滑坡区域,分析滑坡信息。在基于影像监督分类的基础上,叠加一定的影响因子约束分析进一步筛选滑坡区,利用数学形态学中的腐蚀、膨胀、开运算三种运算方式处理图像实现对滑坡区域自动识别提取。实验结果说明通过与数字正射影像叠加解译和在精度评价中生产者精度为81.25%,用户精度为92.85%验证能够较好地避免因复杂地形中丰富地物类型所带来的干扰,实现对复杂地形下舟曲县南峪乡江顶崖滑坡的自动识别提取,结果表明三种方法的结合可以为识别提取复杂地形下的滑坡区域提供借鉴。     

机型指派与飞机路线一体化建模及算法研究

通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解;这样通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,本文将机型指派、飞机路线问题综合考虑,建立多机型的一体化飞机排班多商品网络流模型。为实现模型的有效求解,本文提出了基于约束编程的动态列生成算法;即用约束编程快速求解航班连线（航班串）并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代。最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班和分阶段优化情况进行比较研究。     

含参变量的广义最大元的通有稳定性

本文讨论了最大元映射、约束条件和约束参数多者同时扰动时，广义最大元的通有稳定性。澄清了在约束条件的扰动下，广义最大元的通有稳定性和广义最大元映射的等度连续性的关系。     

有关负二次相依与负正交相依随机变量若干结果的进一步探索

为了对负正交相依（NOD)和负二次相依（NQD）有一个深刻的理解，对NOD和NQD的性质以及它与负相协的关系做进一步探讨和论证，得出NOD条件下的部分和不等式及矩不等式。     

非参数回归函数的经验似然置信区间

经验似然是由Owen引入的一种非参数推断方法，主要讨论了相依样本下非参数回归函数的经验似然置信区间。     

具有相关约束多体动力学Euler—Lagrange方程：问题和数值方法

本文探讨了相关约束移体动力学Euler-Lagrange方程的求解问题。在分析相关约束问题数值计算的实际意义和有关理论的基础上,给出了一类数值计算方法。算法在增加的计算量不大的情况下,把过去只能计算满秩约束的算法推广到约束不满秩的情况。     

光流场估计算法的优化分析

运动估计一直是视频处理领域的核心课题之一 ,而基于Horn和Schunk所提出的光流基本约束方程的光流场估计类算法是图像运动估计的一类重要算法。从由于缺少约束而事实上并不完备的光流基本约束方程出发 ,人们提出了各种光流计算方法 ,从算法约束条件上分为全局优化和局部优化两类。本文将对各类算法进行比较 ,归纳出其思路发展轨迹。同时 ,本文将选取一种基于区域平滑约束的光流场估计算法进行分析 ,该算法性能较为稳定 ,且适合于处理多层图像元素并存的场景     

基于CSP的Job shop调度算法研究

针对一类典型的约束满足问题——Job shop调度问题，提出一种CSP调度算法框架，详细讨论CSP调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解方法。仿真结果表明CSP调度算法在较小的计算时间代价下，获得了FT10标准调度问题的近优解。