solver

0熱

1答えて

ソルバー古いクラス： public static void main(String[] args) { int n = 4; System.out.println("Magic Square Problem with n = " + n); Problem myPb = new Problem(); IntVar[] vars = new IntVar[

2熱

1答えて

SymPy解法の解を関数に変換するときの問題

私は熱力学ラボの結果を処理するためにPython（3）を使用しようとしています。そのうちの1つは、最適フィットカーブを見つけ、必要な指数を推測することです。私はそれを解決するためにSymPyを使用しています。私は立ち往生しています。 SymPyは方程式をうまく解くことができますが、解決策を利用可能な形にすることは私を困惑させています。 SymPyからシンボリック以外のものに戻す方法はありますか？

-3熱

1答えて

CVXRでのソルバーの指定

パッケージCVXRを初めて使用しています。私はEMアルゴリズムの各反復の中で凸最適化を行うためにそれを使用しています。すべては最初は結構ですが、38回の反復の後、私はエラーを持っている： Error in valuesById(object, results_dict, sym_data, solver) : Solver failed. Try another. ソルバーは、最初はうまく動

0熱

1答えて

ExcelのソルバR

私はのExcelソルバーに似た何かを見つけようとしています。私はrが「L」の値を検索したい L=2.4 UCL=L; LCL=-L ARL=1/(pnorm(LCL, mean = 0, sd = 1, lower.tail = TRUE)+pnorm(UCL, mean = 0, sd = 1, lower.tail = FALSE)) 私の結果「ARL」は、例えばに近いような：たと

0熱

1答えて

MATLABはソルバー

私は非線形方程式OF3セットを持っていると私はMathWorks社のMATLAB function F = root2d(y) syms b1 b2 b3 w21 w31 theta1 theta2 theta3 a1 a2 a3; F(1) = (1+exp(-b1*(w21*y(2)+w31*y(3)-theta1)))^(-1) - a1*y(1); F(2) = (1/(1+exp(

0熱

1答えて

Z3：C APIを使用してすべての解決策を見つける

私はZ3ソルバーの新人で、Windows 10、VS2013コマンドプロンプトを使用しています。私はCを使用しようとしていますが、私はZ3ソルバーを使用して以下の問題を解決しようとしました。設定問題：a + 2*b + 3*c = 7を満たすa、b、cの可能な組み合わせは何ですか？は、だから私はZ3のCのコード例に基づいて、Cコードの下に作られた： void example(){

1熱

1答えて

特定のアクティビティからナビゲーション・ドロワー・アクティビティに戻る方法

ナビゲーション・ドロワー（HomePage.java）で自分のアカウントをクリックすると、アカウント・アクティビティ（account.java）に移動します。クリックしようとするとアカウントに戻ります（account.java ）私のアプリのストップ。プロフェッショナルなコーデックが誰に役立つのか見てみましょう。挑戦してください。私はたくさん試しましたが、何も助けてくれませんでした。私の質問と私の