CVX拼图：使用Matlab和CVX工具箱解决拼图问题（THU凸优化家庭作业）

matlab cftool代码Sabatier-reaction-PDE-solver 这是一个用于求解质量和能量偏微分方程的 matlab 代码。 Cftool 可用于生成沿React器（壳管式换热器）长度的温度和浓度分布。 MATLAB 使用内置函数 pde-solver 来求解偏微分方程。 React器体积、空隙率、活化能等参数值取自文献，因此通过与该主题相关的各种其他研究论文进行验证。

cdcl-sat-solver 用于大学课程的用Java实现的CDCL SAT求解器。 先决条件 Java 8 测试用例 样本测试用例 文件夹inputs中提供了一些示例CNF公式。 生成新的测试用例 在src/com/kentnek/cdcl/FormulaHelper.java运行main()方法。 生成的CNF公式将被写入inputs/generated文件夹。 运行求解器 使用所需测试用例的路径更新src/com/kentnek/cdcl/Main.java中的INPUT_FILE_PATH常量的值。 运行main()方法。 如果公式是可满足的，则求解器将输出一个分配并进行验证。 如果公式不满足要求，则求解器将生成反驳证明，对其进行验证并将其写入proofs文件夹中的输出文件。 作者 肯特·阮（ Kent Nguyen） -初期工作- 执照 此项目已获得MIT许可证的许可-

% 功能：线性代数方程求解:AX=B % 解的判定矩阵：C=[A B] % 求解方法分三种情况讨论： % 唯一解：A为非奇异方阵，x=inv(A)*B % 无穷解：rank(A)=rank(C)

2021-11-05 00:12:36 700B matlab

1