记者13日从国防科技大学获悉，由该校自主研制的航天任务设计工业软件ATK4.0版在第二届ATK（航天任务工具箱）软件用户大会上正式发布。该软件核心代码完全自主可控，更贴近我国航天任务需求，具备与国产操作系统、CPU等软硬...