基于约束满足的多星对区域目标观测活动协同 被引量：31

1

作者 阮启明 谭跃进 +2 位作者 李永太 陈英武 贺仁杰 《宇航学报》 EI CAS CSCD 北大核心 2007年第1期238-242,共5页

多星对区域目标观测活动的协同问题是卫星任务规划与调度领域的新问题。讨论了采用多星协同模式观测区域目标的必要性,描述了协同问题的研究内容。基于约束满足理论,建立了多星协同问题的约束优化问题模型,提出了一种禁忌算法与约束传... 多星对区域目标观测活动的协同问题是卫星任务规划与调度领域的新问题。讨论了采用多星协同模式观测区域目标的必要性,描述了协同问题的研究内容。基于约束满足理论,建立了多星协同问题的约束优化问题模型,提出了一种禁忌算法与约束传播相结合的求解机制。最后,以仿真算例验证了模型与算法的正确性和优化性能。 展开更多

关键词 约束满足 对地观测卫星 区域目标 协同 约束传播

下载PDF 职称材料

基于约束满足的热轧批量计划模型与算法 被引量：18

2

作者 李铁克 郭冬芬 《控制与决策》 EI CSCD 北大核心 2007年第4期389-393,398,共6页

将热轧批量计划问题作为一个约束满足问题处理,建立不确定计划数的VRPSTW约束满足模型.在求解过程中,先用约束满足的一致性技术过滤变量的值域,收缩搜索空间;然后用变量选择和值选择构造轧制计划的解.为变量赋值之后,实施约束传播,保证... 将热轧批量计划问题作为一个约束满足问题处理,建立不确定计划数的VRPSTW约束满足模型.在求解过程中,先用约束满足的一致性技术过滤变量的值域,收缩搜索空间;然后用变量选择和值选择构造轧制计划的解.为变量赋值之后,实施约束传播,保证每块板坯只被访问一次并动态禁止子回路.在已有的解的基础上,应用基于禁忌的k-opt互换改进解的质量.数据实验证明模型和算法是有效的. 展开更多

关键词 热轧批量计划 车辆路径问题 约束满足 一致性技术 约束传播 k-opt互换

下载PDF 职称材料

非二元约束满足问题求解 被引量：16

3

作者 孙吉贵 景沈艳 《计算机学报》 EI CSCD 北大核心 2003年第12期1746-1752,共7页

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 . 展开更多

关键词 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法

下载PDF 职称材料

一种有效的R_－时刻表综合算法 被引量：8

4

作者 方思行 《华南理工大学学报（自然科学版）》 EI CAS CSCD 1995年第9期43-48,共6页

本文提出一种有效的求解时间规划问题中Ｒ－时刻表的综合算法．它通过逐级调用基于三角形的约束传递算法对时间约束关系进行筛选的办法，迅速地缩小搜索范围。然后，将精简的关系矩阵法应用于完全解，得到一致满足所有时间关系约束的Ｒ... 本文提出一种有效的求解时间规划问题中Ｒ－时刻表的综合算法．它通过逐级调用基于三角形的约束传递算法对时间约束关系进行筛选的办法，迅速地缩小搜索范围。然后，将精简的关系矩阵法应用于完全解，得到一致满足所有时间关系约束的Ｒ－时刻表。 展开更多

关键词 过滤算法 时间规划 R-时刻表 人工智能 算法

下载PDF 职称材料

最先失败原则的约束传播算法 被引量：7

5

作者 孙吉贵 朱兴军 +1 位作者 张永刚 高健 《小型微型计算机系统》 CSCD 北大核心 2008年第4期678-681,共4页

约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域... 约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%. 展开更多

关键词 最先失败原则 弧相容 约束满足问题 约束传播

下载PDF 职称材料

基于第一原理的实用故障诊断算法 被引量：5

6

作者 方敏 茹继锋 王峻 《东南大学学报（自然科学版）》 EI CAS CSCD 1999年第3期83-88,共6页

根据基于第一原理的多故障诊断理论，针对具有固定测量点的连续物理系统，提出一种实用诊断算法．算法分３步：①根据系统的结构和测量点分布等不变知识，离线识别最小冲突集候选；②根据测量数据，在线确定最小冲突集合组；③由系统的... 根据基于第一原理的多故障诊断理论，针对具有固定测量点的连续物理系统，提出一种实用诊断算法．算法分３步：①根据系统的结构和测量点分布等不变知识，离线识别最小冲突集候选；②根据测量数据，在线确定最小冲突集合组；③由系统的冲突集合组求出诊断集．算法可大大节省时间资源，便于实时故障诊断． 展开更多

关键词 故障诊断 冲突识别 约束传播 第一原理 算法

下载PDF 职称材料

