问题标签 [solver]

好的，所以我将我的功能更改为回溯功能（我在网上找到的）。它仍然从文件中读取并将其输入到数组中，检查功能正常工作，所以我没有改变它。如果您想知道以下是我要解决的难题（零是空格）。

我刚开始使用 Java 构建模型，对 PV 模块进行一些分析。我目前正在为光伏模块、单二极管模型编写一个类。我需要使用一些数据点，例如“f（电流）=电压”，才能找到方程式中的所有因素。Excel 确实有这个功能，称为“使用 Excel Solver 工具进行优化”。有没有为这个功能强烈推荐的好的库？我尝试过“Choco 求解器”，但它不支持约束的许多数学函数。例如，当 a 或 b 是双精度时，它不允许您使用 a/b。

如果有人能帮我解决这个问题，我将不胜感激。

我在 Excel 中设置了一个优化问题。当我优化（使用 gui）时，我得到了目标函数的最终（最优）值。我可以看到 excel 计算了很多点的目标函数值并确定了最佳值。有没有办法将所有目标函数值保存到 Excel 表中的某个范围内。如果我可以使用求解器 GUI 来完成，那就太好了。如果没有，基于 VBA 的解决方案也可以。

谢谢。

对于一个班级，我被分配到一个项目来做一个基本的方程求解器。它需要解决线性方程组。例如，我应该能够解决一些方程：

• a*x + b = c
• a x + b = c x + d
• 16*x – 9*x = 一个
• x/16 – x/9 = 一个
• 8*(x+3) – 5*(x+4) = 12
• x^2 + 2*x + 1 = 0
• (x + 1)*(x – 1) = 0
• (x + 1) (x – 1) = 2 (x-1)
• x – 2*sqrt(x) + 1 = 0
• 日志 3*x - 日志 6 = 1
• 日志 3*x – 日志 6*x^2 = a
• 2^(x-1) * a = 2^(3*x+1)

我看过，只发现了一些有用的建议。我试图理解这个实现，但没有看到我把算术规则放在哪里。我试图阅读 Sympy 源代码，但我不知道要寻找我正在寻找的东西。我想在 txt 文件中定义某些规则。例如 u - v + v = u 并尝试看看如何将此规则应用于方程。

你们中有人知道我如何设计这个吗？

我正在寻找 C++ 中的代数多重网格求解器，到目前为止，我刚刚发现 LASPACK 很好，但需要大量编码才能设置多重网格级别等，而且文档不是很好。有什么好的选择吗？

我有一个数据集，用于计算（近似）非线性函数的参数。

原始数据点及时分散，目前我的求解器能够计算出最佳参数集，这些参数对给定时间段内的数据项的函数进行建模。当我合并更大的数据集时，函数逼近的准确性会提高。然而，与此同时，我不希望数据项太旧而无法在很大程度上影响函数逼近。我现在计划及时使用处于预定义窗口内的数据项。这个预定义的窗口将随着时间的推移而移动，合并新数据项并丢弃旧数据项。然而，要包含或排除数据元素，我总是必须从修改过的数据集开始处理，这是一个耗时且不适合实时操作的过程。

我试图解决的问题是如何将额外数据项的学习融入到近似函数中，而不必遍历整个原始数据集。最初的想法是通过子集中的总数据项与所有子集中的总数据项的比率，对从每个数据子集学习到的函数参数进行加权。有人能想到更好的方法吗？对任何可能的解决方案的提示将不胜感激。

我如何从 GUI 执行方程？示例： 我如何使用各种类型的方程来做到这一点？

感谢答案。

我正在尝试解决一个优化问题，其中一个输入变量必须以最小和最大约束为界。因为我最后没有运行 SolverReset，所以我可以告诉之后 Solver 忽略了第三个约束 ($F$5 <= 1)。我也可以说出来，因为有时它会给我一个答案，其中 $F$5 > 1。

当我手动使用 Solver 时，我可以添加第三个约束。我试过录制宏来看看我错过了什么，但我仍然很难过。我正在运行 Excel 2007。有什么想法吗？谢谢，

我正在寻找一个迭代线性系统求解器来计算不断变化的场。为了使模拟正常工作，我需要为每个时间步重新计算场（可能多次）。幸运的是，我对每个时间步都有一个很好的初始猜测，所以我最好将它输入到迭代求解器中。并且系数矩阵非常密集。

问题是我在线检查了几个迭代求解器，如 Gmm++、IML++、ITL、DUNE/ISTL 等。它们要么用于稀疏系统，要么不提供用于输入初始猜测的接口（我可能错了，因为我没有时间浏览所有文档）。

所以我有两个问题： 1 网上有没有这样的 c++ 求解器？2 由于系数矩阵可以大到数千 * 数千，直接求解器是否比具有非常好的初始猜测的迭代求解器更快？

太谢谢了！

他

我正在尝试使用 Z3 SMT Solver 证明以下内容：((x*x) + x) = ((~x * ~x) + ~x). 这是正确的，因为 c 编程语言中的溢出语义。

现在我编写了以下 smt-lib 代码：

z3 的输出是：

现在我的问题是：为什么结果“不满意”？我的代码中的简化命令表明可以获得有效的分配，以便 myfun1 和 myfun2 具有相同的结果。

我的代码有问题还是z3中的错误？

请任何人都可以帮助我。谢谢