問題タブ [inversion]

以下は、配列内の反転をカウントするコードです。この部分には疑問があります。

反転カウントでは、合計反転は i + ii + iii に等しくなりますが、「 i と ii の inv_count が値を取得する方法を理解できません。それらは再帰的に呼び出され、関数スタックに入力されますが、値はどこにもありません。は i と ii の inv_count に付与されますが、iii では、inv_count は invcount=inv_count+mid-i; を使用して値を取得しています。

ハードウェアを FMC に接続していますが、設計に問題があり、ハードウェアの FMC ピンに沿って極性が反転していることがわかっています。私はただ試して、すぐにこれを修正したいと思っています。

私はプロジェクトでそれをやろうとしました.LVDSバッファで、入力は「not」に接続されて反転しようとしましたが、これによりピンに次のエラーが発生しました:

次に、UCF ファイルを編集してみました。

n と p を交換しようとしたところ、極性を反転させていると言われ (これがやりたいことです)、これを追加するように指示されました。

しかし、これをどこに追加すればよいか、またはこれらのメッセージを無効にするにはどうすればよいでしょうか?

コードは小さなファイル サイズで実行されますが、100000 などの巨大なサイズのファイルを使用するとハングします。使用されるコードは次のとおりです。

これで、コードは 2 4 1 3 5 の入力に対して正常に実行され、反転の数は 3 になります。

n m : natCoq で が隣接する偶数であると言う方法の 1 つは、その関係を 0 と 2 から帰納的に定義することです。

ae_00 と 2 が隣接する偶数であることを示します。ae_1は、いくつかn m : natが隣接する偶数である場合、 と もそうであるmと述べていm + 2ます。これら 2 つのコンストラクターを使用すると、隣接する偶数のすべてのペアを無限大までカバーできます。ちょっと待って！これはn、 のm場合にのみ機能しn < mます。ae_2したがって、リレーション内の特定の数値ペアを反転 する最後のコンストラクターが必要です。

リレーションを定義したので、それが機能することを確認するためにサニティ チェックを行います。adj_ev 1 3たとえば、1 と 3 は隣り合った偶数ではないことを知っていますadj_ev。だから私は確かにそれを証明~ ( adj_ev 1 3 )できますよね？

数回反転した後、すぐに無限ループに陥ります。Coq に「どうすれば隣接して偶数になるnことができるのか?」と尋ねているようなものです。mCoq は、「まあ、おそらくandmはn隣接しており...」と答えます。Coq は、「まあ、おそらく隣接しており、さらには...」と無限に言います。mnnm

一般的な問題は、いくつかの帰納的に定義された対称関係があるR場合、 が実際に成り立つ場所で成り立つことを示すのは簡単ですRが、成り立たない場所で成り立たないことを示すのは難しいことです。このような場合、矛盾を抽出するよりも優れた戦術があるinversionかもしれませんが、それが何であるかはわかりません。

何かご意見は？

256 係数のファイルがあり、このファイルの各 64 係数を逆にして、結果を別のファイルに保存したいと考えています。アイデアをプログラムしようとしましたが、結果は間違っていました。

Matlab の素体上の楕円曲線に基づく認証プロトコルを実装しようとしています。点の加算と点の乗算は既に正常に完了していますが、次の手順の計算中に問題に直面しています: (大文字は曲線上の点、小文字は整数スカラーです)

計算するべきか

y^-1

なので

また、それは私が引き算をすることになっている方法ですか？

(点の y 座標を否定) mod 素数を加えてからnT2、別の点を加算します。