期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Petri网信标和陷阱计算的矩阵半张量积方法 被引量:4
1
作者 韩晓光 陈增强 +1 位作者 刘忠信 张青 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第7期849-855,共7页
本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation,SE)和陷阱方程(trap equation,TE).其次... 本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation,SE)和陷阱方程(trap equation,TE).其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解.同时,给出了计算Petri网所有信标和陷阱的算法.最后,实例和实验结果说明了本文方法的可行性与有效性.本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算. 展开更多
关键词 PETRI网 信标 陷阱 矩阵的半张量积 信标方程 陷阱方程
在线阅读 下载PDF
基于矩阵方法的有界Petri网系统的能观性分析 被引量:2
2
作者 高娜 韩晓光 +1 位作者 陈增强 张青 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期71-78,共8页
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方... Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现. 展开更多
关键词 离散事件动态系统 能观性 有界Petri网系统 PETRI网 矩阵的半张量积
在线阅读 下载PDF
k轨道任务分配问题的可解性条件:图论方法(英文)
3
作者 岳菊梅 陈增强 +1 位作者 闫永义 金鑫 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第4期457-466,共10页
将图论及一种新的数学分析工具——矩阵的半张量积(semi-tensor product of matrices,STP),作为研究工具,通过研究图的k内稳定集的充分必要条件,研究了k轨道任务分配问题的可解性条件.定义了图的顶点子集的特征向量,利用STP方法得到图的... 将图论及一种新的数学分析工具——矩阵的半张量积(semi-tensor product of matrices,STP),作为研究工具,通过研究图的k内稳定集的充分必要条件,研究了k轨道任务分配问题的可解性条件.定义了图的顶点子集的特征向量,利用STP方法得到图的k内稳定集新的若干充分必要条件.基于这些新的充分必要条件,建立了能够搜索出图的所有k内稳定集的两种算法.进而将上述结果应用到k轨道任务分配问题,得到了该问题可解性的两个充分必要条件.此外,通过这些充分必要条件,也发现了一些有趣的现象.例如,完全最优方案(completely optimal schedules)的存在. 展开更多
关键词 k轨道任务分配 k内稳定集 可解性 图论方法 矩阵的半张量积
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部