Application of calculating methods for the dredging amount in a polluted river | IEEE Conference Publication | IEEE Xplore