变迁序列相关论文
本文通过对内蒙古土默特平原北部底界年龄为9100aBP的泥炭剖面所做的70年左右分辨率的定量花粉分析,初步重建了内蒙古中部地区全新......
随着半导体晶圆生产加工变得越来越复杂,多组合设备也越来越频繁的被采用.多组合设备的调度关键在于怎么协调好相邻机械手的操作.......
并行测试技术是ATS (Auto Test System)在进一步降低测试的时间、削减测试的成本的趋势下新兴的一项技术，它正以不可比拟的优势成为......
作为分布式系统建模和分析工具,Petri网的应用领域越来越广泛。Petri网的变迁引发序列反映了Petri网的运行特征,一个Petri网产生的......
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论......
利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系结构的抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务——程序唤醒服务进行了描述、分析和验......
文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提......
本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用......
本文利用时间Petri网对FMS调度问题进行建模,满足约束条件的Petri网模型将调度问题限制在可行调度区域内.利用能够发现最优解的启......
提出一种数据流与控制流相结合的测试方法，在Ｐｅｔｒｉ网模型上对于控制流选定操作符覆盖标准，对于数据流采用ａｌ－ｄｅｆｓ标准，最后给出一个既考虑数据流标......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
Petri网理论已成为柔性制造系统中建模与分析的主流技术之一,基于Petri网的调度优化问题已被广泛研究。本文为解决柔性制造系统的......
并行测试拥有减少测试时间和降低测试成本的强大优势，正成为研究热点之一；首先介绍了并行测试的基本概念，针对在并行测试系统中由于多......
针对以往用Petri网求系统最小割集广泛采用分析库所的方法，证明了通过分析模型的变迁能够减少运算量，提出了组成系统最小割集的变迁......
并行测试任务调度方案在自动测试系统中一直是尚未解决的难题。基于Petri网理论的基础,建立了并行测试的时间Petri网模型,并且首次......
建立了制造单元加工过程的Petri网模型,采用关联矩阵来表征Petri网模型结构,并由之获得可达标识并进而得到由初始标识到最终的不同......
自动测试系统中并行测试任务调度方案一直是尚未解决的难题。在基于Petri网理论的基础上,建立了并行测试的时间Petri网模型,并且首......
在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法......
