科技日报北京4月13日电（记者张强通讯员李治刘衡）记者13日从国防科技大学获悉，由该校自主研制的航天任务设计工业软件ATK4