停时((stopping time)一类随机时刻，指具有某种与将来无关性质的随机时刻。给定概率空间(Ω，F，P)及其滤子Ft，映射τ：Ω→T∪{∞}，如果对任意的t∈I，{ω：ω∈Ω，τ(ω)≤t}∈Ft，则称映射τ为一个(Ft)停时。
伤停时间 Loss Time ; injury time
暂停时段 blocking period
预定停时间 scheduled down time
磁带启停时间 magnetic tape start-stop time
伤停补时 injury time ; stoppage time ; Added time ; injury y time
检修停时 standing time under repair
停留时间 dwell time ; [核] residence time ; retention time
时停时进游 stop-and-go swimming
磁带起停时间 [计] magnetic tape start-stop time
应用推荐