基于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 职称材料

基于ExSpect的Job Shop调度的研究

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

基于ESHLEP-N印染生产线的仿真 被引量：1

13

作者 周晓慧 谢作豪 《机电工程》 CAS 2008年第11期94-96,104,共4页

印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型... 印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。 展开更多

关键词 印染生产线 扩展随机高级判断Petri网 可执行的规格说明工具 仿真

在线阅读 下载PDF 职称材料