调度策略中的稳定性证明

A Proof of Stability About Scheduling Policies

在实际应用中 ,讨论调度策略的稳定性至关重要。以往研究在给出时清空最大缓冲器调度策略稳定性的证明时 ,证明复杂、繁琐。笔者利用动态系统的Lyapunov理论 ,给出了调度系统中的Lyapunov函数 ,证明清空最大缓冲器调度策略稳定性。

It is practical to investigate distributed and real line scheduling policies.In practical application,the stability is more important than other indexes of the systems.Although there were some research which provided analyses,investigations and proofs,the process of proof were heavy and complicated.This paper not only deals with distributed,real time scheduling policies in manufacturing systems but provides a simplified method of proving the stability in some existing scheduling policies using Lyapunov theory in dynamical systems.