非二元条件约束满足问题求解 被引量：2

1

作者 袁际军 黄敏镁 《计算机集成制造系统》 EI CSCD 北大核心 2014年第3期636-651,共16页

非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出... 非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。 展开更多

关键词 非二元条件约束满足问题 非二元条件回溯算法 非二元条件前向检查算法 非二元弧一致性

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

基于非二元约束满足的配置问题求解方法 被引量：3

3

作者 单汨源 袁际军 《计算机工程》 CAS CSCD 北大核心 2008年第7期205-208,共4页

依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实... 依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。 展开更多

关键词 大规模定制 逻辑产品模型 产品配置 非二元约束满足问题

在线阅读 下载PDF 职称材料

基于关联约束非二元弧一致性的约束满足问题求解 被引量：1

4

作者 袁际军 单汨源 王克喜 《计算机科学》 CSCD 北大核心 2008年第5期158-162,共5页

弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和... 弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。 展开更多

关键词 非二元约束满足问题 回溯算法 关联约束非二元弧一致性 随机NCSP生成器

在线阅读 下载PDF 职称材料

非负组稀疏约束优化问题的最优性条件

5

作者 胡珊珊 贺素香 《数学物理学报（A辑）》 CSCD 北大核心 2024年第2期500-512,共13页

基于Bouligand意义下的切锥与法锥和Clarke意义下的切锥与法锥,该文研究了非负组稀疏约束优化问题的最优性理论.该文定义了非负组稀疏约束集的Bouligand切锥与法锥和Clarke切锥与法锥,并给出了它们的等价刻画形式.在目标函数连续可微的... 基于Bouligand意义下的切锥与法锥和Clarke意义下的切锥与法锥,该文研究了非负组稀疏约束优化问题的最优性理论.该文定义了非负组稀疏约束集的Bouligand切锥与法锥和Clarke切锥与法锥,并给出了它们的等价刻画形式.在目标函数连续可微的条件下,借助于非负组稀疏约束集的切锥和法锥,给出了该优化问题的四类稳定点的定义,并讨论了它们之间的关系.最后,建立了非负组稀疏约束优化问题的一阶和二阶最优性条件. 展开更多

关键词 非负组稀疏约束优化问题 最优性条件 切锥 法锥

在线阅读 下载PDF 职称材料

基于条件约束满足问题的产品配置研究 被引量：17

6

作者 杨煜俊 刘清华 +2 位作者 万立 王启富 陈立平 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1332-1337,共6页

强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置... 强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置模型具有表达一致性;配置变量分为类型变量、属性变量、接口变量、基数变量四种类型;配制约束包含依赖约束和活动约束两种类型;在构建统一形式配置模型的基础上,采用一种模型分解策略进行求解。最后采用一个汽车产品实例说明配制建模和配置求解过程。 展开更多

关键词 产品配置 条件约束满足问题 模型分解策略

在线阅读 下载PDF 职称材料

基于值序的二元约束满足问题粒子群算法 被引量：2

7

作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期57-59,共3页

提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原... 提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法能以更快的速度收敛到全局解,无论在迭代次数还是运行时间上均能数倍提高算法的效率。 展开更多

关键词 粒子群算法 二元约束满足问题 最小冲突启发式 值序

在线阅读 下载PDF 职称材料

稀疏二元约束满足问题的环割集粒子群算法(英文) 被引量：1

8

作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《广西师范大学学报（自然科学版）》 CAS 北大核心 2006年第4期135-138,共4页

提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法... 提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。 展开更多

关键词 二元约束满足问题 粒子群算法 环割集 弧相容

在线阅读 下载PDF 职称材料

一种求解二元约束满足问题自适应粒子群算法

9

作者 付宏杰 欧阳丹彤 孙吉贵 《计算机工程与应用》 CSCD 北大核心 2009年第29期10-13,共4页

提出了一种求解二元约束满足问题的自适应粒子群算法(SAPSO),其中每个粒子具有两种状态,定义了一个反应粒子活跃程度的变量以决定粒子所属的状态。为了平衡粒子不同进化阶段的开发和探测能力,在SAPSO中引入了随着每个粒子的进化状态和... 提出了一种求解二元约束满足问题的自适应粒子群算法(SAPSO),其中每个粒子具有两种状态,定义了一个反应粒子活跃程度的变量以决定粒子所属的状态。为了平衡粒子不同进化阶段的开发和探测能力,在SAPSO中引入了随着每个粒子的进化状态和粒子群的进化状态动态改变的惯性权重。利用自适应的选取方式代替随机选择的盲目搜索方式,使群体在解空间搜索时,能够自适应地去探索新的区域,选择有希望找到更优解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法(PS-CSP)能以更快的速度收敛到全局解。算法的效率大约提高两倍,平均迭代次数大约为原来的一半。 展开更多

