Southern Methodist University

面向激光粉末床熔融的设计评估不再只由工程师在预设规则与仿真工具之间手工搬运。AgenticDfAM 让语言模型智能体负责解读制造指南、选择工具和提出改设计，几何测量与数值比较交给可执行工具完成。在四个算例上，三种改设计策略清除了分析件的全部参考违规，热反馈把支架预测层尺度峰值温度降低 160 °C，支撑构造代码经智能体诊断修正后在四个取向上复用。

面向激光粉末床熔融的设计评估不再只由工程师在预设规则与仿真工具之间手工搬运。AgenticDfAM 让语言模型智能体负责解读制造指南、选择工具和提出改设计，几何测量与数值比较交给可执行工具完成。在四个算例上，三种改设计策略清除了分析件的全部参考违规，热反馈把支架预测层尺度峰值温度降低 160 °C，支撑构造代码经智能体诊断修正后在四个取向上复用。

该工作用 FLAME 形式化方法系统推导斜对称矩阵 X = LTLT（L 为单位下三角、T 为斜对称三对角）三角三对角化的一族算法，给出无主元与带主元的多种分块右看、左看及融合变体，识别出新的 level-2 与 level-3 BLAS 类运算，并借助 BLIS 2.0 的打包机制与 OpenMP 并行实现，实验表明其最佳实现性能大幅超过此前唯一已知软件 PFAPACK 与 Pfaffine，同时与相关对称矩阵分解软件相当或更优。

该工作用 FLAME 形式化方法系统推导斜对称矩阵 X = LTLT（L 为单位下三角、T 为斜对称三对角）三角三对角化的一族算法，给出无主元与带主元的多种分块右看、左看及融合变体，识别出新的 level-2 与 level-3 BLAS 类运算，并借助 BLIS 2.0 的打包机制与 OpenMP 并行实现，实验表明其最佳实现性能大幅超过此前唯一已知软件 PFAPACK 与 Pfaffine，同时与相关对称矩阵分解软件相当或更优。