我正在使用python scipy模块中的RK45/RK23求解器进行实验。使用它来解决简单的常微分方程，它没有给我正确的结果。当我手动编写Runge Kutta 4阶代码时，它工作得很好，所以模块中的odeint求解器也是如此，但RK23/RK45不能。如果有人能帮我弄清楚这个问题，那就帮了大忙了。到目前为止，我只实现了简单的ODEs。yr.y[0],'g:'
浏览 42提问于2020-11-12得票数 1
回答已采纳
2回答
纸浆装置测试失败
、、
按照的说明，我使用“”安装了PuLP导入纸浆pulp.pulpTestAll()解决方案pulp.solvers.CPLEX_DLL不可用。解算器pulp.solvers.CPLEX_CMD不可用。解算器</e
浏览 10提问于2011-06-24得票数 6
我试图用“nlsat”解算器实现快速解释算法。由于该算法需要多次求解原约束集的子集，所以我决定在z3 c++接口中使用push/pop函数(在nlsat解算器中检查(假设)不工作)。选择器变量用于暗示添加/删除约束。
但当我解决约束集时，我遇到了一个问题。z3能够告诉我，整个约束集在不到1分钟的时间内是unsat。但是，当检查原始约束集的子集时，它不会给出超过1小时的</
浏览 3提问于2014-04-30得票数 1
回答已采纳
1回答
我是Python的初学者。目前，我正在编写一个代码，用于为具有初始值的非线性ODE系统开发一个简单的求解器。系统方程为。我将其设置为0，因为它只是一个“预测器”，以及每个方程的初始值(第8行)。
在GLM的基础上建立了过渡矩阵，它的数值来源于Runge的阶段方程(求k1到k6的值)和步长方程(求解)的常数。在接下来的最后一步中，我根据上一步的<e
浏览 1提问于2017-06-17得票数 0
回答已采纳
在“Python线性编程”上快速搜索一下，就会找到很多结果(例如)。浏览一下它们，我发现上有过时的依赖项、糟糕的文档等。有没有人推荐一个让人头疼的python线性编程库(例如，快速、文档齐全、易于安装、干净的API)？
浏览 0提问于2011-04-26得票数 22
回答已采纳
2回答
我正在使用python中的cplex .dll文件来解决一个使用纸浆解算器的精心设计的lp问题。以下是代码当我运行a.actualSolve(模型)时，我从subprocess.py文件中得到以下错误。OSError: WinError 193 %1不是有效的Win32应用程序
我尝试了32位和64位的python，但是不能解决这个问题。导入
浏览 0提问于2019-11-05得票数 0
2回答
有没有库可以用来实现函数的倒数呢？更具体地说，给定一个函数y=f(x)和域，有没有可以输出x=f(y)的库？遗憾的是，我不能在我的应用程序中使用matlab/数学，因为我在寻找C/Python库。
浏览 5提问于2013-03-04得票数 10
1回答
我目前正在使用scipy的稀疏解算器Python来求解稀疏线性系统。估计稀疏矩阵的是相当困难的。我可以找到矩阵的最大特征值，但对最小特征值的搜索永远不会收敛，因此我甚至不能使用最大(Eig)/min(Eig)=条件。使用另一个近似值，即max(
浏览 4提问于2017-02-23得票数 2
回答已采纳
1回答
我正在尝试使用Z3 (在Python中)作为一个SAT求解器，但是结果是出乎意料的。sss.check())所以我得到了sat，模型[c_0 = True, c_3 = False, c_1 = False, c_2 = False]，它包含公式(我不知道为什么变量赋值是按这个顺序给出的但是现在，我将And(Not(c_1), Not(c_2), Not(c_3))添加到公式中(不需要理解为什么)。然后我得到<e
浏览 9提问于2021-12-28得票数 1
回答已采纳
1回答
我使用tensorflow来加速僵硬的化学解算器。在这个过程中，我经常需要计算tf.pow(a，b)，其中a是张量，b是常数。在分析过程中，我发现tf.pow相当慢，甚至比tf.exp还慢。我对此感到惊讶，所以我将功率计算为tf.exp(tf.log(a)*b)并对其进行计时。令我惊讶的是，指数日志的速度是tf.pow的两倍。为什么会这样呢？这是相当出乎意料的。值得一提的是，我使用
浏览 3提问于2018-03-10得票数 1
m.AddConstraint(null, "b == If[a == 2, 2, 1]");
Console.WriteLine(sol.GetReport());
解算器会冻结，并且不会给出任何结果。我正在尝试使用If操作符，试图了解它是如何工作的，但似乎没有执行我期望的操作。我不确定我使用它的方式是否正确(我想说的是，如果a等于2，那么b必须等于
浏览 0提问于2012-06-23得票数 1
回答已采纳
这是Python的新手，但我正在尝试制作一个拼写字谜解算器，它将循环遍历一个大的文本文件，并在用户给出7个字母的机架上检查字谜。我正在使用is_anagram函数，并使用sorted()按字母顺序列出单词中的字母，然后使用if语句查看字典中排序的单词是否等于提供的排序字母。因为要搜索的字母来自一个很长的列表，所以列表中有一个由单词创建的<
浏览 0提问于2016-08-12得票数 2
我使用的是Github和openFoam (一个开源的cfd求解器包)。解算器的结果存储在与其模拟时间步长相对应的编号目录中。这些结果文件夹可能会很大，而且我也不希望它们中的大多数放在Github上，因为它们并不是特别有用。
但是，我希望上传最新的时间步长，因为它是最终结果。问题是，对于每个模拟，找到最终解决方案的总时间可能会有
浏览 0提问于2016-11-01得票数 0
我正在开发Python中的数独解算器，我需要在其中创建函数。其中之一检查数独矩阵，并返回其中包含重复数字的行数。usedChars.append(char)如果我传递一个矩阵[[1, 1, 1], [2, 2, 2], [3, 3, 3]]给它，它运行良好，并给出输出3，但为了检查所有列的重复数字，我需要将行转换为列，这意味着我需要这样的东西：Input
浏览 0提问于2020-04-04得票数 1
(k2^-1) * x(5);dxdt(5)= k2*x(3)*x(4) - (k2^-1) * x(5);plot(t,x(:,1)); %plot alacylabel('Concentration');
title('Alac'); 当我运行带有多个小数位的数字与整数的ODE45时，我收到以下错误： 使用horzcat
浏览 58提问于2019-10-07得票数 1
1回答
x = (a+b+c)/2 print (sqrt(result))
这给出了一个名称错误："NameError: name 'root‘is not defined“
我想在没有math.sqrt或root = number**(1/2)的情况下做这件事，我怎么才能不使用这两种方法来解决这个问题呢如果我使用另一种方法，为什么不会出现同样的错误"NameEr
浏览 10提问于2017-07-17得票数 1
回答已采纳
我正在尝试使用GEKKO来解决某种类型的商店库存平衡问题-主要目标是确定每天到达的商品(x)将在商店中提供足够的库存(Inv)，同时考虑销售(s)和需求(d)。 所以，我的目标函数是： ? 有限制的： ? APOPT (v1.0)，正如您所看到的，带有integer=True的变量用于平衡和到达。但是当我在输出中查看balancies y[i]的值时，我可以看到，对于某些天(预计会出现赤字)，优化器以某种方式为整数变量选择
浏览 17提问于2021-01-20得票数 2
我一直在开发Python2.7中的字谜解算器，我遇到了一个无法解释的好奇心。该程序从一个包含字形列表的文件中读取，该文件的格式如下：# anagram..直接将其读入一个字符串，Python显然会注释掉所有内容我试着在散列前面使用反斜杠，但是输入了错误的正斜杠，这给了我结果：
string = file.
浏览 1提问于2010-11-20得票数 1
2回答
我正在使用Z3 Python接口为我的实验创建公式。然后，我将该公式发送到Z3求解器。如果我没记错的话，Z3使用了自己的求解器！
如何在Z3py中使用不同的SAT/SMT求解器？我在CBMC (C bounded Checker)中使用的方法是:运行程序并生成一个中间DIMAC表示(在一个文件中)，然后使用该文件作为其他SAT求解器的输入。我可以在Z3中做类似的事情吗？
浏览 2提问于2017-06-19得票数 3
2回答
有没有人可以提供一个回溯算法来解决“集合覆盖”问题，以找到覆盖宇宙中所有元素的最小集合数量？
贪婪方法几乎总是选择比最佳集合数量更多的集合。
浏览 2提问于2010-10-30得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
实时音视频活动推荐
腾讯云开发者
