%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