空中交通管理系统模拟验证环境研究