推荐新闻

当前位置:[首页] > 行业核心 >

行业核心

基于Petri网的可达树与可达图的构造与算法达成

来源: http://redguia.com 发布时间:2021-09-22

  ;通过应用实例验证该检测模型是一个简洁、有效的复合事件检测机制。  关键词:空间复合事件 组合着色

  针对SysML序列图本身缺乏分析和验证手段的问题, 提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则, 重点是把序列图的常用结构如可选结构、条件结构、并行结构...

  针对现有海洋核动力平台电力系统网络重构方法中功率流分析复杂,且重构模型求解算法难以稳定收敛到全局最优解的问题,提出一种基于Petri网和多种群遗传算法的核动力平台电力系统网络重构方法。综合故障后负荷恢复量...

  摘要:将Petri网与VHDL结合,运用Petri网建立硬件系统模型,然后采用VHDL语言进行设计,最终下载到CPLD,成功地实现了整个硬件系统的逻辑控制器设计。  关键词:Petri网C/E模型 ...

  为了更好地求出实时交通状态下的最短路径,在先前最短路径的研究基础上,提出了基于Petri网的最短路径搜索算法。该算法可以根据现有的交通路线图进行建模,再根据实时道路的交通状况对建模图进行修改和仿真。在减少...

  摘要:Petri网已经逐渐成为异步并发现象建模的重要工具,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了Petri网C/E系统的特点,然后讨论了硬件实现的基本结构模块。...

  论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的Petri网模型,从而完成对Socks协议运行机制和实现原理的分析。

  提出了一种通过矩阵变换的方法将...分析了模糊Petri网的形式表达,通过Petri网的变迁激活规则表达异常行为间的逻辑关系,以柴油发电机冷却系统为例,建立了基于模糊Petri网的故障关系模型,通过计算证明了该方法的有效性。

  加权模糊Petri网缺乏较强的自学习能力,针对这个问题,给出了一个基于BP算法的加权模糊Petri网权值学习算法。该算法不需要对原有模型进行修改,使得加权模糊Petri网权值的学习和训练得到一定地简化。

  为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,...

  将Petri网与VHDL结合,运用Petri网建立硬件系统模型,然后采用VHDL语言进行设计,最终下载到CPLD,成功地实现了整个硬件系统的逻辑控制器设计。

  对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算...

  针对间歇式化工生产过程,提出了一种基于Petri网的调度监控器设计算法.首先给出了间歇式化工生产系统的建模方法,并得到了其Petfi网模型;其次将生产工艺描述为字符串控制目标;随后,给出在对象Petri网上设计工艺...

  针对油浸式变压器的故障诊断问题,提出了一种基于模糊Petri网模型和蚁群优化BP神经网络(BP-ACO)的变压器故障诊断方法。首先,定义一个十元的模糊Petri网结构并根据产生式规则和推理算法构建了故障诊断模型。然后采用BP...

  因此,本文提出了一种新的标记Petri网(LPN)模型,每个合作伙伴的行为都由LPN表示,而CS通过所有合作伙伴的LPN模型的组合来建模。 整个建模系统的行为特性可以是只有通过分析每个单独的LPN才能很好地验证。 LPN...

  提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证。给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行...

  提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。

· 友情链接

网站地图 XML地图 txt地图 TAG标签

电话:86-0773-60406884 邮箱:673427525@KHISI.net

地址:云南省宣威市祁连路大寺沟桥西2号  技术支持:大阳城集团网站(http://redguia.com)

redguia.com 大阳城集团网站