计算机科学 ›› 2011, Vol. 38 ›› Issue (4): 257-259.
• 人工智能 • 上一篇 下一篇
鱼先锋,雷丽晖,李永明
出版日期:
发布日期:
基金资助:
U Xian-feng,LEI Li-hui, LI Yong-ming
Online:
Published:
摘要: 单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型—批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率。
关键词: 批处理系统,模型检测,Kripke结构,自动机
Abstract: The model of simple batch systems is the foundation of its performance evaluation, simulation, scheduling,and control research. This paper introduced a mathematical model named batch automata for simple batch systems, andgave an algorithm for translating a batch automata into a Kripke structure, and completed the model checking of batch system based on the Kripke structure to verify the reasonable property, i. e.,both fair and efficiency.
Key words: Simple batch systems,Model checking,Kripke structure,Automata
鱼先锋,雷丽晖,李永明. 单道批处理系统的建模与验证[J]. 计算机科学, 2011, 38(4): 257-259. https://doi.org/
U Xian-feng,LEI Li-hui, LI Yong-ming. Modeling and Verification of Batch System[J]. Computer Science, 2011, 38(4): 257-259. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I4/257
Cited