基于确定时间连续Petri网的航空发动机总装资源调度

为解决航空发动机总装过程中不同工艺对设备资源的竞争问题,进行了面向资源冲突的Petri网建模,将离散模型转化为确定时间连续Petri网模型.提出采用路由函数化解设备资源冲突,并对给定路由函数下系统的周期性进行了分析.为求解全局资源利用率最大的调度策略,采用粒子群优化算法优化资源路由参数,并将最优路由参数以启发函数的形式还原到离散Petri网模型调度中.案例研究表明,调度算法实现了资源的全局最优化,大大缩短了航空发动机维修周期.     

基于最早开始时间的项目进度关键链搜索算法

针对项目进度优化调度问题,提出了一种面向资源受限约束的关键链搜索算法(ESCCPM)。当存在资源冲突时,该算法以最早开始时间优先为原则,对项目资源进行分配,并根据资源标记修改有资源冲突工序的紧前工序集。由于修改后的紧前工序集合中不仅包含由时序关系确定的工序,还包含由资源关联确定的工序,证明了该算法能够建立项目最优关键链。最后通过算例分析说明了算法执行过程,并与其他资源分配方法对比,验证了算法的有效性和正确性。     

基于最早开始时间的项目进度关键链搜索算法

针对项目进度优化调度问题,提出了一种面向资源受限约束的关键链搜索算法(ESCCPM)。当存在资源冲突时,该算法以最早开始时间优先为原则,对项目资源进行分配,并根据资源标记修改有资源冲突工序的紧前工序集。由于修改后的紧前工序集合中不仅包含由时序关系确定的工序,还包含由资源关联确定的工序,证明了该算法能够建立项目最优关键链。最后通过算例分析说明了算法执行过程,并与其他资源分配方法对比,验证了算法的有效性和正确性。     

面向航空公司的发动机维修数据管理模型

为了对航空发动机维修数据进行有效管理,根据航空发动机维修数据具有多维性和演化性的特点,将其分为构型数据、对象相关数据和类相关数据。在引入航空发动机物理状态和单元体物理状态概念的基础上,给出了航空发动机构型数据管理模型,解决了数据冗余问题。针对航空发动机服务通告状态难以控制的问题,提出了以主要件为中心的服务通告状态控制模型。为了将航空发动机维修数据有机地组织在一起,在分析航空发动机生命周期的基础上,建立了航空发动机维修数据组织模型。将提出的模型应用于基于Web的航空发动机维修数据管理原型系统,并在某家大型航空公司进行了试用。结果表明提出的模型是有效的,能够满足航空公司的需求。     

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。     

基于Petri网的航空复合材料可重入制造过程调度模型构建

航空复合材料"手工铺层与热压罐固化"湿法成型生产方法属于一种典型的可重入制造过程。通过分析该生产方法的可重入、多约束等工艺特点,提出了基于扩展赋时着色Petri网的调度模型构建方法,并根据该方法给出了单热压设备上可重入制造阶段的ETCPN调度模型。通过某复材厂实际生产数据分析表明,该ETCPN调度模型能够满足航空复合材料生产过程的建模需要,有利于A*与遗传算法相结合的总体调度策略的实施,模型具有较高可行性。     

基于Petri网的航空发动机控制器单粒子效应故障诊断

航空发动机控制器是航空发动机的核心元件,若发生故障,将对航空发动机甚至飞机安全性造成很大影响,而单粒子效应是影响航空发动机控制器的重要因素。文章建立航空发动机控制器单粒子效应的故障树模型,并转换成对应的Petri网模型进行优化,简化计算过程,有利于后续进行快速的单粒子效应故障诊断动态分析。     

一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

基于高级Petri网的企业模型的建立

通过对CIMOSA功能视图和资源视图模型局限性的分析 ,定义了一类高级Petri网———分层对象时间Petri网 ,以及库所子网与子网代换 ,同时研究企业功能视图模型向HOTPN转换的语法规则 ,着重分析过程规则集到HOTPN的转换语法 ,并建立企业动态模型。在此基础上 ,建立了资源管理器、资源控制器以及资源执行器 ,确保和企业动态模型保持建模前后的一致性 ,方便模型之间的连接、调用和协调 ,便于实现仿真调度功能。     

