时段演算

（计算机科学技术）

时段演算（duration calculus），计算机科学技术名词，一种实时区间时态逻辑，它将布尔函数在区间上的积分进行形式化，从而用来描述和推导实时状态系统的逻辑特性。