用三维几何约束构建概念化设计阶段的三维布局 被引量：5

7

作者 吴涛 高福运 +1 位作者 白跃伟 陈卓宁 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第7期907-912,共6页

概念化设计是产品设计中的一个重要环节 ,其主要任务是实施产品结构的空间布局 ,并确定连接关系 由于概念化设计阶段产品结构信息不明确 ,因此现有的三维设计工具 (如solidedge7 0 ,MDT等 )无法有效支持概念化阶段的设计活动 在对装... 概念化设计是产品设计中的一个重要环节 ,其主要任务是实施产品结构的空间布局 ,并确定连接关系 由于概念化设计阶段产品结构信息不明确 ,因此现有的三维设计工具 (如solidedge7 0 ,MDT等 )无法有效支持概念化阶段的设计活动 在对装配关系进行抽象的基础上 ,利用三维约束与驱动实现概念化设计阶段的空间布局设计活动 。 展开更多

关键词 几何约束 概念化设计 产品设计 空间布局 CAD 计算机辅助设计

下载PDF 职称材料

约束满足技术在板坯排序中的应用 被引量：7

8

作者 郭冬芬 李铁克 《计算机工程与应用》 CSCD 北大核心 2007年第9期1-3,10,共4页

热轧调度中的板坯排序问题是一类特殊的排序问题,具有约束条件复杂、NP难特点。为了简化问题,将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型,设计了基于约束满足和启发式混合求解算法。用3组实际生产数据... 热轧调度中的板坯排序问题是一类特殊的排序问题,具有约束条件复杂、NP难特点。为了简化问题,将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型,设计了基于约束满足和启发式混合求解算法。用3组实际生产数据对算法性能进行验证,说明了算法的有效性。 展开更多

关键词 热轧调度 约束满足问题 约束传播 节点互换算法

下载PDF 职称材料

多站多星任务调度模型及求解 被引量：7

9

作者 王万玉 张志强 《电讯技术》 北大核心 2011年第4期1-6,共6页

针对遥感卫星数据接收任务的特征,提出了多站多星任务调度的主要约束条件和优化目标函数,建立了基于约束满足优化问题的多站多星任务调度模型,采用贪婪算法和约束传播相结合的方法对多站多星任务调度进行了求解。该优化调度模型及求解... 针对遥感卫星数据接收任务的特征,提出了多站多星任务调度的主要约束条件和优化目标函数,建立了基于约束满足优化问题的多站多星任务调度模型,采用贪婪算法和约束传播相结合的方法对多站多星任务调度进行了求解。该优化调度模型及求解算法已成功运用于遥感卫星数据接收站的日常运行工作中。 展开更多

关键词 遥感卫星 数据接收站 多站多星 任务调度 优化模型 贪婪算法 约束传播

下载PDF 职称材料

考虑生产顺序依赖的离散批量调度问题研究

10

作者 张鋆 唐昕 郑澜波 《武汉理工大学学报》 CAS 2024年第5期148-156,共9页

离散批量调度问题(DLSP)是一类特殊的生产规划问题。在该问题中,生产时间被分割成离散的片段,每个时段以全产能生产一种产品,除库存和生产成本外,还存在依赖于产品生产顺序的切换成本。解决此类问题需要同时决定批量的规模和批次顺序,... 离散批量调度问题(DLSP)是一类特殊的生产规划问题。在该问题中,生产时间被分割成离散的片段,每个时段以全产能生产一种产品,除库存和生产成本外,还存在依赖于产品生产顺序的切换成本。解决此类问题需要同时决定批量的规模和批次顺序,这对有效地规划生产批次和调度,提高生产效率,控制成本至关重要。作者以约束规划为手段,研究单产线多产品的DLSP问题,在Fleischman[3]将问题转换为带时间窗的旅行商问题(TSPTW)的基础上,建立约束规划模型;针对模型在约束变量上联系并不紧密的情况,运用基于边际成本的域削减技术,极大缩减变量值域,随后进行不同规模的数值实验,验证模型和算法的有效性。实验结果表明:算法能够在60 s内有效提高初始解质量。 展开更多

关键词 离散批量调度 约束规划 TSPTW 约束传播

原文传递

结合稀疏表示与约束传递的半监督谱聚类算法 被引量：6

11

作者 赵晓晓 周治平 《智能系统学报》 CSCD 北大核心 2018年第5期855-862,共8页

