(1) 條件或模式的存在系統、 元件或類比可能的 ；例如，飛行前程式狀態的飛機導航或輸入的狀態的給定 channel.~(2) 假定在給定時刻所定義的系統、 元件或類比特性的變數的值。