期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Petri网局部性的极大冲突集枚举算法
被引量：
3
1
作者
潘理
郑红
+1 位作者
刘显明
杨勃
《电子学报》
EI
CAS
CSCD
北大核心
2016年第8期1858-1863,共6页
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动...
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
展开更多
关键词
PETRI网
冲突集问题
NP(Non-deterministic
Polynomial)完全性
极大冲突集枚举算法
在线阅读
下载PDF
职称材料
结合问题特征利用SE-Tree反向深度求解冲突集的方法
被引量：
5
2
作者
欧阳丹彤
刘伯文
+1 位作者
周建华
张立明
《电子学报》
EI
CAS
CSCD
北大核心
2017年第5期1175-1181,共7页
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索...
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题.
展开更多
关键词
基于模型诊断
冲突集
布尔约束可满足
集合枚举树
在线阅读
下载PDF
职称材料
利用CSP求解极小碰集的方法
被引量：
8
3
作者
王艺源
欧阳丹彤
+1 位作者
张立明
张永刚
《计算机研究与发展》
EI
CSCD
北大核心
2015年第3期588-595,共8页
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心...
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高.
展开更多
关键词
极小碰集
约束可满足问题
基于模型诊断
hard-冲突集
soft-冲突集
在线阅读
下载PDF
职称材料
题名
基于Petri网局部性的极大冲突集枚举算法
被引量：
3
1
作者
潘理
郑红
刘显明
杨勃
机构
湖南理工学院信息与通信工程学院
华东理工大学信息科学与工程学院
江西省电力公司信息通信分公司
出处
《电子学报》
EI
CAS
CSCD
北大核心
2016年第8期1858-1863,共6页
基金
国家自然科学基金(No.61473118)
湖南省教育厅科学研究重点项目(No.15A079)
+1 种基金
湖南省科技计划项目(No.2014GK3026)
江西省电力公司科技项目(No.5218351400A1)
文摘
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
关键词
PETRI网
冲突集问题
NP(Non-deterministic
Polynomial)完全性
极大冲突集枚举算法
Keywords
Petri nets
conflict set problem
NP completeness
maximal
conflict
set
enumeration algorithm
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
结合问题特征利用SE-Tree反向深度求解冲突集的方法
被引量：
5
2
作者
欧阳丹彤
刘伯文
周建华
张立明
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
吉林大学软件学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第5期1175-1181,共7页
基金
国家自然科学基金(No.61133011
No.61402196
+4 种基金
No.61272208
No.61003101
No.61170092)
吉林省科技发展计划项目基金(No.20140520067JH)
浙江省自然科学基金(No.LY16F020004)
文摘
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题.
关键词
基于模型诊断
冲突集
布尔约束可满足
集合枚举树
Keywords
model-based diagnosis
conflict
set
Boolean SATisfiability
problem
（SAT）
set
-enumeration tree （ SE-Tree ）
分类号
TP306 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
利用CSP求解极小碰集的方法
被引量：
8
3
作者
王艺源
欧阳丹彤
张立明
张永刚
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第3期588-595,共8页
基金
国家自然科学基金项目(61133011
61272208
+6 种基金
61003101
61170092
61402196)
吉林省科技发展计划基金项目(20101501
20140520067JH)
中国博士后科学基金项目(2013M541302)
浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12)
文摘
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高.
关键词
极小碰集
约束可满足问题
基于模型诊断
hard-冲突集
soft-冲突集
Keywords
minimal
conflict
set
s
constraint satisfaction
problem
model-based diagnosis（MBD）
hard-
conflict
set
soft-
conflict
set
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Petri网局部性的极大冲突集枚举算法
潘理
郑红
刘显明
杨勃
《电子学报》
EI
CAS
CSCD
北大核心
2016
3
在线阅读
下载PDF
职称材料
2
结合问题特征利用SE-Tree反向深度求解冲突集的方法
欧阳丹彤
刘伯文
周建华
张立明
《电子学报》
EI
CAS
CSCD
北大核心
2017
5
在线阅读
下载PDF
职称材料
3
利用CSP求解极小碰集的方法
王艺源
欧阳丹彤
张立明
张永刚
《计算机研究与发展》
EI
CSCD
北大核心
2015
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
