搜索筛选:
搜索耗时1.6573秒,为你在为你在102,285,761篇论文里面共找到 34 篇相符的论文内容
类      型:
[学位论文] 作者:赵相福,, 来源:吉林大学 年份:2009
最近十多年来,离散事件系统基于模型的诊断受到越来越多研究和工程人员的关注,成为人工智能和控制工程领域的一个热点研究课题。基于模型的诊断主要使用系统的内部结构与行为...
[期刊论文] 作者:赵相福, 来源:计算机教育 年份:2017
针对数据结构全英文教学,分析一些现存的常见问题,以浙江师范大学软件工程全英文专业为例,阐述相应的改进策略及可供参考的具体实践方案。...
[期刊论文] 作者:赵相福, 来源:铜仁学院学报 年份:2014
我们应该在以“一切为了每一位学生的发展”为核心的新课程理念指导下,在充分发挥学生主体作用的前提下,着力改革课堂教学模式、改革教学评价模式、创新教育内容、提高教师能力......
[学位论文] 作者:赵相福, 来源:吉林大学 年份:2018
[期刊论文] 作者:赵相福,ZHAOXiangfu, 来源:铜仁学院学报 年份:2014
[期刊论文] 作者:王肖,赵相福,, 来源:计算机集成制造系统 年份:2014
在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合进行扩展,并借助集合簇中元素出现的频率作为...
[期刊论文] 作者:王肖,赵相福,, 来源:计算机集成制造系统 年份:2013
为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相......
[期刊论文] 作者:赵相福,欧阳丹彤,, 来源:计算机科学与探索 年份:2011
近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模......
[期刊论文] 作者:赵相福,欧阳丹彤,, 来源:吉林大学学报(工学版) 年份:2007
首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree).然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree).最后对提到的几...
[期刊论文] 作者:赵相福,欧阳丹彤, 来源:中国仪器仪表学会第七届青年学术会议 年份:2005
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊断的各种定义及其研究意义,......
[期刊论文] 作者:佘晓娓,赵相福,, 来源:浙江师范大学学报(自然科学版) 年份:2016
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候 选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小...
[期刊论文] 作者:赵相福,欧阳丹彤,, 来源:吉林大学学报(理学版) 年份:2006
提出一种利用与元素相关联的冲突集个数计算碰集的新方法,并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程,逐步生成所有的极小碰集.由于在SE-tree中添加了终止节点......
[期刊论文] 作者:赵相福,欧阳丹彤,, 来源:电子学报 年份:2009
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集......
[期刊论文] 作者:赵相福,欧阳丹彤,, 来源:计算机科学 年份:2008
研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断,在原有主动系统的自动机建模的基础上,引入时间区间代数表达更为详细的时间约束信息,构成带有时间的自动机对系......
[会议论文] 作者:赵相福,欧阳丹彤, 来源:第五届中国Rough集与软计算学术研讨会 年份:2005
本文所提出的计算极小碰集的方法非常易于理解且编程实现简单,虽然以树的形式描述,实际中并不需用构造树,更不会因剪枝而丢失正确解。并且在实际实现时,可以动态地申请和释放空间......
[期刊论文] 作者:欧阳丹彤,焦玉,赵相福,, 来源:吉林大学学报(工学版) 年份:2009
依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗略概率的简化熵诊断测量方......
[期刊论文] 作者:张立明,欧阳丹彤,赵相福,, 来源:计算机工程与科学 年份:2007
在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率......
[期刊论文] 作者:张立明,欧阳丹彤,赵相福,, 来源:计算机集成制造系统 年份:2008
提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次...
[期刊论文] 作者:赵相福,欧阳丹彤,ZhaoXiangfu,OuyangDantong, 来源:仪器仪表学报 年份:2005
[期刊论文] 作者:赵相福,欧阳丹彤,ZhaoXiangfu,OUYANGDantong, 来源:仪器仪表学报 年份:2005
相关搜索: