约束满足相关论文
多卫星任务规划是卫星应用的重要方面,对地观测卫星任务规划问题是一类典型的卫星任务规划问题.本文研究了多卫星任务规划框架,在......
该文在对企业集成的相关方面进行详细的综述和分析的基础上,给出了该文的研究框架,并讨论了企业集成中的系统工程概念.该文明确提......
该文阐述了缩略图数据模型并对使用缩略图数据模型进行视图的更新进行了算法研究.同样使用条件表表示关系视图,可以将视图更新问题......
约束满足问题（Constraint Satisfaction Problem，CSP）作为人工智能研究中多年来一个重要的分支，通常都是NP-hard问题。现实生活中的很......
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
随着Internet技术的不断发展及其应用的深入，Web俨然已经成为全球最大的虚拟资料库，可用的信息正呈指数级增长。如何有效地利用这些......
随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模......
由于在软件产品的开发过程中,需要安排的任务和资源约束过多,且由于外界因素的影响,软件开发项目处于一个动态环境中,因此确定任务......
在装配序列规划问题中解出符合约束条件、可行的装配序列,达成即定的装配目标是装配序列规划问题中一项重要的研究内容,也是研究中......
为实现基于曲线的参数化设计方法,给出了一个适合于参数化设计的Bezier曲线表示形式,提出了在几种约束条件下约束的满足方法,涉及......
本文将概念学习视为约束满足问题，给出了两种约束的定义．在这些约束的基础上，实现了基于遗传算法的概念学习系统ＣＬＳ的预处理方法
In thi......
针对用户星数据中继接入请求超额定购问题,分析了用户星业务种类,研究了中继卫星接入控制所受多类约束的特点,建立了约束满足模型;......
Job-Shop调度问题是产品制造业中共存的问题,它是实际生产调度问题的高度简化.解决好这一问题,是有效利用企业现有的资源、合理制......
针对边界不确定和具有决策偏好的大规模复杂作业车间调度问题,提出以第1级为交互式约束设置求解,第2级为优化求解的两级调度求解策......
本文分析了并行工程产品开发过程中约束的特点,探讨了不同类型约束对产品开发过程规划的不同影响;提出了基于设计约束的过程规划原......
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介......
人工智能与计算机科学中的许多问题都可视为约束满足问题.为了简化问题的求解,常采用局部一致性方法减小搜索空间.本文首先介绍与......
快速地确定满足配光要求的自由曲面型前照灯的设计方案，是车身造型的要求。采用基于事例推理的方法，首先研究了面向对象的前照灯事例......
在基于约束满足的Job Shop调度问题求解过程中，变量赋值顺序是影响搜索效率的关键因素。根据问题的约束拓扑关系，提出了变量的多级邻......
针对各阶段均有并行机的炼钢-连铸生产调度问题,建立了问题的约束满足模型.通过分析炼钢-连铸调度问题特点,将其归结为最小化操作......
进行了面向可信软件的风险管理模型的研究。首先采用贝叶斯信仰网络对影响软件可信性的风险进行了分析;其次,建立了基于约束满足的......
分析并行机Job-Shop调度问题的特点并建立其约束满足优化模型,结合约束满足与变邻域搜索技术设计了一个求解该问题的混合优化算法......
针对炼钢连铸动态调度问题,建立了问题的优化模型,设计了约束满足求解算法并分析了算法复杂度,开发了炼钢连铸动态调度的人机交互......
研究了一种考虑订单发货区域的物流配送问题，针对问题建立了两阶段多目标整数规划模型：订单车辆指派模型和车辆配送调度模型；基于对模......
针对高空飞艇成像任务规划问题进行研究，分析了高空飞艇遂行对地观测活动所需满足的主要约束，建立了以最大化任务收益为优化目标的约......
为解决热轧无缝纲管在多工艺路线下的订单排程问题,将工艺路线因素引入热轧钢管订单排程中,建立了以合理的工艺路线切换、最小化机......
针对提前/拖期Job Shop调度问题,建立其约束满足优化问题模型,提出了一种约束满足与禁忌搜索结合的混合算法。该算法基于约束满足......
在离散事件仿真中,首事件触发执行是决定整个仿真开始的关键,在研究军事仿真中的装甲车辆作战侦察模型的例子中提出了基于约束满足......
将炼钢批量计划问题转化为一个约束满足问题处理，建立问题的约束满足模型，给出了基于约束满足的求解算法。仿真实验证明了模型和算法......
综合考虑钢铁企业调度问题的特点,利用面向对象的设计模式,提出了基于约束满足方法的冶、铸、轧一体化生产调度方法.该方法以解决......
集装箱堆垛问题普遍存在于港口码头堆场作业管理中,是在集装箱数目已知的前提下,要求满足交货期限制、重量限制以及垛位高度限制等......
系统以英语教育为背景进行设计，旨在提供一个适合形成性测试和阶段性测试的自动组卷系统，能快速方便地提供各种要求的试卷，帮助教师把......
对立交线形动态拖动设计的几个关键技术进行论述。分析了缓和曲线计算精度，提出了动态拖动模式设计模型，以及约束满足条件下的非线性......
在基于虚拟组织的e-commerce中,常常涉及从大量的网上服务提供者中找到所需的供应商,并将发现的服务提供者集成起来,实现业务协作,......
Web Services合成是Web Services技术的重要方面，能够按要求提供选择新的服务。本文首先提出了Web Services服务约束的分类描述，进而......
研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性（SSAC）,并给出相应......
约束传播算法是求解约束满足问题的一种重要方法.调度问题是一种特殊的约束满足问题.本文介绍了调度问题中的Edge-Finding和Energy......
介绍了一个基于一般曲线的参数化设计模型.阐述了曲线(面)参数化设计、曲线的尺寸和曲线控制多边形的相似度等新概念,揭示了曲线参......
当前web服务组合已成为web services技术的一个重要方面，并且能够实时选择新的services以更好地满足人们的需求，这就需要制定自己web......
事例修改是事例推理系统的重要环节和难点。文中通过分析汽车车身内部布置过程的特点，提出以规则和关系表达式描述的车身内部布置的......
针对机器故障下的HFS重调度问题，提出了重调度前后调度方案在时间安排和机器指派上的一致性度量方法，从约束变化的角度建立其动态约......
在分析虚拟企业协商调整项目规划方案的不确定性因素的基础上,建立了工期—费用离散概率模型,提出了可快速判断是否有可行解的判据......
考虑面向冷装、温装、热装和直轧等多种生产工艺的炼钢、连铸和热轧三阶段一体化批量计划优化问题,针对问题特点提出了一体化编制......
为解决订单在生产过程中因某动态因素导致其出现产品质量问题而无法按期交货的问题,建立了以最小化产品替补总成本和订单之间替补......
为解决云制造环境下的跨企业协同生产调度问题,提出一种适用于云制造环境下生产资源调度的混合集合规划方法。该方法基于切削算法......
针对炼钢连铸过程中出现的新炉次插入的重调度问题,考虑实际生产中的工艺约束,以最小化开工时间差异度、加工机器差异度的加权和为......
针对地面站接收资源的组织和工作方式建立了一个资源配置图,在资源配置图的基础上进一步建立调度问题解空间的数学模型。在研究了......
提出一种新的随机ＣＳＰ（ｃｏｎｓｔｒａｉｎｔ ｓａｔｉｓｆａｃｔｉｏｎ ｐｒｏｂｌｅｍ）模型，并且通过研究搜索树的平均节点数，分析了回溯算法求解该模型的平均复杂性。结果表明，这种模型能够生成难解......
基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系，这样的变量之间进行约束传播不会互相影响取值．基于配置问题......
