วงจรตั้งเวลาปั๊มทำงานแบบดิจิตอล