论文部分内容阅读
本文研究并提出了3种产品配置方法:基于传统约束满足问题、基于动态约束满足问题以及基于产品配置本体论和约束满足问题的产品配置方法。其中基于传统约束满足问题的配置方法能直接、自然地表示产品配置知识,在产品演化时具有良好的适应性,同时能够进行直接有效的求解,适合于对小规模的可配置产品实施产品配置。而基于动态约束满足问题的产品配置方法在保留了传统约束满足问题的知识表示和求解能力及特点的基础上,能够表示动态配置知识及组成结构知识,具有更强的知识表示能力,适合于对中等规模的可配置产品实施产品配置。基于产品配置本体论和约束满足问题的配置方法是一种理想的配置方法,适用于对大规模复杂的可配置产品实施产品配置。本文以合力H2000系列叉车为例,对基于传统和动态约束满足问题的配置方法进行了仿真实验和分析,验证了所提出求解算法的正确性,并指出3种配置方法的配置求解都是NP完全的。 本文还对产品优化配置进行了深入的研究,探讨了产品优化配置的概念,并提出了3种优化配置方法:基于ICSP和MBD的交互式配置方法、基于HCP网的优化配置方法和基于分支定界法的优化配置方法。其中基于ICSP和MBD的交互配置方法能够获得准确的最优配置结果,但配置求解的计算量和用户参与的程度都很大,适用于用户对优化配置结果要求很高,同时又有充足的时间来参与配置的情况。基于HCP网的优化配置方法能够获得比较准确的最优配置结果,配置求解的计算量和用户参与的程度不高,适用于用户对优化配置结果的要求较高,同时也有一定的时间来参与配置的情况。对基于分支定界法的最优配置结果,其准确度不高于基于HCP网的最优配置结果,但配置求解的计算量和用户参与的程度最低,适用于用户既不愿意花费时间参与配置,同时对优化配置的结果要求也不高的情况。本文还以合力H2000系列叉车为例,对基于HCP网的优化配置方法以及基于ICSP和MBD的交互配置方法进行了仿真验证。