AGI｜STK 數位任務工程軟體，現屬 Synopsys｜商業太空企業資料庫