【摘 要】
：
迭代控制算法是一种Petri网死锁预防方法。本文对三种基于关键标识的极小信标覆盖集的Petri网迭代控制算法进行了分析。由于这三种算法同时考虑信标和状态,因此通常可以得到
论文部分内容阅读
迭代控制算法是一种Petri网死锁预防方法。本文对三种基于关键标识的极小信标覆盖集的Petri网迭代控制算法进行了分析。由于这三种算法同时考虑信标和状态,因此通常可以得到最优的控制器。在对第三种算法改进的基础上,通过分析网的转化与网控制的转化之间的关系,得出了一种可以用控制普通网的方法来控制一般网的迭代控制算法。在这些算法的实现过程中涉及到基于划分和库所约束的极小信标的求解问题、一般网向普通网的转化及返回转化问题、关键标识的极小信标集合覆盖问题、关键标识的生成问题、死锁检测问题、冗余控制库所的检测及删除问题,以及极小信标和关键标识的交替生成问题等。在这些问题的解决过程中,大量使用到整数线性规划。
其他文献
随着我国经济快速发展和大规模的基础设施建设的不断深入,在山岭地区修筑的隧洞工程规模也越来越大,随之而来的隧洞地质灾害也越来越复杂。而施工期超前地质预报则成为解决问
针对岩土材料细观力学数值模拟结果与宏观力学试验验证之间缺乏相关试验设备的现状,在考虑岩土材料非均匀性的同时,研制了可与工业CT配套使用的岩土材料间接拉伸强度测定仪。
蚂蝗沟5号堆积体位于硗碛水库蚂蝗沟支库右岸,由于水库蓄水导致堆积体内水动力环境改变,地表出现了一系列变形破坏特征,对环湖公路的正常通行、坡体居民的生命财产以及水库的
汽车行驶的舒适性和操纵稳定性这两项指标与汽车的悬架系统有着密切的关系。传统的被动悬架的结构参数不能随着外界的条件的变化而变化,从而限制了汽车性能的进一步提高,而半
球墨铸铁的球化效果是决定其硬度、抗拉强度和韧性等机械性能的重要因素,而球化效果受到原材料、处理方式等因素的影响,传统的球化效果热分析预测算法是基于多元回归方法得出的,缺乏适应性。本文设计了一款检测精度高、具有适应性的球墨铸铁质量参数热分析系统,可以快速准确检测球墨铸铁碳含量、硅含量、碳当量和球化率。论文围绕球墨铸铁热分析仪的算法设计和系统实现展开研究,主要研究内容如下：(1)系统地整理了国内外在球
瓦斯突出是生产矿井的主要灾害之一,为了防止瓦斯突出,应该掌握瓦斯赋存及涌出量规律。在收集整理和综合分析采掘区瓦斯地质资料的基础上,分析小青井田地质构造、煤层沉积特
针对机械类课程试题库系统的现状与实际需求,基于CAXA二次开发技术研究开发了一个机械类试题自动组卷软件。论文研究了CAXA程序二次开发技术、CAXA图形试题处理、基于COM组件的VC++6.0与Matlab7.0混合编程方法等关键技术问题,设计并实现了自动组卷软件的试题库管理、试卷生成与管理、试卷分析三大功能模块。论文在深入分析自动组卷原理与约束的基础上,设计了一种自动组卷算法,该算法利用多维数组
在华北型煤田，石炭-二叠纪的煤层分布广，资源量大。近年来对能源需求量不断增加，开采强度不断加大，浅部的煤炭资源（上组煤）日益减少。为延长矿井寿命，下组煤的开采就迫在眉睫，而奥灰