基于ExSpect的复杂离散事件动态系统建模 被引量：14

1

作者 曲长征 于永利 +1 位作者 金伟 高鲁 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第12期3011-3013,3018,共4页

随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析,没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执... 随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析,没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的复杂离散事件动态系统建模的方法,并进行了实例研究。 展开更多

关键词 PETRI网 exspect 离散事件动态系统 建模

下载PDF 职称材料

基于ExSpect的排队系统建模与仿真 被引量：5

2

作者 胡雄鹰 胡斌 张金隆 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期155-157,共3页

随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。

关键词 PETRI网 exspect 排队系统 建模 仿真

下载PDF 职称材料

Petri网及ExSpect在任务可靠性仿真中的应用 被引量：3

3

作者 赵兵 赵世伟 《微计算机信息》 2010年第13期1-3,8,共4页

任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之... 任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。 展开更多

关键词 任务可靠性 仿真 PETRI网 exspect

下载PDF 职称材料

基于Exspect的航空维修模式仿真与优化 被引量：2

4

作者 周筱宇 王端民 武涛 《微计算机信息》 北大核心 2008年第25期275-276,281,共3页

针对现有航空维修保障模式中存在的问题,通过流程重组,提出了小外场/大内场的保障模式,并利用Petri网仿真语言Exspect对新保障模式的一个实例进行了建模仿真,结论表明,小外场/大内场的维修保障模式能克服现有维修模式的缺点,提高维修效... 针对现有航空维修保障模式中存在的问题,通过流程重组,提出了小外场/大内场的保障模式,并利用Petri网仿真语言Exspect对新保障模式的一个实例进行了建模仿真,结论表明,小外场/大内场的维修保障模式能克服现有维修模式的缺点,提高维修效率和飞机的战备完好率。 展开更多

关键词 航空维修 PETRI网 exspect语言

下载PDF 职称材料

基于ExSpect软件的冷链物流企业进货流程仿真及优化研究 被引量：1

5

作者 赵志华 《中国市场》 2012年第45期15-17,共3页

食品安全关系着百姓的生命安全。从物流角度来讲,缩短冷链物流流程时间,能够减少食品变质的风险,提高安全系数。本文在详细描述了冷链物流企业目前的进货流程后,使用软件ExSpect对流程进行了仿真。在得到行为分析结果和仿真结果的基础上... 食品安全关系着百姓的生命安全。从物流角度来讲,缩短冷链物流流程时间,能够减少食品变质的风险,提高安全系数。本文在详细描述了冷链物流企业目前的进货流程后,使用软件ExSpect对流程进行了仿真。在得到行为分析结果和仿真结果的基础上,有针对性地提出了基于效率提高和基于流程重构两种优化措施。 展开更多

关键词 冷链物流企业 进货流程 exspect软件 仿真 优化

下载PDF 职称材料

基于ExSpect的Job Shop调度的研究

6

作者 赵树武 《现代制造工程》 CSCD 北大核心 2013年第9期39-41,共3页

Job Shop调度是典型的NP类调度难题,是学术界研究的热点和难点。调度问题的关键是模型的建立和调度算法的选择。Petri网能直观地描述研究对象的各组件之间的关系,建立图形化的调度模型,解决了以往传统方法建立模型的弊端;应用ExSpect仿... Job Shop调度是典型的NP类调度难题,是学术界研究的热点和难点。调度问题的关键是模型的建立和调度算法的选择。Petri网能直观地描述研究对象的各组件之间的关系,建立图形化的调度模型,解决了以往传统方法建立模型的弊端;应用ExSpect仿真软件对Petri网模型进行仿真分析,可以得到合理的调度策略。 展开更多

关键词 JOB Shop调度 exspect仿真软件 建模与仿真

下载PDF 职称材料

基于Petri网的模具制造业生产流程仿真优化

7

作者 覃羡烘 杨斌 +1 位作者 高志远 黄永程 《新技术新工艺》 2024年第1期32-39,共8页

