航天运载工具的案例

Dori视频

我做的例子

航天飞机发射 in-zoomed

OPT如下

航天团队 is physical. 航天团队 handles 发射载具运输和装载. 发射中心团队 handles 气象监控. 安保团队 handles 发射区域禁入. 发射综合设施 is physical. 发射综合设施 can be 未建立 or 建立. 未建立 is initial. 地球参考定位 can be 在地面 or 在空中. 在地面 is initial. 安全抵达外太空的能力 can be 存在 or 不存在. 航天飞机发射 is physical. 航天飞机发射 exhibits 发射综合设施是否可运行, 气象是否适合发射, and 发射区域是否清空. 航天飞机发射 consists of 发射载具运输和装载, 发射综合设施检查, 气象监控, 发射区域禁入, 发射综合设施发射, and 发射综合设施延误. 航天飞机发射 zooms into 发射载具运输和装载, 发射综合设施检查, 气象监控, 发射区域禁入, 发射综合设施发射, and 发射综合设施延误, as well as 发射区域是否清空, 气象是否适合发射, and 发射综合设施是否可运行. 发射区域是否清空 can be 否 or 是. 气象是否适合发射 can be 否 or 是. 发射综合设施是否可运行 can be 是 or 否. 发射载具运输和装载 is physical. 发射载具运输和装载 changes 发射综合设施 from 未建立 to 建立. 发射综合设施检查 is physical. 发射综合设施检查 requires 发射中心 and 建立 发射综合设施. 发射综合设施检查 yields 发射综合设施是否可运行. 气象监控 is physical. 气象监控 yields 气象是否适合发射. 发射区域禁入 yields 发射区域是否清空. 发射综合设施发射 is physical. 发射综合设施发射 occurs if 发射综合设施是否可运行 is 是, 发射区域是否清空 is 是, and 气象是否适合发射 is 是. 发射综合设施发射 changes 安全抵达外太空的能力 from 不存在 to 存在 and 地球参考定位 from 在地面 to 在空中. 发射综合设施延误 is physical. 发射综合设施延误 occurs if 发射综合设施是否可运行 is 否 either 发射区域是否清空 is 否, or 气象是否适合发射 is 否.