基于变迁覆盖的制造系统死锁控制策略

基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.     

信标基底的可选择性在制造系统死锁控制中的应用

本文基于Petri网模型,讨论柔性制造系统的死锁控制问题.为了建立结构简单的Petri网控制器,本文在以前的工作中提出了信标基底的概念.信标基底是一组满足特定条件的严格极小信标集合.本文证明基于不同的信标基底,建立的受控系统其容许性能也不同.而容许性是评价死锁控制策略优劣的重要标准之一.故如何选择信标基底,提高受控系统的容许性能是值得研究的问题.本文讨论了使受控系统容许性能大大提高的信标基底的选择条件.基于该条件,为柔性制造系统建立有效的死锁控制策略.最后,通过两个例子解释该条件和策略.     

具有多项式时间复杂性的避免制造系统死锁控制策略

基于系统 Petri 网模型, 研究自动制造系统的避免死锁问题. 对不含中心资源的制造系统, 证明了它只包含安全和死锁两类可达状态. 通过一步向前看的方法, 给出了系统多项式时间复杂性的最佳避免死锁策略. 对一般系统定义了一种辅助 Petri 网. 利用辅助网的最佳避免死锁策略, 提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.     

避免FMS死锁的控制策略

本文利用ＦＭＳ的Ｐｅｔｒｉ网模型讨论系统的死锁问题,给出了系统死锁的必要充分条件,提出了避免系统死锁的反馈控制策略,这种策略对系统的限制小,在许多情形下是最优的。     

位置互连受控Petri网的死锁与避免

本文在给出一种位置互连受控Ｐｅｔｒｉ网定义的基础上,推导出ＰＩＣＰＮ死锁和临界死锁的充分必要条件,并由此提出相应避免死锁的控制机制。     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象，如不加以消除，将会导致整个系统的瘫痪。文中通过Petri网模型对FMS的结构分析，揭示出导致FMS死锁的结构元素和活性特征，在此基础上，提出了FMS的无死锁Petri网控制器算法，并举例说明这种控制器算法在FMS中的应用。     

应用控制变迁的柔性制造系统死锁控制策略

不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0, M0)的可达图(RG),该DCP求解出所有死锁标识(DM).基于CTE,构造出所需的控制变迁.然后,对每个DM添加相应的CT,进而消除了原网(N_0, M_0)中的死锁标识,得到了活性受控网系统(N~?, M~?).通过理论分析和相关算例的应用,该DCP的正确性和有效性得到了验证.此外,该DCP获取的活性受控网系统(N~?, M~?)可达数目与原网(N_0, M_0)是相同的,即最大可达数(MRN).     

Petri网死锁的分析与检测

本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.     

面向对象Petri网的约简和系统死锁的检测

提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。     

基于Petri网并行程序通信死锁的检测和预防

无死锁是并行程序正确性的主要条件之一,已有研究成果关注于死锁检测,但对死锁预防研究较少。该文在对消息传递模式并行程序各种通信过程进行分类介绍的基础上,借助Petri网进行建模,提出程序死锁与Petri网死标识的对应关系,给出通信死锁检测算法,进而针对2种引起通信死锁的原因提出了3种预防方法,通过比较提出最佳方案。该方法既有较好的通用性,又可用于并行算法设计阶段的死锁预防以提高并行编程效率。     

交换机ACL自动控制系统设计与实现

针对机房网络访问控制策略需要动态变化的问题,介绍了一个模拟Telnet自动控制交换机ACL的控制系统,该控制系统能够利用配置文件,将机房网络访问控制策略自动转换成交换机的ACL命令.     

自动摊铺机测控系统软件设计

文章针对LTU125A沥青混凝土自动摊铺机开发项目的要求,分析了摊铺机测控系统的软件需求及功能,描述了测控软件的模块化结构,讨论了信号输入／输出接口程序设计、测控机与交互机及方向机之间的通信程序设计、测控主模块程序及人机交互程序设计等。     

自主移动小车轨迹跟踪的参数优化及仿真研究

控制律中参数的选取在很大程度上影响着自主移动小车的轨迹跟踪精度,但很少有人考虑参数的优化取值问题。首先,该文将轨迹跟踪控制变量转换至小车车轮上以确保控制能在实际系统中实现;然后,用遗传算法对控制律中的参数进行优化设计,并用MATLAB进行了仿真研究。仿真结果表明：控制参数的选取对自主移动小车的轨迹跟踪精度影响很大;相同的控制参数对在不同的自主移动小车初始位姿下的轨迹跟踪控制效果不同;通过优化控制参数以提高自主移动小车的轨迹跟踪精度是可行与有效的。     

热轧厚度自动控制仿真系统的设计

本文介绍多机架连轧机的厚度自动控制仿真系统。正常生产的轧机不可能提供太多的试验机会,为给某热连轧厚度自动控制系统的改造提供一个仿真实验的平台,通过对某钢厂热连轧机轧制控制过程的深入研究,采用组件对象模型（COM）技术将轧机7个机架的厚度自动控制系统进行模块分割,并对每一个子模块进行机理建模,然后利用Matlab中的Simulink来封装联结各个子模型,最后建立起热连轧多机架仿真系统,为生产现场试验新工艺、新产品提供了一个安全、可靠、离线的软环境。     

自动化系统中的串行通信协议的设计

文章提出一种基于开放系统互联模型的串行通信协议结构,讨论了各层协议的功能和实现方法。采用该协议可以设计出简单可靠的串行通信程序,能够满足自动化系统中设备之间的数据通信要求。     

六辊可逆冷轧机组自控系统的应用

主要介绍了莱钢六辊可逆冷轧机组的概况、系统网络结构及全自动轧钢控制功能实现的关键技术,结合生产实际对系统功能进行了完善设计。     

自动组合装置赋时有色Petri网模型的建立分析

半导体制造中的自动组合装置是半导体制造的关键设备和瓶颈设备.对其性能进行量化的直观的分析对于半导体制造的效率和成本预测具有重要意义.文章阐述了如何利用Aarhus大学开发的CPN Tools对单臂双处理仓的自动组合装置建立赋时有色的佩特里网模型.文中按照不同建模思想建立起抽象型和具象型两个结构不同的模型,通过比对进行验证,最后利用CPN Tools自带的仿真功能进行仿真得出模拟运行的结果.文中的研究方法和结论对于复杂的自动组合装置的有色佩特里网的分析具有一定的参考价值.     

基于Petri网的数据库系统并发控制活性分析

从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。     

沥青混凝土自动摊铺机控制系统设计

针对LTU125A沥青混凝土自动摊铺机项目的总体要求和技术指标,分别介绍了自动摊铺机控制系统各部分的组成和设计方法。