计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
4期
250-253,260
,共5页
吴长庆%罗键%陈火国%庄进发%彭彦卿
吳長慶%囉鍵%陳火國%莊進髮%彭彥卿
오장경%라건%진화국%장진발%팽언경
自动小车存取系统%RGVs系统%环路死锁%Petri网
自動小車存取繫統%RGVs繫統%環路死鎖%Petri網
자동소차존취계통%RGVs계통%배로사쇄%Petri망
为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Timed Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型.同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略.并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法.最后基于VC.NET验证其有效性.
為實現自動小車存取繫統的實時控製,基于雙重著色賦時Petri網(Colored Timed Petri Nets,CTPN)構建瞭RGVs繫統(Rail-Guided Vehicles system,RGVs)的動態模型.同時為瞭提高RGVs繫統的存儲效率,對RGV小車採用基于最短路徑的調度策略.併針對RGVs繫統的臨界狀態即將髮生環路(環路鏈)死鎖的狀況,提齣瞭一種死鎖預防的方法.最後基于VC.NET驗證其有效性.
위실현자동소차존취계통적실시공제,기우쌍중착색부시Petri망(Colored Timed Petri Nets,CTPN)구건료RGVs계통(Rail-Guided Vehicles system,RGVs)적동태모형.동시위료제고RGVs계통적존저효솔,대RGV소차채용기우최단로경적조도책략.병침대RGVs계통적림계상태즉장발생배로(배로련)사쇄적상황,제출료일충사쇄예방적방법.최후기우VC.NET험증기유효성.