タグ付けされた質問 「storage」

私はソフトウェアエンジニアであり、同僚と議論した後、シリアル化の概念を十分に把握していないことに気付きました。私が理解しているように、シリアル化は、OOPのオブジェクトなどのエンティティをバイトシーケンスに変換するプロセスであり、そのエンティティを後のアクセスのために保存または送信できます（「逆シリアル化」のプロセス）。 私が抱えている問題は、すべての変数（プリミティブのようなものでもint、複合オブジェクトでも）がすでにバイトシーケンスで表されているのではないかということです。（もちろん、レジスタ、メモリ、ディスクなどに格納されているためです） それでは、シリアル化をこれほど深いトピックにしているのはなぜですか？変数をシリアル化するために、これらのバイトをメモリに取り込んでファイルに書き込むことはできませんか？私が見逃した複雑さは何ですか？

38 storage 

RAID 6で2番目のパリティビットまたはバイトがどのように設定されるかを理解しようとしています。H。Peter Anvinの論文を読んでいますが、それはガロア体代数に入ります。とにかく、HPの担当者がRAID 6について説明してくれたので、彼女はそれが2回のXOR操作だと思った。これは私には意味がありませんが、私はまだ論文を検討しているので、RAID nではなくRAID 6の単純なものに減少するかどうかはわかりません。2番目のパリティビットは、XORベースの1番目のパリティビットよりもかなり複雑に思えます。本当？

7 operating-systems  storage  error-correcting-codes 

Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか？

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free