针对半监督谱聚类不能有效处理大规模数据,没有考虑约束传递不能充分利用有限约束信息的问题,提出一种结合稀疏表示和约束传递的半监督谱聚类算法。首先,根据约束信息生成约束矩阵,将其引入到谱聚类中;然后,将约束集合中的数据作为地标... 针对半监督谱聚类不能有效处理大规模数据,没有考虑约束传递不能充分利用有限约束信息的问题,提出一种结合稀疏表示和约束传递的半监督谱聚类算法。首先,根据约束信息生成约束矩阵,将其引入到谱聚类中;然后,将约束集合中的数据作为地标点构造稀疏表示矩阵,近似获得图相似度矩阵,从而改进约束谱聚类模型;同时,根据地标点的相似度矩阵生成连通区域,在每个连通区域内动态调整近邻点,利用约束传递进一步提高聚类准确率。实验表明,所提算法和约束谱聚类相比,在算法效率方面具有明显优势,且准确率没有明显下降;和快速谱聚类方法相比,在聚类准确率上有所提升。 展开更多

关键词 数据挖掘 聚类分析 谱聚类 半监督学习 稀疏表示 约束传递

下载PDF 职称材料

约束传播自适应半监督非负矩阵分解聚类算法

12

作者 朱拓基 林浩申 +2 位作者 赵伟豪 王靖 杨晓君 《计算机工程与应用》 CSCD 北大核心 2024年第13期81-91,共11页

对称非负矩阵分解(SNMF)能够自然地捕获图表示中嵌入的聚类结构,是线性和非线性数据聚类应用的重要方法。但其对变量的初始化较敏感,初始化矩阵的质量好坏会较大地影响聚类性能,且在半监督聚类中面临着从有限的标记数据中学习更具辨别... 对称非负矩阵分解(SNMF)能够自然地捕获图表示中嵌入的聚类结构,是线性和非线性数据聚类应用的重要方法。但其对变量的初始化较敏感,初始化矩阵的质量好坏会较大地影响聚类性能,且在半监督聚类中面临着从有限的标记数据中学习更具辨别力表示的挑战。针对以上问题,提出了一种约束传播自适应半监督非负矩阵分解聚类算法(constrained propagation self-adaptived semi-supervised non-negative matrix factorization clustering algorithm,CPS3NMF)。该算法将有限约束传播到无约束数据点,构建出带有约束信息的相似矩阵,所获得的相似矩阵充当SNMF中分解的非负对称矩阵,还用于对分配矩阵进行图正则化,充分利用约束信息来保存数据空间的几何结构。同时结合SNMF对初始化特征的敏感性,使用自适应学习的权重对多个初始化矩阵的质量进行排序,集成多次聚类结果来逐步提高半监督聚类性能。在6个公开数据集上进行实验表明所提出的CPS3NMF算法优于其他先进算法,证明了其在半监督聚类中的有效性。 展开更多

关键词 对称非负矩阵分解 半监督学习 约束传播 聚类

下载PDF 职称材料

铁路编组站动态配流的约束传播和多点构建性搜索的混合算法 被引量：4

13

作者 马亮 郭进 +1 位作者 陈光伟 郭瑞 《信息与控制》 CSCD 北大核心 2015年第2期230-237,共8页

为了提高动态配流模型的通用性和稳定性,基于约束程序累积调度和字典序多目标优化,以作业之间实施逻辑和优先级关系、班计划和列车编组计划要求、资源容量限制等为约束,按照配流成功的出发列车优先级总和最大、车辆平均中停时最小和资... 为了提高动态配流模型的通用性和稳定性,基于约束程序累积调度和字典序多目标优化,以作业之间实施逻辑和优先级关系、班计划和列车编组计划要求、资源容量限制等为约束,按照配流成功的出发列车优先级总和最大、车辆平均中停时最小和资源利用率最高3个目标的优先级,建立适应于不同解体方式的动态配流字典序多目标累积调度的3层模型.为提高算法效率,设计了约束传播和多点构建性搜索混合的带初始解迭代算法,每层先通过约束传播算法化简模型,再通过带约束传播的多点构建性搜索算法快速求解,以决策出优化的作业排程和配流方案.实验表明,模型扩展性更强、更稳定、更符合现场实际;算法效率高,能够满足现场对计划编制和调整的实施性需求. 展开更多

关键词 编组站 动态配流 约束程序 约束传播 多点构建性搜索

原文传递

OPRA方向关系网络的时空推理 被引量：4

14

作者 王生生 王创峰 谷方明 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2017年第4期1238-1243,共6页

由于目前的有向点方向代数(OPRA)推理只关注3个空间对象的静态关系推理,本文针对n个对象的方向关系定义了OPRA方向关系网络的时空推理问题。基于约束传播和概念领域理论,利用OPRA关系之间的空间约束和时间演变规律,给出了OPRA方向关系... 由于目前的有向点方向代数(OPRA)推理只关注3个空间对象的静态关系推理,本文针对n个对象的方向关系定义了OPRA方向关系网络的时空推理问题。基于约束传播和概念领域理论,利用OPRA关系之间的空间约束和时间演变规律,给出了OPRA方向关系网络时空推理算法,解决了n个对象间动态OPRA关系的推理问题。本文算法可以应用于机器人导航、无人机导航、舰艇导航、战场分析等领域。 展开更多

