可达标识图

作品数：20被引量：26H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩耀军罗雪梅赵义军吴哲辉王佳慧更多>>
相关机构：山东科技大学安徽理工大学同济大学上海外国语大学更多>>
相关期刊：《自动化与信息工程》《电子科技》《计算机应用》《科学中国人》更多>>
相关基金：国家自然科学基金山东省自然科学基金国家杰出青年科学基金山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
随机Petri网在煤矿水害处理流程中的应用研究
《煤矿机械》2023年第11期183-185,共3页孙霞 缪玉婷 张洁 
国家自然科学基金项目(51874010);安徽高校自然科学研究项目(KJ2020A0309);安徽省教育厅项目(GXFXZD2016071)。
水害作为煤矿开采中的主要灾害之一,直接影响井下生产安全。为保障工作人员的生命安全,确保矿井生产的稳定性,提出了用随机Petri网对煤矿水害处理流程进行建模的方法,根据模型的可达标识图同构的马尔科夫链来对库所繁忙率和变迁利用率2...
关键词：水害 随机PETRI网 处理流程 可达标识图 马尔科夫链 
基于面向对象模糊Petri网的信息物理系统能耗模型被引量：2
《电子科技》2021年第7期19-25,共7页余嘉伟 胡海洋 
国家自然科学基金(61572162,61272188,61702144);浙江省重点研发计划(2018C01012);浙江省自然科学基金(LQ17F020003)。
信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题。文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型。在该模型中,CPS的模块化逻辑结...
关键词：信息物理系统 建模 能耗 不确定性 模糊数学 面向对象 PETRI网 可达标识图 
基于Petri网的拼团流程模型优化及验证分析被引量：1
《佳木斯大学学报（自然科学版）》2019年第5期711-714,747,共5页杨慧慧 
国家自然科学基金项目(61402011)
目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。...
关键词：PETRI网 合并 优化 模型化简 可达标识图 
基于带标记的并发可达标识图的关键路径的求解方法被引量：4
《计算机科学》2016年第11期121-125,141,共6页韩耀军 
上海市哲学社会科学规划一般课题(2010BTQ001);上海外国语大学校级重大科研项目(2013114ZD004);上海外国语大学国际工商管理学院高层次培育项目资助
将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算...
关键词：有色时延Petri网 并发可达标识图 AOE网 关键路径 
P2B融资平台的效率分析
《科学中国人》2015年第12X期137-,共1页李红梅 
一、引言Petri网在供应链管理中的应用,主要集中在供应链绩效分析、供应链管理流程优化和供应链建模等方面。而本文分析的P2B借贷平台的流程分析,应用petri模型可以分析每个环节的效率,可以为正在蓬勃发展的P2B行业提供一些建议,企业可...
关键词：供应链 效率分析 个人投资者 P2B 绩效评价 流程优化 可达标识图 项目选择 可达标识集 工作流 
理发师问题的Petri网模型
《现代计算机（中旬刊）》2015年第6期59-61,67,共4页刘萍 
甘肃民族师范学院院长基金(No.2013-16)
讨论在操作系统中研究的关于进程间通信(IPC)的一个著名的问题:睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。
关键词：PETRI网 理发师问题 可达标识图 
基于Petri网的电梯群控系统设计
《绵阳师范学院学报》2015年第2期71-78,共8页杨博钦 宋文 周鑫 
四川省科技厅项目(2013JY0089);四川省教育厅项目(08ZA029)
众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据...
关键词：PETRI网 P/T系统 电梯群控 形式化验证 S_不变 可达标识图 程序实现 
具有死锁和陷阱结构的模糊Petri网性态分析
《自动化与信息工程》2011年第4期17-19,共3页吕莉芳 李承家 薛瑜 
国家自然科学基金资助项目(60934009)
Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模型问题。本文在模糊动态Petri网的定义和运行规则基础上,研究了具有死锁和陷阱结构的模糊Petri网系统,...
关键词：模糊PETRI网 死锁 陷阱 可达标识图 
随机Petri网可视化软件的设计与实现被引量：4
《计算机工程与设计》2011年第5期1845-1848,共4页王佳慧 王书锋 
针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便...
关键词：随机PETRI网 建模工具 广度优先算法 面向对象 可达标识图 
多处理器调度算法实现及其Petri网建模与仿真被引量：2
《计算机应用》2011年第4期938-941,共4页王异奇 刘青昆 张健 
多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。该算法解决了此前多处理器算法,如Myopic、EDPF等仅依据截止期对任务调度产生的问题,实现了增加任务紧迫...
关键词：实时多处理器 并行调度 任务分割 PETRI网仿真 可达标识图 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部