AGVS循环死锁搜索算法的改进设计及其实现
为了解决国内AGVS在循环死锁搜索算法研究中存在的搜索循环死锁类型不全的问题,利用任务\|资源图(task-resource graph, T-R图)提出一个改进算法。改进算法如下:首先,根据AGV的相对位置变化和执行任务的情况,利用T-R图对AGVS进行建模,然后根据循环死锁的T-R图特征,在每一个状态时刻下,使用图的强连通分支理论搜索循环死锁。当访问完所有状态时刻下的T-R图,也就找到了AGVS中的所有循环死锁。算例验证与理论分析均说明改进算法可以搜索到全部类型的循环死锁,解决了原算法存在的不足。根据改进算法开发的控制规则,可以有效避免新循环死锁的产生。同时指出,对改进算法稍加修改,可以找到AGVS中所有的循环死锁和非循环死锁。
关键词:
自动导引小车系统,
任务-资源图,
循环死锁