浙江省自然科学基金(Y1100191)

作品数：20被引量：51H指数：5
导出分析报告
相关作者：欧阳丹彤王晓宇赵剑张立明赵相福更多>>
相关机构：吉林大学浙江师范大学教育部重庆理工大学更多>>
相关期刊：《计算机研究与发展》《中国科技论文》《软件学报》《计算机学报》更多>>
相关主题：人工智能基于模型诊断可诊断性离散事件系统故障诊断更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式离散事件系统的可诊断性判定策略被引量：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)
在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模...
关键词：不完备模型 离散事件系统 基于模型诊断 可诊断性 
基于诊断器的可诊断性增量测试方法
《吉林大学学报（工学版）》2015年第1期222-228,共7页王晓宇 欧阳丹彤 赵剑 
国家自然科学基金项目(61133011;60973089;61003101;61170092);吉林省科技发展计划项目(20101501;20100185);教育部博士学科点专项科研基金项目(20100061110031);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12);浙江省自然科学基金项目(Y1100191)
在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前...
关键词：人工智能 基于模型诊断 可诊断性 增量方法 
用CHS-tree基于集合势的方法计算极小碰集被引量：10
《计算机集成制造系统》2014年第2期401-406,共6页王肖 赵相福 
国家自然科学基金资助项目(61003101;61272208;61272468);浙江省自然科学基金资助项目(Y1100191)~~
在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合进行扩展,并借助集合簇中元素出现的频率作为辅助判断,不断将大问题逐渐分解成子问题,然后依次求出不包含...
关键词：基于模型的诊断 极小冲突集 极小碰集 碰撞树 
基于极性的非循环术语集调试
《中国科技论文》2014年第1期76-80,共5页雷景佩 欧阳丹彤 叶育鑫 
国家自然科学基金资助项目(61133011;60973089;61003101;61170092;61272208);高等学校博士学科点专项科研基金资助项目(20100061110031);吉林省科技发展计划资助项目(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK12);浙江省自然科学基金资助项目(Y1100191)
通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入...
关键词：本体 术语集 不一致 极性 
基于模型诊断的候选空间单调性研究
《计算机集成制造系统》2013年第12期3043-3048,共6页王肖 赵相福 
国家自然科学基金资助项目(61003101);浙江省自然科学基金资助项目(Y1100191)~~
为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量...
关键词：基于模型的诊断 候选空间 单调性 测量点 故障诊断 
路标计数启发式引导的分解规划方法
《软件学报》2013年第10期2327-2339,共13页魏唯 欧阳丹彤 吕帅 
国家自然科学基金(61272208;61133011;60973089;61003101;61170092;61300049);吉林省科技发展计划(20101501;20100185;201101039);国家教育部博士点专项基金(20100061110031;20120061120059);博士后科学基金面上资助项目(2011M 500612);浙江省自然科学基金(Y1100191);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12)
路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标...
关键词：路标计数启发式 增强爬山 分解规划方法 爬山路径 
基于缩减信念状态的Conformant规划方法被引量：1
《软件学报》2013年第7期1557-1570,共14页魏唯 欧阳丹彤 吕帅 
国家自然科学基金(61133011;60973089;61003101;61170092;61272208);国家教育部博士点专项基金(20100061110031);吉林省科技发展计划(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12);浙江省自然科学基金(Y1100191)
Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lit...
关键词：Conformant规划问题 信念状态 增强爬山 启发式搜索 
基于冲突的离散事件系统诊断方法被引量：3
《吉林大学学报（工学版）》2013年第2期380-385,共6页王晓宇 欧阳丹彤 赵剑 耿雪娜 
国家自然科学基金项目(61133011,60973089,60873148,61003101,61170092,60973088);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12);浙江省自然科学基金项目(Y1100191)
提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,...
关键词：人工智能 基于冲突诊断 离散事件系统 动态诊断 
基于矩阵计算极小碰集的启发式算法被引量：5
《吉林大学学报（工学版）》2013年第1期106-110,共5页欧阳丹彤 耿雪娜 郭劲松 王晓宇 
国家自然科学基金项目(60973089,60873148,60773097,61003101);高等学校博士学科点专项科研基金项目(20100061110031);吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目;浙江省自然科学基金项目(Y1100191)
提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可...
关键词：人工智能 基于模型诊断 冲突集 极小碰集 启发式算法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部