intervaln.间隔；休息时间；(数学)区间；(音乐)音程interval tracing区间追踪间隔interval algebra区间代数interval mapping区间映射interval running间歇跑interval counter间隔计数器intervaltopology区间拓扑interval surgery间隔手术interval timeout时间间隔超时设定interval cooling间歇控制Interval heating间歇供暖