【摘 要】
：
机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究
【机 构】
：
合肥工业大学计算机与信息学院,安徽理工大学理学院,合肥工大高科信息技术有限责任公司
论文部分内容阅读
机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准
其他文献
随着计算机技术的迅猛发展,计算机病毒层出不穷,严重破坏了人们日常生活的网络环境。因此,就目前的形势看,研究计算机病毒的新特点,研究新的防范措施对于保障网络安全、构建
2015年7月,《国务院关于积极推进"互联网+"行动的指导意见》提出,拓展互联网与经济社会各领域融合的广度和深度,发挥互联网在促进产业升级中的平台作用。随后,"互联网+"成为
2019年8月中旬,作者于琼中县营根镇岭头村附近的人工橡胶林区斑块化的竹林内发现海南山鹧鸪种群。本研究提供了海南山鹧鸪的实体照片和生境照片,揭示了该物种在海南岛中部大
为了更好地识别野荔枝、毛荔枝、荔枝的木材结构,采用宏观和微观观察方式对三者的木材特征进行了比较。结果表明：野荔枝、荔枝与毛荔枝的区别明显,主要表现在前两者的轴向薄壁
集中式供水中常规的水处理工艺包括:混凝、沉淀、过滤、消毒等环节。从节约水资源角度出发,大部分水厂均设有沉淀池排泥水、反冲洗水回用等工艺,实现部分水资源的可持续利用
目的:探析老年广泛性焦虑症患者护理中护理干预的应用效果,以及对患者睡眠质量和生命质量的影响。方法:选取2019年1月至2019年12月福建中医药大学附属人民医院老年病科收治的
本文简要地介绍了移动网络的发展历史和现状，以及移动网络在数字时代的主要应用。展望了“万物互联”的新时代景象。
2020年3月19日,由青海大学农林科学院(青海省农林科学院)完成的“高产抗病广适马铃薯新品种青薯9号选育与应用”项目获得2019年度青海省科学技术进步一等奖。我国马铃薯种植