問題タブ [nonlinear-functions]

私はPythonを使ったことがありませんが、Mathematicaは私が解こうとしている方程式を処理できません。次の方程式の変数「a」を解こうとしています。ここで、s、c、mu、およびdeltatは既知のパラメーターです。

MathematicaでNSolveやSolveなどを試してみましたが、1時間実行されて運がありませんでした。私はPythonに精通していないので、Pythonを使用してこの方程式を解く方法はありますか？

詳しく説明しましょう：

たとえば、非線形の時間軸があります[2.0,5.8,8.18,16.0,32.1]（何でもかまいません）

上記の時間に記録された波形があります。[1,1,1,1,1,etc]

波形を Linear に転送する必要が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でそれは可能ですか？

ありがとう、フリードリヒ

連立非線形方程式の非常に大きなシステムを解こうとしています。このスレッドと Matalb による関連ヘルプ (最初の例) に従って、次のコードを記述しようとしました。

ここで、関数nlsysは次のとおりです。

プログラムを実行すると、Matlab で次のエラーが発生します。

fsolve の使用エラー (280 行目) FSOLVE では、ユーザー関数によって返されるすべての値がデータ型 double である必要があります。

fsolve_test2 のエラー (32 行目) [x,fval] = fsolve(@nlsys,y0);

私の間違いはどこですか？前もって感謝します。

ペトリュス

非線形の実数演算に z3 を使用すると、タイムアウトの問題が発生します。次のコードは、4 次元超長方形の体積が 50000 を超えており、いくつかの制約も満たしているかどうかを確認するものです。しかし、z3 は 1 分以内に応答できません。速くする方法は？

興味深いことに、">" と "<" の一部を "<=" と ">=" に置き換えると、z3 ソルバーは 2 秒で答えを返すことができます。対応するコードは次のとおりです。なぜこれが起こるのか誰にも分かりますか？

この質問は、lme fit からの予測バンドの抽出に基づいていますが、非線形混合モデルを使用しています。

「エントリ」でグループ化された応答値のデータセットがあります。AIC モデル選択手順を使用して、どのタイプのモデル (線形、対数、指数など) が応答と予測変数の関係を最もよく表しているかをテストしました。ここで、各エントリのデータの適合値をプロットしてから、エントリ間でプロットしたいと考えています。また、全体的な傾向に付随する信頼帯をプロットしたいと思います。Ben Bolker のブログと上記の投稿で提供されているコードを参照してください (これは解釈の巧妙さを理解していますが、それは別の投稿です)。後者で問題が発生しています。次のサンプル コードを参照してください。

結果のプロットは次のようになり、信頼帯は前後に跳ね返ります。

どこかで道に迷ったのではないでしょうか (行列の掛け算でしょうか?)。これが良いアイデアかどうかについての提案を含め、どんな助けも大歓迎です!