在日益激烈的巿场竞争下，每个汽车及零部件制造企业都致力于生产效率的不断提高。如何优化流水线的生产能力，是我们工业工程人员研究的主要课题，而流水线的平衡便是达到这一目标的方法之一。本文结合公司生产实际，应用IE（工业工程）工具——MOD法，对公司装配流水线的平衡问题进行了改进。

摘要：近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态