期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到252篇文章
< 1 2 … 13 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
中继卫星调度问题的CSP模型 被引量：28
1
作者 方炎申 陈英武 顾中舜 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第2期6-10,共5页
中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了... 中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。 展开更多
关键词 跟踪与数据中继卫星系统 活动 资源 约束满足问题 STK
下载PDF
卫星任务调度问题的约束规划模型 被引量：28
2
作者 陈英武 方炎申 +1 位作者 李菊芳 贺仁杰 《国防科技大学学报》 EI CAS CSCD 北大核心 2006年第5期126-132,共7页
卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完... 卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。 展开更多
关键词 卫星 任务调度 约束满足问题 约束规划 变邻域禁忌搜索算法
下载PDF
基于约束满足的卫星地面站资源优化分配问题研究 被引量：23
3
作者 贺仁杰 谭跃进 《计算机工程与应用》 CSCD 北大核心 2004年第18期229-232,共4页
卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不... 卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不同搜索算法和搜索策略的执行效率。 展开更多
关键词 约束满足问题 地面站资源分配 ILOG SOLVER
下载PDF
基于CSP的配电网大面积断电供电恢复模型和算法 被引量：20
4
作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多
关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法
下载PDF
最大度二元约束满足问题粒子群算法 被引量：19
5
作者 杨轻云 孙吉贵 张居阳 《计算机研究与发展》 EI CSCD 北大核心 2006年第3期436-441,共6页
约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选... 约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选择.使用随机约束满足问题实验表明,改进后的算法比原算法具有更好的搜索能力,能以更快的速度收敛到全局解. 展开更多
关键词 粒子群 约束满足问题 适应度 最大度变量序
下载PDF
集成多方面信息的定性空间推理及应用 被引量：12
6
作者 王生生 刘大有 +1 位作者 谢琦 王新颖 《软件学报》 EI CSCD 北大核心 2003年第11期1857-1862,共6页
以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出... 以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景. 展开更多
关键词 定性空间推理 约束满足问题 时空GIS
下载PDF
基于约束满足问题的产品配置方法 被引量：11
7
作者 李伟 张孟青 刘光复 《农业机械学报》 EI CAS CSCD 北大核心 2005年第7期126-130,共5页
提出了一种基于约束满足问题(constraintsatisfactionproblem,简称CSP)的产品配置方法,论证了基于CSP的产品配置方法能够很好地表示产品配置问题,同时具有良好的适应性和通用性。以某型叉车门架管路系统为例进行了基于CSP的仿真配置并... 提出了一种基于约束满足问题(constraintsatisfactionproblem,简称CSP)的产品配置方法,论证了基于CSP的产品配置方法能够很好地表示产品配置问题,同时具有良好的适应性和通用性。以某型叉车门架管路系统为例进行了基于CSP的仿真配置并分析了配置的过程,根据配置结果,基于CSP的产品配置方法能够实现准确、有效的产品配置。 展开更多
关键词 产品配置 约束满足问题 适应性
下载PDF
卫星地面站测控资源调度CSP模型 被引量：21
8
作者 金光 《系统工程与电子技术》 EI CSCD 北大核心 2007年第7期1117-1120,共4页
研究了测控系统资源调度问题的描述与建模问题。在系统阐述综合航天测控网资源调度中涉及的资源、任务、事件、约束基础上,使用变结构半环CSP模型,描述测控调度中涉及的事件窗、时间约束、状态约束、周期性任务、抢先式任务、变长任务... 研究了测控系统资源调度问题的描述与建模问题。在系统阐述综合航天测控网资源调度中涉及的资源、任务、事件、约束基础上,使用变结构半环CSP模型,描述测控调度中涉及的事件窗、时间约束、状态约束、周期性任务、抢先式任务、变长任务等硬、软约束,提出处理任务优先级和不确定性因素的途径。提出的模型对测控系统效能评价及资源调度算法研究也有一定的参考价值。 展开更多
关键词 测控 资源调度 约束满足问题
下载PDF
生产调度的一种启发式规则 被引量：10
9
作者 王家 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 1995年第5期27-32,共6页
本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和... 本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和两个作业调度决策间的关系，得到了新规则。它是局部最优的，其计算量不大。实验表明，对于使拖期时间最少，新规则确实优于简单规则。 展开更多
关键词 生产调度 约束满足问题 启发式规划 排序
原文传递
基于约束满足问题的绿色产品配置设计 被引量：18
10
作者 张雷 刘光复 +1 位作者 胡迪 高洋 《机械工程学报》 EI CAS CSCD 北大核心 2010年第19期117-124,共8页
以实现大规模定制模式下的绿色设计为目标,在对约束满足问题与绿色产品配置设计相似点进行比较的基础上,将其应用于实现绿色产品的配置设计中。按绿色产品客户需求的特点,将绿色产品的配置约束分为建议性约束和强制性约束,并在此基础上... 以实现大规模定制模式下的绿色设计为目标,在对约束满足问题与绿色产品配置设计相似点进行比较的基础上,将其应用于实现绿色产品的配置设计中。按绿色产品客户需求的特点,将绿色产品的配置约束分为建议性约束和强制性约束,并在此基础上给出了面向绿色设计的产品配置约束转换与表达方法。针对产品绿色设计的特点,对传统的回溯算法进行改进,将一维约束过滤模块和建议性约束满足度计算模块融入回溯算法中,提出一种基于约束满足问题的绿色产品配置算法。以自动豆浆机产品的配置设计为例,对所提方法进行验证与分析。应用实例表明,该配置设计方法能够在短时间内实现产品环境属性与功能、结构及经济属性的优化配置。 展开更多
关键词 绿色设计 产品配置 约束满足问题
下载PDF
一种基于变量熵求解约束满足问题的置信传播算法 被引量：18
11
作者 赵春艳 郑志明 《中国科学：信息科学》 CSCD 2012年第9期1170-1180,共11页
在置信传播(belief propagation,BP)算法中,提出一种基于变量熵来挑选变量从而固定变量赋值的策略,用于求解一类具有增长定义域的随机约束满足问题.RB模型是一个具有增长定义域的随机约束满足问题的典型代表,已经严格证明它不仅存在精... 在置信传播(belief propagation,BP)算法中,提出一种基于变量熵来挑选变量从而固定变量赋值的策略,用于求解一类具有增长定义域的随机约束满足问题.RB模型是一个具有增长定义域的随机约束满足问题的典型代表,已经严格证明它不仅存在精确的可满足性相变现象,而且可以生成难解实例.在RB模型上选取两组不同的参数进行数值实验.结果表明:在接近可满足性相变点时,BP引导的消去算法仍然可以非常有效地找到随机实例的解;不断增加问题的规模,算法的运行时间呈指数级增长;并且当控制参数(约束紧度)增加时,变量的平均自由度逐渐降低. 展开更多
关键词 约束满足问题 RB模型 相变 置信传播 算法 熵
原文传递
约束满足问题求解及ILOG SOLVER系统简介 被引量：15
12
作者 姜英新 孙吉贵 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2002年第1期53-60,共8页
首先综述求解约束满足问题的基本算法和搜索策略 ,然后介绍ILOGSOLVER求解系统提供的类和函数的基本组成 。
关键词 约束满足问题 约束求解 搜索策略 ILOG SOLVER系统 预测策略 排序策略
下载PDF
基于约束的旅游推荐系统的研究与设计 被引量：16
13
作者 王显飞 陈梅 李小天 《计算机技术与发展》 2012年第2期141-145,共5页
针对旅游领域的特点和传统推荐技术的应用局限性,提出一种基于约束的旅游推荐系统的设计方案,并对系统的推荐引擎进行了详细设计。系统通过可视化的知识获取工具高效地获取旅游领域知识、推荐规则、个性化规则等知识,使用交互&个性... 针对旅游领域的特点和传统推荐技术的应用局限性,提出一种基于约束的旅游推荐系统的设计方案,并对系统的推荐引擎进行了详细设计。系统通过可视化的知识获取工具高效地获取旅游领域知识、推荐规则、个性化规则等知识,使用交互&个性化代理以会话式的交互方式逐步地启发用户的偏好和需要,利用多属性效用理论对推荐结果进行排序。相比传统的推荐方法,利用基于约束的推荐技术,能够为用户提供更加准确、个性化的旅游推荐服务。 展开更多
关键词 旅游推荐系统 基于约束的推荐 约束满足问题 个性化
下载PDF
并行工程中时间约束网络建立及冲突检测研究 被引量：10
14
作者 徐文胜 熊光楞 肖田元 《系统仿真学报》 CAS CSCD 2003年第2期185-189,197,共6页
由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转... 由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转化为定量时间约束网络的基础上,提出一种面向定量时间约束网络的冲突检测的方法。基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。 展开更多
关键词 并行工程 时间约束网络 冲突检测 约束满足问题 冲突管理
下载PDF
一种基于约束满足问题的产品配置方法 被引量：5
15
作者 李伟 刘光复 张孟青 《成组技术与生产现代化》 2004年第2期50-54,共5页
提出了采用约束满足问题CSP来表示和求解产品配置问题,给出了基于CSP的产品配置方法和求解非二维CSP的前向传播算法nFC,并与基于规则的配置方法相比较,分析了基于CSP的配置方法在配置知识的表示、配置问题的知识推理和配置知识的演化与... 提出了采用约束满足问题CSP来表示和求解产品配置问题,给出了基于CSP的产品配置方法和求解非二维CSP的前向传播算法nFC,并与基于规则的配置方法相比较,分析了基于CSP的配置方法在配置知识的表示、配置问题的知识推理和配置知识的演化与维护上的特点,最后进行了仿真验证. 展开更多
关键词 约束满足问题 产品配置 知识表示 推理
下载PDF
基于CSP的能耗高效云计算资源调度模型与算法 被引量：15
16
作者 林伟伟 刘波 +1 位作者 朱良昌 齐德昱 《通信学报》 EI CSCD 北大核心 2013年第12期33-41,共9页
利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模,通过求解建立的约束模型可以获得能耗最优的资源分配方式,并在此基础上提出了能耗优化的资源分配算法dynamicpower(DY)。与已有的算法MinPM、FFD、BFD相比,算法DY考虑了资... 利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模,通过求解建立的约束模型可以获得能耗最优的资源分配方式,并在此基础上提出了能耗优化的资源分配算法dynamicpower(DY)。与已有的算法MinPM、FFD、BFD相比,算法DY考虑了资源的异构性,能够降低云数据中心物理服务器的能耗。最后,利用Choco实现了提出的算法DY,并将DY与MinPM、FFD、BFD进行实验比较,实验结果表明,提出的算法在能耗上有明显优势。 展开更多
关键词 云计算 资源分配 能耗效率 约束满足问题
下载PDF
协同设计中基于约束的冲突检测 被引量：6
17
作者 谢洪潮 陈大融 孔宪梅 《中国机械工程》 EI CAS CSCD 北大核心 2002年第18期1590-1592,共3页
如何实时检测设计冲突从而维护设计一致性是协同设计的关键问题。提出了基于约束的自动冲突检测方法 ;介绍了设计约束在产品信息模型中面向对象的表征 ;讨论了工程设计中的约束满足问题及其区间求解算法 ,并在此基础上发展了一个基于网... 如何实时检测设计冲突从而维护设计一致性是协同设计的关键问题。提出了基于约束的自动冲突检测方法 ;介绍了设计约束在产品信息模型中面向对象的表征 ;讨论了工程设计中的约束满足问题及其区间求解算法 ,并在此基础上发展了一个基于网络的冲突检测器。冲突检测器能够在协同设计过程中实时检测设计冲突 ,避免不必要的设计反馈和重复磋商 ,从而提高了设计效率。 展开更多
关键词 协同设计 设计约束 约束满足问题 冲突检测
下载PDF
基于结合空间拓扑和方向关系信息的空间推理 被引量：9
18
作者 孙海滨 李文辉 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期253-259,共7页
结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC... 结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的· 展开更多
关键词 定性空间推理 约束满足问题 路径一致算法 计算复杂性
下载PDF
求解约束满足问题的改进蚁群优化算法 被引量：13
19
作者 张永刚 张思博 薛秋实 《通信学报》 EI CSCD 北大核心 2015年第5期40-46,共7页
为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容... 为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容检查进行预处理以压缩搜索空间,二是提出了一种新的蚁群算法参数设置方案,提高算法的适应性。最后将改进后的算法应用于求解随机问题和组合优化问题。实验结果表明,改进后的算法求解效率得到大幅度提高。 展开更多
关键词 约束满足问题 蚁群算法 弧相容 参数调节
下载PDF
基于有向图故障树自动建树方法的规范化描述及其应用研究 被引量：9
20
作者 钱彦岭 邱静 温熙森 《自动化学报》 EI CSCD 北大核心 2003年第5期767-772,共6页
基于有向图的建树方法是目前故障树自动建树研究中最常用的方法之一 ,但其有效性多年来一直存在争议 ,其主要原因在于采用传统的专家定义的算子进行建树推理时 ,算子定义不规范 ,导致对系统复杂的控制结构适应能力不强 .该文利用人工智... 基于有向图的建树方法是目前故障树自动建树研究中最常用的方法之一 ,但其有效性多年来一直存在争议 ,其主要原因在于采用传统的专家定义的算子进行建树推理时 ,算子定义不规范 ,导致对系统复杂的控制结构适应能力不强 .该文利用人工智能的原理 ,对定性推理逻辑进行了必要的扩展 ,提出了建树过程的形式化描述 ,在此基础上将故障树的建树问题转化为一个约束满足问题 (CSP) ,从而可利用比较成熟的算法来解决上述问题 .针对实际问题的例证说明了这一过程 .研究表明 ,文中所提出的方法更便于计算机自动处理 ,减少建树过程中的人为失误 ,可有效地提高故障分析效率 . 展开更多
关键词 约束满足问题 有向图 故障树 自动建树方法 规范化描述 人工智能
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 13 下一页 到第 页
使用帮助 返回顶部