导读:本文包含了装配约束满足问题论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:几何,自由度,建模,序列,算法,符号,模型。
装配约束满足问题论文文献综述
徐周波[1]（2011）在《约束满足问题的符号算法及其在装配规划中的应用研究》一文中研究指出约束满足问题（CSP）是人工智能和计算机科学领域的一个重要研究课题，现实生活中的大量问题均可以适当地描述成一个CSP。由于受组合复杂性问题的制约，传统的CSP求解算法无法高效地求解大规模CSP。采用隐式的符号表示和操作技术是缓减乃至克服组合爆炸问题的一种可行策略。装配序列规划是产品设计生产过程中的重要环节，它极大地影响着装配成本及生产周期。装配序列规划的目标是求解满足各种装配约束条件的可行装配序列，通过适当描述，可将装配序列规划问题转化为约束满足问题。本文以有序二叉决策图和代数决策图为基础，对约束满足问题的符号求解技术进行了探索和研究；在此基础上，对装配序列规划问题的约束求解技术进行了研究。论文主要研究结果包括：1.对经典约束满足问题进行了研究。通过建立变量和变量域的二进制编码，以及约束的布尔特征函数表示，给出了经典CSP的有序二叉决策图（OBDD）描述。将经典CSP中的约束按变量在约束图中的度进行归类，结合问题归约法，提出了一种新的求解经典CSP的符号OBDD算法。为进一步提高算法的执行效率，结合桶消元算法，提出了经典CSP求解的符号OBDD桶消元算法。通过与传统桶消元算法和符号直接求解算法的实验对比，结果表明本文提出的两种符号算法均扩大了问题的求解规模，并提高了算法的执行效率。2.对加权约束满足问题（WCSP）进行了研究。通过对变量和变量域值的二进制编码，将WCSP转换成伪布尔函数表示，进而给出了WCSP的代数决策图（ADD）描述。在此基础上，将ADD的符号操作技术与分支定界搜索算法以及桶消元算法相结合，引入结点一致性预处理技术，在静态变量序的情况下给出了求解WCSP的符号ADD算法。为了进一步提高该算法的搜索下界，通过引入有向弧一致性计数技术，给出了另一种符号ADD求解算法。对大量随机生成的测试用例进行实验分析，结果表明本文提出的两种符号算法在性能上明显优于带有结点一致性或存在有向弧一致性技术的具有前向检查功能的深度优先分支定界搜索算法。3.对装配体模型及装配序列的符号OBDD表示进行了研究。通过对装配体中零件的二进制编码，基于符号OBDD技术，给出了装配体联结图和Gottipolu装配体模型的OBDD描述。建立了装配状态和装配任务的布尔函数表示，给出了装配序列的符号OBDD表示。建立了从装配序列的AND/OR图模型到OBDD表示的转换规则，给出了AND/OR图的符号OBDD表示。通过与装配序列表示的与或图模型、有向图模型的实验对比，结果表明，装配序列的符号OBDD表示具有较高的存储效率，适合于复杂装配体的可行装配序列的描述。4.基于拆卸法对装配序列规划问题进行了研究。通过对无向图的OBDD表示的重新分析，给出了装配联接图的新的OBDD表示和移动向量函数的共享二叉决策图（SBDD）表示。针对无向图G，给出了求解图G的顶点子集的导出子图的符号OBDD技术和判定图G的连通性的符号OBDD技术，并在此基础上，基于Sharafat递归收缩算法的思想，给出了求解无向图G的所有割集的符号OBDD算法。基于装配联接图和移动向量函数的新的符号表示模型，将符号OBDD割集算法与装配序列的割集分解法相结合，利用OBDD的符号操作实现装配操作的几何可行性分析，给出了装配序列的符号OBDD分解算法。通过装配体实验验证了基于分解法的装配序列的符号OBDD算法的正确性和可行性。5.基于装配法对装配序列规划问题进行了研究。以装配联接图和移动向量函数为装配体模型，给出了装配联接图的SBDD表示，移动向量函数的OBDD表示。建立了装配序列规划问题的CSP模型，将装配序列规划问题描述成为一个CSP问题。将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题，利用回溯算法对CSP问题进行符号OBDD求解，给出了基于CSP模型的装配序列生成的符号OBDD算法。通过装配体实验验证了基于CSP模型的可行装配序列的符号OBDD生成技术的正确性和可行性。(本文来源于《西安电子科技大学》期刊2011-12-01）
李健,郭连水,邓家提[2]（2000）在《用自由度分析法求解装配几何约束满足问题》一文中研究指出根据自由度分析法建立了一种装配约束的求解机制 ,提出了零件自由度状态的概念 ,通过约束求解表决定各种不同状态的求解过程 ,可以方便快捷地处理欠约束、过约束等多种约束情况 ,根据工程实际需求 ,定义了八种基本的约束类型 ,提出了叁维几何约束的求解方法。(本文来源于《计算机应用》期刊2000年S1期）
装配约束满足问题论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
根据自由度分析法建立了一种装配约束的求解机制 ,提出了零件自由度状态的概念 ,通过约束求解表决定各种不同状态的求解过程 ,可以方便快捷地处理欠约束、过约束等多种约束情况 ,根据工程实际需求 ,定义了八种基本的约束类型 ,提出了叁维几何约束的求解方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
装配约束满足问题论文参考文献
[1].徐周波.约束满足问题的符号算法及其在装配规划中的应用研究[D].西安电子科技大学.2011
[2].李健,郭连水,邓家提.用自由度分析法求解装配几何约束满足问题[J].计算机应用.2000
论文知识图
