摘要：为了提高集装箱码头的作业效率,研究了码头装卸系统的作业特点和性质,通过拓展传统析取图建立了码头装卸设备集成调度问题的析取图模型。在此基础上分析了码头作业中存在的阻塞和死锁,并对两种不同类型的死锁进行了定义,提出了判定的方法。分析结果表明：在析取图上进行还原操作可以有效地区分两种死锁,并依据阻塞及平行设备组的性质,可在析取图上进一步获得问题的可行解。

关键词：集装箱装卸 系统调度 析取图建模 死锁 阻塞 

单位：上海交通大学机械与动力工程学院; 上海200240