%0 Journal Article
%T Modeling and Verification of Batch System<br>单道批处理系统的建模与验证
%A YU Xian-feng
%A LEI Li-hui
%A LI Yong-ming
%A <br>鱼先锋
%A 雷丽晖
%A 李永明
%J 计算机科学
%D 2011
%I 
%X 单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型—批处理自动机，并给出了相应的转换算法，将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测，验证了单道批处理系统的合理性即兼顾公平性与效率。
%K Simple batch systems
%K Model checking
%K Kripke structure
%K Automata<br>批处理系统，模型检测，Kripke结构，自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=26836C89A0D15242EBCC9890A5BAEE0B&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=E158A972A605785F&sid=4290346F7268639E&eid=0F7768518993EDDE&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=9