• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Engineering Applications of Artificial Intelligence >Probabilistic logical approach for testing diagnosability of stochastic discrete event systems
【24h】

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems

机译：概率逻辑方法，用于测试随机离散事件系统的可诊断性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Fault diagnosis plays an important role in the prevention of harmful events in discrete event systems (DESs). Stochastic DES (SDES) is a more precise formulation of DES. In this paper, a novel approach that uses probabilistic logic to diagnose SDES is investigated. SDES is formalized as a set of probabilistic logical formulas. Moreover, a logical diagnoser is presented. Fault diagnosis of SDES has two properties: A-di-agnosability and AA-diagnosability. On the basis of resolution principle, an algorithm is proposed to test A-diagnosability and AA-diagnosability of the SDES. Experimental results demonstrate that our algorithm improves the accuracy and efficiency of verifying diagnosability of SDES.
机译：故障诊断在预防离散事件系统（DES）中的有害事件中起着重要作用。随机DES（SDES）是DES的更精确公式。本文研究了一种使用概率逻辑诊断SDES的新颖方法。 SDES被形式化为一组概率逻辑公式。此外，提出了逻辑诊断器。 SDES的故障诊断具有两个属性：A-di可诊断性和AA可诊断性。根据解析原理，提出了一种算法来测试SDES的A-可诊断性和AA-可诊断性。实验结果表明，我们的算法提高了验证SDES可诊断性的准确性和效率。

著录项

  • 来源
  • 作者

    Xuena Geng; Dantong Ouyang; Xiangfu Zhao; Shuang Hao;

  • 作者单位

    Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China,College of Computer Science and Technology, Jilin University, Changchun, China;

    Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China,College of Computer Science and Technology, Jilin University, Changchun, China;

    College of Mathematics, Physics, and Information Engineering, Zhejiang Normal University, Jinhua, China;

    Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China,College of Computer Science and Technology, Jilin University, Changchun, China;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Fault diagnosis; Stochastic discrete event system; Logical diagnoser; Logical diagnosability; A-diagnosability; AA-diagnosability;

    机译：故障诊断;随机离散事件系统;逻辑诊断程序;逻辑可诊断性;可诊断性;AA可诊断性;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号