期刊文献+
共找到4,620篇文章
< 1 2 231 >
每页显示 20 50 100
面向对象Petri网建模技术综述 被引量:18
1
作者 舒远仲 刘炎培 +1 位作者 彭晓红 陈志勇 《计算机工程与设计》 CSCD 北大核心 2010年第15期3432-3435,共4页
阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对... 阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。 展开更多
关键词 petri 面向对象 面向对象着色petri 面向对象代数petri 面向对象赋时petri
在线阅读 下载PDF
故障检测的Petri网模型与Petri网故障进程 被引量:1
2
作者 张继军 李小青 董卫 《小型微型计算机系统》 CSCD 北大核心 2014年第9期2029-2033,共5页
Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网... Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例. 展开更多
关键词 带输入输出的petri 故障检测petri模型 petri网2-进程 petri网故障进程
在线阅读 下载PDF
基于Petri网的城市干旱应急供水流程策略推演 被引量:1
3
作者 牛文娟 刘明慧 戴文杰 《人民黄河》 北大核心 2025年第4期71-76,共6页
为提高城市干旱应急供水效率,基于城市干旱应急预案,建立了城市干旱应急供水流程及其Petri网仿真模型,以内蒙古伊金霍洛旗2022年6月旱灾为例,结合各类用水部门用水过程,进行9种单一策略情景和4种混合策略情景的城市干旱应急供水流程策... 为提高城市干旱应急供水效率,基于城市干旱应急预案,建立了城市干旱应急供水流程及其Petri网仿真模型,以内蒙古伊金霍洛旗2022年6月旱灾为例,结合各类用水部门用水过程,进行9种单一策略情景和4种混合策略情景的城市干旱应急供水流程策略推演,基于推演结果得出不同策略的作用效果。结果表明:1)利用城市应急备用水源增加水库供水量,供水量由524万m^(3)提升至614万m^(3)时,城市维持正常供水的时间可由7 d增加至8 d,用水满足率由58.62%提升至68.69%;2)水资源外调能力由15万m^(3)/d提高至25万m^(3)/d时,城市维持正常供水的时间可由8 d增加至9 d,用水满足率由73.72%提升至83.79%;3)对生活、农业、工业、生态限制供水比例为正常供水的90%、70%、50%、0%时,城市维持正常供水的时间可由7 d增加至10 d,用水满足率由58.62%提高至89.57%;4)通过依次运用限制供水、启用城市应急备用水源和启用外调水等策略,可使城市用水满足率达到100%。 展开更多
关键词 城市干旱 应急供水 petri 策略推演
在线阅读 下载PDF
基于Petri网的露地蔬菜无人化作业方案智能生成
4
作者 李晓锁 朱华吉 +2 位作者 郭旺 缪祎晟 吴华瑞 《农业与技术》 2025年第9期41-47,共7页
我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高... 我国在甘蓝、辣椒和白萝卜等主要露地蔬菜上已经基本实现机械化,但随着人口老龄化趋势的不断加剧,农业劳动力流失问题明显,并且由于露地蔬菜生产环节多、流程复杂,需要种植人员具有较高的技术经验和知识储备,导致露地蔬菜生产效率提高与可持续发展成为亟待解决的难题。为解决上述问题,提出一种基于Petri网的露地蔬菜全流程无人化作业方案智能生成方法。利用随机Petri网对露地蔬菜生产全流程进行建模,表征无人化耕整地、无人化播种/移栽、无人化施肥施药、无人化采收等多个关键作业环节;通过矩阵运算的形式进行模糊Petri网推理,将地块类型、种植面积和种植蔬菜类别等初始种植信息作为模糊Petri网的输入参数,生成定制化且可操作性高的无人作业农机选型方案。以无人移栽机相关知识作为实例验证了提出的方法,并通过构建与随机Petri网等价的马尔科夫链对露地蔬菜全流程Petri网模型进行性能评估,结果表明该模型对露地蔬菜生产作业环节具有较强的建模能力,为露地蔬菜全流程无人化作业过程的优化、自动化控制提供了一定的理论参考。 展开更多
关键词 无人化作业 方案生成 全程智能化 随机petri 模糊petri
在线阅读 下载PDF
一种面向对象Petri网模型的语义和行为分析 被引量:8
5
作者 杨武 李晓渝 曹泽瀚 《计算机科学》 CSCD 北大核心 2005年第10期219-221,共3页
面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,... 面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,并对OOPN进行了语义与行为分析。OOPN能够成为面向对象系统的一种形式化的建模工具。 展开更多
关键词 petri 面向对象 建模 petri网模型 面向对象思想 行为分析 语义 面向对象petri 面向对象系统 OOPN 图形表示 基本定义
在线阅读 下载PDF
基于故障枚举树生成模糊Petri网的变电站故障诊断方法 被引量:4
6
作者 吴与伦 肖谭南 陈颖 《工矿自动化》 北大核心 2025年第1期85-94,共10页
针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,... 针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,实现了变电站一二次故障组合的快速遍历仿真。基于仿真结果建立变电站模糊时序Petri网故障诊断模型,通过并行推理计算实现变电站故障快速诊断。在CloudPSS云仿真平台建立典型110 kV变电站的一二次联动仿真算例进行测试,结果表明:该方法将保护设备和断路器的动作时限信息计入故障推理过程,考虑在经典Petri网模型的矩阵运算推理基础上加入动作时限与告警信息的时间戳比对计算,因此在部分告警信息失真的情况下依然有较好的诊断效果;该方法可在保证故障诊断准确性的情况下应用于更加复杂的二次保护系统;采用并行分层矩阵推理算法,提升了诊断模型的推理效率,具有较高实用价值;在推理计算过程中对置信度增加了修正步骤,更加充分地考虑了保护拒动或误动及告警信息误报或漏报对故障诊断的影响,对于复杂故障情况有更高的容错性。 展开更多
关键词 变电站 故障诊断 继电保护 CloudPSS建模仿真 模糊petri
在线阅读 下载PDF
一种新型Petri Net:双层变迁定时Petri Net 被引量:8
7
作者 罗怡桂 顾君忠 《计算机工程》 CAS CSCD 北大核心 2002年第8期45-47,共3页
嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petr... 嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri 展开更多
关键词 嵌入式系统 VHDL 建模 petri petri NET 双层变迁定时petri NET
在线阅读 下载PDF
可重写Petri网:位置可重写及性质分析 被引量:3
8
作者 庞善臣 林闯 《计算机学报》 EI CSCD 北大核心 2012年第10期2182-2193,共12页
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明... 针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径. 展开更多
关键词 可重写petri 位置可重写petri 共享合成petri 活性 模拟
在线阅读 下载PDF
对象化模糊Petri网的任务协同分配建模与推理 被引量:2
9
作者 安毅生 李人厚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第5期709-714,共6页
为解决FPNFCPN建模与推理过程中存在模型规模急剧增大、模糊变量颜色化的作用有限、无法表示知识分类等问题,提出了一种改进的对象化模糊Petri网(FPN)建模及模糊推理算法.该算法采用面向对象技术化简规模庞大的模糊赋色Petri网(FCPN),... 为解决FPNFCPN建模与推理过程中存在模型规模急剧增大、模糊变量颜色化的作用有限、无法表示知识分类等问题,提出了一种改进的对象化模糊Petri网(FPN)建模及模糊推理算法.该算法采用面向对象技术化简规模庞大的模糊赋色Petri网(FCPN),经简化的FCPN退化为普通的FPN,但是库所中托肯的语义也发生了变化,它不仅表示模糊语言变量的集合,更重要的是它可作为其他FCPN的引用.最后将该算法应用于协同设计环境中任务分配的模糊推理过程,可有效地降低Petri网模型的复杂程度,且对象化FPN模型直观,易于理解. 展开更多
关键词 模糊推理 模糊petri 对象化模糊petri 模糊赋色petri 任务分配
在线阅读 下载PDF
基于三层混合编程模型的Petri网并行算法研究 被引量:2
10
作者 周杰 李文敬 《计算机科学》 CSCD 北大核心 2017年第B11期586-591,595,共7页
为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri... 为解决多核机群Petri网并行化过程中,运用MPI+OPenMP混合编程实现同步会出现死锁的问题,提出了基于三层混合编程模型的Petri网并行算法。首先,根据事务内存的同步优势,在多核机群环境下构建MPI+OPenMP+STM的三层编程模型;然后,对Petri网的几何模型与代数模型的并行化进行分析,建立MPI+OPenMP+STM三层结构的Petri网并行模型,并对三层混合编程模型的Petri网并行算法进行设计与分析;最后,通过示例进行编程验证,该算法的运行效率明显优于其他编程模式,而且Petri网的规模越大,其并行计算的效果就越明显。因此,该算法是多核机群环境下模拟Petri网并行运行的一种高效且可行的算法。 展开更多
关键词 petri MPI+OPenMP+STM编程 petri网并行化 petri网并行模型 并行算法
在线阅读 下载PDF
基于Petri网的多Agent系统建模的研究 被引量:1
11
作者 李伟 乔欣 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期140-144,共5页
多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agen... 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向. 展开更多
关键词 多AGENT系统 petri 面向对象petri 有色petri 谓词/变迁网 建模
在线阅读 下载PDF
基于Petri网的区块链智能合约攻击者建模与检测
12
作者 杨林枫 黄政 +1 位作者 徐岩 丁志军 《计算机工程》 北大核心 2025年第4期15-26,共12页
智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为... 智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此,构建一种基于Petri网的智能合约攻击者建模检测框架,利用抽象语义规则和网络动态运行特性精确捕捉攻击行为,确保智能合约检测的高适配性和高准确性。同时,提出一种多层次漏洞统一检测方法,结合各层次漏洞的关键特征,推导攻击可能性及其潜在影响。针对状态空间爆炸问题,设计一种按需生成状态空间的缓解机制,有效提升了检测效率和资源利用率。实验结果表明,所提检测方法具有可行性与实用性。 展开更多
关键词 智能合约 颜色petri 攻击 建模 检测
在线阅读 下载PDF
面向自然灾害链的CBR-Petri网应急方案动态调整方法及应用
13
作者 黎金玲 郭海湘 +3 位作者 姚鑫 于峰 蔡云宇 刘雅凝 《安全与环境学报》 北大核心 2025年第6期2301-2311,共11页
由于自然灾害事件具有突发性、链式反应等特点,为了让决策者能够在有限时间内从历史案例中快速获取可借鉴的应对经验,提出了面向自然灾害链的动态应急方案生成方法。首先,根据自然灾害时空特点构建三维立体历史案例库,设计了案例库三维... 由于自然灾害事件具有突发性、链式反应等特点,为了让决策者能够在有限时间内从历史案例中快速获取可借鉴的应对经验,提出了面向自然灾害链的动态应急方案生成方法。首先,根据自然灾害时空特点构建三维立体历史案例库,设计了案例库三维结构和四元编码案例存储模式;其次,利用案例推理(Case-Based Reasoning,CBR)的方法计算综合相似度,得到最为相似的历史案例及应急方案;然后,为了更好地实现应急方案的动态调整,根据Petri网构建自然灾害链网络演化路径图,分析触发因素中发生概率最大的因素及关键路径,实现对初始应急方案的动态调整和补充;最后,以暴雨灾害链为例验证了该方法的有效性。 展开更多
关键词 公共安全 自然灾害链 案例推理 petri 应急方案
在线阅读 下载PDF
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
14
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于Petri网和监督学习的机器人柔性流水车间调度方法
15
作者 李浚 罗继亮 +2 位作者 李旭航 伊思嘉 聂卓赟 《控制理论与应用》 北大核心 2025年第5期1008-1016,共9页
机器人柔性流水车间的调度属于组合优化问题,涉及在指数增长的事件序列集合中寻找最优路径.为了借助机器学习和启发式搜索的优势,提高调度优化的求解质量和效率,本文提出了一种基于库所赋时Petri网和监督学习的启发式优化方法.首先,利... 机器人柔性流水车间的调度属于组合优化问题,涉及在指数增长的事件序列集合中寻找最优路径.为了借助机器学习和启发式搜索的优势,提高调度优化的求解质量和效率,本文提出了一种基于库所赋时Petri网和监督学习的启发式优化方法.首先,利用库所赋时Petri网的运行规律,设计了启发式数据集的生成算法;其次,设计库所赋时Petri网的全连接神经网络学习模型,从数据集中学习Petri网行为的启发式;再次,以全连接神经网络模型作为启发式函数,设计了库所赋时Petri网A∗和集束搜索算法;最后,以某机器人柔性流水车间为例,进行了系列数值实验.本文方法获得了该流水车间库所赋时Petri网的高精度启发式,其平均相对误差低于0.05%,基于该启发式的A∗和集束搜索算法均能快速求解给定任务的最优或近似最优的调度策略. 展开更多
关键词 库所赋时petri 全连接神经网络 启发式函数 机器人柔性流水车间
在线阅读 下载PDF
基于着色时间Petri网的飞机维修保障作业优化 被引量:2
16
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
混合Petri网的流体随机Petri网模型
17
作者 黄镇谨 陆阳 +1 位作者 杨娟 方欢 《计算机科学》 CSCD 北大核心 2012年第8期51-54,共4页
混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角... 混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析。提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程。 展开更多
关键词 petri 模型转换 混合petri 流体随机petri 变迁合并
在线阅读 下载PDF
基于随机Petri网的移动边缘计算任务卸载优化研究
18
作者 彭聚瑞 王高才 《小型微型计算机系统》 北大核心 2025年第5期1232-1239,共8页
在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模... 在移动边缘计算领域中,由于计算任务到达存在空窗期,导致部分终端设备和异地边缘服务器存在空闲状态,造成终端设备和异地边缘服务器上的计算资源利用不充分的问题.针对这一问题,采用随机Petri网对传统的云边端协同任务卸载模型进行建模、优化和性能分析.对比仿真结果可知,相比传统模型,优化后的模型充分利用了空闲终端设备和异地边缘服务器,从而实现了闲置计算资源的合理利用,并在边缘层和终端层横向拓展了传统模型.具体而言,以时延为参考因素,优化后模型的任务平均执行时间减少了1.33秒,相比于优化前降低了8.27%.由此可见优化后的模型较传统的云边端三层架构模型性能更优. 展开更多
关键词 移动边缘计算 随机petri 任务卸载 模型优化 性能分析
在线阅读 下载PDF
混合随机Petri网(英文)
19
作者 卢光松 葛运建 《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第5期716-724,共9页
二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标... 二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解. 展开更多
关键词 petri 混合随机petri 流体随机petri 随机模型
在线阅读 下载PDF
基于解释Petri网的新型CPS分解方法
20
作者 陈宇浩 屠翰乾 相东明 《计算机科学》 北大核心 2025年第4期49-53,共5页
Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;... Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;而依赖监控器的分解方法则存在较大的通信开销。为解决这些问题,综合现有分解方法的优势,提出了一种基于解释Petri网的CPS分解方法。该方法通过约束条件逐步分解网络,生成独立的状态机组件,有效缩小了模型规模。同时,提出了一种新的信号同步机制替代传统的监控器方案,显著降低了同步开销。实验结果表明,所提方法在大多数测试案例中的分解时间为O(n^(2)),远优于传统方法的指数级复杂度O(2^(n)),且生成的组件集合也更加简洁。 展开更多
关键词 信息物理系统 petri 状态机组件 可编程门阵列 系统分解
在线阅读 下载PDF
上一页 1 2 231 下一页 到第
使用帮助 返回顶部