work[j]表示當前系統可用的第j類資源，Allocation[i][j]表示當前已經分配給進程i使用的第j類資源數量。
Work[j]= Work[j]+ Allocation[i][j]
這句的意思是目前進程已經利用手上資源完成相關工作了，這些已分配的資源可以重新歸還系統了，所以系統可用的第j類資源work[j]就增加了，增加量就是當前進程想要歸還的資源量Allocation[i][j]
銀行家算法只是專註於資源分配，所以就假設資源壹分配到進程手中，進程就能立馬完成工作並且返還資源，因此第三步就直接又把資源還回去了
希望有所幫助
如有疑惑歡迎追問！