国家教育部博士点基金(20100061110031)

作品数：26被引量：62H指数：5
导出分析报告
相关作者：欧阳丹彤王晓宇李占山赵剑张良更多>>
相关机构：吉林大学空军航空大学吉林师范大学长春工业大学更多>>
相关期刊：《模式识别与人工智能》《湖南大学学报（自然科学版）》《仪器仪表学报》《通信学报》更多>>
相关主题：人工智能约束满足问题可诊断性离散事件系统基于模型诊断更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于成功回溯的约束推理技术被引量：1
《吉林大学学报（工学版）》2016年第5期1622-1626,共5页王涛 张乾 李占山 张良 
国家自然科学基金项目(61170314;61272208);吉林省科技发展计划项目(20140101200JC;20071106);教育部高等学校博士学科点专项科研基金项目(20100061110031)
提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂度是O（ned3）。实验结果表明：新的MAC_BTS算法在大多数问题的求解上较国际上流行的MAC3rm算法以及MAC_L...
关键词：人工智能 约束满足问题 约束推理 成功回溯 
结合扩展规则重构的#SAT问题增量求解方法被引量：4
《软件学报》2015年第12期3117-3129,共13页贾凤雨 欧阳丹彤 张立明 刘思光 
国家自然科学基金(61272208;61133011;61402196;61003101;61170092);国家教育部博士点专项基金(2010 0061110031);中国博士后科学基金(2013M541302);吉林省科技发展计划(20101501;20140520067JH)~~
#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系...
关键词：扩展规则 模型计数 极大项相交集 互补表 增量方法 
分布式离散事件系统的可诊断性判定策略被引量：2
《吉林大学学报（工学版）》2015年第5期1541-1549,共9页王晓宇 欧阳丹彤 迟晋进 韩正服 
国家自然科学基金项目(61272208;61133011;61003101;61170092);吉林省科技发展计划项目(20101501;20100185;201101039);高等学校博士学科点专项科研基金项目(20100061110031);浙江省自然科学基金项目(Y1100191)
为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不...
关键词：人工智能 可诊断性 分布式离散事件系统 同步 
不完备离散事件系统的可诊断性被引量：6
《软件学报》2015年第6期1373-1385,共13页王晓宇 欧阳丹彤 赵相福 
国家自然科学基金(61272208;61133011;61003101;61170092);国家教育部博士点专项基金(20100061110031);吉林省科技发展计划(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12);浙江省自然科学基金(Y1100191)
在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模...
关键词：不完备模型 离散事件系统 基于模型诊断 可诊断性 
基于实例化次数的约束求解方法研究被引量：5
《计算机研究与发展》2015年第5期1091-1097,共7页李占山 张乾 张良 
国家自然科学基金项目(61170314;61272208;61373052);吉林省自然科学基金项目(20140101200JC);教育部高等学校博士学科点专项科研基金项目(20100061110031)
启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求...
关键词：人工智能 约束满足问题 启发式 变量实例化失败次数 值实例化成功次数 
基于诊断器的可诊断性增量测试方法
《吉林大学学报（工学版）》2015年第1期222-228,共7页王晓宇 欧阳丹彤 赵剑 
国家自然科学基金项目(61133011;60973089;61003101;61170092);吉林省科技发展计划项目(20101501;20100185);教育部博士学科点专项科研基金项目(20100061110031);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12);浙江省自然科学基金项目(Y1100191)
在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前...
关键词：人工智能 基于模型诊断 可诊断性 增量方法 
基于极性的非循环术语集调试
《中国科技论文》2014年第1期76-80,共5页雷景佩 欧阳丹彤 叶育鑫 
国家自然科学基金资助项目(61133011;60973089;61003101;61170092;61272208);高等学校博士学科点专项科研基金资助项目(20100061110031);吉林省科技发展计划资助项目(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK12);浙江省自然科学基金资助项目(Y1100191)
通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入...
关键词：本体 术语集 不一致 极性 
基于问题结构的边界启发式方法被引量：1
《吉林大学学报（工学版）》2013年第4期1045-1051,共7页李占山 张良 郭劲松 张乾 
国家自然科学基金项目(60873148;60973089;61170314);吉林省自然科学基金项目(201101039;20071106;20080107);高等学校博士学科点专项科研基金项目(20100061110031)
现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,...
关键词：人工智能 边界启发式 约束满足问题 Composed问题 
基于AC与LmaxRPC的自适应约束传播求解算法
《湖南大学学报（自然科学版）》2013年第7期86-91,共6页王海燕 欧阳丹彤 张永刚 杨明明 
国家自然科学基金资助项目(61170314;61133011;60973089;61003101;61170092;60973088;41172294);吉林省科技发展计划项目(20101501;20100185;201101039);国家教育部博士点专项基金资助项目(20100061110031)
在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测...
关键词：人工智能 约束程序 约束满足问题 自适应约束求解 约束传播 
基于缩减信念状态的Conformant规划方法被引量：1
《软件学报》2013年第7期1557-1570,共14页魏唯 欧阳丹彤 吕帅 
国家自然科学基金(61133011;60973089;61003101;61170092;61272208);国家教育部博士点专项基金(20100061110031);吉林省科技发展计划(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12);浙江省自然科学基金(Y1100191)
Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lit...
关键词：Conformant规划问题 信念状态 增强爬山 启发式搜索 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部