基于共享合成时间Petri网的船舶吊装过程建模

根据船舶吊装过程中所涉及的吊装网络约束、场地和设备约束,以及所用时间等信息,提出了一种基于共享合成时间Petri网的船台吊装过程建模方法.该方法不仅能够应用于单船吊装过程,而且可以方便地建立多船吊装过程模型.分析了该方法的可行性,给出了具体的合成算法和利用极大加法代数求解所建模型中相关时间的方法,从而提高了这类复杂过程建模的效率.最后,通过一个实例,对具体多船吊装过程建立时间Petri网模型,并给出了这类模型优化后的结果,进一步说明了该建模方法的有效性.     

基于Petri网和模拟退火遗传算法的并行测试研究

针对自动测试系统中并行测试任务调度复杂、难以优化的问题，提出了一种Petri网技术和模拟退火遗传算法相结合的任务调度优化算法。首先为并行测试系统建立时间Petri网模型，然后将激发的变迁序列集作为并行测试任务调度路径。为了得到最优路径，引入模拟退火遗传（GASA）算法进行搜索。在搜索过程中，将能激发的变迁序列作为染色体，进行选择、交叉和变异。为了防止算法出现收敛过早，陷入局部最优解的现象，还要对个体进行模拟退火操作，最后得到测试完成时间最短的任务调度序列。     

基于多代理的知识有色赋时Petri网的晶圆制造系统建模方法

为了对大规模、复杂的晶圆制造系统进行有效建模,提出了基于多代理的知识有色赋时Petri网的晶圆制造系统分层建模方法。在设备层,对晶圆制造系统的系统资源、内部行为和知识进行封装,建立了设备层代理模型。在设备组层和系统层,根据系统需求对各设备组内部及其之间的关系进行配置,分别建立了设备层和系统层代理模型。该方法提高了模型的可配置和重用性,降低了建模的复杂性,同时将知识与模型的库所和变迁集成,增强了模型的运行决策能力。通过上海某企业的150 mm晶圆的生产数据验证,证明了基于多代理的知识有色赋时Petri网的晶圆制造系统模型的有效性。     

基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模.在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法.最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型.     

基于复杂工作系统性能分析的Petri网建模

Petri网是研究离散事件动态系统的有效工具，它通过对实际问题构造Petri网，揭示出系统的动态特性。本文以某质量检测机构为研究对象，进行Petri网建模，分析系统在资源分配，运行方式等方面性能，并对系统的时间性能作出整体评估。     

一种基于Petri网的功能/数据分析方法

为实现Petri网模型中的数据分析和功能分析,提出了基于关联矩阵的方法.以一个典型的企业信息化系统为例,采用Petri网建立系统模型来描述系统的功能结构和数据流程.基于关联矩阵分析了系统功能特性和数据正确性及两者间的关系;依据最近邻连接方法的思想提出一个聚类算法,以实现子系统的自动划分.结果表明,采用Petri网方法能有效地描述和分析数据与企业过程关系,促进基于Petri网统一模型的企业信息化系统开发方法的研究.     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

产品开发ProA一般Petri网模型研究

为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型.深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法.在此基础上,建立了产品开发ProA的一般Petri网模型.最后,给出了该模型在汽车油泵单向阀测试器开发中的应用情况.     

基于Petri网的自动化立体仓库复合建模研究

阐述了自动化立体仓库的作业流程,针对自动化立体仓库工作环节多、作业复杂的特点,使用Petri网建模和面向对象建模相结合的复合建模方法,建立了自动化立体仓库的整体层次模型和动态模型,提供一种解决复杂系统建模、分析和验证等问题的方法。     

基于Petri网的生产系统仿真研究

以流水生产线为例，介绍了Petri网建模及其性能分析。通过转换成马尔科夫链，可以计算变迁实施时间为指数分布的Petri模型的性能指标。并且针对Petri网模型计算复杂的特点，介绍了一种新的Petri仿真方法，即利用WITNESS软件对Petri模型进行仿真分析。