简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:“高等教育质量工程”是20世纪90年代以来国家组织实施的一系列高等学校教学改革和质量建设计划的总称。根据目标和任务的不同,这项计划可划分为“教改工程”“质量工程”和“本科教学工程”三个时期,每个时期又依据一些标志性事件划分为若干阶段。“高等教育质量工程”的实施,在巩固高校教学工作中心地位、推动高校加大对教学工作的投入等方面发挥了重要作用,但也存在着“效率”与“公平”“项目化管理”与“常规管理”“最好的教育”与“适合的教育”等深层次观念的冲突,需要及时化解。近期发布的“普通高等学校本科专业类教学质量国家标准”是“高等教育质量工程”最重要的成果之一,按照国家有关规定重新启动再标准化进程,是增强其地位和功能的首要任务。