文件名称：vsdp-2020：VSDP：经过验证的半定性编程（2020版）
文件大小：1.34MB
文件格式：ZIP
更新时间：2024-03-10 05:08:38
MATLAB
VSDP：经过验证的半定二次线性编程（2020版） 这是VSDP的最新版本。 VSDP是一个软件包，用于在圆锥编程中计算经过验证的结果。 它支持约束圆锥，该约束圆锥由半定圆锥，二阶圆锥和非负正整数的乘积组成。 它提供了一些功能，用于计算真正的最佳值的严格误差范围，经过验证的epsilon最佳解决方案的封装以及经过验证的不可行证书。 考虑了由于浮点运算而产生的所有舍入误差。 该软件完全用 / 编写，需要间隔工具箱 。 因此也支持间隔输入。 此版本的VSDP可轻松访问圆锥求解器： ， ， ， ， ， ， 和 。 有关更多信息，请访问 。