中国船舶集团有限公司第七〇九研究所基于模型的高安全性系统开发与验证平台中标候选人公示