以某模具厂为例,对其生产流程的时间周期和成本瓶颈进行了分析诊断。采用信息化及企业与部门间相互协作优化其生产流程瓶颈,对其冗长的生产制造流程进行了时间周期和成本优化。选择Petri网作为建模工具,建立了某厂的玩具手枪模具从获取... 以某模具厂为例,对其生产流程的时间周期和成本瓶颈进行了分析诊断。采用信息化及企业与部门间相互协作优化其生产流程瓶颈,对其冗长的生产制造流程进行了时间周期和成本优化。选择Petri网作为建模工具,建立了某厂的玩具手枪模具从获取订单到模具产品制成的生产流程Petri网模型。着重针对产品制造生产流程,选择流程周期时间为参数,应用ExSpect软件进行仿真诊断分析,对旧的生产流程进行了重组,获得了新的生产流程模型。新的生产流程生产时间周期由140 h缩短到了约71 h,时间周期明显缩短,大幅度提高了制造的生产流程执行效率;同时仿真结果的方差表明,处理过程的不确定性也有所降低。总体上提高了生产效率,实现了生产流程的优化。 展开更多

关键词 生产流程 PETRI网 exspect 仿真 方差 优化

下载PDF 职称材料

聚合级装备作战单元机动防空任务可靠性仿真 被引量：4

8

作者 封会娟 于永利 +2 位作者 张柳 李东东 董岳 《系统仿真学报》 CAS CSCD 北大核心 2010年第7期1728-1732,共5页

装备作战单元的任务可靠性是装备作战单元作战效能的一个重要因素,也是衡量装备作战单元其它性能的重要基础之一。采用平均故障间隔时间作为装备作战单元任务可靠性的评价参数,分析了聚合级装备作战单元的层次,剖析了其平均故障间隔时... 装备作战单元的任务可靠性是装备作战单元作战效能的一个重要因素,也是衡量装备作战单元其它性能的重要基础之一。采用平均故障间隔时间作为装备作战单元任务可靠性的评价参数,分析了聚合级装备作战单元的层次,剖析了其平均故障间隔时间的含义,给出了其在机动防空任务下平均故障间隔时间的仿真方法和仿真流程,应用Petri网技术在ExSpect仿真环境下建立了聚合级装备作战单元的任务可靠性仿真模型,实现对聚合级各层装备作战单元平均故障间隔时间的仿真。最后,通过实例,验证了模型的正确性和实用性。 展开更多

关键词 聚合级装备作战单元 任务可靠性 平均故障间隔时间 机动防空 PETRI网 exspect

原文传递

基于Petri网的采购业务流程建模及仿真优化 被引量：5

9

作者 叶玉全 卜英勇 +1 位作者 罗柏文 黄剑飞 《计算机应用》 CSCD 北大核心 2009年第10期2871-2874,共4页

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表... 以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。 展开更多

关键词 采购业务流程建模 PETRI网 exspect 仿真优化

下载PDF 职称材料

基于Petri网的作战单元完好性仿真 被引量：2

10

作者 封会娟 于永利 +1 位作者 张柳 聂成龙 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第11期3255-3258,共4页

作战单元完好性是最能综合反映作战单元使用与保障任务要求的参数之一,完好性的评价参数主要有完好率和使用可用度等。在对作战单元复杂任务和完好性参数进行分析的基础上,给出完好率和使用可用度的理论公式,分别分析基本任务和复杂任... 作战单元完好性是最能综合反映作战单元使用与保障任务要求的参数之一,完好性的评价参数主要有完好率和使用可用度等。在对作战单元复杂任务和完好性参数进行分析的基础上,给出完好率和使用可用度的理论公式,分别分析基本任务和复杂任务下作战单元完好性的仿真方法并给出仿真流程图,应用Petri网技术在ExSpect仿真环境下分别建立基本任务和复杂任务下作战单元完好性的仿真模型,实现对完好性的评估。最后,针对自行火炮“靶场打靶”实例进行仿真分析和评估,验证了此模型的正确性和实用性。 展开更多

关键词 作战单元 完好性 使用可用度 PETRI网 exspect软件

下载PDF 职称材料

基于Petri网的作战单元任务可靠性仿真 被引量：5

11

作者 封会娟 于永利 +1 位作者 张柳 聂成龙 《微计算机信息》 北大核心 2006年第04S期299-301,共3页

