自动制造系统Petri网模型SPN的化简

在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

自动制造系统Petri网模型中的分叉操作库所

在自动制造系统Petri网模型中,分叉操作库所是资源变迁回路(Resource-Transition Circuit,简称RTC)发生不完美性的根源.若没有分叉操作库所,则所有的RTC都是完美的.对于一个资源子集R1,若存在以R1为资源集的RTC,则θ=R1,(.R1∩R1.)就是以R1为资源集的完美极大资源变迁回路(Perfect Maximal Resource-Transition Circuit,简称PMRTC).     

一类离散时滞系统的极小极大鲁棒控制

针对一类离散时滞系统设计有记忆的状态反馈控制器,使得在最坏的干扰和不确定性下,闭环系统渐近稳定且性能指标存在一个最小上界.给出离散时滞系统的极小极大控制定义,利用李亚普诺夫方法和线性矩阵不等式(LMI)方法给出了极小极大鲁棒控制器的存在条件和设计方法.通过建立、求解凸优化问题得到最优极小极大控制器参数和性能指标的最小上界.最后给出数值算例,说明所设计的极小极大控制器只需付出较小的代价成本就能很好地抑制干扰.     

基于极大团的不完备系统规则获取方法

针对不完备决策系统的规则提取问题,提出一种基于极大团的不完备系统规则获取方法.引入图中极大团概念定义相容块构造范式,将其等价转换为极小析取范式后得到不完备系统全体极大相容块,收集每一相容块最全描述即可生成极大相容块最全描述系统,进而为最全描述系统中的每一对象构造决策分辨范式得到与该对象对应的全体可信关联规则.该方法具有2个特点:针对系统中每一基本信息粒自动生成基准置信参数,避免了预设固定参数而遗漏置信度小于此参数的部分有用规则;将决策分辨范式等价变换为其极小析取范式,避免了采用特定顺序选择属性而遗漏部分有用规则.将该算法应用于某保险公司私家车客户车险数据和UCI不完备数据集,实验结果与数据分析说明了该算法的分类预测性能.     

一类TCP网络系统的Minimax拥塞控制

研究一类带有用户数据报协议(user datagram protocol,UDP)流干扰的TCP网络系统拥塞控制问题.首先,建立了一个严格反馈非线性TCP网络系统模型,然后,利用反推(backstepping)技术和极小极大(minimax)理论,提出一个新的网络拥塞控制算法,并且给出了一个充分条件.在最大UDP流干扰存在的情况下,构建了一个状态反馈控制器,使得TCP网络系统渐近稳定.最后,对4种不同的情况进行了仿真,特别是在最大干扰存在时对4种控制方法进行了仿真对比,通过得到的仿真结果可以看出本文所提方法的可行性和优越性.     

柔性制造系统Petri网模型的化简

在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比,最终得到的网系统具有较少的库所、变迁和较简单的网结构.     

银行家算法在排课系统的教室安排中的应用

银行家算法是一个动态策略排除死锁的算法它能有效、合理地安排系统中已有的资源.主要论述了该算法在排课系统中针对选修课程教室安排的应用,使每个教室都能得到充分和合理的应用.     

基于图的覆盖决策信息系统属性约简新算法

属性约简是粗糙集理论的重要研究内容之一,主要是用于去除高维数据的冗余信息.利用图论求约简是覆盖决策信息系统属性约简的一个新方法,其将覆盖决策系统的约简等价于超图的极小顶点覆盖.本研究提出一种新的覆盖决策信息系统的属性约简算法,该算法采用三步策略:首先确定覆盖决策信息系统的辨识集,然后得到超图的关联矩阵,最后用贪心法求出...     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.