工具与工作流

从锥到半定约束：把凸优化模型落到可验证的工作流

线性、二次、二阶锥与半定规划的区别不在名称，而在目标、约束和可行集的结构；建模应从这一结构出发，再选择求解与验证路径。