离散时间区间时序逻辑
discrete timed interval temporal logic
时间区间因果关系
interval causal relationship
闭路冷却系统高架箱
closed cooling (water) system elevated tank
边远地区高职院校
vocational colleges in remote areas
车架高度
height of chassis above ground
carriage height
departure angle
车架高度调整
carriage height adjustment
城区高压变电站
high-voltage transformer substation in urban area
城市高架轨道交通
urban viaduct rail transit
城市高架交通规划
traffic planning on urban over-head road