-
题名基于条件约束满足问题的产品配置研究
被引量：17
- 1
-
-
作者
杨煜俊
刘清华
万立
王启富
陈立平
-
机构
华中科技大学国家企业信息化应用支撑软件工程研究中心
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2004年第11期1332-1337,共6页
-
基金
国家863/CIMS主题资助项目(2002AA4Z3370)。~~
-
文摘
强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置模型具有表达一致性;配置变量分为类型变量、属性变量、接口变量、基数变量四种类型;配制约束包含依赖约束和活动约束两种类型;在构建统一形式配置模型的基础上,采用一种模型分解策略进行求解。最后采用一个汽车产品实例说明配制建模和配置求解过程。
-
关键词
产品配置
条件约束满足问题
模型分解策略
-
Keywords
product configuration
conditional constraint satisfaction problem
model decomposition strategy
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TH16
[机械工程—机械制造及自动化]
-
-
题名非二元条件约束满足问题求解
被引量：2
- 2
-
-
作者
袁际军
黄敏镁
-
机构
广东财经大学金融学院
华南师范大学管理科学系
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2014年第3期636-651,共16页
-
基金
国家自然科学基金资助项目(71272084
71102146)
+2 种基金
教育部人文社会科学研究青年基金资助项目(12YJC630278)
广东省普通高校人文社科研究资助项目(2012LYM_0065)
广东商学院校级一般资助项目(11YB63001)~~
-
文摘
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。
-
关键词
非二元条件约束满足问题
非二元条件回溯算法
非二元条件前向检查算法
非二元弧一致性
-
Keywords
non-binary conditional constraint satisfaction problem
non-binary conditional backtracking algorithm
non-binary conditional forward checking algorithm
non-binary arc consistency
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名适应任务变化的电磁探测卫星动态调度模型及算法
被引量：4
- 3
-
-
作者
陈浩
李军
景宁
唐宇
-
机构
国防科学技术大学电子科学与工程学院
-
出处
《信号处理》
CSCD
北大核心
2009年第11期1659-1665,共7页
-
基金
国家自然科学基金(No.60604035)
国家863高技术资助项目(No.2007AA12Z229)
-
文摘
电磁探测卫星是一种对地观测卫星,其搜集的信息对工业、科研、军事等领域有着重要的意义。目前对于卫星调度问题的研究多是假设调度一旦开始,则参与调度的任务与资源将不再变化。实际上,卫星工作在充满随机扰动的复杂环境中,卫星资源可能出现故障,新任务可能随机到达。如果卫星调度无法适应这些变化,必然导致规划有效性和资源利用率降低。论文针对新任务随机到达的情况,结合电磁探测卫星约束特点,建立了基于条件约束满足问题(CCSP)的多星动态调度模型,提出了基于记忆效应Squeaky-Wheel Optimization(SWO)的电磁探测卫星多星动态调度算法。根据模拟的数据进行实验及分析,表明该方法能有效解决新任务随机到达的电磁探测卫星多星动态调度问题。
-
关键词
电磁探测卫星多星调度
条件约束满足问题
动态调度模型
SWO算子
-
Keywords
Electromagnetic Detection Satellites Scheduling
CCSP
Dynamic Scheduling Model
SWO Operator
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种适应资源变化的电磁探测卫星动态调度方法
被引量：2
- 4
-
-
作者
陈浩
景宁
李军
唐宇
-
机构
国防科学技术大学电子科学与工程学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第24期7833-7837,7841,共6页
-
基金
国家自然科学基金(60604035)
国家863高技术资助项目(2007AA12Z229)
-
文摘
针对卫星资源随机故障(恢复)情况,结合电磁探测卫星约束特点,建立了基于条件约束满足问题(CCSP)的多星动态调度模型,提出了基于记忆效应Squeaky-Wheel Optimization(SWO)的电磁探测卫星多星动态调度算法。根据仿真数据进行实验及分析,表明该方法能有效解决卫星资源动态变化的电磁探测卫星多星动态调度问题。
-
关键词
电磁探测卫星多星调度
条件约束满足问题
动态调度模型
记忆效应SWO算子
资源变化
-
Keywords
electromagnetic detection satellites scheduling
conditional CSP
dynamic scheduling model
memorized SWO operator
changeable resource
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于UML与CCSP的产品配置方法
被引量：1
- 5
-
-
作者
袁际军
黄敏镁
-
机构
广东商学院金融学院
华南师范大学管理科学系
-
出处
《计算机工程与应用》
CSCD
2013年第14期1-9,24,共10页
-
基金
国家自然科学基金(No.71272084
No.71102146)
+2 种基金
教育部人文社会科学研究青年基金资助项目(No.12YJC630278)
广东省普通高校人文社科研究项目(No.2012LYM_0065)
广东商学院校级一般项目(No.11YB63001)
-
文摘
为了有效开发易维护可重用的产品配置模型以及实现配置问题的快速求解,提出了结合面向对象建模技术与条件约束满足问题理论的产品配置方法。给出了条件约束满足问题理论模型;提出了基于统一建模语言和条件约束满足问题的产品配置建模与求解方法;通过定义统一建模语言表示的产品配置概念模型与条件约束满足问题之间的映射规则集,建立了基于条件约束满足问题的产品配置模型。以某可配置医用监测器为应用实例,阐述了所提方法应用于配置模型构建与求解的可行性和有效性。
-
关键词
产品配置
大规模定制
条件约束满足问题
统一建模语言
-
Keywords
product configuration
mass customization
conditional constraint satisfaction problem
unified modeling language
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
TH16
[机械工程—机械制造及自动化]
-
