期刊文献+
共找到4,652篇文章
< 1 2 233 >
每页显示 20 50 100
基于虚拟现实的港口集装箱码头装卸系统仿真建模技术 被引量:22
1
作者 张新艳 张煜 +1 位作者 王少梅 朱金生 《武汉理工大学学报(交通科学与工程版)》 北大核心 2001年第4期470-473,共4页
以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该 系统仿真建模有关关键技术进行研究.针对港口集装箱码头装卸系统的离散性、随机性,采 用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景... 以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该 系统仿真建模有关关键技术进行研究.针对港口集装箱码头装卸系统的离散性、随机性,采 用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景建模 ,并以系统复合模型实时驱动三维场景的动态显示,最终实现基于离散随机事件的港口集装 箱码头装卸系统实时可视化、参数化仿真.将Petri网和面向对象两种建模方法结合起来用 于现代港口物流系统的建模,既保持了面向对象建模中的优势,又很好地表达了系统事件之 间的逻辑关系,同时又能利用Petri网模型中的数学分析方法对系统模型进行验证,与单纯 使用其中一种建模方法相比有了很大改进.文中选用的可在微机上运行的虚拟现实仿真建模 软件MultiGen较好地解决了复杂场景的实时生成问题. 展开更多
关键词 虚拟现实 petri 仿真建模 集装箱码头 装卸系统 港口
下载PDF
基于Petri网的维修保障流程多层次仿真模型研究 被引量:15
2
作者 张建强 张涛 郭波 《兵工自动化》 2003年第4期14-17,共4页
基于Petri网的武器装备系统维修保障流程多层次仿真模型,从简单Petri网开始,用子网代替初始简单网的库所或变迁,自顶向下重复至理想的细化程度。系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述。其建模过程为:分析维修... 基于Petri网的武器装备系统维修保障流程多层次仿真模型,从简单Petri网开始,用子网代替初始简单网的库所或变迁,自顶向下重复至理想的细化程度。系统的装备、资源及其动态协作关系用Petri资源、库所、变迁描述。其建模过程为:分析维修保障活动→划分活动为独立事件→建立保障流程描述的上层Petri网模型→分析独立的任务过程→得到子过程模型→基本事件的Petri网模型→利用模型仿真计算整个流程的参数及提出改进建议。并以飞机轮胎刹爆维修保障过程详述了该模型的建立。 展开更多
关键词 petri 武器装备 维修保障流程 多层次仿真模型 细化理论 应用
下载PDF
用面向对象方法实现基于Petri网的FMS动态调度仿真 被引量:5
3
作者 宋本基 郑鹏 +1 位作者 喻宏斌 徐九南 《哈尔滨工程大学学报》 EI CAS CSCD 1999年第1期1-7,共7页
Petri网模型是FMS动态仿真的有利工具.本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC++建立了动态调度仿真系统.结果表明,面向对象方法具有表达直... Petri网模型是FMS动态仿真的有利工具.本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC++建立了动态调度仿真系统.结果表明,面向对象方法具有表达直观、自然,可扩充性,实现容易、简便等优点. 展开更多
关键词 petri 柔性制造系统 面向对象 计算机仿真
下载PDF
基于AutoMod的物流分拣系统的建模与仿真 被引量:7
4
作者 邵明习 王春峰 张沂泉 《物流科技》 2006年第2期50-53,共4页
本文以物流分拣系统为研究对象,对该系统的建模和三维仿真进行了研究。在简单地介绍了petri网理论和AutoMod软件的基础上,详细地阐述了面向对象着色petri网在物流分拣系统建模中的应用以及AutoMod在分拣系统仿真分析中的应用。
关键词 物流分拣系统 petri AUTOMOD 建模 仿真
下载PDF
集装箱堆场进口箱翻箱落位仿真分析与启发式优选算法 被引量:17
5
作者 周鹏飞 李丕安 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2013年第12期3145-3155,共11页
集装箱码头运作优化的重要目标之一是降低堆场翻箱率.进口箱提箱过程中的翻箱落位优化是降低码头翻箱率的重要途径.在对集装箱码头堆场翻箱过程分析的基础上建立了基于Petri网的翻箱模拟仿真模型,通过仿真模拟分析了进口箱翻倒概率的相... 集装箱码头运作优化的重要目标之一是降低堆场翻箱率.进口箱提箱过程中的翻箱落位优化是降低码头翻箱率的重要途径.在对集装箱码头堆场翻箱过程分析的基础上建立了基于Petri网的翻箱模拟仿真模型,通过仿真模拟分析了进口箱翻倒概率的相关性影响因素;建立了翻箱概率与翻箱落位后的二次翻箱量估计模型;基于翻箱量估计最小规则设计了集装箱堆场翻箱落位优化启发式算法,利用仿真实验对所提出的算法与OH算法和IH算法进行了比较分析,实验结果表明在求解较大规模问题时算法精度可优于上述两种算法15%以上. 展开更多
关键词 集装箱码头 翻箱落位优化 仿真 启发式算法 petri
原文传递
基于Petri-net的机器人足球角色转换研究 被引量:4
6
作者 钟碧良 陈承志 杨宜民 《计算机工程与应用》 CSCD 北大核心 2001年第20期14-15,57,共3页
文章在分析机器人足球的角色的基础上,提出了用Petri-net来描述角色转换的原理,该方法简洁明了,完全适用于机器人足球多协调决策系统。
关键词 足球机器人 多智能系统 petri-net 角色转换
下载PDF
基于Petri网的工作流建模合理性验证算法 被引量:15
7
作者 郝玫 王道平 《计算机工程与应用》 CSCD 北大核心 2008年第13期228-231,共4页
Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最... Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性。 展开更多
关键词 工作流模型 petri 合理性 验证算法
下载PDF
基于Petri网和Web服务的工作流建模方案 被引量:8
8
作者 张琳霞 李茵 李小丽 《微电子学与计算机》 CSCD 北大核心 2006年第3期150-152,共3页
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分... 面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求,Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来,对工作流网中控制流结构进行了分析,给出了由Petri网向WSFL转化的方法,并给出Petri模型中控制流结构的WSFL描述。 展开更多
关键词 Petrl-net WSFL WEB服务 工作流
下载PDF
基于Petri网的维修保障系统建设方案研究 被引量:10
9
作者 徐宗昌 朴允华 刘义乐 《系统工程理论与实践》 EI CSCD 北大核心 2004年第8期141-144,共4页
 根据装备的使用要求和设计特性,建立了基于Petri网的装备维修过程模型,通过对该模型的分析,提出了Petri网的优先触发规则,并按照此规则规划了与装备使用要求相对应的维修保障系统建设方案.