现代战争要求充分发挥武器系统的整体作战效能,任务可靠性为武器系统作战效能的评估提供了依据。本文在分析作战单元任务可靠性仿真重要性以及Petri网技术优点的基础上,描述了作战单元复杂任务的构成及特点,建立了作战单元任务可靠性理... 现代战争要求充分发挥武器系统的整体作战效能,任务可靠性为武器系统作战效能的评估提供了依据。本文在分析作战单元任务可靠性仿真重要性以及Petri网技术优点的基础上,描述了作战单元复杂任务的构成及特点,建立了作战单元任务可靠性理论模型并明确仿真思路,利用Petri网技术,在ExSpect仿真环境下逐层构建了作战单元复杂任务可靠性仿真模型,最后针对具体实例进行仿真分析。实例结果表明,此模型可以有效的对作战单元任务可靠性进行仿真,对增强部队综合保障能力具有积极的意义。 展开更多

关键词 作战单元 复杂任务 任务可靠性 PETRI网 exspect软件

下载PDF 职称材料

Petri网在海军战役装备保障指挥中的应用 被引量：7

12

作者 关成彬 段立 《兵工自动化》 2008年第12期6-8,共3页

用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥... 用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥信息流程进行结构优化的研究可见:Petri网理论和相应的仿真软件(Exspect)提供了一个非常有效的优化分析工具;扁平式的指挥结构更有利于装备保障信息的快速流通。 展开更多

关键词 装备保障指挥 PETRI网 信息流程建模 exspect

下载PDF 职称材料

基于HTP的飞行员操作程序建模与仿真 被引量：2

13

作者 张源原 吴文海 +1 位作者 拜斌 刘锦涛 《电光与控制》 北大核心 2017年第4期62-66,共5页

对飞行员操作程序进行建模,不仅能够辅助智能座舱的设计人员从顶层至上而下地对各模块功能进行协调设计,而且能够运用于飞行员行为、系统状态的监控当中。首先分析了传统建模方法存在的问题,针对这些问题,设计了一种基于层次时延Petri... 对飞行员操作程序进行建模,不仅能够辅助智能座舱的设计人员从顶层至上而下地对各模块功能进行协调设计,而且能够运用于飞行员行为、系统状态的监控当中。首先分析了传统建模方法存在的问题,针对这些问题,设计了一种基于层次时延Petri网的建模方法,并用于操作程序的建模当中;在ExSpect仿真环境中对机动飞行下空战程序模型进行了仿真,并分析了模型的时间特性;最后,讨论了模型中仍然存在的不足之处,指明了未来的研究方向。 展开更多

关键词 飞行员操作程序 PETRI网 exspect 智能座舱

下载PDF 职称材料

基于Petri网的复杂作战任务弹药需求量仿真模型 被引量：1

14

作者 封会娟 陈玉波 于永利 《火力与指挥控制》 CSCD 北大核心 2007年第9期108-111,共4页

在对复杂作战任务进行分析的基础上,以任务成功性要求为目标,讨论了弹药需求量仿真的模型框架,并应用Petri网技术及其软件ExSpect建模环境,分别建立了各子任务和复杂任务的弹药需求量的仿真模型。最后通过应用实例验证了模型的可行性,... 在对复杂作战任务进行分析的基础上,以任务成功性要求为目标,讨论了弹药需求量仿真的模型框架,并应用Petri网技术及其软件ExSpect建模环境,分别建立了各子任务和复杂任务的弹药需求量的仿真模型。最后通过应用实例验证了模型的可行性,为适应高技术战争要求,确定作战任务中的弹药需求量及其在各级军事单位中的配备,从而为提高整个弹药保障工作效率提供了有利依据。 展开更多

关键词 阶段任务系统 弹药 仿真模型 PETRI网 exspect

下载PDF 职称材料

基于Petri网的化学危险品出入库流程的建模与仿真 被引量：3

15

作者 李玉民 宋巍 《物流技术》 北大核心 2012年第8期262-264,277,共4页

化学危险品出入库的安全性是其物流管理的一个重要内容,利用Petri网对化学危险品出入库流程进行了建模,并运用ExSpect软件对模型进行仿真分析,针对分析结果提出了一些安全防范措施,提升了化学危险品出入的安全高效性。

关键词 化学危险品 出入库流程 PETRI网 exspect 建模与仿真

下载PDF 职称材料

基于Petri网的某型导弹单发任务完成概率仿真 被引量：2

16

作者 韩雪魁 张柳 史俊斌 《科学技术与工程》 2007年第10期2458-2461,共4页

