收藏本站
《吉林大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型诊断中的关键算法研究

赵相福  
【摘要】:本文首先简单介绍了基于模型诊断的基本思想、诊断过程及一些诊断引擎和系统的相关知识。然后提出了候选产生即计算极小碰集的一个新方法--HSSE-tree方法,并与其他方法进行了实验对比,指出我们方法的优点及适用范围。接下来给出了冲突识别过程中两个用于产生所有极小冲突集的方法CSSE-tree方法和CSISE-tree方法,并通过与其他方法进行理论和实验比较说明了我们方法的优点及适用情形;首次提出一个可用于产生所有极小冲突集和所有极小碰集的统一框架,以实现软件模块复用。本文还针对实例对Ng提出的增量诊断算法进行了改正,并依据测量点顺序选择给出一点改进及其应用。
【学位授予单位】:吉林大学
【学位级别】:硕士
【学位授予年份】:2006
【分类号】:TP18

【引证文献】
中国期刊全文数据库 前2条
1 杜敏;冯文全;王冬;赵琦;;基于二进制标签的改进HSSE-tree算法[J];北京航空航天大学学报;2012年11期
2 和麟;王彦松;张慧敏;马存宝;;故障传播模型的飞机电源系统故障诊断研究[J];机械与电子;2012年09期
中国硕士学位论文全文数据库 前3条
1 胡非;MBD在配电网故障诊断中的应用研究[D];西南交通大学;2011年
2 崔子谦;基于定性模型的卫星电源系统故障诊断方法的研究[D];哈尔滨工业大学;2007年
3 徐俊洁;一种基于模型的故障诊断系统研究与实现[D];大连海事大学;2010年
【参考文献】
中国期刊全文数据库 前10条
1 栾尚敏,戴国忠,陈由迪;基于逻辑的一种诊断方法[J];贵州工业大学学报(自然科学版);2002年04期
2 傅绍文,董健康;基于集合递推运算的最小hitting集算法[J];哈尔滨工业大学学报;2004年08期
3 于百胜,黄文虎;模型故障诊断中测点优选的一种评估方法[J];哈尔滨工业大学学报;1998年01期
4 方敏;一种识别最小冲突集的实用方法[J];合肥工业大学学报(自然科学版);1999年01期
5 欧阳丹彤,欧阳继红,刘大有;基于模型诊断的研究与新进展[J];吉林大学自然科学学报;2001年02期
6 林笠;基于模型诊断中用逻辑数组计算最小碰集[J];暨南大学学报(自然科学与医学版);2002年01期
7 郑小军,杨叔子,师汉民;基于深知识的多故障两步诊断推理[J];计算机学报;1991年03期
8 姜云飞,林笠;用布尔代数方法计算最小碰集[J];计算机学报;2003年08期
9 栾尚敏,戴国忠;利用结构信息的故障诊断方法[J];计算机学报;2005年05期
10 林笠;在基于模型诊断中计算最小碰集算法[J];计算机应用研究;2002年09期
【共引文献】
中国期刊全文数据库 前10条
1 阮永芬;熊光赤;刘永芳;熊恩来;;遗传-模拟退火算法在边坡稳定分析中的应用[J];地下空间与工程学报;2007年03期
2 王子玲;许爱强;;基于最小碰集的多故障诊断算法研究[J];兵工学报;2010年03期
3 张复春,张凤鸣,顾文灿;关于测点分布的矩阵分析[J];测试技术学报;2004年02期
4 胡非;刘志刚;范福强;关龙;;配电网线路故障的基于模型诊断方法[J];电力系统自动化;2012年10期
5 方敏,茹继锋,王峻;基于第一原理的实用故障诊断算法[J];东南大学学报;1999年03期
6 黄杰,陈琳,贾焰,邹鹏;一种语义为中心的分布构件系统故障诊断建模方法[J];电子学报;2004年S1期
7 赵相福;欧阳丹彤;;使用SAT求解器产生所有极小冲突部件集[J];电子学报;2009年04期
8 王子玲;许爱强;牛双诚;;基于多故障假设的诊断策略研究与应用[J];工程设计学报;2009年04期
9 林笠,马颖慧;遗传算法在图书采购决策中的应用[J];广东工业大学学报;2003年03期
10 张楠;孙吉贵;赵相福;欧阳丹彤;;求极小碰集的遗传算法[J];广西师范大学学报(自然科学版);2006年04期
中国重要会议论文全文数据库 前2条
1 赵相福;欧阳丹彤;;动态系统基于模型诊断的研究进展与展望[A];第七届青年学术会议论文集[C];2005年
2 徐敏强;金洋;王日新;;多粒度传递系统模型在探测器故障诊断中的应用[A];中国宇航学会深空探测技术专业委员会第九届学术年会论文集(下册)[C];2012年
中国博士学位论文全文数据库 前10条
1 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
2 王文铭;基于数据仓库的矿山企业信息系统及其应用研究[D];东北大学;2000年
3 黄杰;分布构件系统故障诊断技术研究[D];国防科学技术大学;2005年
4 范昭赋;基于算子分量矩阵模型的IMP程序诊断[D];中山大学;2007年
5 谈理;基于MAS的盾构机故障诊断知识引擎系统的研究[D];上海大学;2008年
6 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年
7 赵相福;离散事件系统基于模型诊断的若干问题研究[D];吉林大学;2009年
8 蒋荣华;基于粒子群算法的电子系统可测性研究[D];电子科技大学;2009年
9 邵继业;基于模型的故障诊断方法研究及在航天中的应用[D];哈尔滨工业大学;2009年
10 张建军;作战单元维修保障能力评估与优化技术研究[D];国防科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 邹向琪;间歇式反应釜温度控制系统故障诊断研究[D];大连理工大学;2010年
2 王红影;离散事件系统基于模型的增量诊断方法的研究[D];吉林大学;2011年
3 艾阳;求解极小碰集的ROBDD算法的研究与分析[D];吉林大学;2011年
4 刘登涛;基于数据挖掘的电厂机组特性识别及优化运行[D];杭州电子科技大学;2011年
5 余瑞;无人机飞行控制系统故障智能诊断专家系统的设计[D];电子科技大学;2011年
6 胡非;MBD在配电网故障诊断中的应用研究[D];西南交通大学;2011年
7 侯作猛;基于Internet的机械设备远程故障诊断平台[D];武汉理工大学;2002年
8 张英夫;基于模型推理的电网诊断与仿真系统[D];哈尔滨工程大学;2002年
9 李清东;火箭故检系统故障诊断专家系统设计与实现[D];西北工业大学;2004年
10 王元生;机电设备的系统诊断方法及其应用研究[D];武汉理工大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 宋凯;刘润华;康忠健;;基于混合数据挖掘方法的配电网故障诊断技术[J];电力科学与技术学报;2010年02期
2 龙兵,宋立辉,荆武兴,姜兴渭,李志;航天器故障诊断技术回顾与展望[J];导弹与航天运载技术;2003年03期
3 徐亨成,张建国,苏多;面向冲突诊断推理在空间电源系统故障诊断中的应用[J];导弹与航天运载技术;2005年01期
4 文福拴,邱家驹,韩祯祥;只利用断路器信息诊断电力系统故障的高级遗传算法[J];电工技术学报;1996年02期
5 毕天姝,倪以信,杨奇逊;人工智能技术在输电网络故障诊断中的应用述评[J];电力系统自动化;2000年02期
6 赵爽,任建文,周明;分层式电网故障诊断系统的设计与实现[J];电力系统自动化;2003年19期
7 陈维荣,钱清泉,王晓茹;神经网络在继电保护及故障诊断中的应用[J];电力系统自动化;1997年05期
8 廖志伟,孙雅明,叶青华;人工智能技术在电力系统故障诊断中应用[J];电力系统及其自动化学报;2003年06期
9 方敏,茹继锋,王峻;基于第一原理的实用故障诊断算法[J];东南大学学报;1999年03期
10 刘青松,夏道止;基于正反向推理的电力系统故障诊断专家系统[J];电网技术;1999年09期
中国硕士学位论文全文数据库 前7条
1 何赞峰;基于故障录波信息的电网故障诊断方法的研究及录波分析软件的开发[D];华北电力(北京)大学;2002年
2 沈璐;基于Petri网的配电系统故障恢复算法的研究[D];华北电力大学(北京);2003年
3 李晶;基于粗糙集理论的电网故障诊断专家系统研究[D];中国电力科学研究院;2005年
4 吴丽娜;卫星姿态控制系统故障诊断研究[D];哈尔滨工业大学;2006年
5 成蓬勃;基于数据挖掘技术的配电网故障诊断研究[D];广西大学;2007年
6 刘俏亮;结构抽象分层基于模型诊断的算法改进[D];吉林大学;2008年
7 钟炜;MBD在牵引变电所故障诊断中的应用研究[D];西南交通大学;2009年
【二级参考文献】
中国期刊全文数据库 前10条
1 栾尚敏,戴国忠,陈由迪;基于逻辑的一种诊断方法[J];贵州工业大学学报(自然科学版);2002年04期
2 欧阳丹彤,姜云飞;广义因果理论的基于模型的诊断[J];计算机研究与发展;1999年01期
3 李占山,姜云飞,孙吉贵;不确定因果理论的基于模型诊断[J];吉林大学自然科学学报;2000年04期
4 欧阳丹彤,欧阳继红,孙吉贵;广义因果理论上基于模型诊断过程的形式化[J];吉林大学自然科学学报;2000年04期
5 林笠;基于模型诊断中用逻辑数组计算最小碰集[J];暨南大学学报(自然科学与医学版);2002年01期
6 郑小军,杨叔子,师汉民;基于深知识的多故障两步诊断推理[J];计算机学报;1991年03期
7 欧阳丹彤,姜云飞;基于一致性的中心诊断及中心溯因诊断[J];计算机学报;1998年06期
8 欧阳丹彤,姜云飞;基于一致性的最小正常诊断及其应用[J];计算机学报;1998年06期
9 陈荣,姜云飞;含约束的基于模型的诊断系统[J];计算机学报;2001年02期
10 陈荣,姜云飞;用辩论刻画含约束的诊断空间[J];计算机学报;2001年03期
【相似文献】
中国期刊全文数据库 前10条
1 黄杰,陈琳,邹鹏;一种求解极小诊断的遗传模拟退火算法[J];软件学报;2004年09期
2 欧阳丹彤,欧阳继红,刘大有;基于模型诊断的研究与新进展[J];吉林大学自然科学学报;2001年02期
3 黄燕勤,黄燕钧;基于模型的局域网诊断系统[J];广西科学院学报;2003年04期
4 赵相福;欧阳丹彤;;使用SAT求解器产生所有极小冲突部件集[J];电子学报;2009年04期
5 黎旺星;基于模型诊断技术在数字电视机中的应用[J];电视技术;2003年11期
6 陈荣,姜云飞;含约束的基于模型的诊断系统[J];计算机学报;2001年02期
7 林海,孙吉贵;一种模型不完备条件下的诊断方法[J];广西师范大学学报(自然科学版);2003年01期
8 张立明;欧阳丹彤;赵相福;;基于故障行为的模型诊断方法[J];计算机集成制造系统;2008年09期
9 林笠;在基于模型诊断中计算最小碰集算法[J];计算机应用研究;2002年09期
10 范昭赋;姜云飞;;基于算子矩阵模型的程序诊断方法[J];华中科技大学学报(自然科学版);2005年S1期
中国重要会议论文全文数据库 前8条
1 全雄文;王力;;基于冲突集的区间调度问题性质分析和算法设计[A];中国自动化学会控制理论专业委员会D卷[C];2011年
2 欧阳丹彤;欧阳继红;程晓春;刘杰;;基于模型诊断中计算碰集的方法[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
3 陈洁;方敏;茹继锋;;基于MFM模型的诊断方法的研究[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年
4 欧阳丹彤;才殿波;李占山;;基于模型的动态分层诊断技术[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
5 李占山;王涛;孙吉贵;寇飞宏;;基于模型推理的系统修复与重用设计研究[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 章宁;孙宝文;;基于面向对象案例和约束规则的案例组合[A];2004年中国管理科学学术会议论文集[C];2004年
7 吴为民;;基于二元CSP的RTL数据通路可满足性求解方法[A];第五届中国测试学术会议论文集[C];2008年
8 徐向红;;协同设计中冲突的集成解决方案研究[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
中国重要报纸全文数据库 前10条
1 鲁 宁;农地“转非”中农民得到什么[N];21世纪经济报道;2003年
2 早报首席评论员 鲁宁;群众小事 执政大事[N];东方早报;2007年
3 李嘉 王攀 赖少芬、俞懋峰;“中国第一展”:中国外贸50年“风向标”[N];新华每日电讯;2006年
4 记者 林希 通讯员 穗仁宣;医保目录为何缺少平价药?[N];广州日报;2003年
5 洪治纲 评论家;生命的妙曼之舞[N];中国图书商报;2004年
6 朱寅峰;解析“服采”质价二元方程[N];政府采购信息报;2006年
7 万昆;朱德庸:“偷窥”是我的职业病[N];南京日报;2004年
8 刘义;农民工市民化的冲突与调适[N];农民日报;2005年
9 本报特约军事撰稿 聂云;“南亚虎”要“扑跃”马六甲海峡[N];世界报;2005年
10 马晓卫;应然与实然价值观的冲突[N];社会科学报;2000年
中国博士学位论文全文数据库 前6条
1 范昭赋;基于算子分量矩阵模型的IMP程序诊断[D];中山大学;2007年
2 赵相福;离散事件系统基于模型诊断的若干问题研究[D];吉林大学;2009年
3 黄杰;分布构件系统故障诊断技术研究[D];国防科学技术大学;2005年
4 邵继业;基于模型的故障诊断方法研究及在航天中的应用[D];哈尔滨工业大学;2009年
5 张立明;结合可满足的基于模型等价性验证及不一致诊断问题研究[D];吉林大学;2012年
6 刘亚清;开放式环境中的本体演化及其在信息抽取的应用研究[D];大连海事大学;2011年
中国硕士学位论文全文数据库 前10条
1 赵相福;基于模型诊断中的关键算法研究[D];吉林大学;2006年
2 张立明;基于一致性诊断中若干问题研究[D];吉林大学;2009年
3 云帆;求解极小碰集的遗传算法及其相关算法的研究[D];吉林大学;2007年
4 艾阳;求解极小碰集的ROBDD算法的研究与分析[D];吉林大学;2011年
5 徐俊洁;一种基于模型的故障诊断系统研究与实现[D];大连海事大学;2010年
6 胡非;MBD在配电网故障诊断中的应用研究[D];西南交通大学;2011年
7 王楠;基于模型诊断中测量方法的研究与实现[D];吉林大学;2006年
8 吕利;应用Bayesian网处理基于一致性诊断中的不确定性问题的研究[D];吉林大学;2007年
9 赵剑;基于模型诊断及其在动态系统中的应用[D];吉林大学;2008年
10 关龙;MBD关键问题研究以及在配电网故障诊断中的应用[D];西南交通大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026