西南交大考研(西南交大考研专业目录及录取分数)




西南交大考研,西南交大考研专业目录及录取分数

来源:封面新闻

王会杰 封面新闻记者刘彦谷

7月11日,西南交通大学“系统可信性自动验证地方联合工程实验室”在广元成立川信分中心。

双方代表签约

成立仪式上,西南交通大学系统可信性自动验证国家地方联合工程实验室首席专家徐杨、数学学院院长杨晗与四川信息职业技术学院签订系统可信性自动验证地方联合工程实验室川信分中心合作协议,并为其授牌。

据介绍,系统可信性自动验证国家地方联合工程实验室于2016年10月获国家发改委批准建设,是在四川省系统可信性自动验证工程实验室(由四川省发改委于2014年批准成立)的基础上升格而成。实验室围绕信息安全的重大需求,在原创的自动推理体系为核心基础的支撑下,形成科学有效的系统可信性自动验证技术。

授牌

签约双方表示,今后将开展软件可信性自动验证工具的推广、科技项目申报、人工智能及大数据专业建设等具体合作方向,明确了联合工程实验室川信分中心后续重点工作。期间,与会人员还参观了该校人工智能实训室、5G实训室和物联网实训室等学生教学实训场地。

西南交大考研(西南交大考研专业目录及录取分数)

2023考研秘籍

跟我一起考研吗?马上关注我分享独家资料您