【摘 要】
：
该文针对制造系统中的死锁问题,从制造系统的调度和控制着手,运用Petri网,自动机,通讯顺序进程对制造系统建模,结合遗传算法,银行家算法以及符号模型检查等形式化的方法对无
论文部分内容阅读
该文针对制造系统中的死锁问题,从制造系统的调度和控制着手,运用Petri网,自动机,通讯顺序进程对制造系统建模,结合遗传算法,银行家算法以及符号模型检查等形式化的方法对无死锁调度,死锁预防,死锁避免进行了研究.该文的主要工作包括:1.提出了一种在制造系统中搜索最优的无死锁调度的算法.此算法是建立在遗传算法的基础上,通过引入形式化的Petri网结构来保证无死锁的调度结果.2.提出了一种基于时态Petri网和符号模型检查的死锁预防策略:根据时态Petri网的结构分析来组织模型检查中的规范,符号模型检查用来执行形式化的验证,这种验证将会对系统所有可能的行为进行检查,即运用时态Petri网的结构分析来加强符号模型检查的问题描述能力.3.对银行家算法进行改进.对制造系统采用形式化的建模方法,将系统的模型转换成适合进行模型检查的形式.运用SPIN来对此算法进行仿真,并验证此算法模型的正确性.4.提出了一种FMS的建模方法,此方法是基于时间自动机模型.5.提出了一种FMS的集成设计方法,为死锁提供一种全局的解决方案.6.提出了一种运用面向对象的建模语言"统一建模语言"(UML)和SPIN(PROMELA模型)来对柔性制造系统进行建模,仿真和验证的方法.
其他文献
多模型自适应控制是解决非线性、变工况、参数不确定性等复杂问题的一种有效方法。本文主要将多模型思想应用在热工过程中。首先，通过机理分析，在典型工况点下建立多个固定模型
ZigBee技术的优点有很多，有低成本、低功耗、高扩充性等。这些优点使得ZigBee技术在中小范围的工业控制方面因此是最适合的。特别是在当代工业网络中，很多的环境不适合工作人员直接操作，此时ZigBee测控网络的优势发挥得更为明显，由此可见组建ZigBee无线测控网络具有很高的研究价值。针对ZigBee测控网络的组建，本文首先研究ZigBee技术的相关标准，尤其是在协议栈方面进行研究，分析ZigB
基于图像信息的模式识别技术是一门多学科交叉的综合学科,研究内容非常丰富,而且与实际紧密相连,具有十分重要的研究意义.该文介绍了基于图像信息的模式识别系统的结构和设计
在各种小目标图像预处理算法中,自适应预测器具有抑制强杂波背景的能力,但是,算法的大运算量成为实时目标检测系统的负担.该文分析了TDNLMS(TwoDimensional Normalized Least
该文首先对多机器人系统的特点和优势,机器人在探测环境中的相关内容以及研究现状等进行了综述性介绍,并对该文的选题背景和主要内容作了介绍.该文介绍了多机器人探测环境的
该文主要研究适应这种要求的基于旋转变压器的位置检测方法,以及它在永磁同步电机伺服系统中的应用.该文介绍了永磁同步电机的工作原理和空间矢量技术的原理和特性,该文给出
作为一种典型的混合系统,脉冲动态系统在理论和应用上具有重要意义,迄今为止,其控制理论及在控制工程中的应用尚在发展之中.该文详细地分析了脉冲系统的特点及国内外研究现状
工作流管理技术作为一种过程建模和过程管理的核心技术，可以与其它系统有效地结合，实现符合政府、企业需求的各种业务管理系统，如办公自动化系统(OA)、电子政务系统(E-Governmen
对机器人控制系统结构的研究，是机器人学中的一个重要内容。本文以Puma560机器人的控制系统为例，提出了两个机器人控制系统设计方案：基于微机的设计和基于Internet的设计，在系统