期刊文献+
共找到493篇文章
< 1 2 25 >
每页显示 20 50 100
基于虚拟现实的港口集装箱码头装卸系统仿真建模技术 被引量:22
1
作者 张新艳 张煜 +1 位作者 王少梅 朱金生 《武汉理工大学学报(交通科学与工程版)》 北大核心 2001年第4期470-473,共4页
以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该 系统仿真建模有关关键技术进行研究.针对港口集装箱码头装卸系统的离散性、随机性,采 用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景... 以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该 系统仿真建模有关关键技术进行研究.针对港口集装箱码头装卸系统的离散性、随机性,采 用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景建模 ,并以系统复合模型实时驱动三维场景的动态显示,最终实现基于离散随机事件的港口集装 箱码头装卸系统实时可视化、参数化仿真.将Petri网和面向对象两种建模方法结合起来用 于现代港口物流系统的建模,既保持了面向对象建模中的优势,又很好地表达了系统事件之 间的逻辑关系,同时又能利用Petri网模型中的数学分析方法对系统模型进行验证,与单纯 使用其中一种建模方法相比有了很大改进.文中选用的可在微机上运行的虚拟现实仿真建模 软件MultiGen较好地解决了复杂场景的实时生成问题. 展开更多
关键词 虚拟现实 petri 仿真建模 集装箱码头 装卸系统 港口
下载PDF
基于AutoMod的物流分拣系统的建模与仿真 被引量:7
2
作者 邵明习 王春峰 张沂泉 《物流科技》 2006年第2期50-53,共4页
本文以物流分拣系统为研究对象,对该系统的建模和三维仿真进行了研究。在简单地介绍了petri网理论和AutoMod软件的基础上,详细地阐述了面向对象着色petri网在物流分拣系统建模中的应用以及AutoMod在分拣系统仿真分析中的应用。
关键词 物流分拣系统 petri AUTOMOD 建模 仿真
下载PDF
基于petri网的文件审批系统工作流建模 被引量:8
3
作者 刘继承 张爱茹 +2 位作者 李征鸿 张严 任梓健 《微型机与应用》 2013年第2期77-80,共4页
以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质... 以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。 展开更多
关键词 文件审批系统 petri 工作流 模型映射与化简
下载PDF
基于两类典型生产模式的供应链性能分析 被引量:6
4
作者 方志梅 李院生 叶飞帆 《科研管理》 CSSCI 北大核心 2007年第1期161-166,109,共7页
面向按库存生产(MTS)和按订单生产(MTO)的两类供应链业务流程建立了Petri网模型,通过仿真,分析比较了它们的库存、订单响应时间和设备利用率,结果表明,在库存方面,MTO供应链明显优于MTS,而在订单响应时间和资源利用率方面,MTS供应链则... 面向按库存生产(MTS)和按订单生产(MTO)的两类供应链业务流程建立了Petri网模型,通过仿真,分析比较了它们的库存、订单响应时间和设备利用率,结果表明,在库存方面,MTO供应链明显优于MTS,而在订单响应时间和资源利用率方面,MTS供应链则略优于MTO。表明单一的生产模式并不能获得理想的供应链综合性能。 展开更多
关键词 按库存生产 按订单生产 petri网建模 仿真与分析
下载PDF
基于面向对象技术和Petri网的FMS系统建模 被引量:1
5
作者 舒海生 孟宪松 李庆芬 《应用科技》 CAS 2001年第11期5-6,9,共3页
简述了面向对象技术及Petri网的优缺点 ,分析了利用Petri网进行传统FMS建模的缺陷。将面向对象技术与Petri网理论结合起来 ,并对实际的FMS建立了一个通用模型。
关键词 petri FMS 面向对象技术 系统模型
下载PDF
Petri网在海军战役装备保障指挥中的应用 被引量:7
6
作者 关成彬 段立 《兵工自动化》 2008年第12期6-8,共3页
用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥... 用Petri网建立的模型更有利于动态仿真,适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行建模,采用Exspect对装备保障指挥信息流程模型进行仿真,以分析模型的运行效能。通过对海军装备保障指挥信息流程进行结构优化的研究可见:Petri网理论和相应的仿真软件(Exspect)提供了一个非常有效的优化分析工具;扁平式的指挥结构更有利于装备保障信息的快速流通。 展开更多
关键词 装备保障指挥 petri 信息流程建模 EXSPECT
下载PDF
基于构件的Petri-net工作流建模方法 被引量:1
7
作者 张海滨 曹健 《计算机工程》 CAS CSCD 北大核心 2004年第B12期519-521,共3页
Petri-net是一种行之有效的工作流建模方法。随着工作流的发展,用Petri-net描述的工作流模型越来越复杂,越来越庞大。针对此问 题,该文引入构件的思想改善现有的Petri-net建模方法,利用构件的封装性、多态性、可复用性等特点,来增强Petr... Petri-net是一种行之有效的工作流建模方法。随着工作流的发展,用Petri-net描述的工作流模型越来越复杂,越来越庞大。针对此问 题,该文引入构件的思想改善现有的Petri-net建模方法,利用构件的封装性、多态性、可复用性等特点,来增强Petri-net的建模能力,简化 Petri-net的模型结构。同时给出了两个模型实例。研究结果表明,与传统的Petri-net模型相比,该建模方法在提高描述能力、降低模型复杂 度、提高系统柔性方面有明显优点。 展开更多
关键词 petrinet 工作流建模 构件
下载PDF
基于Petri网模型的FMS控制决策方法研究 被引量:1
8
作者 蒋永平 徐杜 《机械设计与制造工程》 2000年第3期25-28,共4页
应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控... 应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 。 展开更多
关键词 控制决策 FMS petri 模型
下载PDF
基于对象Petri网的产品设计过程工作流建模 被引量:3
9
作者 曹乐松 顾丽 石福斌 《哈尔滨理工大学学报》 CAS 2007年第1期13-16,共4页
针对产品设计过程中的工作流程控制及重组问题,通过对面向对象Petri网的讨论,建立了基于面向对象Petri网的产品设计过程工作流模型,并给出了模型运行的规则.应用此模型建模,系统具有结构化和工程化的特点.
关键词 面向对象petri 工作流 系统建模 产品设计过程管理
下载PDF
基于Petri网的工作流模型研究与设计
10
作者 翟育明 冯旖旎 《计算机与现代化》 2006年第6期12-13,共2页
Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后,对公文流转中的发... Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后,对公文流转中的发文工作流进行了基于Petri网的模型设计。 展开更多
关键词 petri 公文流转 建模
下载PDF
Petri网技术在半导体生产线建模中的应用 被引量:2
11
作者 曹政才 乔非 吴启迪 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第12期1707-1711,共5页
综述了Petri网在半导体生产线优化调度领域应用的最新研究进展,涉及半导体生产线主要特征、建模方法、Petri网类型、调度策略及具体应用等问题,并指出这一领域值得进一步研究的问题和可能的发展方向.
关键词 半导体生产线 petri 建模 调度
下载PDF
基于petri网系统规约的工作流建模验证 被引量:1
12
作者 杨波涛 乔佩利 《现代制造技术与装备》 2006年第1期58-60,共3页
本文针对工作流过程建模的复杂性和易出错的状况,提出了基于Petri网系统规约的模型验证方法,提出了工作流网向Petri网映射的对应关系,给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。
关键词 petri网规约 工作流 模型验证
下载PDF
基于扩展染色Petri网的工作流过程模型
13
作者 周小聪 秦拯 《微计算机信息》 2012年第3期107-109,共3页
尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进... 尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。 展开更多
关键词 petri 工作流 模式 模型 业务流程
下载PDF
基于工作流的第二课堂活动管理平台的研究与实现 被引量:1
14
作者 赵冬 张文宁 车战斌 《计算机工程与科学》 CSCD 北大核心 2016年第7期1419-1424,共6页
高校第二课堂活动在学生创新素质培养方面具有独特的优势,二课活动的信息化是高校信息化的重要组成部分。针对二课活动管理参与角色众多、业务流程多变的特点,提出了增强型的RBAC模型,并基于Petri网对二课活动的竞赛类活动及公益实践活... 高校第二课堂活动在学生创新素质培养方面具有独特的优势,二课活动的信息化是高校信息化的重要组成部分。针对二课活动管理参与角色众多、业务流程多变的特点,提出了增强型的RBAC模型,并基于Petri网对二课活动的竞赛类活动及公益实践活动业务流程进行建模,采用.Net技术自主开发了工作流引擎,实现了基于工作流的高校第二课堂管理平台,增强了业务流程的可扩展性、灵活性和安全性。 展开更多
关键词 RBAC模型 工作流 petri网建模 第二课堂活动管理平台
下载PDF
量子密钥分配协议的Petri网建模及安全性分析 被引量:1
15
作者 张盛 王剑 +1 位作者 张权 唐朝京 《量子电子学报》 CAS CSCD 北大核心 2009年第1期50-55,共6页
量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式... 量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petri网模型,然后对模型进行安全性分析,分析结果表明,BB84协议是无条件安全的。该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中。 展开更多
关键词 量子信息 形式化分析 petri网建模 无条件安全
下载PDF
Object-oriented Integrated Multi-view Modeling Approach in CIMS
16
作者 陈加栋 熊光楞 《Tsinghua Science and Technology》 SCIE EI CAS 1996年第2期98-102,共5页
The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmult... The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmulti-view modeling approach was further provided.CIM system is composed of several objects where each objecthas a multi-view description.The four most important view-points: function, information, resource and dynamic viewpoint were chosen to provide conceptual model of the object-oriented integrated multi-view modeling in CIMS using a system integration approach 展开更多
关键词 OBJECT-ORIENTED multi-view modeling simulation petri-net
原文传递
个体交互行为的平滑干预模型
17
作者 刘霄 章昭辉 +1 位作者 魏子明 王鹏伟 《软件学报》 EI CSCD 北大核心 2021年第6期1733-1747,共15页
基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.如何使得用户行为主动平滑变化且可区分,成为解决上述问题的关... 基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.如何使得用户行为主动平滑变化且可区分,成为解决上述问题的关键.针对此问题,提出一种基于个体交互行为系统平滑干预模型:首先,根据用户历史交互行为日志从多个维度得到用户的交互行为变化趋势;然后,结合行为的稳定性和偏向性提出行为时域漂移算法(TDDA),为每个用户确定行为引导的时机;最后,基于Petri网提出交互行为重构系统干预模型,在系统中的非关键路径叠加行为触发因素,引导用户产生新的交互行为习惯.实验证明了提出的方法能够很好地引导用户行为平滑变化,且产生足够的区分性,使得行为伪装异常检测场景下模型的准确性显著提高. 展开更多
关键词 行为干预 交互行为 身份伪装 身份识别 petri网建模
下载PDF
Petri网的融合系统建模与仿真
18
作者 许杰 王国红 +1 位作者 陈永健 张莲 《西安邮电学院学报》 2009年第1期108-111,共4页
Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真... Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。 展开更多
关键词 信息融合 petri 建模 仿真
下载PDF
一个基于RTBAC的Petri网工作流模型
19
作者 王蕾 谢晓尧 +1 位作者 杨义在 张安钰 《贵州科学》 2008年第3期20-23,37,共5页
以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批... 以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证. 展开更多
关键词 petri RTBAC 建模
下载PDF
产品协同设计过程建模研究 被引量:37
20
作者 黄洪钟 刘伟 李丽 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第11期955-959,共5页
协同设计过程模型为协同设计支持软件体系结构的模块化和层次化设计奠定了良好的基础。现有的协同设计过程模型只是从某个角度入手,表达设计过程中的某些要素,而且主要是对设计过程进行定性分析,而定量分析设计过程性能的模型却很少。... 协同设计过程模型为协同设计支持软件体系结构的模块化和层次化设计奠定了良好的基础。现有的协同设计过程模型只是从某个角度入手,表达设计过程中的某些要素,而且主要是对设计过程进行定性分析,而定量分析设计过程性能的模型却很少。在分析比较现有的设计过程建模方法的基础上,提出了用分层有色Petri网建立产品协同设计过程模型的思路和方法,并给出了设计过程性能分析的方法。 展开更多
关键词 协同设计 分层有色petri 过程建模 性能分析
下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部