問題タブ [quantify]

これは、この質問に基づいています。不均一な分布を生成する多くの回答が提案され、出力の不均一性を定量化する方法を考え始めました。私はパターン化の問題を探しているのではなく、単一の値の側面だけを探しています。

受け入れられる手順は何ですか？

私の現在の考えは、各値のエントロピーを計算し、加重平均をとることによって、呼び出しごとの平均シャノン エントロピーを計算することです。これは、期待値と比較することができます。

私の懸念は

1. これは正しいです？
2. 精度を落とさずにこれらの値を計算する方法は?

＃1については、正しいかどうか疑問に思っています。

＃2の懸念は、1/7 +/- 1e-18のような大きさの数値を処理することであり、浮動小数点エラーが最小の問題以外で私を殺すのではないかと心配しています. 計算の正確な形式は、ここでいくつかの大きな違いをもたらす可能性があり、いくつかの特別なログケースにはいくつかの ASM オプションがあることを思い出すようですが、これに関するドキュメントを見つけることができないようです.

この場合、範囲の「適切な」PRNG を使用して、範囲[1,n]の SRNG を生成します[1,m]。問題は、入力よりも結果がどれほど悪いかということです。

私が持っているのは、各出力値の予想発生率です。

こんばんは

私は本の「すべてのソフトウェア アーキテクトが知っておくべき 97 のこと」(サニタイズされた Amazon リンク) のQuantifyという項目を読んでいて、スケーラビリティを定量化する方法について疑問に思いました。

私は、英国の大手放送会社のために、次の用途に使用される 2 つのシステムを設計しました。

1. 着信 HTTP リクエストの発信国を検出する、または
2. 携帯電話の画面形状と現在の接続タイプに適したビデオ形式を決定します。

どちらの設計も、スケーラビリティを提供する必要がありました。

両方のシステムの私の設計は、これらの両方のサービスの着信要求を処理し、実際にサービス自体を提供する複数のサーバーに分散するために使用されるキャッシュ ロード バランシング レイヤーの背後で水平方向にスケーラブルです。サービス容量の最初の増加は、負荷分散レイヤーの背後にサーバーを追加することによって行われます。したがって、水平スケーラビリティという用語が使用されます。

このアーキテクチャのスケーラビリティには限界がありますが、ロード バランス レイヤーが着信リクエスト トラフィックの処理に問題を抱え始めると、

では、スケーラビリティを定量化することは可能ですか? ソリューションを水平方向に拡張するために追加できるサーバーの数の見積もりでしょうか?

私は、ユーザーが視聴したビデオの料金をユーザーに請求するPHPアプリケーションを開発しています。ビジネスモデルは「誰もが彼女が見ている金額にお金を払う」です。この目的のために、私はする必要があります。

1. セキュアビデオ（FLV）アクセスを実装します。（承認されたセッションがアクセス可能になります）

2. サーバーから送信されるビデオ（FLV）データの量を計算します。

   これに対する簡単な解決策は、PHP（ "fread"）でFLVを読み取り、チャンクごとに（ "echo"だけ）クライアントに送信することです。ただし、アプリケーションサーバーには1.7GBのRamsと単一のコアしかないため、この方法については実際のパフォーマンス上の懸念があります。

   短期的には多くのインプレッションが発生すると予想されますが、ハードウェアはできるだけ遅くアップグレードしたいと考えています。そのため、最も効果的な方法で、最小限のオーバーヘッドで要件を実装したいと思います。

   私はWebサーバーに縛られていません。私はApache2.2が好きですが、それが実装のための機能を提供する場合はlighttpdもデプロイできます。

どんなアイデアでも大歓迎です。

ありがとう！

数量詞を指定するために、数式フィールドにデータを渡す一般的な方法は何ですか。私は現在、次のようにします：

ここで、q_12 はジェネリックです。

しかし、このアプローチにはいくつかの固有の問題があります。

• 何らかの js/css の理由で ID を指定したい場合はどうすればよいですか?
• q_12 は js で読むのは簡単ではありません: var quant = parseInt(element.id.split('_').pop())
• id は値を渡すために作成されていません

これをどのように処理すればよいですか？一般的な方法はありますか？w3cが提案する方法はありますか?

このPurify/Quantify関数のようなもの：quantify_stop_recording_data（）

コンテキスト：z3を使用して制限付きJavaプログラムの検証について調査します。線形化問題の最適化モデルを取得したいと思います。標準的なアプローチは、不満のケースが見つかるまでモデルを段階的に検索することです。しかし、パフォーマンスは問題のようであり、z3 c / c ++ apiをツールに統合するJNIを導入することにより、コードの移植性が損なわれます。

ここで、Javaメソッドのすべての入力に制約を追加したいと思います。私は量配列を使用します（ヒープをモデル化するために配列の理論を使用します）。ただし、z3は、満足のいく問題が発生すると、常に「不明」をすぐに返します。モデルを生成することは不可能のようです。z3、INST_GENのオプションがあることに気づき、それを理解しようとしています。次の式をz3にフィードします。

1番目と2番目のケースの両方で、z3はLinuxでは「セグメンテーション違反」を返しますが、Windows7ではクラッシュします。両方のz3はバージョン4.0、x64です。

3番目のケースでは、定量化フリーであり、Z3はモデルを正常に生成します

私の最初の質問は、このオプションがどのように機能するかです。配列を列挙しますか？

2番目の質問は、z3が、配列の定量化に関する満たされていない問題に対して「unsat」を正常に返す可能性があることに気付きました。z3は、制限されたインデックスと要素を使用して、定量化された配列で満足のいく問題でモデルを生成するためのオプションまたはアプローチをサポートしていますか？たとえば、if-then-else句を使用します。

読んでいただきありがとうございます！どんな提案でも大歓迎です！

Windows XP で VC 6.0、Purify、PC-Lint、Quantify を使用してコンソール アプリケーションを開発しています。VC6 は Windows 7 および 8 では動作しません。Windows 8 にアップグレードする場合の開発環境のオプションを調べました。アプリケーションは標準の C++ コンソール アプリケーションです。ほぼすべてのユーザーが Linux を使用しています。クロスプラットフォームの C++ 開発で VC++ Pro 2013 または 2012 を使用した経験のある人はいますか? 具体的には、メモリ境界チェック、メモリ リーク チェック、およびコード パフォーマンス分析 (各関数にかかる時間) を実行できますか?