关键词 人工智能 时空推理 有向点关系代数 约束传播 概念邻域

下载PDF 职称材料

调度问题中两类分离约束传播算法的比较及一种改进算法

15

作者 贺仁杰 谭跃进 《运筹与管理》 CSCD 2004年第2期25-29,共5页

约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge ... 约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge Finding改进算法。 展开更多

关键词 调度问题 分离约束传播算法 约束传播 Edge-Finding Energy-Reasoning 约束满足 运筹学 人工智能

下载PDF 职称材料

基于约束传播的HFS调度研究 被引量：2

16

作者 孙玲 李铁克 《计算机工程与应用》 CSCD 北大核心 2007年第19期7-9,34,共4页

将约束传播技术同分枝定界法相结合求解优化目标为最小最大完工时间的混合流水车间调度问题。算法核心是根据资源松弛度确定关键阶段,通过在分枝定界算法中嵌入动态可调的开工时间窗口,用顺序传播、资源传播、上下游工序传播,动态修改... 将约束传播技术同分枝定界法相结合求解优化目标为最小最大完工时间的混合流水车间调度问题。算法核心是根据资源松弛度确定关键阶段,通过在分枝定界算法中嵌入动态可调的开工时间窗口,用顺序传播、资源传播、上下游工序传播,动态修改每个操作的开工时间窗上下界,并在算法特点基础上给出相应的剪枝下界,以减小搜索空间,提高分枝定界法的优化能力。实验结果证明了算法的有效性。 展开更多

关键词 混合流水车间 约束传播 分枝定界法 生产调度

下载PDF 职称材料

一类离散系统的定性仿真 被引量：4

17

作者 朱六璋 陈宗海 《系统仿真学报》 EI CAS CSCD 2001年第3期300-303,共4页

分析了一类具有离散时间分析和延时特性的离散系统定性仿真方法。通过将离散系统的不精确或不完备知识抽象为定性值、规则和约束，运用定性差分方程形式定性建模，结合QSIM算法中约束传播定量信息进行定性定量集成仿真。并给出仿真实例。

关键词 定性仿真 定性推理 区间代数 离散系统 人工智能

下载PDF 职称材料

参数化弧相容约束传播 被引量：3

18

作者 高健 孙吉贵 +1 位作者 张永刚 朱兴军 《吉林大学学报（信息科学版）》 CAS 2007年第2期183-187,共5页

为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提出了一个约束传播程度可以控制的弧相容传播算法，研究了在不同参数下约束求解算法的效率。该算法... 为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提出了一个约束传播程度可以控制的弧相容传播算法，研究了在不同参数下约束求解算法的效率。该算法在“明月1．0”架构下实现。实验结果表明，约束传播程度是影响算法求解效率的一个重要因素，通过调整控制参数可以使算法效率提高3～4倍。 展开更多

关键词 弧相容 约束传播 约束满足 缩减比例

下载PDF 职称材料

一个并发约束程序设计语言的定义与实现

19

作者 廖乐健 曹元大 董国增 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第3期241-246,共6页

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起... 设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性. 展开更多

关键词 并发约束程序设计 约束储仓 约束传播 回溯

下载PDF 职称材料

编组站静态配流的约束传播和启发式回溯算法 被引量：2

20

作者 马亮 郭进 陈光伟 《西南交通大学学报》 EI CSCD 北大核心 2014年第6期1116-1122,共7页

为了提高阶段计划的编制效率,针对编组站静态配流字典序多目标累积调度模型,设计了迭代、约束传播和启发式回溯的混合算法.该算法根据多目标的字典序将模型分为3层:第1层为配流成功的出发列车优先级总和最大化,第2层为出发列车车流来源... 为了提高阶段计划的编制效率,针对编组站静态配流字典序多目标累积调度模型,设计了迭代、约束传播和启发式回溯的混合算法.该算法根据多目标的字典序将模型分为3层:第1层为配流成功的出发列车优先级总和最大化,第2层为出发列车车流来源总数最少化,第3层为车辆平均停留时间最短化.每层先通过约束传播算法化简模型、缩小解空间,再通过启发式回溯算法和约束传播技术联合快速求解.上一层的最优解作为下一层的初始解,并动态增加避免上一层目标退化的约束,迭代求解每层的最优解.通过某编组站实际数据验证表明,本算法耗时小于20 s,满足现场对阶段计划编制的实时性要求,且求得的配流方案优于其他算法. 展开更多

关键词 编组站 静态配流 约束传播 启发式回溯 约束满足问题

下载PDF 职称材料