| 【中文题名】 | 产品配置问题的约束处理及求解方法研究 |
| 【英文题名】 | Research on Constraint Processing and Solving Method of Product Configuration Problems |
| 【学科专业】 | 计算机软件与理论 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-8-2 |
| 【中关键词】 | 产品配置问题,产品配置器,约束满足问题,约束处理,配置求解, |
| 【英关键词】 | |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>自动化基础理论>人工智能理论>> |
| 【论文摘要】 |
产品配置问题研究是人工智能的一个重要分支,目前有很多研究产品配置问题的方法,本文主要基于约束满足问题来研究产品配置问题。
本文把产品配置问题和约束满足问题的主要概念作比较,给出了产品配置问题转换为相应的约束满足问题模型的对应关系,定义了产品配置的约束,根据实际应用把广义产品约束分类,并考虑到构模专家的需要,设计了各种类型约束的方便输入方式,而且根据不同约束类型把约束进行转换,使其符合便于构模专家维护且方便求解的约束形式。
本文根据实际应用选取求解配置问题的高效算法,给出了按订单设计和按订单装配的产品配置问题的求解方法。其中按订单设计的产品配置问题求解方法已经应用到我们开发的产品配置器Config2006中,并且求解效率比上一版本(Config2004)有较大提高。 |
| 【论文题纲】 |
|
提要 |
4-7 |
|
第一章 绪论 |
7-11 |
|
1.1 产品配置概述 |
7-8 |
|
1.2 产品配置的研究进展 |
8-9 |
|
1.3 研究的目的和意义 |
9-10 |
|
1.4 本文的主要工作 |
10-11 |
|
第二章 约束满足问题 |
11-19 |
|
2.1 概述 |
11-12 |
|
2.2 约束满足问题的定义 |
12-13 |
|
2.3 约束满足问题的求解方法 |
13-19 |
|
2.3.1 约束图 |
14 |
|
2.3.2 一致性技术 |
14-16 |
|
2.3.2.1 弧一致 |
14-15 |
|
2.3.2.2 路一致 |
15-16 |
|
2.3.3 搜索算法 |
16-19 |
|
2.3.3.1 回溯 |
16-17 |
|
2.3.3.2 前看策略 |
17-18 |
|
2.3.3.3 回看策略 |
18-19 |
|
第三章 产品配置问题 |
19-28 |
|
3.1 概述 |
19-20 |
|
3.2 产品配置器 |
20-22 |
|
3.2.1 相关定义 |
20 |
|
3.2.2 产品配置器的构成 |
20-22 |
|
3.2.2.1 配置构模器 |
20-21 |
|
3.2.2.2 订单生成器 |
21-22 |
|
3.2.2.3 产品注册器 |
22 |
|
3.3 产品配置的CSP 模型 |
22-26 |
|
3.4 产品配置的约束 |
26-28 |
|
第四章 产品配置属性参数的约束处理 |
28-38 |
|
4.1 配置构模器约束的输入处理 |
28-30 |
|
4.2 基于规则的知识表示转化为基于CSP 的知识表示 |
30-35 |
|
4.3 非二元约束转化为二元约束 |
35-38 |
|
第五章 产品配置选装参数的约束处理 |
38-48 |
|
5.1 选装参数约束分类 |
38-39 |
|
5.2 逻辑约束的线性表示 |
39-41 |
|
5.3 基数规则（CARDINALITY RULES） |
41-42 |
|
5.4 凸包描述的相关定理及生成凸包描述的算法 |
42-44 |
|
5.4.1 相关定理 |
42-43 |
|
5.4.2 生成凸包描述的算法 |
43-44 |
|
5.5 基数规则示例 |
44-45 |
|
5.6 选装参数约束的转化 |
45-47 |
|
5.6.1 选装参数约束转化为基数规则 |
45 |
|
5.6.2 选装参数约束转化举例 |
45-47 |
|
5.7 结论 |
47-48 |
|
第六章 基于约束满足的产品配置的求解方法 |
48-57 |
|
6.1 概述 |
48-49 |
|
6.2 基于MAC-PW-AC 的产品配置的求解方法 |
49-55 |
|
6.2.1 MAC-PW-AC 算法思想 |
49-53 |
|
6.2.2 产品配置问题的求解 |
53-55 |
|
6.2.2.1 按订单设计的产品配置的求解方法 |
54 |
|
6.2.2.2 按订单装配的产品配置的求解方法 |
54-55 |
|
6.3 总结 |
55-57 |
|
第七章 结论与展望 |
57-58 |
|
参考文献 |
58-62 |
|
摘要 |
62-65 |
|
ABSTRACT |
65-68 |
|
致谢 |
68-69 |
|
导师及作者简介 |
69 |
|
| 【DOI】 | LunWen.ID:2.2008.388669 |
