一、一类混杂Petri网的极大代数模型研究（论文文献综述）
韩云祥[1]（2014）在《固定航路飞行条件下航空器航迹规划若干关键技术研究》文中指出建立智能化的新一代空中交通管理自动化系统,是新一代民用航空运输系统的重要目标之一。在新一代空中交通管理自动化系统实施方案中,航迹规划模块在基于航迹的航空器运行过程中扮演着重要角色。本文针对航空器战略航迹规划和战术航迹规划两个方面分别展开了研究,形成了较为系统的航迹规划理论,能够为新一代空中交通管理自动化系统的实施提供理论指导。本文研究工作主要包括:提出了包含“单航空器航迹规划”和“多航空器航迹规划”的战略航迹规划方法,建立了航空器战略航迹规划理论,其中,单航空器战略航迹规划阶段,从航空器的物理运动特性出发,构造了航空器在不同飞行阶段之间状态切换转移、而同一阶段内航空器重量、校正空速、高度和距离等状态参数连续变化的航迹演化模型。运用Petri网理论从宏观和微观两个角度研究了航空器全飞行剖面航迹演化过程。为了增强航迹的实用性,在航迹规划过程中融入了风场要素,引入启发式算法优化了风场插值模型参数并修正了航空器原始运行状态。多航空器战略航迹规划阶段,从航空器流的物理运动特性出发,根据航段结构和航空器间的运行状态,运用元胞自动机模型,提出了一种空域交通流微观模型构建方法。基于航路冲突点保护区竞争机制,建立了空域多航空器极大代数耦合模型和多航空器冲突预调配模型,给出了模型输入、状态和输出之间的约束关系,依据不同的航迹规划目标,通过形式化推理可以得到多航空器无冲突航迹。提出了包含“单航空器实时航迹推测”和“多航空器实时航迹规划”的战术航迹规划方法,建立了航空器战术航迹规划理论。其中,单航空器实时航迹推测阶段,从影响航空器运行的各种随机因素出发,通过将航空器的位移量视为隐马尔科夫过程的观测值,构建了基于航空器历史轨迹的隐马尔科夫航迹推测模型。针对原始观测数据的符号化序列转换和隐马尔科夫模型初始参数选取,引入启发式算法对原始数据进行聚类并优化隐马尔科夫模型初始参数,采用标准训练算法获取隐马尔科夫模型预测参数对航空器未来位置实施滚动推测。多航空器实时航迹规划阶段,从航空器的动态协同特性出发,在解脱变量受航路空间和航空器性能制约的前提下,通过融入高空风场因素,采用模型预测控制理论,提出了一种能够适应空域环境变化的冲突解脱航迹滚动规划方法。根据航空器的运行状态,建立了高空风场的线性和非线性两种滤波模型,将预测模型的校正过程转化为高空风场数值的滤波过程。为了获取解脱参数数值,引入启发式算法对最优输入量进行求解。
孙宇博[2]（2012）在《基于混合Petri网的矿井生产主物流系统建模与仿真》文中进行了进一步梳理煤炭在我国一次能源消费结构中的地位决定了煤炭工业的发展在国民经济建设中具有举足轻重的作用。目前我国煤炭企业的物流成本高,效率低,安全可靠性差。而煤炭生产物流是煤炭企业物流的重要组成部分,是矿井生产的大动脉,煤炭生产物流在很大程度上决定了煤炭成本、产量以及生产效率。其中主物流是从井下采煤工作面至地面的整个过程的煤流,其物流量大,安全要求高,是煤炭生产物流的核心和关键,并且具有相对独立的运输和贮存系统,在矿井生产物流管理活动中具有极为重要的地位。因此,应用现代物流管理理论与计算机模拟技术,研究矿井生产主物流系统的动态行为,辨识系统中的瓶颈环节,规划或优化矿井生产主物流系统,对降低矿井生产成本、提高矿井生产能力和生产效率、保障矿井安全生产,提升企业综合竞争力有着极其重要的实际意义。根据矿井生产系统分析,界定了矿井生产物流系统的内涵,将矿井生产物流系统分为主物流系统和辅助物流系统,提出了矿井生产主物流是将井下开采出的煤炭从工作面经采区、大巷等运至地面煤仓的过程,主物流系统由工作面生产系统、采区运输系统、大巷运输系统及主井运输系统和井下煤仓等构成。根据煤矿生产工作方式和环境条件得出了矿井生产主物流系统是一个混杂的物流系统,其混杂性主要表现在：物流设施设备的多样性与混杂性、物流过程混杂性、物流系统环节结构的混杂性、物流系统空间的混杂性、物流作业的混杂性。根据分层递阶建模思想和矿井生产主物流系统网络构成,按照混杂递阶型结构把矿井生产主物流系统分为整体结构层、功能层、过程层和设备层。根据矿井生产主物流系统连续动态行为和离散动态行为方式及系统作业流程,提出了矿井生产主物流系统层次结构模型及其混合Petri网表示方法。根据矿井生产主物流系统的组成及结构关系,将矿井生产主物流系统划分为工作面生产系统、井下煤仓贮运系统、间断性运输系统和连续性运输系统四大功能模块,并由此构建了矿井生产主物流系统流程全结构HPN模型。矿井生产主物流流程全结构HPN模型由工作面生产过程HPN模型、连续运输系统HPN模型、采区轨道运输系统HPN模型、箕斗提升系统HPN模型和井下煤仓贮运系统的HPN模型构成。工作面生产过程HPN模型包括无故障状态综采面主物流HPN模型和综采面随机状态HPN模型；连续运输系统HPN模型包括单台输送机输送煤流的HPN模型、多机串联的连续运输系统HPN模型、多支汇流的连续运输系统HPN模型；采区轨道运输系统HPN模型包括单采区轨道运输系统HPN模型、基于多采区轨道资源竞争关系与派车原则的多采区服务的矿车轨道运输系统模型；井下煤仓贮运系统的HPN模型包括“连续运输+煤仓+连续运输”、“连续运输+煤仓+间断运输”、“间断运输+煤仓+连续运输”、“间断运输+煤仓+间断运输”四种煤仓贮运系统的混合Petri网模型。提出了矿井生产主物流系统环节内部结构和系统环节间安全高效运行机制。根据无故障状态综采面生产过程HPN模型得出单位时间内产生的煤流q（t）是一个连续与间断交替分布、兼有离散一连续的变化；根据综采面随机工作状态HPN模型得出了生产系统状态转变过程及系统有效度、稳态故障率；根据单台输送机运输系统HPN模型得出了单台运输系统的有效度及运输能力,根据多机串联运输系统HPN模型得出了串联运输系统的日产能力Q=g低Ast,根据多支汇流的连续运输系统HPN模型,得出了煤流关系第i段的进煤量等于两支流的煤流量之和,即qi（t+1）=gi-1（t）+q（t）；根据单采区轨道运输系统HPN模型、多采区服务的轨道运输系统HPN模型和箕斗提升系统HPN模型,得出了矿车调度与箕斗提升过程中系统变量的使能激发规则；根据井下煤仓贮运系统HPN模型,得出了煤仓与仓前、仓后运输系统的关联关系及煤仓煤量动态变化过程。结合平煤十矿矿井生产主物流系统实例进行了HPN模型仿真应用,辨识了其瓶颈环节为戊组东翼采区大巷运输系统、戊组煤主井井底煤仓缓冲运输系统、己组煤大斜井胶带运输系统。针对瓶颈环节提出了针对性的解决措施,对改善系统效果进行了仿真分析,结果表明：井下大巷运输系统环节简化,井下主物流系统运输能力由270万t／a提升到310万t／a,系统环节匹配更加合理,煤仓空仓率和满仓率进一步降低,胶带利用率进一步均衡,主井提运效率得到提升。通过矿井生产主物流系统建模与仿真研究,模拟矿井生产主物流的动态行为过程与安全高效运行机制,找出矿井生产主物流系统中的瓶颈环节,优化矿井生产主物流系统,提高矿井生产能力和生产效率,降低矿井生产物流成本、保障矿井安全生产,为煤矿生产提供了重要的理论指导和实践参考。
张娜[3]（2011）在《基于Token行为Petri网及其应用研究》文中研究表明本文以离散事件动态系统生产调度问题为背景,重点对DEDS的建模和分析方法—Petri网方法进行深入研究。传统Petri网是以库所为论域,基于库所标识从宏观上对Token的数量分布情况进行刻画,多数的研究是通过添加许多新的“元”（集合或映射）来丰富库所的属性与行为。这种基于库所行为的方法无法描述系统中Token的具体位置、作用机制,以及所携带的微观信息。为了解决这一问题,论文通过引入Token（资源或实体）论域和研究Token的属性及行为,提出基于Token行为的多状态机复合Petri网,研究离散事件动态系统的复合建模、分布监控与动态调度问题。（1）引入Token离散标识（Token的位置）和混合标识（Token的位置及连续信息）,分别提出基于Token离散标识和混合标识的Petri网模型。对于一个复杂Petri网,系统中Token集合存在一个类划分,基于这一点分别给出基于Token离散标识和混合标识多状态机复合Petri网,并具体研究模型的变迁使能机制、事件使能机制、Token迁移机制以及Token连续信息演化机制。（2）在Petri网模型中引入控制模式集,建立基于Token行为受控Petri网模型。另外研究基于Token离散标识Petri网的先到先服务调度规则,以及基于Token混合标识Petri网（用时间刻画Token连续信息）的最少等待时间调度规则。（3）以罩式退火过程的生产调度问题为例,分别验证基于Token离散标识Petri网的先到先服务调度规则,以及基于混合标识Petri网的最少等待时间调度规则。实例表明本文提出的以Token（资源或实体）为论域,基于Token行为的多状态机复合Petri网,可以有效地解决复杂DEDS的建模、分析和调度问题,为研究复杂离散事件动态系统提供了一个新的途径。
陈国培[4]（2008）在《几类混合动态系统的稳定性分析及其控制》文中研究说明混合动态系统是由连续（或离散）时间变量和离散事件（或逻辑）变量相互作用的复杂系统。在描述和研究许多复杂的物理现象和实际应用的过程中,混合动态系统能有效地提供一个数学框架（模型）。它在混合自动机控制、数据采样控制、飞机控制、自动列车控制以及网络控制等实际问题中都有着广泛的应用。因此,对于混合动态系统的研究具有重要的理论意义和实用价值。本文主要研究了几类混合动态系统的稳定性分析以及相关的控制器设计问题。主要工作概括如下:1.研究一类混合动态系统的Lyapunov稳定性问题。通过结合多Lyapunov函数和向量Lyapunov函数,提出一种新的分析工具——多向量Lyapunov函数。利用该工具,弱化对系统能量函数的假设,给出系统渐近稳定的充分条件。用实例验证该方法的有效性。2.研究一类混合动态系统的实用稳定化问题。所研究的系统具有时变子系统和时变跳转函数。首先,通过状态跳转函数,确定系统一条严格递增的切换时间序列。然后在该序列中的每一段时间区间内,明确地构造出相应的线性状态反馈控制律,由此实现闭环系统的实用稳定。3.研究一类混合动态系统的有限时间稳定性及其稳定化问题。首先,通过放松对Lyapunov函数的限制,给出一个新的非线性系统有限时间稳定的充分必要条件。然后,给出混合动态系统有限时间稳定的概念,同时利用前述条件以及前人的结果（Bhat & Bernstein（2000）, Moulay & Perruquetti（2003））进一步研究混合动态系统的有限时间稳定性,给出若干个充分条件。最后,根据系统连续和重置部分的状态划分,构造出一个混合反馈控制器使闭环系统有限时间稳定。4.研究基于有限状态自动机的混合动态系统稳定性及其稳定化问题。首先,通过系统两部分的有机结合,对整个混合动态系统进行分析,提出稳定性概念,给出新的判别定理。然后,基于混合观测器进一步研究混合动态系统的混合反馈控制问题。通过设计混合反馈控制律使闭环系统达到渐近稳定。最后,将前述结果推广到不确定混合动态系统,其中不确定因素包括:自动机跳转的不确定性,连续子系统参数的不确定性以及控制器参数不确定性。基于最优路径的思想,通过求解线性矩阵不等式LMI,给出一种非脆弱的控制方法使闭环系统达到渐近稳定。5.研究基于微分Petri网的混合动态系统稳定性问题。首先,针对混合动态系统的特点,在其微分Petri网（DPN）模型的基础上,给出它的稳定性概念和稳定性引理。然后通过引入两类辅助函数G和,利用关联矩阵的信息,构造出混合Lyapunov函数得到DPN的稳定性定理。另一方面,通过放松触发条件依赖弧权的限制以及扩展弧权的定义,提出了一种新的Petri网扩展形式——扩展微分Petri网。该Petri网结合了广义微分Petri网和混合自动机的优点。利用这种新的扩展形式对混合动态系统进行建模,通过结合系统两部分（离散和连续）的稳定性,给出系统渐近稳定的充分条件。此外,利用关联函数矩阵的信息,构造出一个新的混合Lyapunov函数,得到线性混合动态系统的稳定性结果。H
孙一新[5]（2008）在《精馏装置开车过程控制任务Petri网建模及分析》文中进行了进一步梳理本文以某化工溶剂回收精馏装置的开车过程为背景,分析了化工开车过程这个混杂系统的行为特性和建模方法,在此基础上,基于控制任务对开车过程进行划分,使用赋时Petri网对开车过程控制任务建模,并进行了仿真分析。论文首先对开车过程的混杂特性进行了讨论,同时介绍了开车过程的操作与控制方法,为后续的研究工作提供了理论基础。然后根据其相应的特点,将开车过程控制任务划分为多个的子任务,再应用赋时Petri网对开车过程进行了建模和仿真工作,实验表明,在Petri网中加入时延能够较好地描述化工开车过程的实际情况。论文针对该溶剂的回收过程开车过程进行了详细的任务划分,设计出相应的Petri网模型,应用仿真软件对所建立模型进行仿真,证明了建模方法的可行性。在该过程的实际应用项目中,运用该建模方法为开车过程设计了相应模型,并且,基于这个模型开发了开车过程的指导系统。
程曙[6]（2008）在《混杂系统理论及其应用于制造系统的研究进展》文中指出混杂系统理论及其应用是近年来的研究热点和难点。较为全面系统地阐述了混杂系统在建模、分析、控制和优化等几个方面的理论研究现状,对主要内容及其方法的优点和局限性进行了总结和评价。作为混杂系统的一个重要代表,分析与综述了制造系统中的主要应用成果,指出了具体应用中的难点问题。最后展望了进一步的研究内容。
陈炳华[7]（2007）在《钢管自动跟踪与分选技术研究及系统开发》文中进行了进一步梳理钢管自动跟踪及分选技术可以实现钢管在车间的运动控制、位置监控和数据管理，能有效提高企业的生产效率和管理水平。对于管理水平落后的国内钢管企业，面对竞争日益激烈的国际国内市场，实施一套有效的钢管自动跟踪及分选系统，显得必要而且紧迫。本文以“包钢无缝钢管厂钢管自动跟踪及分选系统的研制与开发”为项目背景，分析了离散事件动态系统的建模方法，通过比较确定了Petri网作为该跟踪及分析系统的理论基础；建立了整个系统的Petri网轮廓模型，并对系统模型进行细化和替换分析；研究了系统的控制特点，构建了整个系统的控制网络；同时设计和编写了该钢管自动跟踪及分选系统的PLC控制程序和上位机监控软件。本论文的具体内容安排如下：第一章，首先分析了物料跟踪和分选对于制造企业的重要作用和必要性，总结了跟踪及分选的常用技术；分析了国内外钢管生产企业钢管跟踪及分选的现状，阐述了开发更先进的钢管自动跟踪和分选系统的意义。第二章，针对离散事件动态系统（DEDS）的特点，简述了该类系统的主要建模方法；通过对几种DEDS建模方法的比较，最终选用Petri网对系统进行建模和分析，同时给出了Petri网的定义、分析方法等。第三章，根据包钢无缝钢管厂精整车间的布置情况和工艺要求，基于Petri网的原理，建立了钢管自动跟踪及分选系统的Petri网轮廓模型，并将各个替代库所进行细化，建立每个替代库所的Petri子网模型，并用可达树法和状态方程对Petri网进行了分析。第四章，提出了钢管自动跟踪及分选控制系统的设计原则，同时根据企业信息网络的功能层次，构建了钢管自动跟踪及分选系统的控制网络。并采取了降低信号干扰、提高系统柔性和运行安全性的措施，保证了系统正常可靠的运行。第五章，根据控制和监控的需要，对软件进行了功能分析，设计了上位机软件的功能模块；分析了PLC程序的结构，编写了结构化和模块化相结合的PLC程序。第六章，总结了系统开发的主要过程，提出了系统进一步改进的方面。
程曙,张浩,马玉敏,赵荣泳[8]（2007）在《面向自动化装配的一类智能混杂系统》文中认为针对混杂系统理论和方法尚不能处理不确定性以及意外事件的发生等问题,将已有的智能理论和混杂系统理论进行有机结合,是一项有效的解决途径。在分析自动化装配中连续和离散变量组成混杂系统基础上,提出了集成装配计划和调度的一类智能混杂系统,给出了智能决策接口以及和智能技术的互连,分析了基于模糊神经网络和粗糙集的智能解决策略,使一类混杂系统具有智能决策功能。通过对一自动化装配实例建立极大代数模型和神经网络的仿真实验,验证了系统分析方法的可行性和有效性。
靳亚铭[9]（2006）在《基于Petri网的化工生产开停车过程研究》文中进行了进一步梳理化工开停车过程是既有连续动态变量，又有离散逻辑变量的复杂动态变化系统，混杂现象普遍存在于流程生产工业中，目前对其进行的研究刚刚起步。本文以某化工溶剂回收的开停车过程为背景，分析了化工开停车过程这个混杂系统的行为特性和建模方法，在此基础上，研究了基于赋时Petri网的开停车过程系统建模与控制方法，并开发出相应的仿真平台。 论文首先对开停车过程的混杂特性进行了讨论，对开停车过程的优化做了详细的分析，同时并介绍了开停车过程的操作与控制，为以后的章节提供了理论基础。然后根据其相应的特点，通过对以往的建模工具进行比较，决定采用赋时Petri网进行建模和仿真，实验证明Petri网中加入时延的概念是符合化工开停车过程的实际情况。并在赋时Petri网建模中引入了一些优化思想，提出了最优控制器的思想，针对溶剂回收过程开车过程进行了详细的优化建模，并设计出相应的Petri网模型和仿真程序平台，仿真结果给出了最优的开车控制序列，证明了本建模方法的可行性。 论文的工作表明，赋时Petri网建模与控制方法开辟了化工开停车过程研究的一个新的领域，这种建模方法在以后的化工流程生产会有很大的普遍性，有着广阔的应用前景。
潘波[10]（2006）在《基于Petri网的间歇工业过程故障诊断》文中提出Petri网用于间歇工业过程故障诊断是目前较为活跃的研究领域。本文基于混杂Petri网和模糊专家系统理论，深入研究了间歇工业过程的故障诊断问题，以实验装置的硫化促进剂M生产过程为对象，建立了一个基于模糊赋时Petri网的间歇过程故障诊断仿真系统，进行了故障诊断系统实验，对建模和仿真方法进行了验证。 本文的前部分，主要介绍了赋时Petri网和模糊推理Petri网，并基于这一原理采用Matlab对一些工业过程进行了仿真研究。介绍了Petri网仿真工具VisObiNet，并举例说明其建模和仿真方法。第二部分主要以间歇过程为研究对象，提出了基于Petri网的故障诊断系统结构和间歇时序操作的TPN模型。阐述了间歇过程故障传播与故障诊断的FPN推理模型，并以实际例子做了仿真研究。以专家系统的基本框架展开论述，给出了用混杂模糊Petri网表示间歇过程故障诊断的专家系统模型。在理论研究的基础上，对半实物仿真平台和硫化促进剂M的间歇生产过程做了深入的分析研究，归纳出具体的故障传播和故障诊断模型。故障传播模型的获取结合当前流行的专家系统理论，针对混杂Petri网给出了具体的隶属度函数算法；混杂Petri网推理方法主要结合了故障树正向推理和反向推理算法，联系具体实例进行分析和比较。最后在仿真平台上做了大量的实验，通过设置各种故障，获取实验数据和
二、一类混杂Petri网的极大代数模型研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、一类混杂Petri网的极大代数模型研究（论文提纲范文）
（1）固定航路飞行条件下航空器航迹规划若干关键技术研究（论文提纲范文）
| 摘要 |
| Abstract |
| 注释表 |
| 缩略词 |
| 第一章 绪论 |
| 1.1 研究背景和意义 |
| 1.2 国内外研究现状分析 |
| 1.2.1 航空器战略航迹推测研究现状 |
| 1.2.2 航空器实时航迹推测研究现状 |
| 1.2.3 航空器解脱航迹规划研究现状 |
| 1.3 研究内容和技术路线 |
| 1.3.1 研究内容 |
| 1.3.2 技术路线 |
| 1.4 本章小结 |
| 第二章 单航空器战略航迹规划 |
| 2.1 引言 |
| 2.2 航空器连续动态模型 |
| 2.3 航空器离散动态模型 |
| 2.4 航空器混杂动态模型 |
| 2.4.1 航空器运行子系统建模 |
| 2.4.2 航空器运行全剖面建模 |
| 2.5 航路点风场空间插值 |
| 2.5.1 航路风场变异函数结构 |
| 2.5.2 航路风场数据结构划分 |
| 2.5.3 航路风场插值参数优化 |
| 2.6 算例分析 |
| 2.7 本章小结 |
| 第三章 多航空器战略航迹规划 |
| 3.1 引言 |
| 3.2 航段交通流微观模型 |
| 3.2.1 单航段元胞模型构建 |
| 3.2.2 多航段元胞模型构建 |
| 3.3 交通流极大代数模型 |
| 3.3.1 单航段交通流代数模型构建 |
| 3.3.2 多航段交通流代数模型构建 |
| 3.3.3 空域交通流代数模型构建 |
| 3.3.4 航迹规划代数模型构建 |
| 3.4 算例分析 |
| 3.5 本章小结 |
| 第四章 航空器实时航迹推测 |
| 4.1 引言 |
| 4.2 航迹隐马尔科夫模型结构 |
| 4.3 航迹序列数据训练算法 |
| 4.3.1 航迹观测值训练算法 |
| 4.3.2 航迹隐状态训练算法 |
| 4.3.3 航迹隐参数训练算法 |
| 4.4 航迹序列数据分析 |
| 4.4.1 航迹序列数据聚类 |
| 4.4.2 航迹序列数据预测 |
| 4.5 算例分析 |
| 4.6 本章小结 |
| 第五章 航空器飞行冲突解脱 |
| 5.1 引言 |
| 5.2 模型预测控制原理 |
| 5.3 航路风场卡尔曼滤波模型 |
| 5.3.1 航路风场线性滤波模型 |
| 5.3.2 航路风场非线性滤波模型 |
| 5.4 解脱航迹规划模型 |
| 5.4.1 解脱航迹规划时刻划分 |
| 5.4.2 解脱航迹规划模型构建 |
| 5.4.3 解脱航迹规划模型求解 |
| 5.5 算例分析 |
| 5.6 本章小结 |
| 第六章 总结与展望 |
| 6.1 论文创新点 |
| 6.2 研究工作展望 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
| 附录 数据表 |
（2）基于混合Petri网的矿井生产主物流系统建模与仿真（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 论文的研究意义 |
| 1.2 国内外研究现状及分析 |
| 1.2.1 矿井生产物流系统的研究 |
| 1.2.2 生产物流系统的建模与仿真 |
| 1.3 论文的研究目标及研究内容 |
| 1.3.1 研究目标 |
| 1.3.2 研究内容 |
| 1.3.3 研究的技术路线 |
| 1.4 本章小节 |
| 第2章 矿井生产物流系统分析 |
| 2.1 矿井运输及设备分类 |
| 2.1.1 矿井运输的任务与特点 |
| 2.1.2 矿井运输与提升设备 |
| 2.1.3 矿井运输设备分类 |
| 2.2 矿井生产与物流 |
| 2.2.1 矿井生产系统 |
| 2.2.2 矿井生产主物流及其特征 |
| 2.3 矿井生产主物流系统 |
| 2.3.1 矿井生产物流系统 |
| 2.3.2 矿井生产主物流系统结构形式 |
| 2.3.3 矿井生产主物流系统流程 |
| 2.3.4 矿井生产主物流系统的特点 |
| 2.4 矿井生产主物流系统的混杂性分析 |
| 2.4.1 混杂系统及其特点 |
| 2.4.2 矿井生产主物流系统的混杂性 |
| 2.5 本章小结 |
| 第3章 基于HPN的矿井生产主物流系统建模方法 |
| 3.1 基础PETRI网 |
| 3.1.1 Petri网(PN)的定义 |
| 3.1.2 Petri网变迁的激发规则 |
| 3.1.3 Petri网的基本性质 |
| 3.1.4 几种扩展的Petri网 |
| 3.2 混合PETRI网相关理论 |
| 3.2.1 混合Petri网(HPN)定义 |
| 3.2.2 混合Petri网的使能与激发规则 |
| 3.2.3 连续部分和离散部分的关系 |
| 3.2.4 混合Petri网的冲突 |
| 3.2.5 混合Petri网的几种建模方法 |
| 3.3 基于HPN分层递阶的建模方法 |
| 3.3.1 基于HPN分层递阶的建模思想 |
| 3.3.2 递阶模型层次划分 |
| 3.3.3 HPN的分层递阶模型 |
| 3.4 基于HPN的矿井生产主物流系统分层递阶建模方法 |
| 3.4.1 矿井生产主物流系统网络的递阶分解 |
| 3.4.2 矿井生产主物流系统的层次结构模型 |
| 3.4.3 矿井生产主物流系统混合Petri网表示 |
| 3.4.4 基于HPN的矿井生产主物流系统建模方法 |
| 3.5 本章小结 |
| 第4章 综采面生产过程HPN模型 |
| 4.1 综采面工艺方式与工作过程 |
| 4.1.1 综采面工艺方式 |
| 4.1.2 综采面工作过程 |
| 4.2 无故障状态综采面生产过程HPN模型 |
| 4.2.1 采煤机作业循环工艺过程 |
| 4.2.2 无故障状态综采面生产主物流HPN模型 |
| 4.2.3 无故障状态综采面生产主物流规律 |
| 4.3 综采面随机状态的HPN模型 |
| 4.3.1 采煤机工作状态分析 |
| 4.3.2 综采面生产设备随机故障Petri网模型 |
| 4.3.3 综采面随机工作状态的HPN模型 |
| 4.4 本章小结 |
| 第5章 连续性运输系统的HPN模型 |
| 5.1 连续性运输系统结构与工作状态 |
| 5.2 矿井连续运输系统运行机理 |
| 5.2.1 连续运输系统的煤流类型 |
| 5.2.2 煤流时间和空间上的离散化 |
| 5.3 单台输送机运输系统HPN模型 |
| 5.3.1 无汇流中间段煤流的HPN模型 |
| 5.3.2 单台输送机煤流HPN模型 |
| 5.4 多机串联的连续运输系统HPN模型 |
| 5.4.1 串联连续运输工作原理 |
| 5.4.2 串联式连续运输系统的HPN模型 |
| 5.5 多支汇流的连续运输系统HPN模型 |
| 5.5.1 汇流处的煤流规律 |
| 5.5.2 多支汇流的运输系统HPN模型 |
| 5.6 本章小结 |
| 第6章 间断性运输系统的HPN模型 |
| 6.1 轨道运煤系统 |
| 6.1.1 轨道矿车运输的过程分析 |
| 6.1.2 单采区单线轨道运输系统的HPN模型 |
| 6.1.3 多采区服务的轨道运输系统HPN模型 |
| 6.2 矿井提升系统 |
| 6.2.1 矿井提运系统构成与过程分析 |
| 6.2.2 箕斗提升系统的HPN模型 |
| 6.3 本章小结 |
| 第7章 井下煤仓贮运系统的HPN模型 |
| 7.1 井下煤仓贮运系统结构及其分类 |
| 7.1.1 井下煤仓贮运系统结构 |
| 7.1.2 井下煤仓的作用 |
| 7.1.3 井下煤仓贮运系统类型 |
| 7.2 煤仓贮运系统的功能与控制机理 |
| 7.2.1 井下煤仓贮运系统的工作状态 |
| 7.2.2 煤仓内煤量的动态变化与控制 |
| 7.3 煤仓贮运系统的HPN模型 |
| 7.3.1 “连续运输+煤仓+连续运输”贮运系统HPN模型 |
| 7.3.2 “连续运输+煤仓+间断运输”贮运系统HPN模型 |
| 7.3.3 “间断运输+煤仓+连续运输”贮运系统HPN模型 |
| 7.3.4 “间断运输+煤仓+间断运输”贮运系统HPN模型 |
| 7.4 本章小节 |
| 第8章 矿井生产主物流系统的整体模型与仿真方法 |
| 8.1 基于HPN的矿井生产主物流系统建模与仿真步骤 |
| 8.2 矿井生产主物流系统整体模型 |
| 8.2.1 矿井生产主物流系统的轮廓模型 |
| 8.2.2 矿井生产主物流系统的精细模型 |
| 8.3 矿井生产主物流系统HPN模型与WITNESS仿真转换 |
| 8.3.1 WITNESS仿真软件介绍 |
| 8.3.2 WITNESS与Petri网模型相互转化方法 |
| 8.3.3 矿井生产主物流在WITNESS系统中表示分析 |
| 8.4 本章小节 |
| 第9章 矿井生产主物流系统的建模与仿真实例 |
| 9.1 平煤十矿矿井生产主物流系统概况 |
| 9.1.1 平煤十矿矿井生产主物流系统概况 |
| 9.1.2 平煤十矿矿井生产主物流系统的结构组成 |
| 9.2 平煤十矿矿井生产主物流系统HPN模型 |
| 9.2.1 平煤十矿矿井生产主物流系统HPN的轮廓模型 |
| 9.2.2 平煤十矿矿井生产主物流系统HPN的精细模型 |
| 9.3 平煤十矿矿井生产主物流系统的仿真分析 |
| 9.3.1 矿井生产主物流WITNESS仿真系统结构与工艺流程 |
| 9.3.2 矿井生产主物流系统仿真模型建立 |
| 9.3.3 矿井生产主物流仿真系统参数 |
| 9.3.4 矿井生产主物流系统仿真与分析 |
| 9.3.5 矿井生产主物流系统模拟结果分析 |
| 9.4 矿井生产主物流系统改善及效果分析 |
| 9.4.1 矿井生产主物流系统改善措施 |
| 9.4.2 矿井生产主物流系统改善模拟与分析 |
| 9.5 本章小结 |
| 结论 |
| 致谢 |
| 参考文献 |
| 攻读博士期间发表的论文 |
（3）基于Token行为Petri网及其应用研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 选题背景、研究目的及意义 |
| 1.1.1 选题背景 |
| 1.1.2 研究目的 |
| 1.1.3 研究意义 |
| 1.2 Petri网国内外研究现状 |
| 1.2.1 Petri网的理论研究 |
| 1.2.2 Petri网的实际应用 |
| 1.3 论文研究框架与主要工作 |
| 1.3.1 论文研究框架 |
| 1.3.2 论文主要工作 |
| 2 Petri网基础理论与方法 |
| 2.1 Petri网概念 |
| 2.2 Petri网的图表示 |
| 2.3 Petri网性质 |
| 2.4 Petri网分析方法 |
| 2.5 几种常用扩展Petri网模型 |
| 2.6 本章小结 |
| 3 基于Token行为Petri网模型 |
| 3.1 Petri网的Token行为 |
| 3.2 基于Token离散标识Petri网 |
| 3.3 Token离散标识多状态机复合Petri网 |
| 3.4 Token混合标识多状态机复合Petri网 |
| 3.5 本章小结 |
| 4 基于Token行为Petri网监控与调度 |
| 4.1 基于Token行为Petri网监控问题 |
| 4.2 基于Token行为Petri网调度问题 |
| 4.2.1 先到先服务规则 |
| 4.2.2 最少等待时间规则 |
| 4.3 本章小结 |
| 5 基于Token行为Petri网在罩式退火过程中的应用 |
| 5.1 先到先服务生产调度 |
| 5.2 最少等待时间生产调度 |
| 5.3 本章小结 |
| 6 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 在学期间研究成果 |
| 致谢 |
（4）几类混合动态系统的稳定性分析及其控制（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 混合动态系统的提出 |
| 1.2 混合动态系统的概念，特点及其分类 |
| 1.3 混合动态系统的研究发展和现状 |
| 1.4 本文的主要工作与内容安排 |
| 第二章 一类混合动态系统的稳定性分析 |
| 2.1 稳定性引理 |
| 2.2 混合系统的稳定性分析 |
| 2.3 仿真实例 |
| 2.4 本章小结 |
| 第三章 一类非线性混合动态系统的实用稳定性及其稳定化 |
| 3.1 混合动态系统的实用稳定性 |
| 3.2 混合动态系统的实用稳定化 |
| 3.3 仿真实例 |
| 3.4 本章小结 |
| 第四章 一类混合动态系统的有限时间稳定性及其稳定化 |
| 4.1 非线性系统的有限时间稳定性 |
| 4.2 混合动态系统的有限时间稳定性 |
| 4.3 混合动态系统的有限时间稳定化 |
| 4.4 仿真实例 |
| 4.5 本章小结 |
| 第五章 基于有限状态自动机的混合动态系统稳定性分析及其稳定化 |
| 5.1 混合动态系统的稳定性分析 |
| 5.2 基于观测器的混合动态系统反馈控制器设计 |
| 5.3 不确定脉冲混合动态系统的非脆弱控制器设计 |
| 5.4 仿真实例 |
| 5.5 本章小结 |
| 第六章 基于微分Petri 网的混合动态系统稳定性分析 |
| 6.1 微分Petri 网的稳定性分析 |
| 6.2 扩展微分Petri 网 |
| 6.3 混合动态系统的稳定性分析—基于扩展微分Petri 网 |
| 6.4 仿真实例 |
| 6.5 本章小结 |
| 结束语 |
| 致谢 |
| 参考文献 |
| 在读期间所撰写的论文 |
| 在读期间参加的科研项目 |
| 在读期间获得的奖励 |
（5）精馏装置开车过程控制任务Petri网建模及分析（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 前言 |
| 1.1 论文研究的主要目的和意义 |
| 1.2 论文主要内容概述 |
| 1.3 文献综述 |
| 1.3.1 化工过程的开停车过程研究 |
| 1.3.2 工业过程混杂系统 |
| 1.3.3 Petri网建模及应用 |
| 1.3.4 Petri网建模仿真工具 |
| 第二章 精馏装置开车过程控制任务 |
| 2.1 引言 |
| 2.2 开车过程的控制结构 |
| 2.2.1 开车过程中的操作 |
| 2.2.2 开车过程的描述 |
| 2.2.3 操作中的模糊逻辑 |
| 2.2.4 开车过程的控制 |
| 2.3 实例分析 |
| 第三章 赋时Petri网建模及分析系统 |
| 3.1 引言 |
| 3.1.1 Petri网的描述和定义 |
| 3.1.2 Petri网建模 |
| 3.1.3 Petri网的性质 |
| 3.1.4 Petri网的分析方法 |
| 3.1.5 Petri网的扩展形式 |
| 3.2 赋时Petri网的建模和分析 |
| 3.2.1 赋时Petri网的基本概念 |
| 3.2.2 赋时Petri网仿真分析系统 |
| 3.2.3 仿真环境 |
| 3.2.4 仿真实例 |
| 第四章 精馏装置开车过程实例研究 |
| 4.1 引言 |
| 4.2 DMF溶剂回收开车过程 |
| 4.2.1.工艺流程 |
| 4.2.2 开车步骤 |
| 4.2.3 精馏操作工艺要点 |
| 4.3 基于赋时Petri网的建模 |
| 4.3.1.Petri网控制器结构 |
| 4.3.2.赋时Petri网建模步骤 |
| 4.4 开车过程建模 |
| 4.4.1.开车过程控制任务划分 |
| 4.4.2.赋时Petri网的控制任务建模 |
| 4.4.3.控制任务Petri网模型仿真 |
| 4.5 工程应用实例 |
| 第五章 结束语 |
| 参考文献 |
| 致谢 |
| 研究成果及发表的学术论文 |
| 作者及导师简介 |
| 北京化工大学硕士研究生学位论文答辩委员会决议书 |
（6）混杂系统理论及其应用于制造系统的研究进展（论文提纲范文）
| 0 引言 |
| 1 混杂系统理论研究 |
| 1.1 混杂系统的建模 |
| 1.2 混杂系统的分析 |
| (1) 稳定性分析 |
| (2) 形式验证 |
| 1.3 混杂系统的控制和优化 |
| (1) 混杂系统的控制策略 |
| (2) 混杂系统的优化控制 |
| 2 混杂系统在制造系统中的应用进展 |
| 3 展望分析 |
| (1) 建立完善的混杂系统建模、分析、控制和优化理论体系 |
| (2) 设计更为有效的混杂系统仿真工具 |
| (3) 复杂系统中混杂系统和智能方法的结合研究 |
| (4) CIMS和CIPS的混杂系统集成平台研究 |
| (5) 混杂系统应用研究的工程化实现 |
| 4 结束语 |
（7）钢管自动跟踪与分选技术研究及系统开发（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 目录 |
| 第一章 绪论 |
| 1.1 论文研究的工程背景 |
| 1.1.1 物料跟踪及分选的必要性 |
| 1.1.2 跟踪及分选的常用技术 |
| 1.1.3 国内外钢管生产企业的钢管跟踪及分选现状 |
| 1.2 钢管自动跟踪及分选系统开发的必要性 |
| 1.3 论文的主要内容和研究意义 |
| 第二章 离散事件动态系统建模及Petri网基本原理 |
| 2.1 离散事件动态系统的概念 |
| 2.2 离散事件动态系统的建模方法 |
| 2.2.1 DEDS的建模方法 |
| 2.2.2 建模方法比较及选择 |
| 2.3 Petri网的基本原理 |
| 2.3.1 Petri网的定义 |
| 2.3.2 Petri网的分析方法 |
| 2.3.3 Petri网的替换和简化 |
| 2.4 本章小结 |
| 第三章 基于Petri网建立系统模型并分析 |
| 3.1 钢管自动跟踪及分选系统车间布置及流程 |
| 3.1.1 系统的车间布置情况 |
| 3.1.2 系统工艺特点及流程 |
| 3.1.3 系统的特征及设计原则 |
| 3.2 钢管自动跟踪及分选系统的模型 |
| 3.2.1 系统总体的Petri网轮廓模型 |
| 3.2.2 人工检查站各Petri子网分析 |
| 3.2.3 钢管输送的Petri网模型 |
| 3.3 钢管自动跟踪及分选系统的仿真 |
| 3.3.1 Stateflow的基本组成 |
| 3.3.2 基于Stateflow对检查站进料分选区的仿真 |
| 3.3.3 仿真结果分析 |
| 3.4 本章小结 |
| 第四章 钢管自动跟踪及分选系统的控制框架及安全措施 |
| 4.1 钢管自动跟踪及分选系统的控制框架 |
| 4.1.1 企业信息网络的功能层次 |
| 4.1.2 钢管自动跟踪及分选系统控制框架设计的原则 |
| 4.1.3 钢管自动跟踪及分选系统控制框架结构 |
| 4.1.4 S7-300系统三种网络的比较 |
| 4.2 系统安全性方面的措施 |
| 4.2.1 系统降低信号干扰的措施 |
| 4.2.2 提高系统柔性及运行安全性的措施 |
| 4.3 本章小结 |
| 第五章 钢管跟踪及分选系统的程序结构 |
| 5.1 钢管自动跟踪及分选系统软件分析 |
| 5.2 上位机与PLC的通讯 |
| 5.3 系统上位机软件设计 |
| 5.3.1 上位机软件的开发 |
| 5.3.2 上位机软件功能模块设计 |
| 5.5.3 钢管跟踪的上位机实现方法 |
| 5.4 系统PLC程序设计 |
| 5.4.1 PLC程序结构 |
| 5.4.2 钢管自动跟踪及分选系统PLC程序的组成 |
| 5.4.3 程序的顺序功能图 |
| 5.5 本章小结 |
| 第六章 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 硕士期间发表的文章和参加的项目 |
| 致谢 |
（8）面向自动化装配的一类智能混杂系统（论文提纲范文）
| 1 集成装配计划和调度的混杂系统 |
| 2 装配操作单元的智能混杂系统 |
| 2.1 智能决策接口 |
| 2.2 智能解决方法 |
| (1) FNN方法 |
| (2) 粗糙集方法 |
| 3 智能混杂系统实例分析 |
| 3.1 装配实例描述 |
| 3.2 装配计划极大代数模型 |
| 3.3 神经网络仿真结果 |
| 4 结束语 |
（9）基于Petri网的化工生产开停车过程研究（论文提纲范文）
| 第一章 前言 |
| 1.1 论文研究的目的和意义 |
| 1.2 论文研究的主要内容及工作简述 |
| 1.3 国内外文献综述 |
| 1.3.1 化工过程的开停车过程研究 |
| 1.3.2 混杂系统 |
| 1.3.3 Petri网建模及应用 |
| 1.3.4 Petri网建模仿真工具 |
| 第二章 化工开停车过程的操作与控制 |
| 2.1 引言 |
| 2.2 开停车过程的优化分析 |
| 2.2.1 优化的问题表达 |
| 2.2.2 优化的研究 |
| 2.3 开停车过程的控制结构 |
| 2.3.1 开停车过程中的操作 |
| 2.3.2 开车过程的描述 |
| 2.3.3 操作中的模糊逻辑 |
| 2.3.4 开停车过程的控制 |
| 2.4 实例分析 |
| 2.4.1 过程描述 |
| 2.4.2 系统的设计和实施 |
| 2.4.3 控制策略 |
| 第三章 Petri网建模及分析系统 |
| 3.1 引言 |
| 3.2 面向对象技术的Petri网分析和建模工具 |
| 3.2.1 面向对象技术 |
| 3.2.2 软件模型 |
| 3.2.3 Petri网的创建 |
| 3.2.4 Petri网的分析 |
| 3.2.5 系统的维护 |
| 3.2.6 Petri网的存储结构设计 |
| 3.2.7 界面设计和功能说明 |
| 3.3 赋时Petri网的建模和分析 |
| 3.3.1 赋时Petri网的基本概念 |
| 3.3.2 赋时Petri网的建模分析研究 |
| 3.4 最优控制器的研究 |
| 3.4.1 设计思路 |
| 3.4.2 最优控制器算法 |
| 第四章 应用实例研究 |
| 4.1 引言 |
| 4.2 DMF溶剂回收开车过程 |
| 4.2.1 工艺流程 |
| 4.2.2 开车步骤 |
| 4.2.3 混杂系统特性分析 |
| 4.3 赋时Petri网描述 |
| 4.3.1 Petri网控制器结构 |
| 4.3.2 Petri网建模步骤 |
| 4.4 实现与仿真 |
| 4.4.1 开车过程Petri网模型 |
| 4.4.2 仿真研究 |
| 第五章 结论与体会 |
| 参考文献 |
| 致谢 |
| 攻读学位期间发表的学术论文 |
（10）基于Petri网的间歇工业过程故障诊断（论文提纲范文）
| 第一章 前言 |
| 1.1 论文研究的目的和意义 |
| 1.2 论文研究的主要内容概述 |
| 1.3 国内外文献综述 |
| 1.3.1 工业过程故障诊断 |
| 1.3.2 间歇过程研究 |
| 1.3.3 Petri网在故障诊断中的应用 |
| 1.4 本章小结 |
| 第二章 赋时Petri网与模糊推理Petri网 |
| 2.1 引言 |
| 2.2 赋时Petri网(Timed Petri Net TPN) |
| 2.3 模糊推理Petri网(Fuzzy Petri Net FPN) |
| 2.4 基于 MATLAB的TPN和 FPN仿真 |
| 2.4.1 Stateflow建立离散事件Petri网模型 |
| 2.4.2 Stateflow建立赋时Petri网模型 |
| 2.4.3 Stateflow建立模糊Petri网模型 |
| 2.5 基于VisObjNet仿真系统的Petri网模型分析 |
| 2.6 本章小结 |
| 第三章 基于Petri网的间歇化工过程故障诊断方法 |
| 3.1 引言 |
| 3.2 基于Petri网的故障诊断系统结构 |
| 3.3 间歇时序操作的TPN模型 |
| 3.4 故障传播与诊断的FPN推理 |
| 3.4.1 故障传播的FPN推理 |
| 3.4.2 故障传播的FPN推理实例 |
| 3.4.3 故障诊断的FPN推理 |
| 3.4.4 故障诊断的FPN推理实例 |
| 3.5 本章小结 |
| 第四章 化工间歇过程实验对象的故障诊断 |
| 4.1 化工间歇过程半实物实验系统 |
| 4.2 硫化促进剂M间歇生产过程及实验描述 |
| 4.3 故障传播过程 |
| 4.3.1 故障传播建模与分析方法 |
| 4.3.2 化工间歇过程的故障传播 |
| 4.4 故障诊断过程 |
| 4.4.1 故障诊断建模与分析方法 |
| 4.4.2 主产物浓度过低的故障诊断 |
| 4.4.3 反应釜压力过高的故障诊断 |
| 4.5 本章小结 |
| 第五章 故障诊断系统实验研究 |
| 5.1 引言 |
| 5.2 物料故障 |
| 5.3 时序故障 |
| 5.4 设备故障 |
| 5.5 本章小结 |
| 第六章 结论 |
| 参考文献 |
| 致谢 |
| 已发表(录用)的论文 |
| 硕士研究生学位论文答辩委员会决议书 |
四、一类混杂Petri网的极大代数模型研究（论文参考文献）
- [1]固定航路飞行条件下航空器航迹规划若干关键技术研究[D]. 韩云祥. 南京航空航天大学, 2014(06)
- [2]基于混合Petri网的矿井生产主物流系统建模与仿真[D]. 孙宇博. 西南交通大学, 2012(10)
- [3]基于Token行为Petri网及其应用研究[D]. 张娜. 沈阳大学, 2011(07)
- [4]几类混合动态系统的稳定性分析及其控制[D]. 陈国培. 西安电子科技大学, 2008(07)
- [5]精馏装置开车过程控制任务Petri网建模及分析[D]. 孙一新. 北京化工大学, 2008(11)
- [6]混杂系统理论及其应用于制造系统的研究进展[J]. 程曙. 计算机集成制造系统, 2008(05)
- [7]钢管自动跟踪与分选技术研究及系统开发[D]. 陈炳华. 浙江大学, 2007(05)
- [8]面向自动化装配的一类智能混杂系统[J]. 程曙,张浩,马玉敏,赵荣泳. 计算机工程, 2007(11)
- [9]基于Petri网的化工生产开停车过程研究[D]. 靳亚铭. 北京化工大学, 2006(11)
- [10]基于Petri网的间歇工业过程故障诊断[D]. 潘波. 北京化工大学, 2006(12)