已知平均实效伴流速度，可建立螺旋桨进速与船速之间的关系为（）