基于模型检验集成规划系统的机械装配序列规划.pdfVIP

第14卷第9瓣 计算机集成捌造系统 vol。14N。．9 2008年9月 008 ComputerIntegrated Systems Sep．2 Manufacturing 变章编号：1006--5911(2008)09--1781～lO 基于模型检验集成规划系统的机械装配序列规划 古天龙，张勐 (桂林电子科技大学计算机学院，广西桂林541004) 摘要：为探索机械装配序列规划的新技术，剖析了模型检验集成规划系统和规划领域定义语言，根据一般智 能规划简题的形式亿意义对机械装配序列规筋问题透符了形式仡描述；基予装配和拆卸可逆的箭提假设，和j用潇 蠲逻辑公式强畦态逻辏公式黠撬城装配过程孛戆硬约束纛软约束进行了接述；擐据装配亭列规