根据《中华人民共和国促进科技成果转化法》等国家法律法规，现将如下科技成果许可进行公示。公示期15天，自2020年6月22日至2020年7月6日。如有任何异议，请于公示期内向科研院实名反映。

联系方式：025-84892757

专利（申请）号/软件登记号：ZL201310459533.1

专利（软件著作权/技术秘密）名称： 一种嵌入式软件可信属性建模与验证方法

专利（软件著作权/技术秘密）简介：一种嵌入式软件可信属性建模与验证方法,其特征在于,将嵌入式软件建模规范MARTE与Z语言、时间自动机的建模过程相结合,并基于模型检测算法进行模型可信性质的验证

发明人： 庄毅、倪思如、顾晶晶、霍瑛、许海洋

专利（软件著作权/技术秘密）权人：南京航空航天大学

专利授权（软件著作权登记）日： 2013年9月30日

专利（申请）号/软件登记号： ZL201310535450.6

专利（软件著作权/技术秘密）名称： 一种基于离散化全局分布搜索的可信服务组合方法

专利（软件著作权/技术秘密）简介：一种基于离散化全局分布搜索的可信服务组合方法,其特征在于,首先构建可信服务组合模型,之后采用离散化全局分布搜索人工蜂群算法DGABC求解可信服务组合方案

发明人： 庄毅、霍瑛、顾晶晶、许海洋、倪思如

专利（软件著作权/技术秘密）权人：南京航空航天大学

专利授权（软件著作权登记）日：2013年11月2日

受让方： 中国船舶重工集团公司第七一六研究所

转让/许可方式：普通许可

拟交易价格及价格形成过程：经双方协商，交易价格拟定30万元。