基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
文中介绍了一种系统级故障诊断模型--通用比较模型.该模型允许处理器作为自身的比较器,综合了经典的PMC模型和Maeng/Malek模型的优点.基于该模型,分析了多处理器系统的t-可诊断性问题,给出了t-可诊断系统的特征化,证明了一个系统成为t-可诊断系统的新的充分必要条件.其次,证明了在通用比较模型中,确定故障处理器集的问题等价于求解一个超图的最小横切集(Minimum traversal),该超图是根据多处理器的通信图和比较图求得的.最后,给出了特定情况下的一个系统级故障诊断并行算法,该算法是完全分布的,并且在信息传输次数方面是最优的.
推荐文章
基于模型的诊断系统验证
诊断系统
基于模型
验证
基于CORBA的远程诊断系统模型
CORBA
三层C/S结构
远程诊断
基于模型诊断电路故障诊断系统的设计与实现
基于模型诊断
MiniSAT求解器
电路故障诊断系统
串口模块
基于多Agent的监测与诊断系统功能模型
Agent
监测与诊断
功能模型
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于通用比较模型的t-可诊断系统的特征化及并行诊断算法
来源期刊 计算机学报 学科 工学
关键词 t-可诊断系统 通用比较模型 症状 PMC模型 MM模型
年,卷(期) 2000,(2) 所属期刊栏目 研究论文与技术报告
研究方向 页码范围 126-133
页数 8页 分类号 TP302
字数 1665字 语种 中文
DOI 10.3321/j.issn:0254-4164.2000.02.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 洪炳熔 哈尔滨工业大学计算机科学与工程系智能机器人研究室 126 2827 27.0 49.0
2 彭宇 哈尔滨工业大学计算机科学与工程系智能机器人研究室 80 2316 24.0 47.0
3 乔永强 1 9 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (5)
节点文献
引证文献  (9)
同被引文献  (5)
二级引证文献  (19)
1984(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(3)
  • 参考文献(3)
  • 二级参考文献(0)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2003(3)
  • 引证文献(1)
  • 二级引证文献(2)
2004(1)
  • 引证文献(0)
  • 二级引证文献(1)
2006(4)
  • 引证文献(1)
  • 二级引证文献(3)
2007(1)
  • 引证文献(0)
  • 二级引证文献(1)
2008(2)
  • 引证文献(1)
  • 二级引证文献(1)
2009(4)
  • 引证文献(1)
  • 二级引证文献(3)
2011(2)
  • 引证文献(1)
  • 二级引证文献(1)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2014(2)
  • 引证文献(0)
  • 二级引证文献(2)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(3)
  • 引证文献(2)
  • 二级引证文献(1)
2019(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
t-可诊断系统
通用比较模型
症状
PMC模型
MM模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机学报
月刊
0254-4164
11-1826/TP
大16开
中国科学院计算技术研究所(北京2704信箱)
2-833
1978
chi
出版文献量(篇)
5154
总下载数(次)
49
论文1v1指导