约束满足相关论文
多卫星任务规划是卫星应用的重要方面,对地观测卫星任务规划问题是一类典型的卫星任务规划问题.本文研究了多卫星任务规划框架,在......
该文在对企业集成的相关方面进行详细的综述和分析的基础上,给出了该文的研究框架,并讨论了企业集成中的系统工程概念.该文明确提......
该文阐述了缩略图数据模型并对使用缩略图数据模型进行视图的更新进行了算法研究.同样使用条件表表示关系视图,可以将视图更新问题......
约束满足问题（Constraint Satisfaction Problem，CSP）作为人工智能研究中多年来一个重要的分支，通常都是NP-hard问题。现实生活中的很......
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
随着Internet技术的不断发展及其应用的深入，Web俨然已经成为全球最大的虚拟资料库，可用的信息正呈指数级增长。如何有效地利用这些......
随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模......
由于在软件产品的开发过程中,需要安排的任务和资源约束过多,且由于外界因素的影响,软件开发项目处于一个动态环境中,因此确定任务......
在装配序列规划问题中解出符合约束条件、可行的装配序列,达成即定的装配目标是装配序列规划问题中一项重要的研究内容,也是研究中......
为实现基于曲线的参数化设计方法,给出了一个适合于参数化设计的Bezier曲线表示形式,提出了在几种约束条件下约束的满足方法,涉及......
本文将概念学习视为约束满足问题，给出了两种约束的定义．在这些约束的基础上，实现了基于遗传算法的概念学习系统ＣＬＳ的预处理方法
In thi......
针对用户星数据中继接入请求超额定购问题,分析了用户星业务种类,研究了中继卫星接入控制所受多类约束的特点,建立了约束满足模型;......
Job-Shop调度问题是产品制造业中共存的问题,它是实际生产调度问题的高度简化.解决好这一问题,是有效利用企业现有的资源、合理制......
针对边界不确定和具有决策偏好的大规模复杂作业车间调度问题,提出以第1级为交互式约束设置求解,第2级为优化求解的两级调度求解策......
本文分析了并行工程产品开发过程中约束的特点,探讨了不同类型约束对产品开发过程规划的不同影响;提出了基于设计约束的过程规划原......
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介......
人工智能与计算机科学中的许多问题都可视为约束满足问题.为了简化问题的求解,常采用局部一致性方法减小搜索空间.本文首先介绍与......
快速地确定满足配光要求的自由曲面型前照灯的设计方案，是车身造型的要求。采用基于事例推理的方法，首先研究了面向对象的前照灯事例......
针对跨企业协同生产调度问题,提出一种适用于云制造环境下生产资源调度的混合集合规划方法。该方法基于切削算法框架,综合考虑多种......
