通过无平方多项式进行断层树可靠性分析:数学和实验分析.
1Formal Methods and Tools, University of Twente, Enschede, the Netherlands.
概括
本研究提出了一种用于计算复杂系统中故障树 (FT) 不可靠性的新方法. 该方法提供了一种更有效的方式来评估系统的安全性和弹性,克服当前算法的局限性.
科学领域:
- 系统安全工程系统安全工程
- 可靠性工程可靠性工程
- 计算数学是指计算数学.
背景情况:
- 对风险模型的定量分析对于复杂系统的弹性至关重要.
- 断层树 (FTs) 是标准的风险模型,不可靠性是关键的安全指标.
- 目前对FT不可靠性的算法缺乏保证的时间复杂性,特别是在大型系统中.
研究的目的:
- 引入一种新的方法来计算通用故障树的FT不可靠性.
- 解决大规模风险模型所带来的计算复杂性挑战.
- 为FT不可靠性分析提供理论上健全且实际上高效的算法.
主要方法:
- 将树状FT的快速自下而上的算法扩展到一般FT.
- 在算术运算中使用无平方多项式的代数.
- 开发和验证用于计算FT不可靠性的新算法.
主要成果:
- 拟议的算法已被证明对一般的FT有效.
- 在有限的多父节点下实现线性时间复杂性.
- 通过实验证明了与最先进的方法相比的竞争力.
结论:
- 新方法在计算FT的不可靠性方面提供了显著的改进.
- 提供比现有的基于二进制决策图的算法更好的时间复杂性保证.
- 通过高效的风险分析提高了通过高效风险分析确保复杂系统弹性的能力.
相关概念视频
Fundamental Theorem of Algebra
209
The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as: with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the...
209
Routh-Hurwitz Criterion II
924
In the application of the Routh-Hurwitz criterion, two specific scenarios can arise that complicate stability analysis.
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
924
Survival Tree
375
Survival trees are a non-parametric method used in survival analysis to model the relationship between a set of covariates and the time until an event of interest occurs, often referred to as the "time-to-event" or "survival time." This method is particularly useful when dealing with censored data, where the event has not occurred for some individuals by the end of the study period, or when the exact time of the event is unknown.
Building a Survival Tree
Constructing a...
Building a Survival Tree
Constructing a...
375
Synthetic Disvision of Polynomials
122
Synthetic division is an efficient algorithmic approach for dividing a polynomial by a linear binomial of the form x - c, where c is a real number. This method is helpful due to its streamlined process, which avoids the more cumbersome steps involved in the traditional long division of polynomials. It simplifies computation and serves as a practical tool for evaluating polynomials and identifying their factors.To perform synthetic division, one begins by listing the coefficients of the...
122
Routh-Hurwitz Criterion I
516
Consider an electrical power grid, where stability is essential to prevent blackouts. The Routh-Hurwitz criterion is a valuable tool for assessing system stability under varying load conditions or faults. By analyzing the closed-loop transfer function, the Routh-Hurwitz criterion helps determine whether the system remains stable.
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
516
Real Zeros of Polynomials
129
Polynomials are algebraic expressions of terms with variables raised to non-negative integer powers. A central aspect of analyzing polynomial functions is determining their real zeros—values of the variable for which the polynomial evaluates to zero. These values represent the x-intercepts of the polynomial’s graph.The Rational Zeros Theorem lists possible rational solutions for a polynomial equation with integer coefficients. If f(x)=anxn+....+a0, then every rational zero is...
129


