面向资源Petri网的自动制造系统死锁预防

在自动制造系统(automated manufacturing systems,AMSs)中,死锁是一个急需解决的问题,其主要由资源的循环等待造成.为了解决该问题,本文首先基于面向资源Petri网(resource-oriented Petri nets,ROPNs)的特征,建立特殊资源标记图(special resource marked graphs,SRMGs).其次,在SRMGs中建立死锁与饱和回路之间的关系.最后通过为一些特殊回路添加控制器,阻止系统出现不安全标记.考虑到资源故障问题,为危险库所添加资源缓冲子网,保证需要故障资源的零件不会阻塞其他零件的持续生产.相比现有的控制器,本文的监督控制器具有控制开关,其通过实时改变控制库所的容量可以允许更多安全标记发生.

基于变压器运行机理建模的设备状态趋势分析与故障诊断

目前国内普遍采用三维可视化技术对变电站内变压器等设备进行建模,虽然一定程度上解决了传统管理方法存在的管理协同工作的难题,但随着电力系统呈现开放式的发展趋势,其非线性、高维度等特征给三维数字可视化带来巨大的挑战。需要深入对变电站设备间的联动机制、约束关系及动态运行过程表达方式方法开展研究。本项目采用ROPN系统工程建模方法能够对变压器运行状态过程进行全方位、细粒度的机理建模,构建变压器运行系统的数字孪生体,实现变压器物理系统与虚拟镜像系统的信息交互回馈,通过虚实交互回馈、数据融合分析、决策迭代优化等手段,达到变压器设备状态趋势分析与故障诊断的研究目的。