中国船舶集团有限公司第七〇九研究所基于模型的高安全性系统开发工具结果公告