中文
相关论文

相关论文: Fault tree reliability analysis via squarefree pol…

200 篇论文

Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Traditionally, these FTA-based analyses are done using…

计算机科学中的逻辑 · 计算机科学 2015-05-12 Waqar Ahmed , Osman Hasan

Fault tree analysis is a well-known technique in reliability engineering and risk assessment, which supports decision-making processes and the management of complex systems. Traditionally, fault tree (FT) models are built manually together…

神经与进化计算 · 计算机科学 2022-04-11 Lisandro A. Jimenez-Roa , Tom Heskes , Tiedo Tinga , Marielle Stoelinga

Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the…

软件工程 · 计算机科学 2024-06-04 Stefano M. Nicoletti , E. Moritz Hahn , Marielle Stoelinga

Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and…

计算机科学中的逻辑 · 计算机科学 2025-08-05 Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , E. Moritz Hahn , Mariëlle Stoelinga

Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In order to facilitate the formal analysis of FT based analyses, a…

计算机科学中的逻辑 · 计算机科学 2016-08-24 Waqar Ahmed , Osman Hasan

Fault tree analysis is a technique widely used in risk and reliability analysis of complex engineering systems given its deductive nature and relatively simple interpretation. In a fault tree, events are usually represented by a binary…

其他计算机科学 · 计算机科学 2022-04-26 Gabriel San Martin Silva , Tarannom Parhizkar , Enrique Lopez Droguett

Fault Tree Analysis (FTA) is a well-established method in failure analysis and is widely used in safety and reliability assessments. While FTA tools enable users to manage complex analyses effectively, they can sometimes obscure the…

系统与控制 · 电气工程与系统科学 2025-07-09 Hamid Jahanian

One of the important tasks of the Reliability Estimation is Analysis of the Fault Tree. A problem of Fault Trees analysis is considered one of the most complex ones, since structure of such trees is characterized by a considerable number of…

软件工程 · 计算机科学 2016-02-12 Sergey Porotsky

Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are…

密码学与安全 · 计算机科学 2019-05-10 Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga

Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively using stochastic or algebraic methods to judge the failure…

计算机科学中的逻辑 · 计算机科学 2017-12-11 Yassmeen Elderhalli , Osman Hasan , Waqar Ahmad , Sofiene Tahar

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

软件工程 · 计算机科学 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

One of the most appreciated features of Fault Trees (FTs) is their simplicity, making them fit into industrial processes. As such processes evolve in time, considering new aspects of large modern systems, modelling techniques based on FTs…

机器学习 · 计算机科学 2024-03-21 Roberta De Fazio , Stefano Marrone , Laura Verde , Vincenzo Reccia , Paolo Valletta

Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time, with the emergence of the (industrial) Internet-of-Things,…

形式语言与自动机理论 · 计算机科学 2019-09-16 Alexis Linard , Doina Bucur , Marielle Stoelinga

Considering the worst-case scenario, junction tree algorithm remains the most general solution for exact MAP inference with polynomial run-time guarantees. Unfortunately, its main tractability assumption requires the treewidth of a…

离散数学 · 计算机科学 2022-02-10 Alexander Bauer , Shinichi Nakajima

Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance…

计算机科学中的逻辑 · 计算机科学 2018-01-15 Nathalie Cauchi , Khaza Anuarul Hoque , Alessandro Abate , Marielle Stoelinga

We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a…

数据结构与算法 · 计算机科学 2025-04-23 Esther Galby , Andrea Munaro , Shizhou Yang

We present an algorithm for a fault tolerant Depth First Search (DFS) Tree in an undirected graph. This algorithm is drastically simpler than the current state-of-the-art algorithms for this problem, uses optimal space and optimal…

数据结构与算法 · 计算机科学 2019-03-28 Surender Baswana , Shiv Kumar Gupta , Ayush Tulsyan

Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system safety assessment, whereby an undesired state is reduced to…

人工智能 · 计算机科学 2017-10-11 Marco Bozzano

This paper proposes FREEtree, a tree-based method for high dimensional longitudinal data with correlated features. Popular machine learning approaches, like Random Forests, commonly used for variable selection do not perform well when there…

Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies…

计算工程、金融与科学 · 计算机科学 2015-05-19 Simon J. Schilling
‹ 上一页 1 2 3 10 下一页 ›