摘要：为实现产品全生命周期绿色设计方案的生成与决策,构建了基于功能-行为-结构-材料-工艺(FBS-MP)的设计方案多层级表达模型,并将绿色设计方案的生成转化为基于设计约束的约束满足问题(Constraint satisfaction problem, CSP)。进一步提出基于回溯算法的设计方案多层逐级求解策略,获得产品设计方案解集。同时,提出基于“组合赋权-逼近理想解排序(TOPSIS)-灰色关联分析(GRA)”的多属性决策方法,采用层次分析法与熵值法的主、客观权重进行非线性乘法加成,完成了评价指标的组合权重配置。通过在TOPSIS法分析中引入灰色关联度,实现了绿色设计方案的优选。最后,通过对多属性决策方法偏好系数与评价指标权重的敏感性分析,验证了所提方法的准确性与可靠性。

摘要：以实现大规模定制模式下的绿色设计为目标,在对约束满足问题与绿色产品配置设计相似点进行比较的基础上,将其应用于实现绿色产品的配置设计中。按绿色产品客户需求的特点,将绿色产品的配置约束分为建议性约束和强制性约束,并在此基础上给出了面向绿色设计的产品配置约束转换与表达方法。针对产品绿色设计的特点,对传统的回溯算法进行改进,将一维约束过滤模块和建议性约束满足度计算模块融入回溯算法中,提出一种基于约束满足问题的绿色产品配置算法。以自动豆浆机产品的配置设计为例,对所提方法进行验证与分析。应用实例表明,该配置设计方法能够在短时间内实现产品环境属性与功能、结构及经济属性的优化配置。

摘要：针对受船舶运动状态和推力饱和约束影响的动力定位控制问题,本文提出了一种非线性模型预测控制方法。依据多面体描述理论建立了船舶动力定位多面体描述偏差模型,针对上述模型采用线性矩阵不等式设计非线性模型预测控制器中的终端要素,并证明了闭环系统的稳定性。仿真结果表明:设计的控制器能在满足约束条件和受环境干扰条件下快速控制船舶稳定在计划航向和计划船位,验证了控制器的有效性和本质鲁棒性。

摘要：基于智能体对环境的感知与反作用的能力提出了一种新的求解二元约束满足问题的方法.该方法将多智能体系统与进化算法有机地结合起来,每个智能体固定在网格的一个格点上,而它为了增加自身能量将与其邻域展开竞争.同样,智能体也可利用自身的知识进行自学习来增加能量。根据二元约束满足问题的特点,设计了智能体的竞争行为9自学习行为。为了克服已有编码万式的缺点,为智能体设计了最小冲突编码.理论分析证明算法具有全局收敛性.实验中用250个不同难度的标准问题对算法的两个参数进行了系统的分析.结果表明该算法的性能非常稳定,参数少,易于使用。与4个著名方法的比较结果表明该方法获得的解的质量是最高的,其性能优于其他4种方法。

摘要：通过对图缩并算法的介绍和分析 ,以约束网络图的形式对几何约束系统中的约束关系进行映射表达 ,提出了一种基于自由度分析的图重构推理策略 ,实现了问题的最大分解 ,大大降低了问题的复杂程度和系统求解的规模 ,使得相当一部分具有高耦合性的问题最终可以用解析方法求解。

摘要：约束满足问题是人工智能的重要研究方向。约束传播技术和启发式策略是影响约束求解算法效率的关键。对于大规模和大型具有结构化特征的问题，设计并运用有效的值序、变量序启发式策略将大大缩减搜索空间，极大提高问题求解效率。文中对现在流行的静态启发式、动态启发式和冲突驱动的启发式等不同类别的启发式采用标准库问题实例进行适应性求解测试，并对各种启发式策略进行性能评估。

摘要：针对机电产品绿色设计方案的表达与生成,提出了一种基于约束满足问题(constraint satisfaction problem,CSP)的功能-行为-结构-材料-工艺(FBSMP)绿色设计方案表达模型。首先,通过建立约束满足问题与绿色设计方案模型之间的关联映射关系,将CSP引入到FBSMP模型的映射分解当中,并运用回溯算法实现了绿色设计方案的生成;其次,针对方案决策,提出了一种综合利用模糊层次分析(FAHP)、理想解法(TOPSIS)以及灰色关联分析(GRA)的多属性决策方法,利用模糊赋权、灰色关联理想解方法以及面向约束的非线性规划综合趋近度指数,实现了设计方案的决策;最后,以机床主轴箱为例,实现了绿色设计方案的高效生成与优选,对比分析了不同决策方法及决策权重,结果表明所提方法具有较强的准确性与可靠性。

摘要：如何实时检测设计冲突从而维护设计一致性是协同设计的关键问题。提出了基于约束的自动冲突检测方法 ;介绍了设计约束在产品信息模型中面向对象的表征 ;讨论了工程设计中的约束满足问题及其区间求解算法 ,并在此基础上发展了一个基于网络的冲突检测器。冲突检测器能够在协同设计过程中实时检测设计冲突 ,避免不必要的设计反馈和重复磋商 ,从而提高了设计效率。

摘要：slater投票规则是基于锦标赛的投票规则,主要是通过构造无环锦标赛,找到与原锦标赛差异最小的一个,从中选出获胜者。针对求解难度为NP难的slater投票算法,提出了一种基于相似候选项集的优化求解slater问题的Picat方法。相比于非优化求解slater问题的方法,该方法缩小了slater算法的解空间,有效地减少了求解slater获胜者的计算量,提高了计算速度。实验结果表明,优化求解slater问题的Picat方法的计算速度优于非优化的Picat方法;当候选项人数少于20时,求解slater问题的回答集程序(ASP)方法的计算速度和计算能力优于优化的Picat方法,但当候选项人数超过30时,优化的Picat方法(用可满足问题求解器)的计算速度和计算能力优于ASP方法。

摘要：为了有效地辅助设计人员及时发现冲突并适时提供有效的冲突解决方案,分析了协同设计中约束的内涵及其动态性和层次性等特点,对约束满足问题进行了形式化表达。采用遗传算法作为协同设计过程中约束满足问题的求解方法,给出了该算法的具体实现过程。采用可扩展标记语言对网络环境下系统约束信息的数据进行了描述。在此基础上,提出了基于约束的冲突检测系统的体系结构,并对主要组成模块的功能进行了详细描述。开发了该冲突检测系统的原型系统并对其运行过程进行了描述。通过某车床纵向进给部件的圆柱齿轮减速机构的设计实例,说明了该系统的有效性。