问题标签 [nonlinear-functions]

我从未使用过 python，但 Mathematica 无法处理我试图求解的方程。我正在尝试求解以下方程的变量“a”，其中 s、c、mu 和 delta t 是已知参数。

我尝试在 Mathematica 中进行 NSolve、Solve 等，但它已经运行了一个小时，但没有运气。由于我不熟悉 Python，有没有办法可以使用 Python 来解决这个方程？

让我详细说明：

我有一个非线性时间轴，比如说[2.0,5.8,8.18,16.0,32.1]（可能是任何东西）

我在上述时间记录了一个波形，比如说[1,1,1,1,1,etc]

我需要将波形转换为线性range(start,end,x), [2,3,4,5,6,7,8,9,10,etc], 哪里x是允许我保留所有数据而不会丢失一些数据的数字

所以它最终成为[1,0,1,0,0,0,1,etc]. 无插值

我最初的尝试是

（伪类）：

但是，如果我这样做，这将需要很长时间！

有没有更简单的技术？

我找不到 Z3 完全支持哪种量词消除。我所拥有的是一个普遍量化的公式，一般来说是非线性项。我想获得一个等效的无量词公式。Z3可以吗？

谢谢，弗里德里希

I have the following function:

Here, L,Kc1,Kc2,Kc3 and Kc4 are arrays which already have 99 numerical values stored in them. Thus, I need to solve for x(1) and x(2) 99 times and store them in the arrays O2 and N2. For this, the code is:

Ideally, i should have gotten the arrays O2 and N2 by solving these equations. However, when I run my program, I get the following error:

Does anyone know what's wrong? Thanks in advance.

我正在尝试解决一个非常大的耦合非线性方程组。在此线程和 Matalb 的相关帮助（第一个示例）之后，我尝试编写以下代码：

其中函数nlsys如下：

当我运行程序时，Matlab 给出以下错误：

使用 fsolve 时出错（第 280 行） FSOLVE 要求用户函数返回的所有值都是双精度数据类型。

fsolve_test2 中的错误（第 32 行）[x,fval] = fsolve(@nlsys,y0);

我的错误在哪里？提前致谢。

柏图斯

将 z3 用于非线性实数算术时，我遇到了超时问题。下面的代码是检查 4 维超矩形的体积是否大于 50000 并且还满足一些约束。但是z3不能在1分钟内给出答案。如何让它更快？

还有一个有趣的事情：如果用“<=”和“>=”替换一些“>”和“<”，z3求解器可以在两秒钟内返回答案。对应的代码如下。有谁知道为什么会这样？

这个问题建立在从 lme fit 中提取预测带的基础上，但使用非线性混合模型。

我有一个按“条目”分组的响应值数据集。我使用 AIC 模型选择程序来测试哪种类型的模型（线性、对数、指数等）最能代表响应和预测变量之间的关系。现在我想绘制每个条目中数据的拟合值，然后跨条目绘制。我还想在整体趋势上绘制随附的置信带——请参阅 Ben Bolker 博客上提供的代码和上面的帖子（我知道这是对解释的一些技巧，但那是另一篇帖子）。后者是我遇到问题的地方 - 请参阅此示例代码：

结果图如下所示，置信带来回跳跃：

我怀疑我在某个地方出了差错（也许在矩阵乘法中？）。感谢您提供任何帮助，包括有关这是否是个好主意的建议！

如果我有两组高度耦合的 ODE，例如：

或者如果我有这样的系统：

ode45 通常会如何处理这个问题？如果我要执行以下操作：

或类似的第二个问题：

并运行 ode45，MATLAB 会毫无怨言地产生结果，但我有点犹豫，因为我不确定它是如何处理这样一个耦合方程组的。和建议？

我有一组高度非线性的隐式 ODE，我需要使用隐式求解器（例如 ode15i）来积分方程。为了使用 ode15i，您必须为导数和因变量获取一致的初始条件。MATLAB 有一个内置函数“decic”，可以计算一致的 IC，但是，当我执行该函数时，出现以下错误：

“DECIC 中的收敛失败。”

现在，一般来说，如果你的方程不一致，'decic' 会给你一个警告，要求你释放 Y0 的一些变量。但就我而言，我不认为我有不一致的方程，但我不确定为什么会出现收敛失败错误以及如何解决它。网上没有很多关于它的文档。我在下面包含了一个独立的代码，其中包含运行它所需的所有必要值。由于这是一个非常具体的问题，我无法真正缩短代码或给出简化的示例。任何建议/帮助表示赞赏。

可以使用以下命令调用上述函数：

可以在此处找到“decic”的文档（尽管关于我的问题没有太多有用的信息）：

http://www.mathworks.com/help/matlab/ref/decic.html

我想知道在以下情况下我最好的方法是什么。我有 8 个未知数，但是几乎无限数量的非线性方程使系统超定。

未知数：

U M V N J S W N

方程：

以下是我需要帮助的内容：

1）确定哪个Matlab（甚至在python中）函数将解决这组方程。

2) 使用 python 使用大型 Catime(i-1) 和 Srtime(i-1) 数据集生成输入（方程）。