搜索结果: 1-15 共查到“信息科学与系统科学 Petri网”相关记录18条 . 查询时间(0.083 秒)
组合设备是半导体晶圆制造的核心装备,其调度与控制优化是半导体制造领域极具挑战性的课题.Petri网因其强大的建模能力和简约的图形化表达优势,被广泛地应用于组合设备的建模与调度.对基于Petri网的组合设备建模与调度方法进行综述,归纳总结了组合设备的结构类型、晶圆流模式、调度策略及Petri网建模方法,并系统阐述组合设备的7类典型调度问题,包括驻留时间约束、作业时间波动、晶圆重入加工、多品种晶圆加工...
随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议的有色Petri 网模型, 利用状态方程等工具针对不安全状态的可达性进行判断分析, 从而实现时钟同步协议的安全性分析; 最后具体分析了一种基于精密时钟同步协议(PTP) 的时钟同步协议以及针对该协议的...
基于高级Petri网的继电器控制电路建模方法研究
带抑制弧的着色Petri网 继电器控制电路 建模 仿真分析
2014/6/19
根据继电器控制电路的特点，给出了利用带抑制弧的着色Petri网对继电器控制电路进行建模和分析的方法，并将其应用于某型船用柴油机控制系统的一典型继电器控制电路。建模及仿真分析结果表明，给出的带抑制弧的着色Petri网模型能对继电器控制电路进行准确的数学描述，利用建立的Petri网模型，借助Matlab平台，可以对被测电路的工作过程、输入输出特性等进行分析，为继电器控制电路的建模和特性分析提供了一种新...
半导体制造系统改进Petri网模型的建立及优化调度
半导体 遗传算法 分时段优化
2010/12/29
为了更有效优化半导体制造系统生产资源调度，提出了基于分层着色时间Petri网模型的分时段优化调度方案。通过增强基本Petri网的描述能力和引入分层Petri网的思想,文章根据半导体制造系统的结构建立其改进Petrie网模型-分层着色时间Petrie网模型，并在模型中引入调度库所将调度算法嵌入到模型中，该模型能有效地克服基本Petri网在系统复杂的情况下带来的模型规模膨胀的危险；同时将每一生产周期分...
基于随机Petri网的装备维修保障系统性能分析
装备维修 排队系统 性能分析 随机Petri网
2013/2/28
考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.
基于多色Petri网的产品开发过程建模
产品开发 多色Petri网 过程建模
2010/9/1
为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出了一种基于多色Petri网(PolyPN)的产品开发过程建模方法.将多色图理论的着色思想融入Petri网中,形成了多色Petri网；结合产品开发ProA递阶分解,给出了构建产品开发多色Petri网过程模型的层次化方法；在此基础上,以汽车油泵单项阀测试器的开发为例进行了建模和仿真分析.
口岸通关是国际多式联运体系的必要环节, 其通关速度对国际集装箱运输效率有着重要的影响. 描述了洋山保税港区进口法检货物的通关过程, 并应用广义随机Petri网进行建模分析; 通过ExSpect仿真模拟出进口法检货物在口岸的平均逗留时间; 基于提出的优化措施, 对优化后的口岸通关流程进行建模和仿真; 通过比较优化前后的仿真结果, 验证了优化方案的有效性.
基于多属性模糊Petri网的知识化制造系统产品需求预测
模糊Petri网 知识库 需求预测
2012/5/21
为强化模糊Petri网的知识表示能力, 提出了一种多属性模糊Petri网(AFPN), 即在模糊Petri网的基础上, 为每个库所及权值赋予与实际系统相对应的多个属性, 以简单模型结构完成具有多个属性的系统的建模．利用知识化制造系统的知识库, 对多属性模糊Petri网进行属性分解、属性合并以及训练更新, 并对不规则模型进行规则化, 可以在原有产品的AFPN模型基础上简单快速建立后续产品的AFPN新...
讨论了能对资源共享问题进行建模的共享合成操作. 重点研究共享合成Petri 网系统的活性保持
性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系. 给出相应的语言关系式,它
可用于判定合成系统的活性. 进一步,给出了判定合成系统有活性的充分必要条件. 最后,提出了合成系
统保持子系统活性的条件.
同步合成Petri 网系统可回复性的保持性
同步合成 可回复性的保持性 并发语言 最小可回复路径
2009/9/27
着重研究同步合成操作中可回复性的保持性. 讨论了在同步合成操作中系统间动态、并发的行
为关系,即语言关系. 提出一种基于最小可回复路径及它们并发合成的方法. 进一步,给出了一个合成系
统有可回复性的充分必要条件. 此外,提出了在同步合成操作中有可回复性的条件. 最后给出一些例子
来说明所提出的方法在建模和分析大系统时的有效性.
基于赋时有色Petri网的测试系统资源优化方法
自动测试 资源优化 赋时有色Petri网
2010/10/26
提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤; 基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法：基于空闲区匹配的最小资源集算法;通过给出一个应用实例, 证明了上述方法的有效性和实用性.
非马尔可夫随机Petri网模型的混合状态分析法
随机Petri网 混合状态 性能评估
2008/12/29
讨论具有发射时间任意分布之变迁的随机Petri网的解析问题.定义了随机Petri网
的混合状态和混合状态密度,提出混合状态分析法,并给出具有一步转移关系标识下的混合状
态密度的递推公式.使非马尔可夫型随机Petri网的分析成为可能.通过算例说明了混合状
态分析法在系统性能评估中的应用.
广义随机Petri网在制造系统中的应用
广义随机Petri网 制造系统 马氏链
2008/12/26
介绍广义随机Petri网,通过把其状态分为隐状态和显状态并消去隐状态,使得计算复杂
度降低,并将其应用在一个制造系统模型上,使用禁止弧来消除制造系统的冲突.