(1) 条件或模式的存在系统、 组件或模拟可能的 ；例如，飞行的飞机导航程序或输入的状态给 channel.~(2) 假定在给定时刻所定义的系统、 组件或模拟特征的变量的值。