2

システムとその完全な状態空間が与えられれば、その状態空間はそのシステムの動作の正式な仕様であると言うことができますか?状態空間がシステムの動作の正式な仕様であると言うことができますか?

+0

はあなたが私達にあなたの「完全な状態空間」の抜粋を表示することができますか?を参照してください。あなたの公式仕様のオーディエンスは誰ですか?異なる視聴者は、形式の異なる基準を有する。 –

答えて

3

ないあなたが正式に各状態にしてから、すべての可能な遷移を定義しているし、自分の状態空間システムがにすることができ、すべての可能な状態の包括的でない限り。

コンピュータシステムのための正式な定義では、それはすべきもコンピュータクラッシュなどの予期しない遷移が含まれます。フォルトツリー分析は、すべての可能な状態が定義されていることを確認するのに役立ちます。

wikipedia

関連する問題