On-line measurement for the depth of the oil pump jet pressure vessel | IEEE Conference Publication | IEEE Xplore