基于受控混杂Petri网(CHPN)的分层优化模型及其在炼油厂氢气管理中的应用 被引量：4

1

作者 张劲松 王朝霞 李歧强 《高技术通讯》 EI CAS CSCD 北大核心 2008年第8期817-822,共6页

提出了一种基于受控混杂 Petri 网(CHPN)的分层优化建模结构,并将其应用于炼油厂的氢气网络优化管理中。这种分层优化结构将 CHPN 建立的过程仿真模型同传统的数学优化方法紧密结合在一起,上层的数学优化模型根据经济指标寻求最优解,下... 提出了一种基于受控混杂 Petri 网(CHPN)的分层优化建模结构,并将其应用于炼油厂的氢气网络优化管理中。这种分层优化结构将 CHPN 建立的过程仿真模型同传统的数学优化方法紧密结合在一起,上层的数学优化模型根据经济指标寻求最优解,下层CHPN 在上层最优解的控制下运行,可以根据工厂的实际生产条件的改变在计划期内及时调整调度安排,并保证经济指标的最优性。炼油厂氢气平衡管理建模实例显示,通过该方法获得的炼油厂氢气平衡调度方案减少了炼油厂生产过程中氢气资源的浪费现象,提高了企业的经济效益。 展开更多

关键词 层次结构 数学优化 受控混杂petri网 氢气网络

在线阅读 下载PDF 职称材料

连续系统的受控连续Petri网模型 被引量：1

2

作者 张伟 孙优贤 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2001年第3期312-317,共6页

对于连续系统提出了一种受控连续 Petri网模型 .该模型充分考虑了系统状态的时变性质 ,在普通连续 Petri网的基础上 ,对连续变迁的激发速度及触发规则进行了重新定义 ,从而能直观地、充分地描述受控连续系统的演变 ,从而为混杂系统统一... 对于连续系统提出了一种受控连续 Petri网模型 .该模型充分考虑了系统状态的时变性质 ,在普通连续 Petri网的基础上 ,对连续变迁的激发速度及触发规则进行了重新定义 ,从而能直观地、充分地描述受控连续系统的演变 ,从而为混杂系统统一的 Petri网模型框架的建立提供了理论基础 .利用模型详细讨论了连续系统的时间最优控制问题的连续 Petri网描述 . 展开更多

关键词 受控连续petri网 混杂系统 变迁

在线阅读 下载PDF 职称材料

DEDS控制理论模型──受控Petri网的网论语义 被引量：2

3

作者 吴哲辉 《山东矿业学院学报》 CAS 1995年第4期418-423,共6页

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。

关键词 受控petri网 网论语义 DEDS 控制理论模型

在线阅读 下载PDF 职称材料

一类受控Petri网的控制器设计(英文) 被引量：5

4

作者 董利达 吴维敏 +2 位作者 徐巍华 苏宏业 褚健 《控制理论与应用》 EI CAS CSCD 北大核心 2003年第5期678-684,共7页

通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控... 通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控制器是最大允许 . 展开更多

关键词 受控petri网 离散事件动态系统 控制器 设计

在线阅读 下载PDF 职称材料

离散事件系统的受控Petri网模型中的冲突控制

5

作者 王丽亚 严隽琪 吴智铭 《上海交通大学学报》 EI CAS CSCD 北大核心 1994年第4期51-57,共7页

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求... 本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法． 展开更多

关键词 离散事件系统 受控petri网 冲突

在线阅读 下载PDF 职称材料

用受控有色Petri网解决水力机组组合中时间约束问题的研究 被引量：2

6

作者 喻菁 周建中 +2 位作者 廖荣涛 倪传坤 戴洪海 《水利水电技术》 CSCD 北大核心 2004年第4期50-53,共4页

提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约... 提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约束的机组组合问题提供了新的辅助方法. 展开更多

关键词 受控有色petri网 机组组合 时间约束

在线阅读 下载PDF 职称材料

一类受控Petri网的反馈控制 被引量：2

7

作者 宋爱波 吴哲辉 董逸生 《自动化学报》 EI CSCD 北大核心 2002年第5期832-837,共6页

受控 Petri网是离散事件动态系统 ( DEDS)的一种控制理论模型 .通过模型来研究实现禁止状态避免的最大允许反馈控制是 DEDS控制理论中的一个重要课题 .文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问... 受控 Petri网是离散事件动态系统 ( DEDS)的一种控制理论模型 .通过模型来研究实现禁止状态避免的最大允许反馈控制是 DEDS控制理论中的一个重要课题 .文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问题 ,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法 . 展开更多

