solver 相关问题

使用 CP-SAT 求解器为整数变量设置不同的带间隙值

我正在使用 CP-SAT 求解器使用 python 进行优化。 我有一定数量的 IntVar，它们的名称代表事件。我希望每个变量之间的延迟最小...

使用 SymPy 最大化功能 - 曲柄杆应用

我想知道曲柄杆应用的最坏情况。 连杆上的力 Ft 由下式给出： 我想知道它的最大值。 我尝试在 Wolfram Alpha 或 SymP 上解决它...

ufunc 的循环不支持 Float 类型的参数 0，该类型没有可调用的 log 方法

a = 0.5 b = 1 l = 符号('l') l = 求解(a*b/2+b/l-1, l)[0] 数 = 1-l/b*(r-a*b/2) -1/l*np.log(数字) 给出错误 TypeError: ufunc 循环不支持没有 callab 的 Float 类型的参数 0...

如何让Excel选取几个数字来求和？

我不确定如何更好地表达这个问题，但请参阅下面所附的图片。基本上，在这个例子中，我有一个数字作为目标，10（在左边）。然后，我在

Gurobi：导入错误：导入 gurobipy 时 DLL 加载失败：找不到指定的模块

我使用“conda”安装gurobi 11.0，当我在pycharm 2023平台上运行代码时“from gurobipy import *”。然后它总是发出 ' from .gurobipy import * 导入错误：DLL 加载失败

我可以在Excel中为求解器定义多个目标而不编写宏吗？

我需要通过更改一个会影响所有单元格的变量（工作表中的单独单元格）来求解 Excel 中列的每个单元格的方程。我怎样才能在Excel中做到这一点？

从 OR-Tools 设置 CP-SAT 求解器的 IntVar 值

我目前正在使用 google OR-tools CP-SAT 求解器来解决规划问题。我使用 IntVars 作为日期的表示。所有这些 IntVar 都在字典中。我有一些限制...

Pyomo/JuMP/Yalmip 在使用 Python/Julia/Matlab 和 Gurobi Solver 求解优化模型中的作用是什么？

我试图了解建模框架（例如 Python 的 Pyomo、Julia 的 JuMP 和 Matlab 的 Yalmip）在求解优化模型中的作用。我正在求解一个具有许多约束的模型

VBA Solver 禁用每次迭代后弹出的对话框

我在 VBA 循环中使用 Excel 2007 中的内置求解器来解决许多不同的问题。有时，求解器会达到最大时间，这会导致弹出对话框显示为...

在 Z3 求解器中使用封闭世界假设求解约束

我正在使用Python中的Z3求解器解决约束满足问题，我需要解决以下形式的约束： ForAll([x, y], 暗示(And(情况(x), 情况(y)), And(动作(...

使用 z3 定理获得基于给定约束的唯一解决方案

我有一系列限制： 车道（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 积分求解方程

我想使用 MATLAB 求解下面的方程： 除 p 之外的所有参数都是已知的，因此我只需要求解 p 即可。然而，由于我需要考虑被积函数的符号，并且有一个

求解一个参数，使得曲线下面积等于 1

我刚刚发现我可以使用Matlab中的trapz函数来求给定向量的曲线下的面积。我想要做的是标准化这个向量中的值，使得...

Matlab：在连续输入范围上使用 Ode23

我正在尝试弄清楚如何使用 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...

向纸浆添加约束。交通问题

我正在使用纸浆解决运输问题。 我有供应商列表（供应）和客户列表（需求）。供应总是大于需求，在某些情况下，并非每个供应商都被选择...

运行Goalseek时循环行和列

在活动工作表中， 我想创建一个值数组，其中宏从特定单元格（假设为“L5”）复制值并将其粘贴到目标单元格（I4）中。此后运行果阿...