期刊文献+
共找到38篇文章
< 1 2 >
每页显示 20 50 100
基于Petri网建模与FTA的动车组受电弓故障诊断 被引量:22
1
作者 宋龙龙 王太勇 +2 位作者 宋晓文 徐磊 宋德刚 《仪器仪表学报》 EI CAS CSCD 北大核心 2014年第9期1990-1997,共8页
通过对CRH2型动车组受电弓结构组成、工作原理和故障模式进行分析,梳理复杂故障事件间关系,建立受电弓故障树。针对大型故障树分析中的组合爆炸和无法动态诊断的不足,将Petri网建模理论与故障树分析相结合,采用关联矩阵法求解受电弓故... 通过对CRH2型动车组受电弓结构组成、工作原理和故障模式进行分析,梳理复杂故障事件间关系,建立受电弓故障树。针对大型故障树分析中的组合爆炸和无法动态诊断的不足,将Petri网建模理论与故障树分析相结合,采用关联矩阵法求解受电弓故障树最小割集,建立其Petri网模型状态方程,通过初始状态token赋值和转移使能建立受电弓故障动态传播过程的数学表达,提高了复杂系统故障诊断推理速度和效率。最后结合受电弓故障诊断实例的应用,证明了所提算法的合理性和有效性。 展开更多
关键词 故障诊断 动车组 受电弓 故障树 最小割集 petri网建模
在线阅读 下载PDF
柔性供应链的Petri网建模与分析 被引量:9
2
作者 方志梅 叶飞帆 李院生 《中国机械工程》 EI CAS CSCD 北大核心 2006年第21期2238-2242,共5页
面向按库存生产和按订单生产相结合的柔性供应链,将产品零部件分解为通用件和差异件,利用时间Petri网对供应链业务流程进行建模与仿真,分析订单完成量对供应链库存和订单响应时间的影响,确定最佳的产品差异率。结果表明:较少的订单完成... 面向按库存生产和按订单生产相结合的柔性供应链,将产品零部件分解为通用件和差异件,利用时间Petri网对供应链业务流程进行建模与仿真,分析订单完成量对供应链库存和订单响应时间的影响,确定最佳的产品差异率。结果表明:较少的订单完成量有利于供应链的库存控制和快速响应;差异件的存在有助于快速定制产品,且基本不影响整个供应链的库存,最佳的产品差异率为0.3。因此,柔性供应链适用于多品种、少批量的需求模式。 展开更多
关键词 柔性供应链 按订单生产 按库存生产 petri网建模 仿真与分析
在线阅读 下载PDF
基于Petri网建模的机务段管理信息系统的研究与实现 被引量:3
3
作者 田娥 李毅 莫易敏 《武汉理工大学学报(交通科学与工程版)》 2009年第6期1068-1071,共4页
将Petri网建模技术应用于机务段信息化系统的开发过程中,并结合Petri网理论和机务段业务流程的特点,提出了机务段业务流程模型,通过定义的模型5元组来描述各检修过程之间的信息、资源和组织之间的关系,引导过程中的检修活动自动进行,对... 将Petri网建模技术应用于机务段信息化系统的开发过程中,并结合Petri网理论和机务段业务流程的特点,提出了机务段业务流程模型,通过定义的模型5元组来描述各检修过程之间的信息、资源和组织之间的关系,引导过程中的检修活动自动进行,对检修活动所需的资源进行调度分配,从而将各检修活动组织成一个顺畅的工作流程,为机务段业务流程的分析优化以及应用软件系统的开发提供了逻辑模型支持;通过矩阵方程对所建网模型进行性能分析,证明该模型的合理性.该模型能顺应机车检修工艺的变化重组业务流程,实现信息系统的可持续升级. 展开更多
关键词 petri网建模 机务段 管理信息系统
在线阅读 下载PDF
量子密钥分配协议的Petri网建模及安全性分析 被引量:1
4
作者 张盛 王剑 +1 位作者 张权 唐朝京 《量子电子学报》 CAS CSCD 北大核心 2009年第1期50-55,共6页
量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式... 量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中。为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petri网模型,然后对模型进行安全性分析,分析结果表明,BB84协议是无条件安全的。该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中。 展开更多
关键词 量子信息 形式化分析 petri网建模 无条件安全
在线阅读 下载PDF
基于过程挖掘的临床路径Petri网建模 被引量:1
5
作者 余建波 郑小云 +1 位作者 李传锋 董晨阳 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2018年第4期524-534,549,共12页
提出基于统计α算法的临床路径Petri网模型,将Petri网和基于统计α算法的过程挖掘算法集成,从事件日志中挖掘重要信息,获得完善的诊疗流程,并在此基础上建立Petri网模型,有效实现诊疗流程的优化和改进.通过仿真数据试验,验证了本文提出... 提出基于统计α算法的临床路径Petri网模型,将Petri网和基于统计α算法的过程挖掘算法集成,从事件日志中挖掘重要信息,获得完善的诊疗流程,并在此基础上建立Petri网模型,有效实现诊疗流程的优化和改进.通过仿真数据试验,验证了本文提出的统计α算法相较于经典α算法在准确度和运行时间上有着较大的优势.并将模型运用到临床路径真实数据上,证明了模型的有效性和准确性. 展开更多
关键词 临床路径 统计α算法 petri网建模 过程挖掘算法
在线阅读 下载PDF
采购控制链的Petri网建模及缺陷检测
6
作者 陈耿 周红雨 韩志耕 《会计之友》 北大核心 2015年第12期37-41,共5页
采购控制链是审计关注的重要风险点。企业现有采购控制链普遍存在流程缺陷,文章以企业的采购流程为研究对象,基于Petri网理论构建了一个面向采购流程的控制链模型,并利用Petri网可视化工具Ex Spect对该模型进行仿真,对控制链中可能存在... 采购控制链是审计关注的重要风险点。企业现有采购控制链普遍存在流程缺陷,文章以企业的采购流程为研究对象,基于Petri网理论构建了一个面向采购流程的控制链模型,并利用Petri网可视化工具Ex Spect对该模型进行仿真,对控制链中可能存在的缺陷进行定量分析,同时对企业控制链给出相应改进,从而为加强内部控制提供了一种新方法。 展开更多
关键词 采购管理 内部控制 petri网建模 采购流程仿真 缺陷分析
在线阅读 下载PDF
双管道原油运输系统的着色赋时可控Petri网建模 被引量:1
7
作者 角文滨 伍乃骐 白丽平 《工业工程》 北大核心 2014年第4期129-138,共10页
针对双管道原油运输(高低凝固点原油)系统,利用着色赋时可控Petri网进行建模,分析多个关键约束,特别是高凝固点原油运输管道的约束。利用模块化建模方法,分层建模,结构严谨,描述系统行为完整,可作为观察系统物流信息和短期生产调度制定... 针对双管道原油运输(高低凝固点原油)系统,利用着色赋时可控Petri网进行建模,分析多个关键约束,特别是高凝固点原油运输管道的约束。利用模块化建模方法,分层建模,结构严谨,描述系统行为完整,可作为观察系统物流信息和短期生产调度制定的辅助工具。 展开更多
关键词 炼油工业 流程工业 petri网建模 系统
在线阅读 下载PDF
战时装备维修保障系统赋时Petri网建模 被引量:1
8
作者 李洲 郑怀洲 《装备指挥技术学院学报》 2008年第3期118-121,共4页
Petri网作为离散事件系统(discrete event system,DES)建模仿真的有利工具,能较好地用于对战时装备维修保障系统的仿真建模。介绍了赋时Petri网,分析了其在战时装备保障系统中的运用,提出了系统模型假设,给出了战时装备维修保障系统... Petri网作为离散事件系统(discrete event system,DES)建模仿真的有利工具,能较好地用于对战时装备维修保障系统的仿真建模。介绍了赋时Petri网,分析了其在战时装备保障系统中的运用,提出了系统模型假设,给出了战时装备维修保障系统模型的具体设计方案,并对模型的应用进行了说明。 展开更多
关键词 战时维修保障 petri网建模 仿真
在线阅读 下载PDF
综采“三机”生产工艺Petri网建模与验证
9
作者 郭博洋 郭卫 +1 位作者 路正雄 胡磊 《煤》 2020年第6期21-23,32,共4页
针对煤矿井下综采“三机”协同工作过程中工艺的并行发生和联动复杂的问题,利用Petri网建模方法对井下综采自动化“三机”协同生产工艺进行分析,对中部跟机和机头机尾跟机自动化阶段进行Petri网建模和结合,组成了整个综采自动化“三机... 针对煤矿井下综采“三机”协同工作过程中工艺的并行发生和联动复杂的问题,利用Petri网建模方法对井下综采自动化“三机”协同生产工艺进行分析,对中部跟机和机头机尾跟机自动化阶段进行Petri网建模和结合,组成了整个综采自动化“三机”协同工作的Petri网模型,并利用可达树分析验证了建模方法的可行性和Petri网模型的可用性,为综采自动化“三机”协同生产运行评价提供了理论基础,为煤矿井下智能化决策提供了模型依据。 展开更多
关键词 生产工艺 “三机”协同 petri网建模
在线阅读 下载PDF
物流调度场景下的Petri网建模与分析
10
作者 张笛 《现代计算机》 2023年第23期79-83,共5页
在当今全球化时代,物流成为了企业竞争力的重要组成部分,物流调度系统作为物流管理中最核心的环节之一,直接关系到物流运输的高效性和低成本性。Petri网作为一种重要的建模和分析工具,可以帮助物流企业更好地理解和优化物流调度系统。... 在当今全球化时代,物流成为了企业竞争力的重要组成部分,物流调度系统作为物流管理中最核心的环节之一,直接关系到物流运输的高效性和低成本性。Petri网作为一种重要的建模和分析工具,可以帮助物流企业更好地理解和优化物流调度系统。经过对物流调度场景下的Petri网进行研究,介绍Petri网的基本概念和建模方法,以及如何利用Petri网对物流调度系统进行建模和分析。 展开更多
关键词 城市物流 调度优化 petri网建模 资源分配
在线阅读 下载PDF
基于Petri网的港区综合能源系统优化调度建模研究 被引量:2
11
作者 童彤 许晓彦 +2 位作者 郭燚 Tarasiuk Tomasz 夏骏 《电力需求侧管理》 2021年第4期39-44,共6页
港区是交通行业重点耗能领域,如何提高能源利用效率、减少环境污染、实现综合能源管理是共同关注的话题。所以要进行综合能源的一体化设计,实现港区用能效率最优,提高能源基础设施利用率。在分析港区综合能源系统和负荷系统的基础上,采... 港区是交通行业重点耗能领域,如何提高能源利用效率、减少环境污染、实现综合能源管理是共同关注的话题。所以要进行综合能源的一体化设计,实现港区用能效率最优,提高能源基础设施利用率。在分析港区综合能源系统和负荷系统的基础上,采用多Agent系统和着色Petri网理论,建立港区综合能源系统优化调度模型,根据用电负荷合理分配综合能源的供能顺序,最大程度使用清洁能源,并通过算例验证了优化调度模型的可行性和有效性。该研究成果对提高港区综合能源的利用效率和经济效益具有重要意义。 展开更多
关键词 港区综合能源 优化调度 petri网建模 多代理系统
在线阅读 下载PDF
基于Petri网的网络攻击流模型研究 被引量:3
12
作者 赵博夫 殷肖川 《计算机工程》 CAS CSCD 北大核心 2011年第4期158-160,177,共4页
针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,... 针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,该模型既利于攻击者构建网络攻击方案,又能被计算机解析并组织实施网络攻击。 展开更多
关键词 络攻击流 petri网建模 智能络攻击
在线阅读 下载PDF
基于Petri网的流程间元素映射方法 被引量:13
13
作者 曹斌 王佳星 +1 位作者 范菁 董天阳 《软件学报》 EI CSCD 北大核心 2015年第3期474-490,共17页
对流程进行比较,在业务流程管理中有着重要的应用价值,可用于流程版本控制、流程相似度计算、流程合并等应用场景当中.流程间的元素映射是流程比较的首要步骤.现有的流程比较方法仅考察了流程任务活动的映射,忽略了流程中其他元素的对... 对流程进行比较,在业务流程管理中有着重要的应用价值,可用于流程版本控制、流程相似度计算、流程合并等应用场景当中.流程间的元素映射是流程比较的首要步骤.现有的流程比较方法仅考察了流程任务活动的映射,忽略了流程中其他元素的对应关系,进而无法保障流程比较结果的可靠性.为此,提出一种基于Petri网的流程间元素映射模型,侧重描述了库所映射时所需要满足的上下文环境;随后,在此基础上提出了基于上下文环境的流程间库所映射算法.对于任意给定的两个Petri网建模的流程模型,该算法通过双边和单边映射的策略,优先选择上下文环境相似程度最高的库所作为对应库所返回.大量基于真实数据集的实验展示了该方法在库所映射方面的有效性,也展示了其用于流程相似度计算方面的高效性. 展开更多
关键词 业务流程管理 流程比较 petri网建模 元素映射 上下文相似度
在线阅读 下载PDF
装配生产线建模方法及资源优化研究 被引量:1
14
作者 任工昌 董钰颖 +1 位作者 何舟 崔晨浩 《陕西科技大学学报》 CAS 2020年第1期131-135,163,共6页
针对目前装配生产线普遍存在的生产效率低下、资源利用率不高的问题.本文以大型装配生产线为研究对象,对其进行资源优化配置.首先,构建有效的装配线Petri网模型,并配置保证Petri网正常运行的最少资源.其次,基于线性规划提出一种用于装... 针对目前装配生产线普遍存在的生产效率低下、资源利用率不高的问题.本文以大型装配生产线为研究对象,对其进行资源优化配置.首先,构建有效的装配线Petri网模型,并配置保证Petri网正常运行的最少资源.其次,基于线性规划提出一种用于装配生产线优化的通用启发式算法,对装配生产线进行资源优化配置.在不超过预算的基础上,使生产线的生产效率最大化.最后,以某公司的汽车液力变矩器装配生产线为例,采用本文提出算法对该生产线进行资源优化配置,并通过仿真验证了算法的有效性. 展开更多
关键词 装配生产线 petri网建模 资源优化 启发式算法 线性规划
在线阅读 下载PDF
基于OKPN的发动机装配系统建模方法研究
15
作者 张彦如 王三琴 马靖 《组合机床与自动化加工技术》 北大核心 2015年第10期145-149,153,共6页
以发动机装配系统为研究对象,提出了面向对象的知识Petri网建模方法(Object-oriented Knowledge Petri Net,OKPN),以实现对发动机装配系统的分析和优化的支撑。论文从系统建模角度出发,采用面向对象的思想,将发动机装配系统抽象成若干... 以发动机装配系统为研究对象,提出了面向对象的知识Petri网建模方法(Object-oriented Knowledge Petri Net,OKPN),以实现对发动机装配系统的分析和优化的支撑。论文从系统建模角度出发,采用面向对象的思想,将发动机装配系统抽象成若干个功能关联的装配单元,并以装配单元为基本建模对象,构建了发动机典型装配单元OKPN模型。在此基础上,将各装配单元进行抽象和封装,根据各装配单元之间工艺关系,建立装配单元之间的消息传递机制,构建能够反映装配系统运行流程的发动机装配系统OKPN模型,该模型具有模块化和可重用性等特点。最后,以某乘用车发动机装配系统为对象进行实例验证,证明了该方法的有效性和可行性。 展开更多
关键词 面向对象知识petri 发动机装配系统 装配单元 petri网建模
在线阅读 下载PDF
工作流建模技术综述 被引量:18
16
作者 张朝辉 刘大有 刘伟江 《微电子学与计算机》 CSCD 北大核心 2008年第10期69-71,共3页
工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约... 工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约电子商务、企业资源规划等管理系统应用的瓶颈.寻求一些新的方法来解决工作流的建模问题已成为一个具有重要意义的研究课题.介绍了工作流建模技术及其发展现状、存在的问题、最新发展以及展望. 展开更多
关键词 工作流 工作流petri 移动AGENT
在线阅读 下载PDF
基于Petri网的新型电动机故障快速处理方法及应用 被引量:1
17
作者 张红斌 《科学技术与工程》 北大核心 2012年第22期5614-5618,共5页
目前我国电动机保护技术落后,针对电动机故障的早期诊断问题,提出了一种电动机故障诊断Petri网模型,该模型根据电动机一般故障和外在征兆,只需经过简单的矩阵运算,即可达到快速分析检测电动机故障的目的。该方法比传统的电动机故障检测... 目前我国电动机保护技术落后,针对电动机故障的早期诊断问题,提出了一种电动机故障诊断Petri网模型,该模型根据电动机一般故障和外在征兆,只需经过简单的矩阵运算,即可达到快速分析检测电动机故障的目的。该方法比传统的电动机故障检测方法,具有简单方便,快速精确等方面的优点,最后通过实验证明该方法是确实可行的。 展开更多
关键词 快速分析 电动机故障 petri网建模
在线阅读 下载PDF
基于Petri网的仓储物流业务交易系统业务逻辑优化
18
作者 黄海院 李俚 程鑫 《物流技术》 2015年第9期146-149,281,共5页
针对当前仓储物流服务领域资源分散、仓储业务交易方式落后及业务签单效率低下等问题,提出了以仓储服务作为业务标的,在仓储业务交易系统中进行在线交易的业务模式,设计可将业务提到线上交易的新业务流程,通过Petri网建模工具建立其业... 针对当前仓储物流服务领域资源分散、仓储业务交易方式落后及业务签单效率低下等问题,提出了以仓储服务作为业务标的,在仓储业务交易系统中进行在线交易的业务模式,设计可将业务提到线上交易的新业务流程,通过Petri网建模工具建立其业务交易优化结构的Petri网模型,并分析其业务过程的可达性。最后通过Matlab环境对所设计的Petri网模型仿真,验证了业务逻辑的优化效果,可为系统的开发作指导。 展开更多
关键词 仓储物流 仓储业务交易 业务逻辑 petri网建模
在线阅读 下载PDF
基于着色Petri网的无线闭塞中心安全加密
19
作者 夏浩男 戴胜华 《计算机应用》 CSCD 北大核心 2018年第12期3476-3480,共5页
针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN) tools仿真工具动态仿真了列车和RBC之间传输信... 针对中国列车控制系统(CTCS)-3级列车控制系统中的车地安全通信问题,采用层次化建模思想,设计了一种基于Petri网理论的无线闭塞中心(RBC)和列车之间信息交互的模型,并应用着色Petri网(CPN) tools仿真工具动态仿真了列车和RBC之间传输信息的生成、加密和发送的整个过程。该模型主要分为三个部分:列车申请行车许可(MA)、RBC生成完全监控模式下的MA和列车通过无线网络接收到MA并按照MA进行安全控车。运用动态仿真和状态空间分析工具对所提模型进行仿真分析可得,所设计模型能够满足车地信息传输的设计需求规范,具有有界性、活性、回归性和公平性,可用于车地信息的安全传输,减少软件设计缺陷。 展开更多
关键词 高速铁路 中国列车控制系统-3级列车控制系统 车地通信 安全加密 着色petri网建模
在线阅读 下载PDF
基于工作流的物流采购系统的建模设计 被引量:1
20
作者 赵伟 《太原师范学院学报(自然科学版)》 2011年第1期100-102,共3页
讨论了物流管理学科的发展、应用、类型和核心体系,对工作流技术进行简单介绍,采用工作流技术对企业物流管理中的采购环节进行了基于Petri网的模型设计.解决了物流采购系统中存在的团队协作中遇到的问题,使得系统操作更加简便有序.
关键词 工作流技术 物流管理 petri
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部