問題タブ [solver]

ウィキペディアの「より近い近似」を使用して露点計算機を作成しています。

ユーザーが任意の 2 つの変数を入力した場合に露点を計算できるようにしたいと考えています。

多くの if ステートメントを使用するのではなく、これを行う簡単な方法はありますか?

より具体的には、相対湿度の代わりに湿球温度を使用したい場合はどうすればよいですか? 一連の変数を除外するには、新しい関数を作成するか、if ステートメントを使用する必要がありますか?

現在、私は温度と相対湿度を使用しています：

単純な最適化問題を解いています。データセットには26列と3000行以上があります。ソースコードは次のようになります

そして、すべてが完璧に機能しますが、同じことをより短い期間（261行のみ）で実行したいので、solve関数は次のエラーを書き込みます。

私がいくつかの乱数で同じことをするとき、それは奇妙です：

エラーはまったく発生しません。誰かが私に問題がどこにあるのか、そしてそれをどのように扱うのか説明してもらえますか？どうもありがとう、アレックス

このシンボリック非線形ベクトル方程式の解を見つけようとしています:

ここで、P、V0、V1、V2、P0、P1、P2 は既知の 3d ベクトルです。

私はこのようにMatlabでそれをやろうとしました:

私は得る

私はそれを解決する方法のアイデアを使い果たし始めています.これは私が試した最初の数学パッケージではありません.

興味深い点は、この方程式が単純な幾何学的解釈を持っていることです。ポイント P0-P2 が三角形の頂点であり、V0-V2 がほぼ頂点の法線であり、ポイント P が三角形の上にあると想像すると、3 つの光線 (V *t+P)、同じパラメーター t 値を共有します。a、b、(1-ab) が点 P の重心座標になります。

したがって、ケースが退化していない場合、t に対して明確に定義された解は 1 つだけ存在するはずです。

2007 xlsmファイル内にマクロがあり、呼び出されると、ソルバー構成（ターゲット、制約など）が作成され、ユーザーの操作なしでソルバーが実行されます。Excelから手動で実行する場合、これは正常に機能します。

これをPythonovercomからスクリプト化したいと思います。ただし、Pythonコードがソルバーマクロを呼び出す場合：

それは失敗します：

foob​​ar.xlsmの解決に失敗しました、エラーメッセージ：モデルのエラー。すべてのセルと制約が有効であることを確認してください。

の呼び出し時にPython環境にブレークポイントを設定し、Run()Excelから手動でマクロを実行すると、正常に機能するため、ソルバーの構成が間違っていることはありません。

エラーメッセージはソルバーのWebサイトにリストされていますが、シートが手動で正常に解決されるため、適用されないと思います。

このページは、comを介して呼び出すときに、ソルバー環境がまだセットアップされていないことを示しています。ただし、追加

私のソルバーマクロの最初の行は、より一般的な結果になります。

では、正しいことは何ですか？

編集：

私はそれを再現可能なテストケースに分離しました：

Pythonコード：

Excelファイル：http ：//dl.dropbox.com/u/3142953/testsolver.xlsm （マクロを無効にして開いて、単純なサブを調べてmodule1安全であることを確認できます）。

SMTLib2 ディレクティブ(get-info all-statistics)は、いくつかの数字を表示します。

さまざまな公理化とエンコーディングをテストするために、ある Z3 の実行が別の Z3 の実行よりも優れている/効率的であると宣言するのに適切な数値を知りたいです。

名前から推測するとnum. qa. inst、量指定子のインスタンス化の数は良い指標 (低いほど良い) ですが、他のものはどうでしょうか?

ここで見た最後の質問: Sudoku - Region testing で、3x3 領域を確認する方法を尋ねたところ、誰かが満足のいく答えを得ることができました (ただし、希望どおりに機能させるには多くの調整が必要でした。クラス table_t が何であったかは言及しません。)

プロジェクトを終了し、数独ジェネレーターを作成することができましたが、それは不自然な気がします。そして、パズルを生成するために非常に強引なアプローチをとることで、どうにか物事を複雑にしすぎたように感じます.

基本的に私の目標は、9 ～ 3x3 の領域を持つ 9x9 グリッドを作成することです。各行 / 列 / 領域では、1 ～ 9 の数字を 1 回だけ使用する必要があります。

これを解決する方法は、2 次元配列を使用して、一度に 3 行ずつランダムに数字を配置することでした。3行が完了すると、3行、3つの領域、および3番目の位置までの各垂直列がチェックされます。配列がいっぱいになるまで反復すると同じことが行われますが、ランドでいっぱいになっていて、各行/列/領域を複数回チェックしていたため、非常に非効率的でした。

2次元配列以外の任意のタイプのデータ構造でこれを行うための「より簡単な」方法はありますか? 垂直または水平のいずれかをより適切にチェックすることと一致する可能性のある各 3x3 領域をチェックする簡単な方法はありますか? 計算の観点からは、コードのサイズを劇的に肥大化させずに、より効率的に計算を行う方法があまりにも多くありません。

マクロの実行ごとにソルバーを設定しようとしていますが、何らかの理由ですべての制約を無視しているようですが、すべての制約を無視しているようです。

Range（ "n3"、Range（ "n3"）。End（xlDown））およびRange（ "k3"、Range（ "k3"）。End（xlDown））の制約を無視するだけです。

どんな助けでもいただければ幸いです。

ありがとう！

Excel VBAソルバーソリューションにいくつかの新しい制約を追加しようとしていますが、コードを実行すると奇妙な動作が発生します。最小化問題のために次のことをしたいのですが、問題があります。

調整される2つのレバーは、35％未満である必要がありますが、制約を追加すると、次のようになります。

これらを可能な限り低くするという考えの場合、自動的に35％に設定されます。この制約がないと、検証対象の問題に対してセルが35％未満に設定されるため、最適なソリューションは35％未満であることがわかります。

また、a）セルが5％単位で最適化され、終了値に小数が含まれていないことを確認する方法があるかどうか疑問に思いました。つまり、10.23％ではなく10.00％

長い質問をしてすみません、私は私が得るどんな助けにも感謝します。

完全なコードは次のとおりです。

optim()次の式でラムダを解くためにRで使用しようとしています：

ラムダ/シグマ^2 - ln(ラムダ/シグマ^2) = 1 + 1/Q

制約を受ける:

ラムダ > シグマ^2。

Rでこれを設定する方法がわかりません。

optim方程式は凸に見えるので、良い選択であるはずですが、私は代替の最適化ルーチンにもオープンです。

ありがとうございました！