期刊文献+
共找到266篇文章
< 1 2 14 >
每页显示 20 50 100
DEPICT:A High-level Formal Language for Modeling Constraint Satisfaction Problems
1
作者 Abdulwahed M.Abbas Edward P.K.Tsang Ahmad H.Nasri 《International Journal of Automation and computing》 EI 2008年第2期208-216,共9页
The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently de... The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved. 展开更多
关键词 constraint satisfaction problems (csps) and languages formal specifications typed predicate calculus language interpreter
下载PDF
Reduction and Analysis of a Max-Plus Linear System to a Constraint Satisfaction Problem for Mixed Integer Programming
2
作者 Hajime Yokoyama Hiroyuki Goto 《American Journal of Operations Research》 2017年第2期113-120,共8页
This research develops a solution method for project scheduling represented by a max-plus-linear (MPL) form. Max-plus-linear representation is an approach to model and analyze a class of discrete-event systems, in whi... This research develops a solution method for project scheduling represented by a max-plus-linear (MPL) form. Max-plus-linear representation is an approach to model and analyze a class of discrete-event systems, in which the behavior of a target system is represented by linear equations in max-plus algebra. Several types of MPL equations can be reduced to a constraint satisfaction problem (CSP) for mixed integer programming. The resulting formulation is flexible and easy-to-use for project scheduling;for example, we can obtain the earliest output times, latest task-starting times, and latest input times using an MPL form. We also develop a key method for identifying critical tasks under the framework of CSP. The developed methods are validated through a numerical example. 展开更多
关键词 Max-Plus ALGEBRA Scheduling CRITICAL PATH constraint satisfaction problems Mixed INTEGER Programing
下载PDF
Constraints Based Decision Support for Site-Specific Preliminary Design of Wind Turbines 被引量:1
3
作者 Abdelaziz Arbaoui Mohamed Asbik 《Energy and Power Engineering》 2010年第3期161-170,共10页
This study presents a decision-support tool for preliminary design of a horizontal wind turbine system. The function of this tool is to assist the various actors in making decisions about choices inherent to their act... This study presents a decision-support tool for preliminary design of a horizontal wind turbine system. The function of this tool is to assist the various actors in making decisions about choices inherent to their activities in the field of wind energy. Wind turbine cost and site characteristics are taken into account in the used models which are mainly based on the engineering knowledge. The present tool uses a constraint-modelling technique in combination with a CSP solver (numerical CSPs which are based on an arithmetic interval). In this way, it generates solutions and automatically performs the concept selection and costing of a given wind turbine. The data generated by the tool and required for decision making are: the quality index of solution (wind turbine), the amount of energy produced, the total cost of the wind turbine and the design variables which define the architecture of the wind turbine system. When applied to redesign a standard wind turbine in adequacy with a given site, the present tool proved both its ability to implement constraint modelling and its usefulness in conducting an appraisal. 展开更多
关键词 Wind TURBINE DECISION Support Preliminary Design Cost Modelling constraint satisfaction problem (csp) Digital csp SOLVER
下载PDF
考虑个体客户满意度的多车程生鲜品配送路径优化
4
作者 王能民 梁馨月 +1 位作者 张萌 何正文 《运筹与管理》 CSSCI CSCD 北大核心 2024年第4期14-20,I0001,共8页
随着生鲜电商的兴起,生鲜品的道路运输量越来越大,其配送任务越来越复杂,提升客户满意度是生鲜品配送的重要目标组成。文章以一个具有配送自主权的生鲜品供应商为研究对象,以整个计划周期内生鲜品配送的车辆运输成本最小及客户满意度最... 随着生鲜电商的兴起,生鲜品的道路运输量越来越大,其配送任务越来越复杂,提升客户满意度是生鲜品配送的重要目标组成。文章以一个具有配送自主权的生鲜品供应商为研究对象,以整个计划周期内生鲜品配送的车辆运输成本最小及客户满意度最大为双目标,且客户满意度从顾客的个体视角考虑,构建双目标多车程带时间窗及考虑订单打包时间的车辆路径优化模型。基于ε-约束方法,设计了两阶段变邻域搜索(VNS)和模拟退火(SA)相结合的元启发式算法,基于车辆构造初始路线,并针对性地提出了3点改进措施,包括通过数学性质推导下界、减少求解过程中不必要的搜索空间以及规避求解过程中被支配解的后优化处理。最后,以Solomon标准算例为基础构造算例对所设计的算法进行了计算实验,其求解结果表明:其设计的算法具有有效性,并通过敏感性分析得出相关管理启示。 展开更多
关键词 个体客户满意度 生鲜品配送 车辆路径问题 双目标优化 ε-约束法
下载PDF
基于CSP的配电网大面积断电供电恢复模型和算法 被引量:20
5
作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多
关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法
下载PDF
卫星测控资源调度CSP模型研究 被引量:6
6
作者 凌晓冬 武小悦 +2 位作者 刘冰 薛国虎 吴金美 《系统工程与电子技术》 EI CSCD 北大核心 2012年第11期2275-2279,共5页
对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的... 对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem,CSP)模型,并针对模型进行了求解方法研究。 展开更多
关键词 卫星测控 资源调度 约束满足问题
下载PDF
基于属性访问控制的CSP模型 被引量:11
7
作者 盖新貌 沈昌祥 +1 位作者 刘毅 周明 《小型微型计算机系统》 CSCD 北大核心 2011年第11期2217-2222,共6页
从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控制规则的形式化模型;其次,证明了在给定属性项值域的前提下,正向规则与负向规则可以互相转化,从而提出一... 从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控制规则的形式化模型;其次,证明了在给定属性项值域的前提下,正向规则与负向规则可以互相转化,从而提出一致性策略的概念,并分别根据肯定优先及否定优先规则合成算法,给出了一致性策略的形式化模型,研究了策略可允许访问操作集合;最后,通过实例阐述了基于属性访问控制模型的表达能力. 展开更多
关键词 基于属性的访问控制 约束满足问题 合成算法 可允许操作
下载PDF
中继卫星调度问题的CSP模型 被引量:28
8
作者 方炎申 陈英武 顾中舜 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第2期6-10,共5页
中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了... 中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。 展开更多
关键词 跟踪与数据中继卫星系统 活动 资源 约束满足问题 STK
下载PDF
云资源调度的回答集程序描述性求解
9
作者 王卫舵 王以松 杨磊 《广西师范大学学报(自然科学版)》 CAS 北大核心 2024年第2期94-104,共11页
针对求解难度为NP完全的基础设施即服务(IaaS)模式云资源调度问题,本文提出一种基于回答集程序(ASP)的描述性优化求解方法,并对其正确性进行分析。首先,把满足虚拟机CPU使用的情况下关闭尽可能多的主机做为减少云平台能耗的方法,将云资... 针对求解难度为NP完全的基础设施即服务(IaaS)模式云资源调度问题,本文提出一种基于回答集程序(ASP)的描述性优化求解方法,并对其正确性进行分析。首先,把满足虚拟机CPU使用的情况下关闭尽可能多的主机做为减少云平台能耗的方法,将云资源调度问题形式化表述;其次,结合形式化描述以及减少云平台能耗的策略,将云资源调度问题用ASP编码为描述性(优化)问题,并分析其正确性;最后,在公开的PlanetLab数据集上进行实验,结果显示,ASP方法可在保障服务质量的同时减少集群能耗,最高可节能13%以上。这表明ASP方法在云资源调度问题上是有效的,从而提供一种易理解、易修改并能充分利用ASP最新工具成果的有效云资源调度新方法。 展开更多
关键词 回答集程序 云资源调度 多目标优化 约束满足问题 能耗
下载PDF
基于学习-推理的约束求解方法研究进展
10
作者 邹悦 赖家洋 张永刚 《软件学报》 EI CSCD 北大核心 2024年第1期220-235,共16页
机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束... 机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束满足问题求解的新方法,这些基于“学习-推理”的新方法为约束满足问题求解开辟了新方向并展示出巨大发展潜力,方法的突出优点是适应性强、可在线优化并具有更强的可扩展性.将当前的“学习-推理”方法分为基于消息传递神经网络、基于序列到序列和基于最优化等3类进行综述,详细分析各类方法的特点和在不同的问题集上求解效果,尤其对每类方法所涵盖的相关工作进行多角度的对比分析.最后,对基于“学习-推理”的约束求解方法进行总结和展望. 展开更多
关键词 约束满足问题 消息传递神经网络 序列到序列 强化学习 最优化
下载PDF
基于DCSP的煤矿应急救援资源调配方法 被引量:6
11
作者 李卫 张自力 吴华君 《计算机科学》 CSCD 北大核心 2011年第5期244-248,共5页
在大规模群体突发事件发生后,如何实时及有效地调配资源,是保障应急救援快速实施的关键。以煤矿应急救援为背景,探讨合适的资源调配方法。分布式约束满足问题(DCSP——Distributed Constraint Satisfaction Pro-blem)擅于表示及求解分... 在大规模群体突发事件发生后,如何实时及有效地调配资源,是保障应急救援快速实施的关键。以煤矿应急救援为背景,探讨合适的资源调配方法。分布式约束满足问题(DCSP——Distributed Constraint Satisfaction Pro-blem)擅于表示及求解分布式环境下以协作性为主的问题,是一种解决具有信息分布、需求随环境动态变化等特点的资源调配问题的有效方法,而煤矿应急救援问题正好具有这样的特征。因此,采用DCSP方法来解决煤矿应急救援中的资源调配问题,抽取并构建了煤矿应急救援资源调配的模型,讨论了Agent模型和约束模型的定义,改进了MAWS(MAWS——Multiple Asynchronous Weak-commitment Search)算法。经实验验证,采用DCSP方法可在事故发生后的较短时间内做出有效的资源调配决策,减少资源送达到事故点的时间,为应急救援争取了大量救援时间,从而减少了煤矿事故发生后的人员伤亡和经济损失。 展开更多
关键词 煤矿 应急救援 资源调配 AGENT 分布式约束满足问题
下载PDF
基于CSP的Job shop调度算法研究 被引量:9
12
作者 杨宏安 孙树栋 +1 位作者 王荪馨 柴永生 《系统工程》 CSCD 北大核心 2004年第11期15-18,共4页
针对一类典型的约束满足问题--Job shop调度问题,提出一种CSP调度算法框架,详细讨论CSP 调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解 方法。仿真结果表明CSP调度算法在较小的... 针对一类典型的约束满足问题--Job shop调度问题,提出一种CSP调度算法框架,详细讨论CSP 调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解 方法。仿真结果表明CSP调度算法在较小的计算时间代价下,获得了FT10标准调度问题的近优解。 展开更多
关键词 JOB shop调度 约束满足问题 工序开始时间窗 概率模型 工序排序启发 开工时间排序启发
下载PDF
利用CSP技术辅助汽车驾驶室内布置方案设计 被引量:3
13
作者 袁苗龙 周济 高三德 《汽车工程》 EI CSCD 北大核心 1996年第6期338-342,共5页
本文将约束满足问题(Constraint Satisfaction Probolem缩写CSP)用于驾驶室内布置方案设计问题求解,提出了驾驶室内各对象之间的约束描述及分层,建立了约束网络及求解策略。
关键词 约束满足问题 驾驶室 布置 汽车 设计 方案
下载PDF
装配序列规划问题的CSP模型及其符号OBDD求解技术 被引量:8
14
作者 徐周波 古天龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第5期803-810,共8页
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向... 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性. 展开更多
关键词 装配序列生成 装配联接图 约束满足问题 有序二叉决策图
下载PDF
弹性约束CSP及其基于遗传算法的交互式求解Agent 被引量:2
15
作者 杜少甫 梁樑 余雁 《中国管理科学》 CSSCI 2005年第3期56-61,共6页
本文在回顾了约束满足问题(CSP)及其演进优化算法的基础上,提出了弹性约束CSP模型(ECSP),并将该模型形式化为六元组<V,D,H,S,P,G>。ECSP模型是对已有的PCSP模型的改进。为了寻求ECSP问题的决策满意解,我们还设计了集成多Ageng、G... 本文在回顾了约束满足问题(CSP)及其演进优化算法的基础上,提出了弹性约束CSP模型(ECSP),并将该模型形式化为六元组<V,D,H,S,P,G>。ECSP模型是对已有的PCSP模型的改进。为了寻求ECSP问题的决策满意解,我们还设计了集成多Ageng、GA优化以及分布式并行计算技术的一种交互式多Ageng体系。我们详细阐述了其中的GA求解器算法,包括适应函数的确定、编码方式的选择、算子定义以及初始种群定义等。最后,我们用一个简单的算例证明了方法的有效性。 展开更多
关键词 弹性约束满足问题(Ecsp) 决策满意解 Ageng 遗传算法(GA)
下载PDF
两种高效局部搜索算法求解RB模型实例
16
作者 杨易 王晓峰 +3 位作者 唐傲 彭庆媛 杨澜 庞立超 《计算机应用研究》 CSCD 北大核心 2024年第5期1394-1401,共8页
RB(revised B)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出两种高效的启发式局部搜索算法用于解决RB模型生成的大值域约束可满足问题。首先为基于权重指导搜索的W-MCH算法,该算法通过约束判断和违反约束数计分... RB(revised B)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出两种高效的启发式局部搜索算法用于解决RB模型生成的大值域约束可满足问题。首先为基于权重指导搜索的W-MCH算法,该算法通过约束判断和违反约束数计分来进行搜索,并引入了基于约束违反概率的权重计算公式,根据其关联的约束权重进行修正,再对变量进行迭代调整。然后提出最小化值域的MDMCH算法,该算法通过记录违反约束和逐步消除已违反约束变量的启发式策略来减少搜索空间,并在最小化后的变量域内重新校准变量赋值,进而有效提高算法的收敛速度。此外,还提出了融入模拟退火策略的WSCH和MDSCH算法,这两种算法都能根据变量的表征特点对变量域进行针对性的搜索。实验结果表明,与多种启发式算法相比,这两种算法在精度与时间效率方面均呈现明显提升,在复杂难解的实例中能够提供高效的求解效率,验证了算法的有效性和优越性。 展开更多
关键词 RB模型 约束满足问题 局部搜索算法 模拟退火 最小冲突启发式
下载PDF
基于UML与CCSP的产品配置方法 被引量:1
17
作者 袁际军 黄敏镁 《计算机工程与应用》 CSCD 2013年第14期1-9,24,共10页
为了有效开发易维护可重用的产品配置模型以及实现配置问题的快速求解,提出了结合面向对象建模技术与条件约束满足问题理论的产品配置方法。给出了条件约束满足问题理论模型;提出了基于统一建模语言和条件约束满足问题的产品配置建模与... 为了有效开发易维护可重用的产品配置模型以及实现配置问题的快速求解,提出了结合面向对象建模技术与条件约束满足问题理论的产品配置方法。给出了条件约束满足问题理论模型;提出了基于统一建模语言和条件约束满足问题的产品配置建模与求解方法;通过定义统一建模语言表示的产品配置概念模型与条件约束满足问题之间的映射规则集,建立了基于条件约束满足问题的产品配置模型。以某可配置医用监测器为应用实例,阐述了所提方法应用于配置模型构建与求解的可行性和有效性。 展开更多
关键词 产品配置 大规模定制 条件约束满足问题 统一建模语言
下载PDF
基于CSP的含分布式发电孤岛划分模型及算法 被引量:2
18
作者 曹家麟 张可夫 边晓燕 《上海电力学院学报》 CAS 2011年第5期427-430,434,共5页
DG的孤岛运行可作为供电恢复过程中提高供电可靠性的一种重要运行方式.在配电网发生故障时,为了及时制定出优化的孤岛划分方案,提出了含DG的孤岛划分模型和算法,以及基于约束满足问题模型,采用回溯算法对该约束满足问题进行求解,最后用... DG的孤岛运行可作为供电恢复过程中提高供电可靠性的一种重要运行方式.在配电网发生故障时,为了及时制定出优化的孤岛划分方案,提出了含DG的孤岛划分模型和算法,以及基于约束满足问题模型,采用回溯算法对该约束满足问题进行求解,最后用算例验证了所提方法的有效性和优越性. 展开更多
关键词 配电网 孤岛划分 约束满足问题 回溯算法 分布式发电
下载PDF
XML数据查询的CSP实现和算法改进
19
作者 徐德智 吴敏 陈学工 《计算机工程与应用》 CSCD 北大核心 2003年第7期52-54,共3页
XML犤1犦正在迅速成为WWW上采用的信息交换、表示和存储手段之一,该文简单介绍了基于OEM数据模型犤2犦的离散XML数据模式概念和在此思想上发展起来的基于模式匹配的数据查询概念;通过将模式匹配转换到约束满足问题(CSP)来具体求解匹配实... XML犤1犦正在迅速成为WWW上采用的信息交换、表示和存储手段之一,该文简单介绍了基于OEM数据模型犤2犦的离散XML数据模式概念和在此思想上发展起来的基于模式匹配的数据查询概念;通过将模式匹配转换到约束满足问题(CSP)来具体求解匹配实例,从而使WWW基于内容的查询转变为更为精确的基于结构的查询;接下来,从理论上证明了这种模式匹配到CSP转换的可行性;最后,讨论了求解CSP的算法的改进问题。 展开更多
关键词 XML 0EM 数据模型 csp 数据查询 算法改进 数据库系统 模式匹配
下载PDF
E-CARGO模型在CSP问题中的描述
20
作者 滕少华 张红 +3 位作者 刘冬宁 朱海滨 张巍 梁路 《计算机科学》 CSCD 北大核心 2015年第2期241-246,共6页
基于角色的协同RBC(Role-Based Collaboration)是一套研究角色及它们之间复杂关系的方法、理论和技术。在RBC中,群组角色分配GRA(Group Role Assignment)既是一个关键问题,也是一个难题。已有许多研究探讨了基于Q(Qualification)矩阵来... 基于角色的协同RBC(Role-Based Collaboration)是一套研究角色及它们之间复杂关系的方法、理论和技术。在RBC中,群组角色分配GRA(Group Role Assignment)既是一个关键问题,也是一个难题。已有许多研究探讨了基于Q(Qualification)矩阵来处理GRA问题,但仅利用Q矩阵难以描述问题中的复杂约束关系。因此,将约束集(Constraint)引进E-CARGO模型,提出了带约束的EC-CARGO模型,研究了RBC、GRA、SAT(SATisfaction)和CSP(Constraint Satisfaction Problem)之间的联系,建立了RBC-GRA-SAT-CSP问题求解转换关系;提出应用EC-CARGO模型求解经典CSP约束满足问题的方法,进而描述了应用GRA求解CSP约束满足问题的通用框架。最后以N皇后问题为例,验证了通过GRA的约束指派求解CSP问题的有效性。 展开更多
关键词 基于角色的协同 群组角色指派 约束满足问题 EC-CARGO模型 N皇后
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部