基于UPPAAL的虚拟生产系统仿真

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:wcf2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统.
其他文献
自动化控制广泛应用于石油、化工、电力等各个流程工业领域。从全球行业发展角度来看,自动化控制领域是资金密集型,技术密集型领域,长期以来被外资品牌所占据。电力设备属于高端
本文以唐村实业公司实际工作情况为基础,探讨如何在金融危机形式下,通过财务战略调整,选择适合企业生存发展的财务战略和财务核算方法,减少金融危机对企业的不利影响。
通过建立一个包含收益权和决策权分配的创业融资模型,探讨了创业企业融资额与企业的收益权和决策权分配之间的影响关系,得出了对应不同融资额的融资双方控制权配置方式,分析
在煤粉燃烧的20kW一维热态实验炉上进行了天然气再燃的实验,通过改变主燃料的种类、再燃区过量空气系数、再燃燃料的组成和再燃区温度等实验工况,以分析再燃时各种因素对煤燃烧
房地产业作为典型的资金密集型行业,企业资金投入量大、回收周期长和变现能力差的特点决定其面临着巨大的财务风险。并且,我国房地产企业起步晚、基础差、规模小以及运行的不规
针对线性调频(LFM)信号分数阶傅里叶变换的特性,提出了一种分数阶频率域相关算法.该算法不仅能够在低信噪比条件下对LFM信号进行检测,还能与时间域相关法混合求解,获得包含时延及多
提出了一种新的应用于多入多出(MIMO)系统的结合最小均方误差串行干扰消除(MMSE—SIC)的部分极大似然(ML)算法.该算法对一部分符号进行ML估计,并结合MMSE—SIC算法对其他符号进行检测
针对某些情况下传统的控制方法难以实现准确高速的位置控制,提出了一种基于条码识别的高速位置反馈伺服控制方法.通过设计一种具有一定结构特征的条码,利用对条码的识别作为位置