第一章 绪论 | 第1-30页 |
1.1 产品配置概述 | 第20-21页 |
1.2 产品配置的发展 | 第21-23页 |
1.3 以前的产品配置研究 | 第23-26页 |
1.3.1 基于规则的产品配置方法 | 第23-24页 |
1.3.2 基于结构的产品配置方法 | 第24页 |
1.3.3 基于约束的产品配置方法 | 第24页 |
1.3.4 基于资源的产品配置方法 | 第24页 |
1.3.5 基于事例的产品配置方法 | 第24-25页 |
1.3.6 基于本体论和逻辑编程的产品配置方法 | 第25-26页 |
1.4 研究的目的和意义 | 第26-28页 |
1.4.1 研究目的 | 第26-27页 |
1.4.2 研究意义 | 第27-28页 |
1.5 研究的对象 | 第28页 |
1.6 研究的内容 | 第28-30页 |
第二章 产品配置的概念 | 第30-42页 |
2.1 可配置产品 | 第30-34页 |
2.1.1 可配置产品的概念 | 第30-31页 |
2.1.2 生产类型分析 | 第31-32页 |
2.1.3 可配置产品参与的企业过程 | 第32-34页 |
2.2 产品配置 | 第34-41页 |
2.2.1 产品配置的概念 | 第34-35页 |
2.2.2 理想的产品配置方法及其体系结构 | 第35-38页 |
2.2.2.1 产品配置模型的概念和意义 | 第35-37页 |
2.2.2.2 理想的产品配置方法及其体系结构 | 第37-38页 |
2.2.3 以产品配置为导向的企业过程重组 | 第38-39页 |
2.2.4 产品配置中需要注意的问题 | 第39-40页 |
2.2.5 产品配置系统和其它企业信息系统的集成 | 第40-41页 |
2.2.6 产品配置的研究 | 第41页 |
2.3 本章小结 | 第41-42页 |
第三章 基于约束满足问题CSP的产品配置方法 | 第42-92页 |
3.1 约束满足问题概述 | 第42-46页 |
3.1.1 约束满足问题的概念 | 第42-44页 |
3.1.2 约束满足问题的发展 | 第44-45页 |
3.1.3 约束满足问题的应用 | 第45-46页 |
3.2 约束满足问题的定义 | 第46-51页 |
3.2.1 基础知识 | 第46-47页 |
3.2.2 约束满足问题的定义 | 第47-50页 |
3.2.3 约束满足问题的数学特性 | 第50-51页 |
3.3 约束满足问题的复杂性 | 第51-52页 |
3.4 基于约束满足问题的产品配置方法 | 第52-58页 |
3.4.1 以前的研究 | 第52-53页 |
3.4.2 约束满足问题对产品配置知识的表示 | 第53-55页 |
3.4.3 产品配置的CSP模型 | 第55-57页 |
3.4.4 基于约束满足问题的产品配置体系 | 第57-58页 |
3.4.5 基于约束满足问题的产品配置求解的复杂性 | 第58页 |
3.5 基于约束满足问题的产品配置求解方法 | 第58-80页 |
3.5.1 概述 | 第58-59页 |
3.5.2 二维约束满足问题bi-CSP的求解算法 | 第59-70页 |
3.5.2.1 约束图 | 第59页 |
3.5.2.2 推理 | 第59-63页 |
3.5.2.2.1 边一致 | 第59-61页 |
3.5.2.2.2 路一致 | 第61-62页 |
3.5.2.2.3 i-一致 | 第62-63页 |
3.5.2.3 搜索 | 第63-70页 |
3.5.2.3.1 产生并测试法 | 第63页 |
3.5.2.3.2 回溯 | 第63-65页 |
3.5.2.3.3 前看策略 | 第65-67页 |
3.5.2.3.3.1 概述 | 第65页 |
3.5.2.3.3.2 前向检查 | 第65-67页 |
3.5.2.3.4 回看策略 | 第67-70页 |
3.5.2.3.4.1 概述 | 第67页 |
3.5.2.3.4.2 Gaschnig回跳 | 第67-69页 |
3.5.2.3.4.3 基于图的回跳 | 第69-70页 |
3.5.3 非二维约束满足问题nCSP的求解 | 第70-80页 |
3.5.3.1 二维约束满足问题在基于CSP的产品配置中存在的问题 | 第70-72页 |
3.5.3.2 非二维回溯nBT | 第72-73页 |
3.5.3.3 非二维前向检查nFC | 第73-78页 |
3.5.3.3.1 非二维边一致nAC | 第73页 |
3.5.3.3.2 非二维前向检查nFC算法 | 第73-76页 |
3.5.3.3.3 非二维前向检查nFC的计算复杂性分析 | 第76-78页 |
3.5.3.4 非二维 Gaschnig回跳nGaschingBJ | 第78页 |
3.5.3.5 非二维基于图的回跳nGBJ | 第78-80页 |
3.6 基于约束满足问题的产品配置仿真 | 第80-89页 |
3.6.1 基于约束满足问题的产品配置仿真实验验证 | 第80-83页 |
3.6.1.1 有关约束满足问题求解的参数 | 第81-82页 |
3.6.1.2 基于约束满足问题的产品配置仿真实验 | 第82-83页 |
3.6.1.2.1 仿真实验 | 第82-83页 |
3.6.1.2.2 实验结果分析 | 第83页 |
3.6.2 不同约束松紧程度下基于CSP的产品配置求解实验 | 第83-86页 |
3.6.2.1 产品配置求解实验 | 第83-84页 |
3.6.2.2 实验结果分析 | 第84-86页 |
3.6.3 不同密度下基于CSP的产品配置求解实验 | 第86-89页 |
3.6.3.1 产品配置求解实验 | 第86-87页 |
3.6.3.2 实验结果分析 | 第87-89页 |
3.7 基于约束满足问题的产品配置方法的特点 | 第89-91页 |
3.8 本章小结 | 第91-92页 |
第四章 基于动态约束满足问题 DCSP的产品配置方法 | 第92-122页 |
4.1 产品配置中存在的动态配置知识 | 第92-94页 |
4.2 传统约束满足问题在表示动态产品配置知识时存在的问题 | 第94-96页 |
4.3 动态约束满足问题的定义 | 第96-100页 |
4.3.1 动态约束满足问题 DCSP的定义 | 第96-98页 |
4.3.2 动态约束满足问题的概念分析 | 第98-100页 |
4.4 基于动态约束满足问题的产品配置方法 | 第100-105页 |
4.4.1 对包含动态配置知识的产品配置知识的表示 | 第100-101页 |
4.4.2 产品配置的DCSP模型 | 第101-104页 |
4.4.3 基于动态约束满足问题的产品配置体系 | 第104-105页 |
4.5 基于动态约束满足问题的产品配置求解 | 第105-113页 |
4.5.1 非二维回溯nBTFD | 第106-108页 |
4.5.2 非二维前向检查nFCFD | 第108-110页 |
4.5.3 非二维Gaschnig回跳nGaschnigBJFD和非二维基于图的回跳nGBJFD | 第110-113页 |
4.6 基于动态约束满足问题的产品配置仿真 | 第113-120页 |
4.6.1 基于动态约束满足问题的产品配置仿真实验验证 | 第113-116页 |
4.6.1.1 仿真实验 | 第114-115页 |
4.6.1.2 实验结果分析 | 第115-116页 |
4.6.2 不同约束松紧度下基于DCSP的产品配置求解实验 | 第116-117页 |
4.6.2.1 产品配置求解实验 | 第116页 |
4.6.2.2 实验结果分析 | 第116-117页 |
4.6.3 不同密度下基于DCSP的产品配置求解实验 | 第117-120页 |
4.6.3.1 产品配置求解实验 | 第117-118页 |
4.6.3.2 实验结果分析 | 第118-120页 |
4.7 基于动态约束满足问题的产品配置方法的特点 | 第120页 |
4.8 本章小结 | 第120-122页 |
第五章 基于本体论和约束满足问题的产品配置方法 | 第122-156页 |
5.1 基于约束满足问题的产品配置方法存在的问题 | 第122-123页 |
5.2 基于本体论和约束满足问题的产品配置 | 第123-142页 |
5.2.1 本体论的概念 | 第123页 |
5.2.2 基于本体论和约束满足问题的产品配置方法 | 第123-124页 |
5.2.3 产品配置本体论和叉车产品配置模型的建立 | 第124-141页 |
5.2.3.1 通用产品配置本体论 | 第124-137页 |
5.2.3.1.1 通用产品配置本体论的表示范围 | 第125页 |
5.2.3.1.2 建立通用产品配置本体论的方法 | 第125页 |
5.2.3.1.3 产品配置知识的分类 | 第125-126页 |
5.2.3.1.4 通用产品配置本体论的结构 | 第126-128页 |
5.2.3.1.5 通用产品配置本体论中的概念 | 第128-137页 |
5.2.3.1.5.1 分类 | 第128-130页 |
5.2.3.1.5.2 属性 | 第130-131页 |
5.2.3.1.5.3 结构 | 第131-132页 |
5.2.3.1.5.4 连接 | 第132-133页 |
5.2.3.1.5.5 域 | 第133页 |
5.2.3.1.5.6 资源 | 第133-135页 |
5.2.3.1.5.7 功能 | 第135-136页 |
5.2.3.1.5.8 约束 | 第136-137页 |
5.2.3.2 简化产品配置本体论 | 第137页 |
5.2.3.3 基于产品配置本体论的叉车产品配置模型的建立 | 第137-141页 |
5.2.4 基于产品配置本体论和约束满足问题的产品配置体系 | 第141-142页 |
5.2.4.1 基于产品配置本体论和约束满足问题的产品配置体系结构 | 第141-142页 |
5.2.4.2 基于产品配置本体论和约束满足问题的产品配置体系的实施 | 第142页 |
5.3 配置模型转换方法 | 第142-154页 |
5.3.1 转换策略 | 第142-144页 |
5.3.2 建立简化产品配置本体论中配置模型概念到CSP形式的映射 | 第144-151页 |
5.3.2.1 类型和分类到CSP形式的映射 | 第144-145页 |
5.3.2.2 结构到 CSP形式的映射 | 第145-146页 |
5.3.2.3 连接到 CSP形式的映射 | 第146-148页 |
5.3.2.4 资源到 CSP形式的映射 | 第148-151页 |
5.3.3 配置模型转换举例 | 第151-154页 |
5.4 基于CSP的产品配置方法与基于本体论和CSP的产品配置方法的比较 | 第154-155页 |
5.5 本章小结 | 第155-156页 |
第六章 产品优化配置 | 第156-194页 |
6.1 产品优化配置的概念 | 第156-157页 |
6.2 产品优化配置的方式 | 第157-159页 |
6.3 基于 HCP网的产品优化配置 | 第159-172页 |
6.3.1 用户偏好提取 | 第159-160页 |
6.3.2 (条件)偏好独立 | 第160-161页 |
6.3.3 CP网 | 第161-162页 |
6.3.4 CP网在用户偏好提取中存在的问题 | 第162-164页 |
6.3.5 HCP网的定义 | 第164-165页 |
6.3.6 HCP网的偏好提取算法 | 第165-167页 |
6.3.7 基于HCP网和约束满足问题的产品优化配置方法 | 第167-170页 |
6.3.8 基于 HCP网和 CSP的产品优化配置仿真 | 第170-172页 |
6.4 交互式产品配置 | 第172-187页 |
6.4.1 概述 | 第172-174页 |
6.4.2 基于交互式约束满足问题 ICSP和模型诊断MBD的交互式产品配置方法 | 第174-184页 |
6.4.2.1 基于交互式约束满足问题的交互式产品配置 | 第174-177页 |
6.4.2.1.1 另一类动态约束满足问题DCSP | 第174-175页 |
6.4.2.1.2 交互式约束满足问题 ICSP | 第175页 |
6.4.2.1.3 基于交互式约束满足问题的交互式产品配置方法 | 第175-177页 |
6.4.2.2 基于交互式约束满足问题ICSP和模型诊断MBD的交互式产品配置 | 第177-184页 |
6.4.2.2.1 基于模型的诊断MBD | 第178-179页 |
6.4.2.2.2 建立基于模型的诊断MBD和交互式产品配置之间的映射 | 第179-181页 |
6.4.2.2.3 交互配置中冲突集合 CF与诊断△的计算 | 第181-184页 |
6.4.2.2.3.1 最小诊断集合法 | 第181-182页 |
6.4.2.2.3.2 局部最小权重法 | 第182-184页 |
6.4.2.2.4 基于交互式约束满足问题 ICSP和模型诊断 MBD的交互配置方法 | 第184页 |
6.4.3 基于交互式约束满足问题 ICSP和模型诊断MBD的交互式产品配置仿真 | 第184-187页 |
6.5 基于分支定界法的产品优化配置 | 第187-191页 |
6.5.1 基于分支定界法的产品优化配置概念 | 第188-189页 |
6.5.2 基于分支定界法的产品优化配置方法 | 第189-191页 |
6.6 不同产品优化配置方法的比较 | 第191-192页 |
6.7 本章小结 | 第192-194页 |
第七章 产品配置及约束满足问题研究软件原型“iPC”的开发 | 第194-200页 |
7.1 概述 | 第194页 |
7.2 “iPC”各系统的体系构架和工作流程 | 第194-200页 |
7.2.1 CSP模型建立和管理系统 | 第194-196页 |
7.2.2 产品配置求解系统 | 第196-197页 |
7.2.3 产品优化配置系统 | 第197-200页 |
第八章 结论与未来的研究 | 第200-203页 |
8.1 结论 | 第200-201页 |
8.2 未来的研究 | 第201-203页 |
参考文献 | 第203-218页 |
附录 | 第218-222页 |
攻读博士学位期间参与的科研项目 | 第222页 |
攻读博士学位期间发表的学术论文 | 第222页 |