国家高技术研究发展计划(2003AA118020)

作品数：78被引量：285H指数：9
导出分析报告
相关作者：刘大有王生生欧阳丹彤虞强源刘亚波更多>>
相关机构：吉林大学东北电力学院中国人民大学吉林师范大学更多>>
相关期刊：《江西师范大学学报（自然科学版）》《微电子学与计算机》《仪器仪表学报》《通讯和计算机（中英文版）》更多>>
相关主题：定性空间推理移动AGENT关联规则拓扑关系基于模型诊断更多>>
相关领域：自动化与计算机技术机械工程理学天文地球更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于因果关系的模型诊断被引量：9
《吉林大学学报（工学版）》2009年第4期1052-1056,共5页张立明 赵剑 赵相福 欧阳丹彤 白岩 
国家自然科学基金项目(60773097;60873148);新世纪优秀人才支持计划项目(20060532);'973'国家高技术研究发展规划项目(2003AA118020);吉林省科技发展计划项目(20080107)
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的...
关键词：人工智能 基于模型的诊断 极小诊断 因果关系 
基于数据立方体的属性核计算方法被引量：1
《计算机工程》2008年第20期46-48,共3页刘亚波 刘大有 高滢 齐红 
国家自然科学基金资助重大项目(60496321);国家自然科学基金资助项目(60373098,60573073);国家“863”计划基金资助项目(2003AA118020)
商业智能系统应用联机分析处理技术将数据组织为多维数据立方体。该文建立了数据立方体中非空单元与决策表中等价类的一一映射关系。通过复用数据立方体中的聚合结果,提出一种基于数据立方体计算相容决策表属性核的方法,并证明了该方法...
关键词：数据立方体 联机分析处理 粗集 属性核 
关系马尔可夫网综述
《计算机科学》2008年第11期32-35,共4页刘智祥 刘大有 刘曜 高俊华 李景亮 
国家自然科学基金资助项目(60573073);国家"863"计划资助项目(2003AA118020);吉林省科技发展计划重大资助项目(20020303)
统计关系学习是人工智能领域一个新的研究方向。它通过概率推理模型与逻辑的结合,或概率推理模型与关系模式的结合,来达到更高的预测或分类的准确度。它在机器学习和数据挖掘领域具有广泛的应用前景。详细介绍了一种重要的统计关系模型...
关键词：关系马尔可夫网 统计关系学习 马尔可夫网 机器学习 
工作流建模技术综述被引量：18
《微电子学与计算机》2008年第10期69-71,共3页张朝辉 刘大有 刘伟江 
国家自然科学基金项目(60173006);国家高技术研究发展计划项目(2003AA118020);吉林大学项目(2005QN022)
工作流管理是目前企业管理领域的一个研究热点,而工作流建模是工作流技术在应用过程中必须解决的一个关键.现有工作流建模技术已经在很多领域得到应用,但仍然存在一些问题,在分布式、柔性和自动化程度等方面尚存在着不足,这将成为制约...
关键词：工作流 工作流建模Petri网 移动AGENT 
基于分层任务网络的一致性规划方法被引量：1
《吉林大学学报（理学版）》2008年第3期478-482,共5页冯宇轩 欧阳丹彤 
国家自然科学基金(批准号:60496320;60496321);国家863高技术研究发展计划项目基金(批准号:2003AA118020);吉林省科技发展计划项目基金(批准号:20060532);新世纪优秀人才支持计划项目基金
给出一种求解一致性规划问题的新方法,并给出了此求解方法的有效性分析.在求解一致性规划问题时,先将各个可能世界都转移到某个中间状态,再从中间状态做一次求解.结果表明,该方法具有较高的效率和较好的扩展性.
关键词：一致性规划 分层任务网络 智能规划 
混合系统基于模型诊断建模问题研究被引量：1
《广西师范大学学报（自然科学版）》2008年第2期85-88,共4页赵剑 欧阳丹彤 
国家自然科学基金重大项目(60496320,60496321);国家863计划基金资助项目(2003AA118020);新世纪优秀人才支持计划基金资助项目;吉林省科技发展计划基金资助项目(20060532)
基于模型的诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术,其应用越来越广泛。而混合系统是当前应用较多的动态系统之一,其故障诊断问题是当前研究领域的热门。在此介绍两种对混合系统进行诊断的建模方法,...
关键词：基于模型诊断 混合键合图 混合系统建模 故障诊断 
RCC5与主方位关系结合的定性空间推理被引量：6
《计算机研究与发展》2008年第z1期279-285,共7页陈娟 刘大有 张长海 谢琦 
国家自然科学基金项目(60496321;60373098;60573073;60603030);国家"八六三"高技术研究发展计划基金项目(2003AA118020);吉林省科技发展计划重大基金项目(20020303);吉林省科技发展计划基金项目(20030523)
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述...
关键词：定性空间推理 RCC 主方位关系 异质复合 路径相容 约束满足问题 
基于模型检测的实时模型诊断方法被引量：4
《吉林大学学报（理学版）》2007年第6期948-952,共5页廉智超 欧阳丹彤 
国家自然科学基金重大项目基金(批准号:60496320;60496321);国家高技术研究发展计划项目基金(批准号:2003AA118020);新世纪优秀人才支持计划项目基金;吉林省科技发展计划项目基金(批准号:20060532)
提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、有效.
关键词：模型诊断 可诊断性 有界模型检测 符号模型检测 
一种基于ATMS的求解所有极小冲突集的新方法被引量：6
《计算机工程与科学》2007年第11期127-130,共4页张立明 欧阳丹彤 赵相福 
国家自然科学基金重大项目(60496320;60496321);国家863计划资助项目(2003AA118020);新世纪优秀人才支持计划项目基金;吉林省科技发展计划项目(20060532)
在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率。本文提出了极小依赖集的概念,并据此对ATMS求得的极小...
关键词：基于模型的诊断 极小冲突集 ATMS 
一种基于本体的问题求解学生模型
《吉林大学学报（理学版）》2007年第5期795-799,共5页白岩 刘大有 刘杰 
国家自然科学基金重大项目基金(批准号:60496321);国家自然科学基金(批准号:605030166057307360373098);国家863高技术研究发展计划项目基金(批准号:2003AA118020);吉林省科技发展计划重大项目基金(批准号:20020303);吉林省科技发展计划项目基金(批准号:20030523)
以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用...
关键词：学生模型 本体 问题求解 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部