| 局间通信负荷监控问题的形式化方法 |
| |
| 引用本文： | 赖剑煌.局间通信负荷监控问题的形式化方法[J].中山大学学报(自然科学版),1996,35(5):45-50. |
| |
| 作者姓名： | 赖剑煌 |
| |
| 作者单位： | 中山大学数学系 |
| |
| 摘 要： | 利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．
|
| 关 键 词： | 负荷监测，CPU占用率，时段演算，形式化方法 |
A Formal Specification of C.O. Switch Platform Overload Control |
| |
| Lai Jianhuang.A Formal Specification of C.O. Switch Platform Overload Control[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,1996,35(5):45-50. |
| |
| Authors: | Lai Jianhuang |
| |
| Institution: | Lai Jianhuang |
| |
| Abstract: | |
| |
| Keywords: | overload control CPU occupancy rate duration calculus formal specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
