MaxSAT Evaluation 2020 - Benchmark
收藏arXiv2020-07-16 更新2024-06-21 收录
下载链接：
https://github.com/mbarrere/mpmcs4fta
下载链接
链接失效反馈官方服务：
资源简介：
本数据集名为MaxSAT Evaluation 2020 - Benchmark，由帝国理工学院科技与安全研究所创建，专注于识别故障树中的最大概率最小割集（MPMCSs）。数据集包含80个案例，涉及不同大小和组成的故障树，每个案例均提供了最优成本和解决方案。数据集的创建过程涉及将故障树转换为加权逻辑公式，并构建和解决加权部分MaxSAT问题。该数据集主要应用于安全性和可靠性工程领域，特别是在高风险行业如航空航天、核电站等，用于风险评估和系统故障分析。
This dataset is named MaxSAT Evaluation 2020 - Benchmark, developed by the Institute for Science and Security Research, Imperial College London. It focuses on identifying the Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. The dataset includes 80 cases covering fault trees of varying sizes and compositions, with each case providing the optimal cost and corresponding solution. The creation process of this dataset involves converting fault trees into weighted logical formulas, as well as formulating and solving weighted partial MaxSAT problems. This dataset is primarily applied in the fields of safety and reliability engineering, particularly in high-risk industries such as aerospace and nuclear power plants, for risk assessment and system fault analysis.
提供机构：
帝国理工学院科技与安全研究所
创建时间：
2020-07-16
