这款名为 SMART 的软件可分析航空公司航班时刻表以及天气、机场跑道容量和运行限制等因素，从而预测空中交通流量并提前识别潜在冲突。