グローバル航空機の氷保護システムAIと自動化の市場の影響