StAnD (Medium problems)

Medium problems from the Static Analysis Dataset静态分析数据集（Static Analysis Dataset）中的中等难度问题

搜集汇总

背景与挑战

背景概述

StAnD (Medium problems) 是Static Analysis Dataset的一个子集，专注于框架结构的中等规模线性静态分析问题。该数据集包含约100,000个训练问题和1,000个测试问题，平均自由度约7,000个，每个问题以稀疏刚度矩阵、载荷向量和位移向量的元组形式存储，旨在为稀疏线性系统求解器的性能比较和算法研究提供标准化基准。