基于约束满足问题的封装放料配置分析-analysis of packing and discharging configuration based on constraint satisfaction problem.docxVIP

RESEARCH ON ASSEMBLY MATERIAL KITTING BASED ON CONTTRAINT SATISFACTION PROBLEMA Master Thesis Submitted toUniversity of Electronic Science and Technology of ChinaMajor:Master of Engineering Author:Zhang Bo Advisor:Liu Xiaoyun School :School of Automation Engineering 独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作 及取得的研究成果。据我所知，除了文中特别加以标注和致谢的地方 外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为 获得电子科技大学或其它教育机构的学位或证书而使用过的材料。与 我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的 说明并表示谢意。作者签名：日期：年月日论文使用授权本学位论文作者完全了解电子科技大学有关保留、使用学位论文 的规定，有权保留并向国家有关部门或机构送交论文的复印件和磁盘， 允许论文被查阅和借阅。本人授权电子科技大学可以将学位论文的全 部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。（保密的学位论文在解密后应遵守此规定）作者签名：导师签名： 日期：年月日摘要为了优化提高封装生产中放料操作，满足日益复杂的放料需求，本文以放料 配置为研究课题，采用回溯搜索算法对封装生产中的放料配置站点进行了深入研 究并结合生产需要设计开发了放料配置系统，通过测试与验证该系统最终应用到 了封装工厂的实际生产中，提高了企业的生产效率，为封装生产中放料问题的解 决提供了实际参考。本文主要内容分为四个部分。 首先对封装生产放料配置的需求进行详细分析，从复杂的生产环境中确定了关于产量和质量的关键需求，包括批次大小，批次数量，潮湿敏感等级、暴露时 间、烘烤次数、标准包装数量、剩余批次等。对这些需求进行分析，确定约束关 系和优化原则，并将这些约束归类为强约束和弱约束，得出封装生产放料配置问 题的求解其实就是一个满足约束的过程。考虑到封装生产放料配置问题的求解是满足约束的过程，本文将该放料配置 问题模型化，并将其与常见的约束满足问题模型进行对比，最终确定封装生产放 料配置问题和约束满足问题是同一类优化满足问题。 在此基础上结合比较成熟的 约束满足问题求解方法设计封装生产放料配置问题的求解算法。经过比较，本文 采用了以回溯搜索算法为核心的求解算法，以及相关求解步骤。为了设计的算法应用到实际生产中，本文结合封装工厂的实际条件，设计放 料配置系统。本文对软件进行详细地需求分析和设计，其中包括系统功能的确定， 用户界面设计，最后完成软件开发。通过对放料站点实际环境的改造，该放料配 置系统顺利安装到工厂的自动化环境中。系统安装完成后，本文对测试方案和步骤做出设计，在设计的基础上进行极 限样本测试和随机样本测试， 通过对测试结果的详细分析，系统符合设计要求。 经批准该系统已经投入到实际企业生产中。关键词：封装，潮湿敏感等级，放料配置，约束满足，回溯搜索ABSTRACTTo meet the increasing complexity of material kitting requirement, optimize and improve material kitting operations in assembly factories, this research focus on the subject of material kitting configuration problem, leverage backtracking algorithm design and developed software application and hardware environment to meet assembly production needs. This research setup an example for assembly material kitting configuration problem and improves factory production efficiency.This article contains four parts.Perform detailed analysis on the assembly material kitting requirements, identified key factors and constrain like Mo