《表2 系统可达标识集合：考虑可用性和任务成功性的直升机机内测试需求建模和指标确定方法》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《考虑可用性和任务成功性的直升机机内测试需求建模和指标确定方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

首先根据图2中的GSPN模型得出模型的可达标识集合，如表2所示，进而得出系统的状态可达图如图3所示。其中{M0，M1，M3，M4，M6，M8，M10}均为显状态，{M2，M5，M7，M9}均为隐状态。