求解器是一个通用术语，表示一种数学软件，可能是独立计算机程序或软件库的形式，它“解决”一个数学问题。
我在 VBA 循环中使用 Excel 2007 中的内置求解器来解决许多不同的问题。有时，求解器会达到最大时间，这会导致弹出对话框显示为...
我正在使用Python中的Z3求解器解决约束满足问题，我需要解决以下形式的约束： ForAll([x, y], 暗示(And(情况(x), 情况(y)), And(动作(...
我有一系列限制： 车道（l0）==真， 车道（l1）==真， OnComingLane(l1) == True, 车道标记(m1) == True, 车道标记(m0) == True, SolidWhiteLine(m1) == True, SolidWhiteLine(m0) == True,
在给定一组约束的情况下，cvc5 是否能够最小化或最大化表达式？
其他数学求解器，例如 z3 或 cplex，能够求解具有多个约束的数学模型，目的是最小化/最大化表达式，例如： a+b=10； 2<=b<=6
stateFunction 的各个部分是否有限制只能按升序或降序排列？
我有3个间隔： dvar 间隔 MyInterval[0..2]; 我有状态功能 状态函数 MyStateFunction; 我有限制： alwysConstant(MyStateFunction, MyInterval[i]); 总是在（
我想使用 MATLAB 求解下面的方程： 除 p 之外的所有参数都是已知的，因此我只需要求解 p 即可。然而，由于我需要考虑被积函数的符号，并且有一个
我刚刚发现我可以使用Matlab中的trapz函数来求给定向量的曲线下的面积。我想要做的是标准化这个向量中的值，使得...
我正在尝试弄清楚如何使用 ode23 来实现此目的。 我有一个功能： 函数 res = HardyWeinberg(inAFrequency, inFitness_AA, inFitness_Aa, inFitness_aa) fA = inAF 频率； wAA = inFitne...
“alwaysIn”（状态函数）是否可以从一组值中进行选择？
状态函数看起来是对我的情况进行建模的最佳选择。 在此输入图像描述 现在区间变量 X 可能处于从“vmin”到“vmax”的状态函数范围内。 但在我的情况...
R 中带约束的优化问题：如何解决“复杂”对数效益函数的问题？
我有以下优化问题： 最大化组合效益函数 F(x) = 2*10^9 + 160*x - 7*x*ln(x) F(y) = 3*10^9 + 170*y - 7.5*y*ln(y) 受 x + y <= 3*10^9 x,y >= 0...
我正在使用纸浆解决运输问题。 我有供应商列表（供应）和客户列表（需求）。供应总是大于需求，在某些情况下，并非每个供应商都被选择...
在活动工作表中， 我想创建一个值数组，其中宏从特定单元格（假设为“L5”）复制值并将其粘贴到目标单元格（I4）中。此后运行果阿...
导入sympy 从 sympy.abc 导入 x、y、z、a、b 我想找到以下方程的 x 和 y 的根：f(x,y) = 2(x - a) + (y - b)，其根为 x=a, y=b。使用 sympy 我得到 符号。
np.linalg.solve(X,Y) 不够准确。下面的代码求解一个相对较小的 5 个方程组： 将 numpy 导入为 np n=5 Y = np.随机.rand(n) X = np.tile(np.array(范围(1,n+1)),n...
求解器：用于“简单”逻辑问题的 OR-Tools 或 clingo(ASP) 模型
我尝试使用 OR-Tools 或 clingo(ASP) 解决“简单”的逻辑问题。 事情是这样的： 我有一组类似 Person(Tony, Bob, Ann, Carl, Amber, Peter) 的人 我也有像...这样的团体
如何用Python解方程？哪个相当于 Matlab 的 ode45？
我正在尝试用Python解方程。这是一个隐式方程，不容易求解。我认为 Matlab 命令是 ode45，但是 Python 的等效命令是什么？ 有没有福...
Pyomo 错误：未初始化的 NumericValue 对象没有值
我是一个非常新的 Pyomo 用户。我一直在尝试寻找与我的问题类似的例子，但我找不到任何既不太容易也不太困难的例子。我似乎在初始化时遇到问题
我正在为以下颂歌系统的解决方案编写一个Python脚本。我使用 scipysolve_bvp 库。 这是我的实现： 从 scipy.integrate 导入solve_bvp 将 numpy 导入为 np 绝对是...
我一直在尝试用Sympy的solve()函数求解方程组；但每当我在 Jupyter Notebook 中运行它时，内核只是说它很忙，而且似乎没有完成运行......
Pyomo - 使用 FastAPI 通过 Websocket 流式传输模型求解器输出
我正在使用 pyomo 创建一个优化模型，并尝试通过 FastAPI（普通 FastAPI 或 celery）公开它。在此过程中，我尝试捕获解算器输出，以近乎实时的方式将其传输给您...