关键词 受控petri网 反馈控制 禁止状态 离散事件动态系统 控制理论

在线阅读 下载PDF 职称材料

基于受控 Petri 网的抽水蓄能机组工况转换控制——建模及实现 被引量：3

8

作者 张永刚 叶鲁卿 《电力系统自动化》 EI CSCD 北大核心 1999年第3期35-39,共5页

定义了一种受控Ｐｅｔｒｉ网，并对其中冲突的避免问题进行了探讨。针对抽水蓄能机组运行工况较多、工况转换复杂的特点，采用了受控Ｐｅｔｒｉ网技术对抽水蓄能机组的运行状态进行建模及分析，并用可编程控制器（ＰＬＣ）加以实现。

关键词 抽水蓄能电站 机组 受控petri网 运行工况控制

在线阅读 下载PDF 职称材料

用Petri网模型处理机组组合问题的时间约束

9

作者 王冰 尚力 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第z1期85-89,共5页

把一种受控记时Ｐｅｔｒｉ网系统模型应用于具有时间约束的机组启停状态转换过程，在机 组组合的动态规划法中，既处理了冷、热启动费用和最小启停机时间约束，又减少了计算费用的 状态数，算法的效率将会大大提高．

关键词 机组组合 动态规划 时间约束 受控记时petri网模型.

在线阅读 下载PDF 职称材料

爬行机器人的分层可控混成Petri网建模研究

10

作者 高庆吉 武晓霞 +1 位作者 刘芳 李万民 《控制工程》 CSCD 北大核心 2011年第3期470-473,478,共5页

飞机表面爬行机器人是一个复杂的离散事件和连续动态事件相结合的混成运动系统,为描述系统的静态特性和动态行为,提出一种分层可控混成Petri网模型。依据爬行运动机构定义了Petri网模型组成元素,建立了爬行机器人单轴和双轴分层可控混成... 飞机表面爬行机器人是一个复杂的离散事件和连续动态事件相结合的混成运动系统,为描述系统的静态特性和动态行为,提出一种分层可控混成Petri网模型。依据爬行运动机构定义了Petri网模型组成元素,建立了爬行机器人单轴和双轴分层可控混成Petri网,该模型可接收上层运动轨迹指令并输出爬行动作序列。实验表明,基于该模型实施的飞机模拟机舱表面爬行控制安全可靠,验证了模型的正确性和实用性。 展开更多

关键词 混成系统 可控混成petri网模型 高层控制 可靠运动

在线阅读 下载PDF 职称材料

受控Petri Net在遥控机器人作业规划中的应用研究

11

作者 朱清峰 宋爱国 黄惟一 《东南大学学报（自然科学版）》 EI CAS CSCD 1999年第2期12-17,共6页

在交互工作方式下的遥控机器人在太空开发和深海勘探等领域具有重要的实用价值，而如何增强其自主作业能力是一个重要的问题．本文采用受控ＰｅｔｒｉＮｅｔ理论建立了遥控机器人的作业规划模型。

关键词 遥控机器人 作业规划 受控petri网 CPN

在线阅读 下载PDF 职称材料

基于Petri网仿真的柔性生产调度——蚁群-遗传递阶进化优化方法 被引量：18

12

作者 王笑蓉 吴铁军 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2004年第3期286-291,共6页

利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度... 利用受控赋时Petri网对柔性生产线调度中的离散事件建模,此Petri网模型由过程流子网、资源子网和调度控制子网通过同步变迁连接而成.在由Petri网仿真运行获得调度性能评价的基础上,采用两级递阶进化优化方法求解柔性生产过程的优化调度问题.首先由蚁群优化方法优化加工路径,然后根据蚁群在信息素指引下所构造的加工路径,采用遗传算法优化在同一机器上加工的作业排序.应用蚁群优化原理提出了加工路径优化问题的信息素表达方式,解构造策略和信息素更新策略.一组测试问题的求解结果说明了算法的有效性和鲁棒性. 展开更多

关键词 柔性生产调度 受控赋时petri网 蚁群优化 遗传算法 进化优化

在线阅读 下载PDF 职称材料

基于TSTWT网系统的显式控制器设计

13

作者 董利达 郑寒 程曦浩 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期127-131,共5页

