%0 Journal Article %T 单道批处理系统的建模与验证 %A 鱼先锋 %A 雷丽晖 %A 李永明? %J 计算机科学 %D 2011 %X 单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型—批处理自动机,并给出了相应的转换算法,将所建数学模型转换成kripke结构;完成了基于kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率。 %K 批处理系统 %K 模型检测 %K kripke结构 %K 自动机 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110457&flag=1