关于 “ CS 560”（圣地亚哥州立大学）编写的“木制拼图”求解器。 利用寻找一个解决方案时和算法用于比较的益智配置时提供进一步的效率。

游戏规则： 填写网格，使每一行、每一列和每个 3x3 框都包含数字 1 到 9。 游戏板： 数独界面让用户以图形方式解决数独谜题。 谜题由内置的谜题生成器生成（三个难度级别可以选择），从内置的160个真正困难的谜题数据库中随机抽取，手动输入或从三个标准的ascii数独文件“简单数独”中加载' (.ss)、'Sudoku Puzzle' (.sdk) 或'Sudoku Puzzle Collection' (.sdm)。 游戏板可以保存为 Simple Sudoku 和 Sudoku Puzzle 文件。 当前板也可以导出为各种图像文件，例如 png、bmp、eps 或 tiff。 该板可以打印，也可以复制到剪贴板以作为图像粘贴到例如 MS Word 文档中。 游戏控制： 数独游戏可以使用鼠标或键盘（或两者）来玩。 使用箭头键移动标记并使用数字键添加数字。 删除、退格或 0（零）将从板上删除

Adams/Solver提供一种用於解算复杂机械系统復杂运动的数值方法。可以对以机械部件、控制系统和柔性部件组成的多域问题进行分析。Adams/Solver支援多种分析类型，其中包括运动学、静力学、准静力学、线性或非线性动力学分析。使用稳定的建模方法可以对巨大的模型进行分析。提供多种积分方法以有效的进行方程运算。Adams/Solver可以客制化。方便的使用使用者副程式建立特定的使用者模型。

支持的超平面优化工具包 SHOT是用于解决混合整数非线性规划（MINLP）类的数学优化问题的软件。 除了MINLP问题外，SHOT还可以用于子类，例如NLP和MI（QC）QP。 SHOT最初仅用于凸MINLP问题，但从1.0版开始，它还具​​有解决非凸MINLP问题的功能，作为一种启发式方法，而无需提供任何全局最优性的保证。 SHOT还可以将某些非凸问题类型求解为全局最优值，并且对于非凸问题也保证目标函数值的边界。 可以使用SHOT 作为控制台应用程序， 来自 ， 在， 来自任何可以使用ASL的建模系统，例如 ， ）和 ， 使用以C ++实现的API。 SHOT需要使用解算器： ， 或 。 此外，还需要一个NLP求解器。 目前仅支持 。 如果SHOT与GAMS连接，则可以使用任何许可的NLP求解器。 该文档在项目网站。 SHOT是一个COIN-OR项目，并赢

matlab中分段函数代码指南针MCP解算器 COMPASS是用于解决在MATLAB版本R2011a中实现的混合互补问题（MCP）的全局收敛算法。 它背后的数学理论基于PATH求解器，它是互补问题的标准求解器。 COMPASS是根据GNU通用公共许可证发行的，因此是免费软件。 COMPASS是一种解决混合互补问题（MCP）的算法： given f: R^n -> R^n, and (possibly infinite) bounds l, u find z in [l,u], w,v in R_+^n s.t.: f(z) = w-v <(z-l),w> = 0 <(u-z),v> = 0 用户必须在基于文件的界面中提供框式约束公式（目标函数和边界）中的MCP和目标函数的雅可比行列式。 COMPASS是稳定牛顿法的一种实现。 MCP被重新表述为发现通常不平滑的函数（法线图或法线方程）为零的问题，该函数在当前迭代时计算出其一阶近似值。 找出这个近似值的零是线性MCP，它是通过枢轴技术解决的，类似于Lemke所描述的方法。 该枢轴算法产生连接当前点和近似值零的分段线性路径。 此路径的端点是

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