基于修正网重写系统的制造系统动态重构

智能制造模式要求制造系统能够快速动态重构以及时响应多品种、小批量产品的客户化、个性化定制的需求。本文从生产制造流程出发,针对不同输入输出函数下非托肯守恒复杂制造系统一般PN模型,在网重写系统的基础上提出修正网重写系统。修正网重写系统依据产品制造流程聚类对规则类库中重构单元子类进行系统的模块化封装,并制定相应的重构区域边界耦合约束与内部结构使能规则。构建的修正网重写系统重构单元类库具有行为特性继承的特点,保证局部区域重构后制造系统的活性、有界性及可逆性,根据制造系统修正网重写系统重写规则与重构步序可实现制造系统自主快速的动态重构。仿真结果与应用实例验证了修正网重写系统的可用性。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

基于Petri网的多智能体制造系统建模

针对多智能体系统建模困难、不易推广应用的问题,根据其技术特点,提出了多智能体制造系统体系结构,并利用Petri理论对系统进行了建模分析,不但使制造系统的智能化模型得以图形化地体现,而且降低了系统的复杂性,使系统的可扩展性和智能化水平得到了增强．     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。     

基于Petri网的敏捷制造业务过程建模研究

在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型.该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

制造系统虚拟环境行为建模研究

虚拟制造系统作为物理制造系统在信息域的映射 ,需要对制造系统在各个层面上进行表达 ,行为建模是制造环境建模的重要内容。提出了制造系统虚拟环境行为建模方法 ,采用多 Agent方法描述制造系统虚拟环境 ,将该环境划分为两种基本成分 :Agent和它们之间的关系。以面向对象Petri网的状态变迁机制作为 Agent的行为推理模式 ,以实体的几何状态、物理状态及运动状态等属性变迁的计算作为Agent行为计算方法 ,以 Agent间相互消息传递关系来描述系统行为逻辑 ,以机器人、机床、缓冲器组成的小系统为例 ,给出了行为推理、行为计算、消息处理的算法。最后 ,采用虚拟现实工具 WTK进行了具体实现     

基于Petri网的网络化快速原型制造过程建模研究

在分析网络化快速原型制造过程的基础上,给出了该过程的Petri网系统描述,并提出了其Petri网过程模型.该模型描述了网络化快速原型制造中多因素相互间的动态行为,解决了过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

基于Petri网的人员可靠性研究

以往研究人员可靠性基本采用静态方法 ,提出一种动态方法—— Petri网来研究人员可靠性 .在介绍 Petri网基本概念的基础上 ,以碱回收炉操作中出现的人员可靠性问题为例 ,说明在人员可靠性研究中 ,Petri网是一种更为有效的工具     

基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

基于CPN炼钢连铸制造流程的建模与最优调度求解

应用着色Petrl网对复杂的多阶段、多产品生产过程的炼钢连铸制造流程进行建模.该模型具有直观的图形表示、方便分析模型性质和仿真模型性能等优点.重点讨论了建模的两个关键问题:通过不同的运输变迁设置不同的看守函数实现路径选择;通过编制单体工序变迁的输入输出函数实现不同产品的不同处理时间.采用发生图验证了模型的有界性约束,并基于发生图提出一个求解最小makespan的最优调度方法.实例应用表明了该方法的有效性.     

柔性制造系统的P－定时有色Petri网模型

给出了Ｆｌｏｗ－ｓｈｏｐ型系统缓冲器容量无限和有限两种Ｐ－定时有色Ｐｅｔｒｉ网模型。模型结构简单，不随机器、加工件种类、数量的增减而变化，普遍适用于按顺序操作或施工过程的模拟。     

基于Petri网的井下煤仓可靠性分析

采用Petri网原理、针对矿井运输系统中柔性部件－煤仓,建立其Petri网模型,并通过随机过程理论计算了煤仓的有效度,从而给出了计算煤仓有效度的一个新的方法。     

基于扩展着色赋时Petri网的板材FMS建模及分析

提出带有决策库所的扩展着色赋时Petri网（ECTPN）建模方法。建立了板材FMS的ECTPN模型,通过ECTPN模型对板材FMS运行中的潜在冲突作出分析。结合调度规则,ECTPN模型能准确刻画板材FMS的运行过程,为进一步分析和评价系统创造了条件。     

柔性制造控制系统的并行设计方法

通过分析控制系统并行设计的支持环境，建立了控制系统并行设计支持环境的框架模型．从面向对象以及并行工程观点出发，提出了控制系统并行设计的策略，构造了以过程为中心，控制系统体系结构、数据、过程建模、用户界面／接口并重的面向对象的控制系统并行设计的工作流集成模型．在此基础上，描述了控制系统并行设计的实施内容和步骤．建立在上述设计方法基础上的柔性制造控制系统具有可重用性、可靠性、鲁棒性和开放性等特点．     

Recursive Algorithm Based Reliability Analysis of Multiphase Satellite Systems with Propagated Failures

Modern satellite systems are generally designed to fulfill multiphase-missions. Component /subsystem redundancies are commonly used to achieve high reliability and long life of modern satellite systems. These characteristics have leaded to a critical issue of reliability analysis of satellites that is how to deal with the reliability analysis with multiphase-missions and propagated failures of redundant components. Traditional methods based on the binary decision diagram( BDD) can hardly cope with these issues efficiently. Accordingly, a recursive algorithm method was introduced to facilitate the reliability analysis of satellites. This method was specified for the analysis of static fault tree and it was implemented by generating combination of component failures and carrying out a backward recursive algorithm. The effectiveness of the proposed method was demonstrated through the reliability analysis of a multiphase satellite system with propagated failures.The major advantage of the proposed method is that it does not need composition of BDD and its computational process is automated.     

基于时间Petri网和启发式搜索的柔性制造系统调度算法

利用库所延迟Petri网对柔性制造系统进行建模,在Petri网激发变迁生成的可达树中进行启发式搜索,求解最小完成时间调度策略,并改进了现有计算机器剩余时间的启发式函数,对剩余加工操作进行准确分类,以保证算法的最优性.为了提高算法的求解效率,改进后的启发式函数考虑了未产成操作的剩余时间,以使预测值更加准确并减少了计算量.同时,利用实验验证了所提出方法的正确性和有效性.     

电子商务系统主体行为的描述与分析

电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。     

基于随机Petri网的煤仓储运系统可靠性分析

由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径.     

柔性制造过程基于PETRI网与知识的诊断

讨论了柔性制造过程的监控与诊断问题．提出了一个有效的监控与诊断系统的结构和模型，探讨了基于ＰＥＴＲＩ网与知识的集成监控与诊断层次模型和集成诊断策略等问题．将ＰＥＴＲＩ网与基于知识的ＡＩ方法相结合，用于柔性制造过程的监控诊断，旨在提高监控与诊断的实时性、快速性和有效性     

一种基于模糊Petri网的操瞄系统故障诊断方法

针对操瞄系统故障诊断建模中动态行为较难描述的问题,利用模糊Petri网的方法对系统中的故障传播进行建模.引入模糊产生式规则进行知识表示,研究了模糊Petri网的故障诊断建模方法及其推理算法.利用该方法对某牵引火炮的操瞄系统进行故障分析. 分析结果表明,基于模糊Petri网的故障诊断方法,结构简单、易懂,具有良好的故障表达形式以及有效的模糊推理能力,是一种行之有效的故障诊断方法.