solver

0热度

1回答

我试图用Benders分解解决能源模型。在模型中，我们正在创建一个主模型和几个子模型。我想并行解决子模型，我看到一个例子here。这是我使用的代码是什么： from pyomo.opt.base import SolverFactory from pyomo.opt.parallel import SolverManagerFactory from pyomo.opt.parallel.

0热度

1回答

最短流程布局求解器

我在流水线上有一组机器的路由顺序。每条路线都必须经过整条生产线（也就是说，如果您只运行第一台和第二台机器，您仍然需要考虑从第二台到最后一台的距离）。我有六个不同的机器（720个可能的机器组合），每条生产线之间有固定的距离。第一台和第二台机器之间的距离是100'，第二和第三台之间的距离是75'，第三和第四台是75'，第四和第五台是25'，第五和第六台是25'。我有4个不同的产品必须跑下来，他们每

0热度

1回答

慢宏，解算器以及与UDF的

式我正在运行VBA代码基本上是：集某些细胞等于一定值这些被馈送到产生一个数字用于求解器的模型改变输入并获得最终数字输出循环次数约为150次，不是太多次。这一切都发生在工作簿2中。计算发生在工作簿1中。在工作簿1中，有相当多的具有用户定义函数的单元格。总共约4000个。运行VBA代码时，整个过程需要一分钟才能完成。如果我删除了Worksheet 1中的数据（因为它不需要这个特定的宏），

1热度

3回答

如何确定最好以扩大影响

免责声明：这个问题更关系到比纯Python编码（或Excel的求解器）问题的算法问题目前，我们正在迁移600个网站，一个新的平台。部分工作是将组件（30+）的代码移植到新平台。为了解决这个工作，我们已经清点每个组件的使用在每个站点：现在，我们应该在我们要端口，以便部件找到。基本规则如下：只要给定网站使用的所有组件都移植完毕，就可以迁移该网站。我们的目标是最大限度地提高可以尽早迁移的网站数

0热度

1回答

如何将之和与积约束转化为SMT-LIB2（对于Z3）

我不知道什么是最好的方式来一笔转换文件或类似产品成为SMT-lib2表达式，专门用于解决与Z3（或甚至metitarski）。我认为会有一个量词的显而易见的方法，但我在创建它时遇到了麻烦，并且在许多使用情况下，这样的总和可能具有exprLB和exprUB的常量，这意味着我希望某种策略会简单地将其展开成为一个长长的添加序列，使用量词可能会使这变得更加困难。例如，一个相当微不足道的战术转换成

1热度

2回答

致命异常：java.lang.IllegalStateException：无法为Android execute方法：的onClick

我得到的logcat的这些错误： FATAL EXCEPTION: main Process: com.sreekanth.gifapp, PID: 14761 java.lang.IllegalStateException: Could not execute method for android:onClick 我试图改变方法的名字，但没有奏效。这里是我的代码： XML： <?xml v

1热度

1回答

在特征::矩阵中转换一个dolfin ::矩阵

我在C++中编码，我使用的是FEniCS fenics/2016.1.0。我的代码的一部分是 Matrix A; Vector f; std::vector<std::shared_ptr<const DirichletBC>> dirichlet_matrici({dirichlet}); assemble_system(A,f,a,L,dirichlet_matrici); solve

-1热度

1回答

在RStudio中绘制两个变量的非线性方程

我想在RStudio中绘制0.2 * ln（x/40）-0.02（x-40）= - 0.04ln（y/100）+0.004（y-100）。我安装了“操纵”软件包并使用了plotFun，但它没有奏效。我尝试使用plot.function，但我找不到解决方案。请帮忙

1热度

1回答

使用Google优化工具的特殊求解器定义

我想学习一些东西。谁能告诉我下面的表达式的含义： from ortools.linear_solver import pywraplp def main(): solver=pywraplp.Solver('TravellingSalesmanProblemMIP', pywraplp.Solver.CBC_MIXED_INTEGER_PROGRAMMING) 它是用来创建求解器，我猜

0热度

1回答

返回解决变量使用python

我想写一个函数来解决从Python中的另一个函数的变量，有点像Excel解算器所做的。为了简化我的例子，我有一个函数需要几个变量，然后计算一个价格。我将传递实际值（a，b，c，d，x）到该函数中，以便返回数值。 def calc_price(a,b,c,d,x): value = a+b*c-d + x return value 现在我给出了一个目标价格，a，b，c，d。