调度策略中的稳定性证明  

A Proof of Stability About Scheduling Policies

作　　者：桂冰[1] 戴嘉尊[2] 

机构地区：[1]南京林业大学,江苏南京210037 [2]南京航空航天大学,江苏南京210016

出　　处：《南京林业大学学报（自然科学版）》2002年第5期67-69,共3页Journal of Nanjing Forestry University：Natural Sciences Edition

摘　　要：在实际应用中 ,讨论调度策略的稳定性至关重要。以往研究在给出时清空最大缓冲器调度策略稳定性的证明时 ,证明复杂、繁琐。笔者利用动态系统的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.

关 键 词：调度策略 稳定性 制造系统 LYAPUNOV理论 生产车间 机床 

分 类 号：O231[理学—运筹学与控制论]