摘要
利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．
The CPU occupancy rate is a critical parameter to evaluate the system′s loading ability. The overload control of C.O. switch platform is an important function that is required by China MPT. A new approach is presented for formalizing the function specification of the overload control of C.O. switch platform with the aid of the duration calculus theory. The heart of the overload control algorithm is given also.
出处
《中山大学学报（自然科学版）》
CAS
CSCD
1996年第5期45-50,共6页
Acta Scientiarum Naturalium Universitatis Sunyatseni
关键词
形式化方法
局用交换机
交换机
局间通信线路
overload control, CPU occupancy rate, duration calculus, formal specification.