关键词 粒子群算法 二元约束满足问题 惯性权重 适应度

在线阅读 下载PDF 职称材料

一类非凸约束优化问题的近似最优性条件及其混合型对偶 被引量：1

10

作者 王娇浪 方东辉 《数学物理学报（A辑）》 CSCD 北大核心 2022年第3期651-660,共10页

利用函数Frechet次微分性质,引入新的约束规范条件,建立了目标函数和(或)约束函数为α-凸函数的非凸约束优化问题的近似最优性条件以及该问题及其混合型对偶问题之间的弱对偶、强对偶和逆对偶定理.

关键词 非凸约束优化问题 约束规范条件 近似最优性条件 混合型对偶

在线阅读 下载PDF 职称材料

一类部分反向凸约束优化问题的组合同伦方法 被引量：6

11

作者 高云峰 刘庆怀 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第6期1110-1112,共3页

研究一类部分反向凸约束可行域上函数极小化问题的组合同伦内点方法,针对这类部分反向凸约束区域,给出了拟法锥的构造方法,并证明了所选的映射关于约束梯度是正独立的及所构造的拟法锥满足拟法锥条件.

关键词 非凸可行域 同伦内点法 拟法锥条件 部分反向凸约束 非凸优化问题

在线阅读 下载PDF 职称材料

非条件稳健性、条件稳健性与企业投资效率 被引量：22

12

作者 罗斌元 《中南财经政法大学学报》 CSSCI 北大核心 2014年第2期119-127,160,共9页

本文将会计稳健性分为非条件稳健性和条件稳健性,深入阐述这两种稳健性对企业投资效率的作用机理,并以此作为实证研究假设,实证检验这种作用机理,研究发现:条件稳健性是通过融资约束和代理问题这两种渠道作用于企业投资效率的;条件稳健... 本文将会计稳健性分为非条件稳健性和条件稳健性,深入阐述这两种稳健性对企业投资效率的作用机理,并以此作为实证研究假设,实证检验这种作用机理,研究发现:条件稳健性是通过融资约束和代理问题这两种渠道作用于企业投资效率的;条件稳健性确实能够提高企业投资效率,而非条件稳健性却降低了企业投资效率;公司面临的融资约束程度越严重,条件稳健性对企业投资效率的提高作用越明显;公司代理问题越严重,条件稳健性对企业投资效率的提高作用也越明显。 展开更多

关键词 会计稳健性 条件稳健性 非条件稳健性 融资约束 代理问题

在线阅读 下载PDF 职称材料

一种基于约束条件的服务能力匹配方法 被引量：1

13

作者 白东伟 余永林 陈俊亮 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2007年第2期71-74,共4页

结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了... 结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了实现原型的软件系统结构和例子,说明了该方法的有效性。 展开更多

关键词 约束条件 服务能力匹配 约束满足问题

在线阅读 下载PDF 职称材料

关于求解带线性互补约束的数学规划问题正则方法的一个注记(英文)

14

作者 薛文娟 沈春根 《应用数学》 CSCD 北大核心 2011年第1期40-48,共9页

本文主要研究在某些较弱条件下求解带线性互补约束的数学规划问题(MPLCC)正则方法的收敛性.若衡约束规划线性独立约束规范条件(MPEC-LICQ)在由正则方法产生的点列的聚点处成立,且迭代点列满足二阶必要条件,同时,若比在文[7]中渐近弱非... 本文主要研究在某些较弱条件下求解带线性互补约束的数学规划问题(MPLCC)正则方法的收敛性.若衡约束规划线性独立约束规范条件(MPEC-LICQ)在由正则方法产生的点列的聚点处成立,且迭代点列满足二阶必要条件,同时,若比在文[7]中渐近弱非退化条件Ⅰ更弱的渐近弱非退化条件Ⅱ在聚点处也成立,那么所有这些聚点都是B-稳定点.此外,在弱MPEC-LICQ,二阶必要条件及渐近弱退化条件Ⅱ下,我们仍能证明通过正则方法所得的聚点都是B-稳定点. 展开更多

关键词 均衡约束规划问题 正则方法 渐近弱非退化 弱均衡约束规划线性独立约束规范条件

在线阅读 下载PDF 职称材料

不等式约束最优化的一个使用非单调搜索的可行算法(英文)

15

作者 徐以凡 王薇 《运筹学学报》 CSCD 北大核心 2001年第1期1-1,共1页

对不等式约束最优化问题本文提出了一个新算法．算法使用了非单调搜索，它不仅放松了每步迭代中对搜索的限制，而且使得算法迭代到一定阶段后具有非常简洁的形式．在不需要严格互补条件的较弱假设下，算法是整体和超线性收敛的．

关键词 非单调搜索 严格互补条件 超线性收敛 不等式约束 最优化问题 算法 迭代

