计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
4期
257-259
,共3页
批处理系统%模型检测%Kripke结构%自动机
批處理繫統%模型檢測%Kripke結構%自動機
비처리계통%모형검측%Kripke결구%자동궤
单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础.建立了单道批处理系统的一个数学模型--批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率.
單道批處理繫統的模型是其性能評價、倣真、作業調度及控製的研究基礎.建立瞭單道批處理繫統的一箇數學模型--批處理自動機,併給齣瞭相應的轉換算法,將所建數學模型轉換成Kripke結構;完成瞭基于Kripke結構的單道批處理繫統模型檢測,驗證瞭單道批處理繫統的閤理性即兼顧公平性與效率.
단도비처리계통적모형시기성능평개、방진、작업조도급공제적연구기출.건립료단도비처리계통적일개수학모형--비처리자동궤,병급출료상응적전환산법,장소건수학모형전환성Kripke결구;완성료기우Kripke결구적단도비처리계통모형검측,험증료단도비처리계통적합이성즉겸고공평성여효솔.