pulse-repetition time