期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
稳定有界Petri网的进程表达式
被引量：
6
1
作者
汪明新
刘关俊
闫春钢
《计算机科学》
CSCD
北大核心
2011年第2期55-58,67,共5页
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达...
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
展开更多
关键词
有界
petri
网
进程表达式
基本子进程
S-网
下载PDF
职称材料
基于矩阵方法的有界Petri网系统的能观性分析
被引量：
1
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
职称材料
柔性制造系统中生产调度问题的零压缩二叉决策图算法
3
作者
李凤英
古天龙
《控制与决策》
EI
CSCD
北大核心
2010年第5期657-662,共6页
针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩...
针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性.
展开更多
关键词
柔性制造系统
赋时有界
petri
网
生产调度
零压缩二叉决策图
符号算法
原文传递
题名
稳定有界Petri网的进程表达式
被引量：
6
1
作者
汪明新
刘关俊
闫春钢
机构
同济大学计算机科学与工程系
同济大学嵌入式系统与服务计算教育部重点实验室
出处
《计算机科学》
CSCD
北大核心
2011年第2期55-58,67,共5页
基金
国家重点研究发展计划课题(2010CB328101)
国家"八六三"高技术研究发展计划基金项目(2009AA01Z401)
+1 种基金
国家自然科学基金项目(90718012)
上海市基础研究重点项目(08JC1419300)资助。
文摘
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
关键词
有界
petri
网
进程表达式
基本子进程
S-网
Keywords
bounded
petri
net
Process
expression
Basic
subprocess
S-
net
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于矩阵方法的有界Petri网系统的能观性分析
被引量：
1
2
作者
高娜
韩晓光
陈增强
张青
机构
南开大学计算机与控制工程学院
天津市智能机器人技术重点实验室
中国民航大学理学院
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2018年第1期71-78,共8页
基金
国家自然科学基金项目(61573199
61573200)
天津市自然科学基金项目(14JCYBJC18700)资助~~
文摘
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.
关键词
离散事件动态系统
能观性
有界
petri
网系统
petri
网
矩阵的半张量积
Keywords
discrete
event
dynamic
systems
observability
bounded
petri
net
systems
petri
net
semi-tensor
product
of
matrices
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
柔性制造系统中生产调度问题的零压缩二叉决策图算法
3
作者
李凤英
古天龙
机构
西安电子科技大学电子工程学院
桂林电子科技大学计算机学院
出处
《控制与决策》
EI
CSCD
北大核心
2010年第5期657-662,共6页
基金
国家自然科学基金项目(60903010
60903079)
广西自然科学基金重点项目(0832006Z)
文摘
针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性.
关键词
柔性制造系统
赋时有界
petri
网
生产调度
零压缩二叉决策图
符号算法
Keywords
Flexible
manufacturing
systems
Timed
and
bounded
petri
net
Production
scheduling
Zero-suppressed
binary
decision
diagram
Symbolic
algorithm
分类号
TP39 [自动化与计算机技术—计算机应用技术]
原文传递
题名
作者
出处
发文年
被引量
操作
1
稳定有界Petri网的进程表达式
汪明新
刘关俊
闫春钢
《计算机科学》
CSCD
北大核心
2011
6
下载PDF
职称材料
2
基于矩阵方法的有界Petri网系统的能观性分析
高娜
韩晓光
陈增强
张青
《控制理论与应用》
EI
CAS
CSCD
北大核心
2018
1
下载PDF
职称材料
3
柔性制造系统中生产调度问题的零压缩二叉决策图算法
李凤英
古天龙
《控制与决策》
EI
CSCD
北大核心
2010
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