任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率。使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿... 任务成功概率是任务成功性的概率度量,指在规定的任务剖面内,产品能完成规定任务的概率。使用基于Petri网原理的ExSpect仿真软件,对单发导弹的任务流程进行了模拟,首先构建基本任务的仿真模型,在此基础上针对导弹整体任务流程构建了仿真模型,并计算其任务完成概率,最后通过应用实例验证模型的可行性。 展开更多

关键词 PETRI网 任务完成概率exspect(Executable Specification tool) 仿真模型

下载PDF 职称材料

基于HTPN的集装箱码头进口箱作业流程建模与仿真 被引量：1

17

作者 陈秋琳 杨勇生 杨斌 《物流工程与管理》 2009年第3期79-81,共3页

为了准确的了解集装箱码头进口箱作业流程,及各个环节上的时间分布、效率情况,文中使用了赋时petri网对进口箱流程进行建模。文中使用HTPN网建立模型,在建立模型之后,使用Exspect软件对于进口箱作业进行仿真,来得到时间方面的分析结果。

关键词 TPN HTPN exspect 进口箱作业流程建模与仿真

下载PDF 职称材料

作战单元装备系统的需求量仿真模型

18

作者 陈玉波 李世英 +1 位作者 张彦忠 陈乐 《兵工自动化》 2006年第6期7-8,共2页

作战单元装备系统的需求量仿真模型,应用Petri网和ExSpect建立复杂任务的仿真模型。其步骤包括:定义约束环境及目标函数、借鉴运筹学中解决非线性规划问题的可行方向法对该模型的算法进行讨论。建立子任务需求量模型后,将每个子任务模... 作战单元装备系统的需求量仿真模型,应用Petri网和ExSpect建立复杂任务的仿真模型。其步骤包括:定义约束环境及目标函数、借鉴运筹学中解决非线性规划问题的可行方向法对该模型的算法进行讨论。建立子任务需求量模型后,将每个子任务模型当作可调用模块。在进行复杂任务装备系统需求量仿真时,根据任务时间内的子任务系统可靠性模型选取不同模块。最后通过应用实例验证模型的可行性。 展开更多

关键词 装备系统 作战单元 仿真模型 PETRI网 exspect

下载PDF 职称材料

基于Petri网的内燃机零部件设计生产效能计算与优化模型 被引量：1

19

作者 冯帆 封会娟 《内燃机配件》 2007年第4期11-13,共3页

内燃机零部件的设计生产效能是影响其计划任务按时、按质和按量完成的重要因素。本文分析了影响内燃机零部件的设计生产效能的综合因素,给出了确定其设计生产效能的一般过程,并基于Petri网建立了内燃机零部件的设计生产效能计算仿真模... 内燃机零部件的设计生产效能是影响其计划任务按时、按质和按量完成的重要因素。本文分析了影响内燃机零部件的设计生产效能的综合因素,给出了确定其设计生产效能的一般过程,并基于Petri网建立了内燃机零部件的设计生产效能计算仿真模型。最后,针对具体实例进行分析和仿真,结果证明了模型的可用性和可信性。 展开更多

关键词 生产约束 效能模型Petri网 exspect

下载PDF 职称材料

基于Petri网模型的口岸站作业流程分析及优化 被引量：13

20

作者 李晨 魏玉光 《铁道运输与经济》 北大核心 2020年第2期93-102,114,共11页

中欧国际铁路运输是"一带一路"陆路通道建设的核心,而铁路国境口岸站是运输通道的关键节点。随着运量提升,铁路过境口岸站运输组织中存在的问题逐步显现。以提升口岸站作业效率为目的,在口岸站作业流程分析的基础上,以全作业... 中欧国际铁路运输是"一带一路"陆路通道建设的核心,而铁路国境口岸站是运输通道的关键节点。随着运量提升,铁路过境口岸站运输组织中存在的问题逐步显现。以提升口岸站作业效率为目的,在口岸站作业流程分析的基础上,以全作业流程平均周期时间最小为目标,建立口岸站作业流程的Petri网模型,利用ExSpect软件对口岸站作业流程进行仿真。仿真结果表明,提出的口岸站作业流程优化措施可以有效提升作业效率。 展开更多

关键词 口岸站 作业流程 PETRI网 exspect 优化方案

下载PDF 职称材料