ExSpect相关论文
为了准确的了解集装箱码头进口箱作业流程。及各个环节上的时间分布、效率情况,文中使用了赋时petri网对进口箱流程进行建模。文中......
内燃机零部件的设计生产效能是影响其计划任务按时、按质和按量完成的重要因素。本文分析了影响内燃机零部件的设计生产效能的综合......
用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行......
核电站应急响应本身的可靠性决定了其是否能有效的预防和减少突发事件及突发事件造成的后果和损害。因此若想建立行之有效的应急响......
JobShop调度是典型的NP类调度难题,是学术界研究的热点和难点。调度问题的关键是模型的建立和调度算法的选择。Petri网能直观地描述......
对飞行员操作程序进行建模,不仅能够辅助智能座舱的设计人员从顶层至上而下地对各模块功能进行协调设计,而且能够运用于飞行员行为......
作战单元装备系统的需求量仿真模型,应用Petri网和ExSpect建立复杂任务的仿真模型。其步骤包括:定义约束环境及目标函数、借鉴运筹学......
中欧国际铁路运输是"一带一路"陆路通道建设的核心,而铁路国境口岸站是运输通道的关键节点。随着运量提升,铁路过境口岸站运输组织......
近年来,我国自然灾害等各类应急事件频发,人民群众对应急救援提出了更高的要求。应急事件发生的不确定性和随机性,导致应急物流的......
介绍了基于赋时有色 petri 网(timed coloured Petri net)的可执行的规格说明工具 ExSpect(EXecutable SPECification Tool)的基本......
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用......
随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具.介绍了基于petri网的可执行的规格说明语言E......
针对电子制造企业中的仓储业务流程作为研究对象,建立基于Petri网的企业仓储物流业务流程模型,选择流程的周期时间作为关键参数,提......
在对复杂作战任务进行分析的基础上,以任务成功性要求为目标,讨论了弹药需求量仿真的模型框架,并应用Petri网技术及其软件ExSpect......
随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统......
自2003年“非典”突发事件以来,我国在应急预案、应急体制、应急机制和应急法制的建设上做出了巨大的努力,基本建立了我国“一案三制......
随着社会的不断发展、技术的不断进步,以及需求的不断变化,产品的制造过程变得越来越复杂。因而,难以建立精确的数学模型,也使得建立在......
随着人们物质生活水平的逐步上升和精神层面追求的不断提高,对图书的需求量越来越大,图书出版产业的发展空间也越来越广阔。出版产......
生产物流是企业生产过程得以连续进行的必要条件。在生产空间中加工点往往处于固定位置,只要加工设备能正常运转,就不会对系统产生......
电子政务工程的实施并不是简单的将政府的工作流程完全不变的转移到网络上,这是因为现有的政务流程由于历史的原因或者人为的因素......
以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业......