在线阅读 下载PDF 职称材料

基于约束半环的CP-nets占优查询算法 被引量：2

16

作者 刘惊雷 华臻 武栓虎 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1932-1936,共5页

用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于... 用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于约束半环的满足问题),并指出CP-nets中的条件偏好表本质上是一种动态约束.给出了将CP-nets中的条件偏好表转化为SCSP中的约束,在SCSP中进行解的优劣判断的算法,并指出该算法具有多项式时间复杂度特性,从而基于约束半环解决了无环CP-nets上的占优查询问题. 展开更多

关键词 占优查询 约束半环 约束满足问题 条件偏好表 动态约束 解的优劣

在线阅读 下载PDF 职称材料

结构鲁棒优化的非概率集合理论凸方法 被引量：3

17

作者 邱志平 陈吉云 王晓军 《力学学报》 EI CSCD 北大核心 2005年第3期295-300,共6页

以传统的优化理论为基础,考虑含不确定结构参数的情况,提出了非概率凸集合理论的结构优化方法. 将结构优化列式中的目标函数与约束条件所含有的不确定参数用凸集合定量化,只需知道其所在范围的边界, 降低了以往处理不确定性问题概率方... 以传统的优化理论为基础,考虑含不确定结构参数的情况,提出了非概率凸集合理论的结构优化方法. 将结构优化列式中的目标函数与约束条件所含有的不确定参数用凸集合定量化,只需知道其所在范围的边界, 降低了以往处理不确定性问题概率方法需要知道不确定参数的均值、方差或概率分布密度等详细统计信息的要求.提出的鲁棒优化方法在使目标函数达到设计要求的同时,结构还能承受结构参数在其所在范围内变化引起结构性能的变异.通过优化问题中普遍使用的10杆平面桁架和一个72杆空间桁架实例,给出了当结构参数为名义值时结构的优化结果,以及结构参数具有不确定性时的优化结果,力求表明所介绍的方法的可行性和优越性. 展开更多

关键词 集合理论 鲁棒优化 非概率 不确定参数 结构参数 不确定性问题 目标函数 优化方法 优化理论 约束条件 结构优化 设计要求 统计信息 分布密度 空间桁架 平面桁架 优化问题 结构性能 定量化 列式 均值 方差

在线阅读 下载PDF 职称材料

负荷分配问题的最陡增/减变量对寻优法 被引量：3

18

作者 初壮 于继来 《中国电机工程学报》 EI CSCD 北大核心 2005年第8期23-29,共7页

机组的经济目标函数以多段或二次项系数小于零的单段二次函数表示时,负荷分配问题就呈现出非凸、非线性特性,给高效求取全局最优解或具有较高性能的局部最优解带来了较大困难。该文提出了一种最陡增/减变量对寻优法,此方法每次迭代过程... 机组的经济目标函数以多段或二次项系数小于零的单段二次函数表示时,负荷分配问题就呈现出非凸、非线性特性,给高效求取全局最优解或具有较高性能的局部最优解带来了较大困难。该文提出了一种最陡增/减变量对寻优法,此方法每次迭代过程只有两个变量(变量对)发生变化,其中一个增大,另一个进行同等量值的减小,增/减的步长按照一定的规则动态控制,并确保满足约束条件;同时,从原目标函数关于增/减变量对的偏导数和最小的变量对中动态地选择变量对,以确保每次迭代都能够按照使原目标函数最陡下降的变量对方向进行。此方法可快速求得凸二次规划问题的全局最优解和非凸二次规划问题的局部最优解。进一步地,该文结合问题的特点引入一种简捷的进化策略,使最陡增/减变量对寻优法在进化规划的框架下获得了能够求得非凸二次规划问题全局最优解的能力,并在很大程度上保留了原方法快速寻优的优点。算例表明,该文方法和策略为非凸二次规划负荷分配问题提供了一种高效实用的分析工具。 展开更多

关键词 分配问题 寻优法 变量 负荷 全局最优解 局部最优解 目标函数 规划问题 非凸二次规划 二次项系数 非线性特性 发生变化 迭代过程 动态控制 约束条件 进化策略 进化规划 分析工具 函数表 偏导数 高效 算例

在线阅读 下载PDF 职称材料

关于有退化的唯一最优解的线性规划问题的灵敏度分析

19

作者 张有德 《高校教育管理》 1988年第S1期56-59,共4页

关于有唯一最优解的线性规划问题的灵敏度分析,通常都是在非退化的条件下进行的.本文对于退化的情形加以分析.

关键词 灵敏度分析 最优解 线性规划问题 非退化 单纯形表 最优基 约束条件 最优值 目标函数

在线阅读 下载PDF 职称材料

基于CSP的配电网大面积断电供电恢复模型和算法 被引量：20

20

作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页

当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多

关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法

在线阅读 下载PDF 职称材料