在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其... 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。 展开更多

关键词 离散事件系统 受控petri网 简化 显式控制器

在线阅读 下载PDF 职称材料

离散事件状态反馈系统的一个新模型(英文) 被引量：1

14

作者 徐晨 胡奇英 《深圳大学学报（理工版）》 EI CAS 2001年第4期9-15,共7页

对离散事件系统的状态反馈控制提出一个基于自动机的新模型，统一了无并发与有并发的Ｒａｍａｄｇｅ－Ｗｏｎｈａｍ模型与可控Ｐｅｔｒｉ网模型，并以公理的形式给出．讨论了给定谓词Ｐ的极大允许状态反馈的惟一性、基本系统与并发系统... 对离散事件系统的状态反馈控制提出一个基于自动机的新模型，统一了无并发与有并发的Ｒａｍａｄｇｅ－Ｗｏｎｈａｍ模型与可控Ｐｅｔｒｉ网模型，并以公理的形式给出．讨论了给定谓词Ｐ的极大允许状态反馈的惟一性、基本系统与并发系统间的关系，从而可以将并发系统转换为简单的非并发基本系统来研究． 展开更多

关键词 自动机 状态反馈控制 离散事件系统 Ramadge-Wonham模型 可控petri网模型 极大允许状态反馈

在线阅读 下载PDF 职称材料

列控-安全信息传输系统可靠性及安全性的形式化分析 被引量：6

15

作者 高莺 张琦 +1 位作者 陈黎洁 刘宏杰 《北京交通大学学报》 CAS CSCD 北大核心 2018年第2期61-68,共8页

基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的... 基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求. 展开更多

关键词 列控-安全信息传输系统 petri网 可靠性 安全性 模型检验

在线阅读 下载PDF 职称材料

基于无源性的直流微网虚拟惯性研究

16

作者 杨继鑫 王久和 王振业 《电气工程学报》 CSCD 2021年第1期34-41,共8页

为提高直流微网中变换器的动态性能和直流母线电压的稳定性,文中提出一种基于无源性的虚拟惯性控制策略。首先基于变换器的端口受控耗散哈密顿模型,设计出无源电流控制器,然后引入虚拟直流电机控制作为电压外环。仿真结果表明,文中所提... 为提高直流微网中变换器的动态性能和直流母线电压的稳定性,文中提出一种基于无源性的虚拟惯性控制策略。首先基于变换器的端口受控耗散哈密顿模型,设计出无源电流控制器,然后引入虚拟直流电机控制作为电压外环。仿真结果表明,文中所提基于无源性的虚拟惯性控制策略可较好地提高直流微网的惯性;同时相比传统的下垂控制策略,当微网系统受到扰动时,变换器的动态性能和直流母线电压的稳定性有所提高,从而证明文中所提控制策略的可行性。 展开更多

关键词 直流微网 无源性 虚拟惯性 端口受控耗散哈密顿模型 虚拟直流电机控制

在线阅读 下载PDF 职称材料

变环境变工作条件下电子系统的可靠性评价方法 被引量：4

17

作者 覃庆努 魏学业 +1 位作者 黄赞武 孟一飞 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第8期3254-3260,共7页

为对变环境变工作条件下电子系统的可靠性进行有效评价,提出一种基于受控赋时混合随机Petri网(CTHSPN)的电子系统可靠性评价方法。首先,在混合随机Petri网的基础上将库所标识扩展到云域并与时间关联、引入控制函数和控制时钟,提出CTHSP... 为对变环境变工作条件下电子系统的可靠性进行有效评价,提出一种基于受控赋时混合随机Petri网(CTHSPN)的电子系统可靠性评价方法。首先,在混合随机Petri网的基础上将库所标识扩展到云域并与时间关联、引入控制函数和控制时钟,提出CTHSPN模型;其次,根据CTHSPN模型的建模机制建立电子产品的可靠性模型;最后,在产品可靠性模型的基础上,根据电子系统的失效机制和部件间的动态关系建立系统的可靠性模型,并通过Monte Carlo模型仿真计算出系统可靠度。实例分析表明:该方法能较好地体现温度、电压等工作条件对电子系统可靠性的独立性影响作用,为变环境变工作条件下电子系统的可靠性评价提供一条有效的途径。 展开更多

关键词 可靠性评价 云模型 受控赋时混合随机petri网 环境条件

在线阅读 下载PDF 职称材料