期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
S-不变量极小支集判定的多项式算法
被引量:
1
1
作者
包云霞
鲁法明
《山东科技大学学报(自然科学版)》
CAS
2010年第1期100-104,共5页
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出...
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。
展开更多
关键词
PETRI网
结构性质
s-不
变
量
s-不变量的极小支集
下载PDF
职称材料
求取S-不变量基的新算法
2
作者
包云霞
鲁法明
《系统仿真学报》
CAS
CSCD
北大核心
2011年第B07期65-68,共4页
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S...
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
展开更多
关键词
PETRI网
s-不
变
量
s-不变量的极小支集
下载PDF
职称材料
题名
S-不变量极小支集判定的多项式算法
被引量:
1
1
作者
包云霞
鲁法明
机构
山东科技大学理学院
山东科技大学信息科学与工程学院
出处
《山东科技大学学报(自然科学版)》
CAS
2010年第1期100-104,共5页
基金
国家自然科学基金项目(60673053
60603090)
+1 种基金
山东省优秀中青年科学家奖励基金项目(2006BS01019)
山东科技大学"春蕾计划"项目(2008BWZ027)
文摘
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。
关键词
PETRI网
结构性质
s-不
变
量
s-不变量的极小支集
Keywords
Petri nets
structural property
s-
invariants
minimal support of
s-
invariants
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
求取S-不变量基的新算法
2
作者
包云霞
鲁法明
机构
山东科技大学理学院
山东科技大学信息科学与工程学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2011年第B07期65-68,共4页
基金
教育部博士点基金项目(20103718110007)
山东省科技发展计划项目(2010GSF10811)
+4 种基金
青岛市科技计划指导性项目(KZJ-47)
山东省教育厅科研项目(J08LJ77)
山东科技大学科学研究春蕾计划项目(2010AZZ069
2010AZZ177)
山东科技大学杰出青年基金(2010KYJQ101)
文摘
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
关键词
PETRI网
s-不
变
量
s-不变量的极小支集
Keywords
Petri net
s-
invariant
minimal support of
s-
invariants
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
S-不变量极小支集判定的多项式算法
包云霞
鲁法明
《山东科技大学学报(自然科学版)》
CAS
2010
1
下载PDF
职称材料
2
求取S-不变量基的新算法
包云霞
鲁法明
《系统仿真学报》
CAS
CSCD
北大核心
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部