国家空管系统集成验证环境架构设计研究