期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于Petri-net的机器人足球角色转换研究 被引量:4
1
作者 钟碧良 陈承志 杨宜民 《计算机工程与应用》 CSCD 北大核心 2001年第20期14-15,57,共3页
文章在分析机器人足球的角色的基础上,提出了用Petri-net来描述角色转换的原理,该方法简洁明了,完全适用于机器人足球多协调决策系统。
关键词 足球机器人 多智能系统 petri-net 角色转换
在线阅读 下载PDF
基于Petri-Net的流程验证新方法
2
作者 常关羽 杨海成 莫蓉 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2016年第6期180-187,共8页
为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证... 为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。 展开更多
关键词 业务流程模型 petri-net 工作流 模型验证
在线阅读 下载PDF
化工过程故障诊断的模糊概率Petri-net的研究
3
作者 钟碧良 李春香 《计算机工程与科学》 CSCD 2002年第5期90-93,共4页
本文研究基于模糊与概率信息的模糊概率Petri net故障的诊断方法 ,概率信息用来解决问题冲突 ,模糊信息用来解决故障诊断不确定性并计算诊断的可靠性。在石油化工装置中的应用表明 。
关键词 化工过程 故障诊断 模糊概率 petri-net 模糊规则
在线阅读 下载PDF
混杂Petri-net的配电网多层级节点电压混杂控制 被引量:2
4
作者 郭伟 安佳坤 +3 位作者 刘洋 邵华 杨书强 窦春霞 《中国电力》 CSCD 北大核心 2023年第9期140-148,167,共10页
开发利用分布式可再生能源是推进“双碳”目标的重要举措之一,而由于分布式发电具有较强的波动性和不确定性,其规模化接入会导致低压配电网电压越限等问题。为此,提出一种基于混杂Petrinet的混杂控制方法。上层采用基于节点电压越限条... 开发利用分布式可再生能源是推进“双碳”目标的重要举措之一,而由于分布式发电具有较强的波动性和不确定性,其规模化接入会导致低压配电网电压越限等问题。为此,提出一种基于混杂Petrinet的混杂控制方法。上层采用基于节点电压越限条件触发的变压器挡位智能切换控制策略,以实现大幅度电压越限的粗调;下层采用基于功率-电压灵敏度的虚拟电厂有功功率优化动态调节策略,以实现电压频繁越限的细调。该方法在挖掘利用低压配电网自身变压器以及分布式可调节资源聚合调节潜力的同时,大大节省配置治理设备的资金投入,对助推分布式新能源的规模化消纳具有重要意义。 展开更多
关键词 配电网 petri-net 双层混杂控制 电压越限 功率-电压灵敏度 分布式能源
在线阅读 下载PDF
基于MAS和Petri-net技术的新能源电网协调控制策略 被引量:6
5
作者 朱涛 梁铃 +1 位作者 宋振涛 程广清 《电力系统保护与控制》 EI CSCD 北大核心 2015年第12期1-7,共7页
为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态... 为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态运行和逻辑切换的复杂性,构建了Multi-Agent系统(MAS),通过多Agent的交互作用来实现分布式协调控制策略。由于Petri-net模型是表述多模态运行系统的最有效工具之一,所以采用petr-net模型来描述各分布式单元的模态切换行为并以此设计其单元Agent模态切换控制策略。在此基础上,基于Multi-Agent系统框架在上层中心Agent中构建各分布式能源单元之间的模态协调切换控制策略,来实现整个微电网运行模态的有效切换。最后仿真验证了所提出的控制策略的有效性。 展开更多
关键词 微电网 MULTI-AGENT系统 协调控制策略 分布式能源 多模态行为 petri-net
在线阅读 下载PDF
一种高可用性冗余集群的关键技术及可信性分析 被引量:2
6
作者 郝丽蕊 薛弘晔 陈艳 《计算机应用》 CSCD 北大核心 2009年第2期611-613,617,共4页
介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。
关键词 任务分配表 高可用集群 任务迁移 petri-net模型 k/n表决冗余系统 可信性
在线阅读 下载PDF
基于GSPN的实施延迟策略生产系统建模与性能分析 被引量:1
7
作者 罗建强 赵艳萍 《运筹与管理》 CSSCI CSCD 北大核心 2013年第4期225-230,共6页
延迟策略是协调市场需求变化的绝对性和生产系统相对稳定性矛盾的一个重要战略手段。为分析实施延迟策略生产系统的性能,利用随机广义Petri-net(GSPN)的建模分析方法,并根据GSPN与马尔科夫链的同构关系,将GSPN模型转化成为等价的马尔科... 延迟策略是协调市场需求变化的绝对性和生产系统相对稳定性矛盾的一个重要战略手段。为分析实施延迟策略生产系统的性能,利用随机广义Petri-net(GSPN)的建模分析方法,并根据GSPN与马尔科夫链的同构关系,将GSPN模型转化成为等价的马尔科夫链模型。通过马尔科夫链及相关数学方法获得实施延迟策略生产系统的主要性能指标。该方法不仅可以分析实施延迟策略生产系统的整体性能,而且能够对系统的各个环节运作效率做出定量分析。最后,通过算例分析验证了该方法的科学性与有效性,丰富了延迟策略研究方面的方法理论。 展开更多
关键词 延迟策略 生产系统 随机广义petri-net 马尔科夫链
在线阅读 下载PDF
基于并行对象的可视化模型
8
作者 李国巨 黄永忠 郭金庚 《计算机工程与应用》 CSCD 北大核心 2002年第6期92-94,97,共4页
提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象... 提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象的静态信息进行描述。通过静态描述和动态描述自动为用户生成并行程序的代码框架。 展开更多
关键词 并行对象 可视化 petri-net模型 句柄 面向对象 并行程序设计
在线阅读 下载PDF
基于DSPN的SIP协议行为模型
9
作者 严晓东 杜继宏 《计算机工程与应用》 CSCD 北大核心 2004年第35期142-144,共3页
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri网(deterministicandstochasticPetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实... 会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri网(deterministicandstochasticPetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础。 展开更多
关键词 SIP 协议行为模型 petri-net DSPN 确定与随机PETRI网 会话启动协议
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部