吉林省科技发展计划基金(20060532)
- 作品数：14 被引量：50H指数：5
- 相关作者：欧阳丹彤赵相福张立明赵剑冯宇轩更多>>
- 相关机构：吉林大学长春税务学院东北师范大学更多>>
- 发文基金：吉林省科技发展计划基金国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于SHOIQ(D)的本体一致性检测被引量：9
- 2009年
- SHOIQ(D)是一种表述能力较强的本体知识表示语言。一致性检测是本体推理的核心任务之一,其它推理任务都可以等效地转换为一致性检测问题。本文在对Tableau演算研究的基础上,通过引入回跳和布尔约束传播优化技术,提高算法推理效率,并以此算法为核心,给出基于SHOIQ(D)语言的本体一致性检测推理机的总体设计方案及实现。
- 叶育鑫欧阳丹彤刘瑶孙吉贵
- 关键词：本体优化技术
- 混合系统基于模型诊断建模问题研究被引量：1
- 2008年
- 基于模型的诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术,其应用越来越广泛。而混合系统是当前应用较多的动态系统之一,其故障诊断问题是当前研究领域的热门。在此介绍两种对混合系统进行诊断的建模方法,并对这两种建模方法进行比较找出各自适用方向,特别是应用MBD技术对混合系统进行诊断的建模方法,根据对实际航天生态系统建模说明混合键合图基本原理,为进一步进行基于模型的故障检测和故障追踪直至故障隔离和鉴别提供基础模型。
- 赵剑欧阳丹彤
- 关键词：基于模型诊断混合系统建模故障诊断
- 一种基于ATMS的求解所有极小冲突集的新方法被引量：7
- 2007年
- 在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率。本文提出了极小依赖集的概念,并据此对ATMS求得的极小冲突集进行了分类;分析了算法的复杂度,并将新方法与相关工作进行了比较。该算法程序容易编制,而且效率高。
- 张立明欧阳丹彤赵相福
- 关键词：ATMS
- 广义KRA抽象模型被引量：8
- 2009年
- 针对KRA抽象模型的表示框架进行扩展,将感知过程分解为初步感知过程和抽象感知过程两部分:初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W),该过程不改变W中具体对象的实体属性;抽象感知过程将P(W)在感知系统P*的作用下映射为P*(W),P*(W)中的对象称为抽象对象,抽象对象的类型根据感知者预先定义的抽象对象库Oa的不同而不同.这种建模过程的细化可生成W的不同抽象模型,使推理得到简化.
- 孙善武王楠欧阳丹彤
- 基于模型检测的实时模型诊断方法被引量：4
- 2007年
- 提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、有效.
- 廉智超欧阳丹彤
- 关键词：可诊断性有界模型检测符号模型检测
- 一种多目标增量启发式搜索算法被引量：6
- 2009年
- 提出一种多目标增量启发式搜索算法,该算法结合启发式搜索与增量搜索的思想,当多目标问题搜索图的状态格局发生改变时,该算法并不是对变化后的问题进行完全重新求解,而是部分利用了先前搜索保留的信息求解新问题的最优解集,从而提高了问题求解的效率.通过Gridworld标准测试问题上的实验测试,验证了算法的效率.
- 魏唯欧阳丹彤吕帅殷明浩
- 关键词：启发式搜索多目标问题最优解集
- 一种改进的基于结构抽象的分层模型诊断方法被引量：1
- 2009年
- 基于分层模型诊断算法,提出一种改进的方法,对每层进行抽象时,根据分层表示和抽象条件,同时实现固定和动态两种抽象过程.该方法进一步解决了基于模型诊断计算复杂性的问题.在最终抽象层候选空间相同的前提下,减少了分层的层次数和诊断问题的个数;在一定条件下,第l(l>0)层的诊断可以不必细化到最底层,即可得到最终的诊断结果.实验结果表明,该算法在多数情况下比以往的分层模型诊断方法效率更高.
- 赵丹欧阳丹彤赵相福刘冰月张衍志
- 关键词：基于模型诊断分层诊断
- 图分割在Singleton弧相容算法中的应用被引量：2
- 2010年
- 基于原有SAC-MP算法,提出一种将图分割技术应用到SAC-MP算法中的一种新算法,该算法在执行时能充分利用图分割技术确定适当的k值,避免了由于k值的不确定带来的冗余操作和盲目性.实验结果表明,该算法在求解约束满足问题时效率较高.
- 杜会盈李占山李宏博沈海娇
- 关键词：约束满足问题图分割
- MBD中通过混合键合图对混合系统建模
- 2007年
- 基于模型诊断即Model-based Diagnosis(MBD)对整个人工智能领域的研究起着重要推动作用,是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术,其应用也越来越广泛。而混合系统是当前应用较多的动态系统之一,其故障诊断问题是当前研究领域的热门。本文介绍应用MBD技术对混合系统进行诊断的建模方法,介绍混合键和图基本原理,通过混合键和图对混合动态系统建模,为进一步进行MBD故障检测和追踪直至故障隔离和鉴别提供基础模型。
- 赵剑欧阳丹彤
- 关键词：混合系统建模故障诊断
- 离散事件系统的同步诊断算法
- 2010年
- 针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。
- 王晓宇欧阳丹彤赵相福常晓环
- 关键词：离散事件系统
