[论文解读] Geometric properties of reliability polynomials

Zahir Abdul Haddi Hassan, Constantin Udrişte+1 more|arXiv (Cornell University)|Jul 8, 2015

Technical Engine Diagnostics and Monitoring参考文献 13被引用 16

一句话总结

本文通过将飞机电气系统的可靠性多项式建模为R⁵中的代数超曲面和可展曲面，提出了一种几何分析方法。利用微分几何与代数几何中的工具（如等值集、母线和雅可比秩分析），识别出系统可靠性关于时间呈线性关系的条件，并确定了等可靠性超曲面中嵌入的直线数量，为复杂网络可靠性提供了新的分析洞见。

ABSTRACT

Geometric modeling of multivariate reliability polynomials is based on algebraic hypersurfaces, constant level sets, rulings etc. The solved basic problems are: (i) find the reliability polynomial using the Maple and Matlab software environment; (ii) find restrictions of reliability polynomial via equi-reliable components; (iii) how should the reliability components linearly depend on time, so that the reliability of the system be linear in time? The main goal of the paper is to find geometric methods for analysing the reliability of electric systems used inside aircrafts.

研究动机与目标

• 开发用于分析复杂电力系统（特别是飞机应用）中多变量可靠性多项式的几何方法。
• 确定嵌入在表示恒定可靠性水平的等可靠性超曲面中的直线数量（即母线）。
• 识别出在何种条件下，元件可靠性必须关于时间线性依赖，以使整体系统可靠性保持关于时间的线性关系。
• 将代数几何与微分几何时技术应用于可靠性建模，从经典概率方法转向几何解释。
• 使用软件工具（Maple和MATLAB）计算并分析可靠性多项式及其几何结构。

提出的方法

• 将复杂网络（如桥接系统）的可靠性建模为五个可靠性变量的多项式：$ R_1(t), R_2(t), R_3(t), R_4(t), R_5(t) $，通过最小割集法推导得出。
• 通过将可靠性值视为$[0,1]^5$中的变量，将可靠性多项式转化为$\mathbb{R}^5$中的代数超曲面，形成几何对象。
• 利用可展曲面、常数值集（即等可靠性超曲面）以及雅可比矩阵分析可靠性超曲面的几何结构，以确定曲面上的直线数量（即母线）。
• 通过将部分可靠性系数设为零来降低维度，基于案例分析计算通过雅可比矩阵秩确定的关键参数数量。
• 应用概率约束，确保仿射函数$ a_i t + b_i $在时间范围内保持在$[0,1]$内，从而将定义域限制在有效概率区间内。
• 通过求解由可靠性多项式导出的多项式方程组，研究等可靠性超曲面上线性段（母线）的存在性。

实验结果

研究问题

• RQ1 由可靠性多项式定义的每个等可靠性超曲面中，包含多少条直线（母线）？
• RQ2 在何种组件可靠性$ R_i(t) $条件下，系统可靠性$ R_{Mc}(t) $会关于时间呈线性关系？
• RQ3 当可靠性多项式被解释为$\mathbb{R}^5$中的超曲面时，会涌现出何种几何结构（如可展曲面或代数簇）？
• RQ4 如何将最小割集法与代数几何结合，以分析超越串并联分解的复杂可靠性系统？
• RQ5 通过雅可比矩阵的秩确定，可靠性超曲面中可嵌入的最大独立参数数量（自由度）是多少？

主要发现

• 桥接网络的可靠性多项式被明确推导为$ R_{Mc}(t) = R_1R_4 + R_2R_5 + R_2R_3R_4 - R_1R_2R_3R_4 - R_1R_2R_4R_5 - R_2R_3R_4R_5 + R_1R_2R_3R_4R_5 $，表示系统的成功概率。
• 常数值零超曲面包含三个线性流形：$ R_1=0, R_2=0 $；$ R_2=0, R_4=0 $；以及$ R_1=0, R_4=0, R_5=0 $，表明当这些元件对全部失效时系统将失效。
• 通过案例分析和雅可比秩计算，确定了等可靠性超曲面上的直线（母线）数量，当所有$ a_i \neq 0 $时达到最大关键参数数量，表明具有最大自由度。
• 当所有元件可靠性均为时间的线性函数（$ R_i(t) = a_i t + b_i $）时，仅当满足由多项式结构导出的特定系数约束时，系统可靠性才保持关于时间的线性关系。
• 该几何框架可通过求解不等式$ -b_i/a_i \leq t \leq (1-b_i)/a_i $（当$ a_i > 0 $时）或相反（当$ a_i < 0 $时）来识别所有$ R_i(t) \in [0,1] $的有效时间区间，确保概率有效性。
• 该方法揭示了可靠性超曲面中存在嵌入的线性段，此类线段的数量取决于仿射参数化中零系数的配置，当无$ a_i $为零时达到最大独立参数数量。