【摘 要】
:
随着数十年以来的工业信息化及智能化的转型和发展,针对复杂及大规模系统的建模,分析与控制已经逐步渗透到现代生产制造业的各个环节中,这其中包括产品品控、远程服务、装配测试、维修、售后运营等多方面。系统的行为特性是系统理论中的一个基本概念,其含义为,在不同的输入条件下,系统中的状态变量响应该输入随时间或事件变化的特性。对于在实际工程背景下给定的物理系统,首先应对其进行数学建模,以模拟再现该系统的实际运行
论文部分内容阅读
随着数十年以来的工业信息化及智能化的转型和发展,针对复杂及大规模系统的建模,分析与控制已经逐步渗透到现代生产制造业的各个环节中,这其中包括产品品控、远程服务、装配测试、维修、售后运营等多方面。系统的行为特性是系统理论中的一个基本概念,其含义为,在不同的输入条件下,系统中的状态变量响应该输入随时间或事件变化的特性。对于在实际工程背景下给定的物理系统,首先应对其进行数学建模,以模拟再现该系统的实际运行过程。其次,应对该系统模型的行为特性进行定性或定量的分析。最后,对于不符合期望行为特性的系统,应进一步选择合理的输入条件以实现期望的行为特性目标,即对该系统进行控制。离散事件系统是一类基于事件驱动的系统模型,其状态空间是离散状态的集合且状态转换机制是由事件驱动的。一系列基于现实物理模型存在的实际复杂系统均可以使用离散事件系统进行建模,例如制造系统、队列系统、通信系统等。对于给定的离散事件系统模型,其有意义的行为特性包含可达性(给定的状态是否可以由系统的初始状态经过一系列事件序列到达)、非阻塞性(系统中的所有状态均可以到达系统中任意给定的一系列终止状态)、活性(在系统的任意状态下,任何系统包含的事件均有可能在未来发生)、无死锁性(系统中不存在不能被系统包含的任一事件驱动的状态)等。一方面,上述的这一类行为特性均对应于实际系统中的相应物理属性并具有重要意义,因此需要进行准确的定性分析。一般的基于遍历状态空间或构建可达图的验证分析方法会不可避免的受限于状态爆炸问题,因此,研究者致力于寻找其他具有实际效率的结构化或半结构化对策方法。另一方面,为确保离散事件系统响应期望的行为特性,需要设计相应的控制策略作用于受控闭环系统。在实际情况下,归因于各类因素(例如传感器缺失或技术所限),系统中并非所有事件均可控。因此,在具有部分可控事件的系统中设计具有良好状态许可性的监督控制器是复杂但值得研究的。基于上述原因,本文使用半结构化方法针对基于Petri网建模的离散事件系统中的行为特性验证分析及监督控制器设计问题进行研究。本文的主要研究成果摘要如下:1.基本标识方法是一种应用于Petri网模型中的状态空间压缩技术,该技术通常需要构建一种被称为基本可达图(BRG)的自动机结构。在实际应用基本标识方法时,被压缩的状态空间并非总能保留人们期望分析的所有状态信息。因此,普通的基本标识方法难以被直接应用于系统的行为特性分析研究中。作为对策,本文提出一种被称作极小-极大基本标识方法的半结构化方法来验证分析Petri网的一系列有意义的行为特性,包含非阻塞性、可逆性、无死锁性、活性以及归属状态存在性。在该方法中,我们构建一种称之为极小-极大基本可达图(min-max-BRG)的自动机结构。该结构是系统状态可达集的抽象描述,并同时保留了验证系统的阻塞性、可逆性、无死锁性、活性以及归属状态存在性所需要的所有信息构成。我们证明,上述Petri网的行为特性验证问题都可以通过分析其相应的min-max-BRG中的等效行为特性来完成。本文提出的验证方法不需要构建Petri网的可达图,具有实际验证效率并且适用性广泛。2.尽管我们在上一章中提出的基于min-max-BRG的方法在行为特性验证方面具有实际效率,但与传统的基本标识方法不同,目前文献中暂时还没有使用min-max-BRG解决状态估计以及监督控制问题的方法。在这些问题里,例如非阻塞性、无死锁性、或活性等行为特性的分析往往作用关键。为了充分挖掘利用基本标识方法的优势,我们在传统基本标识方法的框架下提出新的解决方案来解决Petri网的非阻塞性,无死锁性以及活性的验证问题。通过选择特定的Petri网变迁集划分,本文提出两种BRG的子类:冲突-GMEC增加基本可达图(CI-BRG)以及无冲突基本可达图(CF-BRG)。结合图论的方法,前者可以用于非阻塞性验证,而后者可以用于进行Petri网的无死锁性和活性分析。得益于BRG的优势,我们提出的验证方法能够避免穷举系统的状态空间,具有实际验证效率并且适用性广泛。3.针对具有部分可控变迁的Petri网模型下的无死锁性及活性监督控制器设计问题,文献中的大多数解决方案都需要先验地遍历可达状态空间,因此存在状态爆炸问题。其他可以避免遍历的方法要么仅适用于Petri网的一些子类(即高度依赖于某些特定的Petri网结构),要么设计的控制器通常不是最大行为许可的。本文提出一种称之为无冲突-显式控制基本可达图(CFCE-BRG)的CF-BRG的子类结构。结合经典的离散事件系统监督控制理论,我们设计两种具有最大行为许可的无死锁性和活性监督控制器,其表现形式均为相应的CFCE-BRG衍生的自动机结构。对比于文献中的其他方法,我们的控制策略适用于任意有界的Petri网且无需详尽枚举系统可达状态,能够有效缓解状态爆炸问题。
其他文献
自压电电子学在2006年被提出以来,广泛应用于应变传感、光电探测以及柔性电子器件等。压电电子学概念的诞生是基于压电效应,压电效应指的是材料的电极化与机械刺激之间的机电耦合。具有压电特性的压电半导体材料同时兼具半导体特性,其内部晶体结构具有非中心对称性,比如纤锌矿结构的ZnO和GaN等。压电电子学器件基于压电电子学效应工作。压电电子学效应是一种界面效应,该效应通过机械刺激诱导压电极化电荷的产生,进而
随着电子信息技术的快速发展,以微纳电子器件为核心的可穿戴电子设备、人工智能、物联网等高新技术逐渐走入人们的日常生活之中。考虑到传统电池容量有限、需要频繁维护等内在缺陷,构建可长期稳定运行、便携、多功能的自驱动系统是大数据时代下对电子设备提出的必然要求。纳米发电机,作为一种能够将机械能高效转化为电能的新兴微能源技术,因其具有结构简单、材料选择多样、易于移植、机电转化效率高等众多独特优势,在实现微纳电
气体传感器作为气体信息采集和获取的关键元件,在医疗卫生、大气环境、工农业及国家安全等领域均有着巨大的应用价值。其中半导体金属氧化物基的气体传感器件作为一种全固态传感器,具备了成本较低、工艺简单、稳定性好、可集成和智能化、实时快速检测等优势,已经成为学术研究和产业应用的关键。而确定半导体气体传感器性能的基石和关键是传感材料,先进高效的传感器无法脱离纳米材料的革新和进步。所以设计和构筑新型气体传感器的
非侵入式光学成像在生物成像和光学检测等领域中都有重要的应用。但是,不均匀的样品(例如生物组织)会散射光,从而导致探测器上形成复杂的散斑图案。随着穿透深度的增加,从散射光中分离出少量的弹道光成为一个很大的挑战。目前,已经提出了几种技术通过使用反馈信号优化入射光波前进而实现聚焦,然后利用扫描的方式实现成像。这些技术通常需要途径至散射层的两侧获取反馈信号以优化波前,极大地限制了它们在实际场景中的应用。为
目前,CVNNs已经被成功地应用于许多工程问题的建模。与RVNNs相比,CVNNs具有更复杂的动力学行为和更高的存储容量,可以直接处理二维问题。然而,复值模型也存在着无法解决更高维现实问题的缺点,如三维和四维空间问题。为了解决这一问题,学者们将四元数与NNs相结合,构建了QVNNs模型。QVNNs在彩色夜视、仿射变换和彩色图像压缩等领域有着重要的应用前景。因此,研究QVNNs的动力学特性具有重要的
利用激光选区熔化(Selective Laser Melting, SLM)成形技术制备TA15钛合金,通过光学显微镜(Optical Microscope, OM)、扫描电镜(Scanning Electron Microscope, SEM)和室温拉伸等实验研究了激光功率和扫描速度对SLM成形TA15钛合金内部缺陷以及力学性能的影响规律。结果表明,在低激光功率(100~125 W)、高扫描速度
目前,肥胖已经成为全球性的健康问题,而我国也已成为世界上肥胖人口最多的国家。肥胖患者面对食物刺激时倾向选择立即摄入高能量食物,而非选择拒绝食物或者选择低能量食物,表明肥胖患者摄食相关的认知决策功能紊乱,由此导致的不良饮食行为是肥胖发展与形成的主要因素。以袖状胃切除术(Laparoscopic Sleeve Gastrectomy,LSG)为主的外科减重手术作为目前临床治疗重度肥胖唯一长期有效的方式
基于Simufact additive建立激光选区熔化(selective laser melting,SLM)成形AlSi10Mg合金无支撑半圆孔悬垂结构的仿真模型,分析了不同工序总变形量和残余应力变化情况,研究了几何参数厚度、内/外圆半径对最大总变形量和最大残余应力的影响。结果表明,随着半圆孔厚度增加,最大总变形量和最大残余应力呈增大趋势;半圆孔内圆半径变大,最大总变形量呈增大趋势;半圆孔外圆
肿瘤严重威胁人类健康,转移和耐药是导致患者术后预后不佳和死亡率上升的主要原因。为了提高患者生存率,目前已有多种方法,如肿瘤组织活检、生物标志物检测以及新兴的液体活检等用于肿瘤转移和耐药研究。然而,离体组织病理检测和分子生物学验证不能反映肿瘤的真实状态。因此,建立肿瘤转移和耐药在体检测的方法对肿瘤个体化治疗是非常重要的。分子影像技术的发展为肿瘤诊疗带来了新的契机,通过在体多模态成像不仅可以准确定位肿
氨基酸基元的材料如氨基酸和二肽具有生物相容性、可身体吸收特性和可生物功能化等优点受到众多研究者的青睐。这些材料通过非共价键作用力自组装成晶体结构,从而展示出优异的化学和物理性能。其中大部分晶体属于非中心对称结构,具有压电性能,在传感器、制动器、纳米发电机和生物工程等领域具有应用前景。虽然早在几十年前人们就发现氨基酸晶体具有压电性能,但是其实际应用,尤其在能源采集上的应用发展缓慢。这是由于这些有机生