問題タブ [implicit]

後方オイラー統合による質量ばねモデルを使用して、GPU ベースのクロス シミュレーションを実装しています。線形システムは、フィルター付き共役勾配ソルバーを使用して解決されます。すべてが GPU で行われます。多くの論文で指摘されているように、暗黙的な統合としては安定していると思いますが、陰的な方法と同じように不安定です。ほとんどの場合、タイム ステップ サイズが特定の値に達すると (剛性に応じて)、CG は収束を拒否し、無限ループに入ります。

コードを何度もチェックし、多くの論文を読みましたが、それでも理由を見つけることができませんでした。布は正しく動き、アニメーションは明示的な統合を使用したものよりもはるかに説得力があるため、力が正しく計算されていると思います。不安定な原因で見逃したものはありますか？

私は何日もこの奇妙な問題に取り組んできました......
誰か助けてくれませんか? 私が本当に感謝する提案

よろしくお願いします！

次のことがうまくいかない理由はありますか？

これを fsc 2.8.1 でコンパイルすると、次のエラーが表示されます:「パラメーターの数が間違っています。予期される = 1: a foreach { (el, i) => println(el, i) };」。私は何か間違ったことをしているのですか、それとも単に「私のライブラリをポン引きする」トリックによってオーバーロードされたメソッドを追加する方法がありませんか?

PS foreach の iterate-with-current-index フレーバーの実装についてではなく (zipWithIndex メソッドを認識しています)、オーバーロードと暗黙の変換がどのように連携するかについて疑問に思います。

私はスカラでコンビネータ計算の非常に軽量なエンコーディングを試しています。最初は、S コンビネータと K コンビネータ、アプリケーション、および定数値を実装しているだけです。後で、スカラ関数を持ち上げて、式をスカラ関数として評価できるようにしたいと考えています。ただし、それは後ほど。これが私がこれまでに持っているものです。

ここで、これについていくつかの型推論を行いたいと思います。スモール ステップ リダクションとラージ ステップ リダクションの実装を簡単にするために、データ モデルは型指定されていないため、型をこの構造の外部に配置したいと考えています。型情報を保持するものを導入しましょう。

値型は簡単です。

アプリケーションはもう少しトリッキーですが、基本的には関数アプリケーションに要約されます。通常の scala アプリケーションとの混同を避けるために、コンビネータ アプリケーションに型 ⊃ を導入しましょう。

これは私が立ち往生するところです。S コンビネータと K コンビネータの型を表す必要があります。ただし、それらは普遍的に量化された型です。それらを適用し始めるまで、実際のタイプはわかりません。Kさんを例に挙げてみましょう。

これを使用しようとした最初の数回は、K を K[X, Y] としてパラメーター化しましたが、これは (壊滅的に) ポリモーフィック性が不十分です。K の型は、最初の引数の型を待ってから、次の引数の型を待つ必要があります。K を 1 つの値だけに適用する場合、次の引数の型はまだ固定されていません。(K x:X) を取得して、文字列、int、または好きな型に適用できるはずです。

したがって、私の問題は、S と K の typeOf を生成する暗黙の記述方法と、∀ 量化された型を正しく処理する方法です。ひょっとして、こんなものが欲しいのかな？

しかし、配管を行うために∀型をどのように記述すればよいかわかりません。∀ を正しく取得することに加えて、既存の A#typeOf =:= ⊃[ に加えて、 typeOfAp が A#typeOf =:= ∀[...] ケースを処理するための 2 番目の暗黙的なものがあると感じています。 ...] 1。

ありがとう、

マシュー

LaTeX が方程式の改行を解釈する方法を逆にする方法はあるのだろうか? たとえば、次のように明示的に挿入したくありません。

、しかし暗黙のように、

ありがとう。

<input>一部のフロントエンドの専門家は、 (暗黙的なラベル) でan をラップすることが (属性<label>を持っている場合でも、明示的なものと比較して) 望ましい方法であると主張しています。for

その理由が何であれ、Django を使って技術的にエレガントな方法でこれを行う方法を知りたいと思います。

Doublesからsへの変換の状況はBigDecimalJavaと比較して少し改善されていますが

とのようなもの

本当にうまく機能します、次のような暗黙の変換を行うことは合理的ではないでしょうか

このように文字列をBigDecimalsに変換できるデフォルトで利用可能ですか？

または、何かが足りないので、ScalaはJavaのすべての「問題」を、の代わりに浮動小数点値を持つコンストラクターを使用して解決しましたBigDecimal。基本的に、Scalaではもう必要ありません。StringBigDecimal(String)

コンストラクターが明示的である場合、暗黙的な変換には使用されません。指定されたスニペットでは、コンストラクターはとしてマークされていexplicitます。それでは、なぜfoo obj1(10.25);それが機能していて、機能しfoo obj2=10.25;ていないのですか？

エラー：エラーC2440：'初期化中'：'double'から'foo'に変換できません

私はRubyを学んでいますが、暗黙の戻り値全体に問題があります。これが空のベクトルを返す理由を誰か教えてください:

引数パスから再帰的に検索したときに見つかったすべてのファイル名 (拡張子を除く) の配列を返す必要があります。

「/tmp」で関数を呼び出し、tmp に「A.txt」と「Bm」の 2 つのファイルと、「C.exe」という 1 つのファイルを含むディレクトリが含まれているとします。この関数が ["A","B","C"] を返すようにしたい

Scala 仕様 (2.8) によると、暗黙的が見つかるには、ローカル スコープ、継承されたスコープ、またはコンパニオンオブジェクトで定義する必要があります。それを考えると、次のコードは、コンパニオン オブジェクトの内容を明示的にインポートしなくても機能するはずです。これは Scala ライブラリ ソース (例: CanBuildFrom) で使用されています。また、XX クラスの定義の外側から XX.foo() を呼び出して、コンパニオン クラスの暗黙のパラメーターを使用できるようにする必要があるようです。私は何が欠けていますか？

暗黙のオブジェクトのこのアプリケーションを検討してください

それは機能しますが、明らかにそれほど有用ではありません。例のIntやStringのような具象型に対してこれを書くことは問題ありませんが、AとBを抽象化する暗黙のオブジェクトまたはvalを書く方法がわかりません。

これはどのように行うことができますか？そうでない場合、この機能を備えた言語拡張を期待するのは合理的ですか？