单道批处理系统的建模与验证

• 作者: 李永明 雷丽晖 鱼先锋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 批处理系统 模型检测 Kripke结构 自动机
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 257-259
• 分类号: TP301.1
• 字数: 3767字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.057

摘要

单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础.建立了单道批处理系统的一个数学模型--批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	雷丽晖	陕西师范大学计算机科学学院	9	25	4.0	4.0
3	鱼先锋	陕西师范大学计算机科学学院	1	6	1.0	1.0