1回答
我有一个包含多列/多行的电子表格。我正在尝试为列中的某些行应用求解器。
我在第22列中设置了我的公式，在第24列中定义了需要由Solver求解的初始值，并且我希望为每一行匹配列10中的值。列22中的公式是=R123C12*NORMSDIST(RC[-2])-RC[-10]*EXP(-R16C2)*NORMSDIST(RC[-1])。
浏览 6提问于2020-02-20得票数 0
回答已采纳
通常，当我在excel上输入一个公式时，它会在我单击单元格时显示，但当我使用vba时，即使我单击它，它也只会显示该值。我需要显示公式，以便将其用作求解器的目标单元格。如果只是一个值，求解器就不会工作。srange1 = Range("B2:B" & n + 1)单元格只包含<
浏览 7提问于2017-02-15得票数 0
回答已采纳
1回答
如何在z3可满足性检查后仅获得所用变量的相关值赋值？我有多个断言作为Z3 Sat求解器的约束，而我需要检查它是否满足的一个布尔表达式。assertion may contain variables which are not present/irrelevant in the Boolean Expression (Formula)
分配给模型的值还包含对断言约束的分配，这对布尔表达式的可满足性没有影响。我可以在模
浏览 1提问于2020-06-18得票数 0
关联： (事实上，我认为这个问题的提交者可能是在追求我想要的)
有许多工具可以简化(或在求解前“预处理”) DIMACS格式的CNF公式，大多数SAT求解器都包含了一些。然而，我所知道的将一个可满足的公式简化为一个零或一个变量的可满足的CNF，即它们只是试图保持公式的可满足性。我至少尝试过SatELite和密码技术的</
浏览 2提问于2017-01-29得票数 3
回答已采纳
是否有可能只使用int和conjuctive/析取语句将数组和所有语句模型表示为更简单的方法？我试图跳过数组和所有语句，但似乎它并不只适用于整数。在给出结果的数组.mzn方法下面：int: y;int: k;
];
x=0;
z
浏览 0提问于2018-10-16得票数 0
回答已采纳
正如标题所说，我想创建一个公式(在脚本编辑器中)，以输出工作表中的选项卡列表，其中的名称包含在超链接中。我尝试使用range，但在某个地方读到不能跨单元格迭代(因为它是单元格中的公式)和设置值(本例中是setformula )。:(因为你不能在一个范围内循环，所以你必须使用一个数组。但是，它将公式输出为文本...它不是热的(链接的</em
浏览 1提问于2021-04-06得票数 0
2回答
我的问题有没有办法解决代数回路，而不改变原来的性能或设计的电路太多？我相信会有办法解决这个问题。但是，我不想让它破坏电路的原有性能。此外，这是一个客户提供的数据，似乎他们已经设法解决了这个问题。我只需要有人为我指出正确的方向，如何解决这个问
浏览 5提问于2013-07-25得票数 3
我目前正在处理一种情况，其中给Z3的断言包含大量的不等式和等式。它们在某种程度上是相互依赖的，通过将值分配给等式中使用的变量来开始求解公式是最有效的。有没有办法改变Z3的启发式，使求解器总是选择从这些公式“开始”？
我的猜测是使用一种策略，该策略最初处理包含上述等式的目标。然后，它将继续其他断言，并在必要时重新启动整个过程。然而
浏览 3提问于2017-05-10得票数 1
我怎样才能在haskell中得到一个随机命题公式？最好我需要CNF的公式，但我会我知道，我的真实世界数据导致了命题公式，这对于SAT求解
浏览 7提问于2014-04-30得票数 6
回答已采纳
我使用Pyomo 5.6.6和Couenne 0.5.6作为MacOS的下载可执行文件，将热交换器优化问题编程为MINLP问题。该模型有两个决策变量，即蒸汽形式的外部供热和冷却水形式的冷却效用。正在发生的问题是，只有当我在一个相当小的窗口中围绕最佳值设置使用热/冷的边界时，模型才能得到解决。否则Couenne说这个问题是不可行的。
有人知道为什么求解器在解决更大的界限时会有困难吗？换热器优
浏览 15提问于2019-08-08得票数 2
1回答
我想在for循环的每个循环中为不同的值求解一个方程。我通常在m-file函数中包含要求解的值，但我不能在for循环中的每个循环中更改m文件。有没有办法解决使用fsolve而不是一个值!=0。
浏览 0提问于2010-09-12得票数 1
回答已采纳
1回答
我知道如何将公式添加到我的宏正在循环的工作表中。ThisWorkbook.Sheets("Sheet1").Range("A" & i).Formula = "=1+1" =超级链接(“#Sheet2A1”，"Sheet2")
我将工作表名存储在变量( Sheet_Name )中，im试图设置超链接
浏览 1提问于2022-07-21得票数 0
回答已采纳
2回答
我正在尝试模拟一个具有充电和放电约束的电池调度模型。BESS是从太阳能光伏系统充电的。当我当前运行模型时，有一些时间段，BESS在同一时间充电和放电。
浏览 3提问于2019-12-12得票数 0
我试着用solve(g)找到满足公式g = And(ForAll([i, j, k], Implies(And(k <= 0, A * i + B * j + C * k + D <= 0), k +i - j <= 0)),Not(And(A==0,B==0,C==0)))的A，B，C，D的值。这有许多可能的解决方案，一种是A=1,B=-1,C=D=0，但Z3似乎无法做到这一点(solve(g)不会终止)。
Z3能做这种非线性(但简单)的公式吗？
浏览 3提问于2013-02-19得票数 2
回答已采纳
1回答
我在一个VBA循环中使用Excel2007中的内置求解器来解决许多不同的问题。有时，求解器会达到最大时间，这会导致出现一个弹出对话框，询问用户是要继续、停止还是结束。在所有情况下，我都希望它结束，并继续循环的下一行。这将避免用户每次都必须坐在那里进行响应。
我使用求解器传递方法()运行了一个宏，但随后它显示另一个对话框，显示“您键入的公式包含错误
浏览 3提问于2014-09-02得票数 3
回答已采纳
这些问题是基于我们在 "Python“小节中可以找到的教程，其中包含以下代码：y = Variable("y")z : [0.068150554073343028, 0.068589052763514458]
我知道这些x，y和z在某种程度上是满足公式的模型，这意味着设置“只有”0.001无法找到模型
浏览 9提问于2022-12-04得票数 0
回答已采纳
2回答
我正在使用CVXOPT二次编程的可选MOSEK求解器，即现在不使用MOSEK求解器，即可以使用以下命令抑制CVXOPT生成的终端输出但是，这在使用MOSEK求解
浏览 9提问于2012-06-07得票数 10
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