关键词 petri 过程模型 规则 资源优化
原文传递
An Approach to Optimize the Path of Humanoids using Adaptive Ant Colony Optimization 被引量:10
10
作者 Chinmaya Sahu Dayal R. Parhi Priyadarshi Biplab Kumar 《Journal of Bionic Engineering》 SCIE EI CSCD 2018年第4期623-635,共13页
In the emerging area of humanoid robotics, path planning and autonomous navigation have evolved as one of the most promising area of research. This paper deals with the design and development of a novel navigational c... In the emerging area of humanoid robotics, path planning and autonomous navigation have evolved as one of the most promising area of research. This paper deals with the design and development of a novel navigational controller to guide humanoids in cluttered envi- ronments. The basic parameters of the ant colony optimization technique have been modified to have enhanced control as Adaptive Ant Colony Optimization (AACO). The controller that has been implemented in the humanoids receives sensory information about obstacle distances as inputs and provides required turning angle as output to reach the specified target position. The proposed controller has been tested in both simulated and experimental environments created trader laboratory conditions, and a good agreement has been observed between the simulation and experiment results. Here, both static and dynamic path planning have been attempted. Finally, the proposed controller has also been tested against other existing techniques to validate the efficiency of the AACO in path planning problems. 展开更多
关键词 navigation path planning humanoid robot AACO petri-net BIONICS
原文传递
超文本形式化模型研究 被引量:8
11
作者 余盛可 《计算机研究与发展》 EI CSCD 北大核心 1995年第3期45-50,共6页
本文谰述了目前超文本系统中常用的形式化模型,它们分别基于图论、网论、逻辑和集论。
关键词 超文本 多媒体 形式化模型
下载PDF
Web Service与工作流技术在构建高校图书馆信息化平台中的应用研究 被引量:6
12
作者 孙雷 许满武 《现代情报》 北大核心 2008年第3期48-50,共3页
介绍了Web服务和工作流技术,提出了一个基于Web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例,设计了基于Web Services的图书馆集成模型和基于Petri网的图书采购管理工作流模型,关联矩阵... 介绍了Web服务和工作流技术,提出了一个基于Web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例,设计了基于Web Services的图书馆集成模型和基于Petri网的图书采购管理工作流模型,关联矩阵分析证实了图书采购管理模型的可靠性,最后给出了图书采购体系结构。 展开更多
关键词 Web服务 工作流 petri 关联矩阵 图书采购
下载PDF
A-SMGCS航空器动态最优滑行路径规划研究 被引量:9
13
作者 王翀 汤新民 安宏锋 《武汉理工大学学报(交通科学与工程版)》 2012年第5期1069-1073,共5页
机场场面航空器的动态最优滑行路径研究是A-SMGCS的前提和关键,包括动态路径规划和滑行时间调度两方面.针对A-SMGCS中动态路径规划的复杂性和实时性,依据跑道、滑行道和停机坪的拓扑结构及管制规定建立了基于Petri网的场面活动模型及相... 机场场面航空器的动态最优滑行路径研究是A-SMGCS的前提和关键,包括动态路径规划和滑行时间调度两方面.针对A-SMGCS中动态路径规划的复杂性和实时性,依据跑道、滑行道和停机坪的拓扑结构及管制规定建立了基于Petri网的场面活动模型及相关约束规范.根据该模型及约束规范,并将静态预选路径作为可行解集,推导出场面各个时刻的机场状态,并从中选取最优路径.仿真实例表明动态路径规划可以最大限度避免滑行冲突,减少航空器的等待时间,显著提高场面运行效率. 展开更多
关键词 A-SMGCS petri 动态滑行路径规划 避免场面滑行冲突 占用时间窗
下载PDF
基于Petri网的RBAC策略验证的研究 被引量:5
14
作者 魏定国 吴时霖 《小型微型计算机系统》 CSCD 北大核心 2004年第5期827-832,共6页
本文为 RBAC模型提出了一个基于着色 Petri网的策略规格说明和分析的架构 .Petri网能够捕获基数、责任分离等约束 ,而且能对优先和依赖约束进行说明 .使用 Petri网的可达到性分析技术对 RBAC策略进行正确性验证 .
关键词 petri RBAC 策略 验证
下载PDF
基于petri网的文件审批系统工作流建模 被引量:8
15
作者 刘继承 张爱茹 +2 位作者 李征鸿 张严 任梓健 《微型机与应用》 2013年第2期77-80,共4页
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质... 以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。 展开更多
关键词 文件审批系统 petri 工作流 模型映射与化简
下载PDF
基于Petri网的柔性制造系统作业调度研究与实现 被引量:8
16
作者 冒益海 韩卫光 《小型微型计算机系统》 CSCD 北大核心 2010年第5期1001-1005,共5页
选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的... 选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMSPetri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性. 展开更多
关键词 FMS 柔性生产线 面向对象 petri FMS控制管理软件
下载PDF
从工作流网向ECA规则的转换 被引量:3
17
作者 宋军 胡乃静 罗永强 《小型微型计算机系统》 CSCD 北大核心 2003年第9期1693-1696,共4页
基于 ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术 ,因而目前已被广泛应用 ,但 ECA规则难于形式化描述的特性 ,使得在工作流建模时 ,不能够保证工作流系统的语义的正确性 ;而 Petri网具有形式化的描述... 基于 ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术 ,因而目前已被广泛应用 ,但 ECA规则难于形式化描述的特性 ,使得在工作流建模时 ,不能够保证工作流系统的语义的正确性 ;而 Petri网具有形式化的描述的基础和正确性分析的优点 ;本文将这两方面结合起来 ,对基于 Petri网的工作流网中控制流结构的分析给出了由 Petri网向 ECA规则转化的方法 ,通过 Petri网的形式化的验证后的 ECA规则的转化 ,可以保证基于 展开更多
关键词 工作流 petri ECA规则 主动数据库 控制流 工作流网
下载PDF
基于Petri网模型检验的安全关键软件需求验证 被引量:7
18
作者 李震 刘斌 +1 位作者 李小勋 殷永峰 《系统工程与电子技术》 EI CSCD 北大核心 2011年第2期458-463,共6页
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变迁失败情况下的触发... 需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。 展开更多
关键词 软件工程 petri 模型检验 安全关键软件 形式化方法
下载PDF
Petri网在海军战役装备保障指挥中的应用 被引量:7
19
作者 关成彬 段立 《兵工自动化》 2008年第12期6-8,共3页
用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥... 用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥信息流程进行结构优化的研究可见:Petri网理论和相应的仿真软件(Exspect)提供了一个非常有效的优化分析工具;扁平式的指挥结构更有利于装备保障信息的快速流通。 展开更多
关键词 装备保障指挥 petri 信息流程建模 EXSPECT
下载PDF
基于MAS和Petri-net技术的新能源电网协调控制策略 被引量:6
20
作者 朱涛 梁铃 +1 位作者 宋振涛 程广清 《电力系统保护与控制》 EI CSCD 北大核心 2015年第12期1-7,共7页
为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态... 为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态运行和逻辑切换的复杂性,构建了Multi-Agent系统(MAS),通过多Agent的交互作用来实现分布式协调控制策略。由于Petri-net模型是表述多模态运行系统的最有效工具之一,所以采用petr-net模型来描述各分布式单元的模态切换行为并以此设计其单元Agent模态切换控制策略。在此基础上,基于Multi-Agent系统框架在上层中心Agent中构建各分布式能源单元之间的模态协调切换控制策略,来实现整个微电网运行模态的有效切换。最后仿真验证了所提出的控制策略的有效性。 展开更多
关键词 微电网 MULTI-AGENT系统 协调控制策略 分布式能源 多模态行为 petri-net
下载PDF
上一页 1 2 233 下一页 到第
使用帮助 返回顶部