故障树、决策树和二叉决策图:系统比较

L. A. Jimenez-Roa, T. Heskes, M. Stoelinga
{"title":"故障树、决策树和二叉决策图:系统比较","authors":"L. A. Jimenez-Roa, T. Heskes, M. Stoelinga","doi":"arxiv-2310.04448","DOIUrl":null,"url":null,"abstract":"In reliability engineering, we need to understand system dependencies,\ncause-effect relations, identify critical components, and analyze how they\ntrigger failures. Three prominent graph models commonly used for these purposes\nare fault trees (FTs), decision trees (DTs), and binary decision diagrams\n(BDDs). These models are popular because they are easy to interpret, serve as a\ncommunication tool between stakeholders of various backgrounds, and support\ndecision-making processes. Moreover, these models help to understand real-world\nproblems by computing reliability metrics, minimum cut sets, logic rules, and\ndisplaying dependencies. Nevertheless, it is unclear how these graph models\ncompare. Thus, the goal of this paper is to understand the similarities and\ndifferences through a systematic comparison based on their (i) purpose and\napplication, (ii) structural representation, (iii) analysis methods, (iv)\nconstruction, and (v) benefits & limitations. Furthermore, we use a running\nexample based on a Container Seal Design to showcase the models in practice.\nOur results show that, given that FTs, DTs and BDDs have different purposes and\napplication domains, they adopt different structural representations and\nanalysis methodologies that entail a variety of benefits and limitations, the\nlatter can be addressed via conversion methods or extensions. Specific remarks\nare that BDDs can be considered as a compact representation of binary DTs,\nsince the former allows sub-node sharing, which makes BDDs more efficient at\nrepresenting logical rules than binary DTs. It is possible to obtain cut sets\nfrom BDDs and DTs and construct a FT using the (con/dis)junctive normal form,\nalthough this may result in a sub-optimal FT structure.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"27 4 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison\",\"authors\":\"L. A. Jimenez-Roa, T. Heskes, M. Stoelinga\",\"doi\":\"arxiv-2310.04448\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In reliability engineering, we need to understand system dependencies,\\ncause-effect relations, identify critical components, and analyze how they\\ntrigger failures. Three prominent graph models commonly used for these purposes\\nare fault trees (FTs), decision trees (DTs), and binary decision diagrams\\n(BDDs). These models are popular because they are easy to interpret, serve as a\\ncommunication tool between stakeholders of various backgrounds, and support\\ndecision-making processes. Moreover, these models help to understand real-world\\nproblems by computing reliability metrics, minimum cut sets, logic rules, and\\ndisplaying dependencies. Nevertheless, it is unclear how these graph models\\ncompare. Thus, the goal of this paper is to understand the similarities and\\ndifferences through a systematic comparison based on their (i) purpose and\\napplication, (ii) structural representation, (iii) analysis methods, (iv)\\nconstruction, and (v) benefits & limitations. Furthermore, we use a running\\nexample based on a Container Seal Design to showcase the models in practice.\\nOur results show that, given that FTs, DTs and BDDs have different purposes and\\napplication domains, they adopt different structural representations and\\nanalysis methodologies that entail a variety of benefits and limitations, the\\nlatter can be addressed via conversion methods or extensions. Specific remarks\\nare that BDDs can be considered as a compact representation of binary DTs,\\nsince the former allows sub-node sharing, which makes BDDs more efficient at\\nrepresenting logical rules than binary DTs. It is possible to obtain cut sets\\nfrom BDDs and DTs and construct a FT using the (con/dis)junctive normal form,\\nalthough this may result in a sub-optimal FT structure.\",\"PeriodicalId\":501310,\"journal\":{\"name\":\"arXiv - CS - Other Computer Science\",\"volume\":\"27 4 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Other Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2310.04448\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Other Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2310.04448","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

在可靠性工程中,我们需要了解系统依赖关系、因果关系、识别关键组件,并分析它们如何触发故障。通常用于这些目的的三个突出的图模型是故障树(ft),决策树(dt)和二进制决策图(bdd)。这些模型之所以受欢迎,是因为它们易于解释,可以作为不同背景的利益相关者之间的沟通工具,并支持决策过程。此外,这些模型通过计算可靠性度量、最小割集、逻辑规则和显示依赖关系来帮助理解现实世界的问题。然而,目前尚不清楚这些图形模型如何比较。因此,本文的目标是通过系统的比较来理解它们的异同,基于它们的(i)目的和应用,(ii)结构表征,(iii)分析方法,(iv)结构,(v)优点和局限性。最后,以某集装箱密封设计为例,对模型进行了实际应用。我们的研究结果表明,考虑到ft、dt和bdd具有不同的目的和应用领域,它们采用不同的结构表示和分析方法,这带来了各种各样的优点和局限性,后者可以通过转换方法或扩展来解决。特别值得一提的是,bdd可以被认为是二进制dt的紧凑表示,因为前者允许子节点共享,这使得bdd比二进制dt更有效地表示逻辑规则。可以从bdd和dt中获得切集,并使用(共/非)合取范式构造一个FT,尽管这可能导致次优的FT结构。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison
In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault trees (FTs), decision trees (DTs), and binary decision diagrams (BDDs). These models are popular because they are easy to interpret, serve as a communication tool between stakeholders of various backgrounds, and support decision-making processes. Moreover, these models help to understand real-world problems by computing reliability metrics, minimum cut sets, logic rules, and displaying dependencies. Nevertheless, it is unclear how these graph models compare. Thus, the goal of this paper is to understand the similarities and differences through a systematic comparison based on their (i) purpose and application, (ii) structural representation, (iii) analysis methods, (iv) construction, and (v) benefits & limitations. Furthermore, we use a running example based on a Container Seal Design to showcase the models in practice. Our results show that, given that FTs, DTs and BDDs have different purposes and application domains, they adopt different structural representations and analysis methodologies that entail a variety of benefits and limitations, the latter can be addressed via conversion methods or extensions. Specific remarks are that BDDs can be considered as a compact representation of binary DTs, since the former allows sub-node sharing, which makes BDDs more efficient at representing logical rules than binary DTs. It is possible to obtain cut sets from BDDs and DTs and construct a FT using the (con/dis)junctive normal form, although this may result in a sub-optimal FT structure.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Artificial Intelligence-based Smart Port Logistics Metaverse for Enhancing Productivity, Environment, and Safety in Port Logistics: A Case Study of Busan Port Evaluating the Usability of Qualified Electronic Signatures: Systematized Use Cases and Design Paradigms A Brief Discussion on the Philosophical Principles and Development Directions of Data Circulation Predicting Star Scientists in the Field of Artificial Intelligence: A Machine Learning Approach A Match Made in Semantics: Physics-infused Digital Twins for Smart Building Automation
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1