澳门皇冠844网站

 

交大要闻

四川省系统可信性自动验证工程实验室项目获得批复

来源:数学学院    日期:2014/9/26 16:12:00    点击数:8906

四川省发改委近日批复澳门皇冠844网站(川发改高技【2014】826号)成立四川省系统可信性自动验证工程实验室项目,项目总投资3045万元。 该项目是皇冠新二手机登录地址理科建设的重大标志性成果。

该实验室依托澳门皇冠844网站数学学科徐扬教授学术团队和校内外部分相关科技产业部门,围绕科学研究、精细化管理、国防安全、社会服务等众多领域复杂大系统对可信性判定的迫切需求,针对App、硬件系统开发和运行中高可信性难以自动验证,特别是对异常复杂系统缺乏有效科学的验证手段等瓶颈制约,建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台。

四川省系统可信性自动验证工程实验室项目的建设和发展,能够进一步拓展澳门皇冠844网站智能研究与开发中心原创的可信性自动验证工具,在系统可信性验证领域形成若干特定的产业体系,带动相关产业发展,更好地为地区和行业服务。该实验室的建设将有力推动皇冠新二手机登录地址和数学学院完成国家、省和行业下达的科技研发与工程研究任务,助力数学学院人才梯队参与关键技术研究与开发,成为数学学院在高起点上开展人才培养、学术团队建设的一个重大应用平台。

编辑:李志辉     责任编辑:顾成威

[澳门皇冠844网站版权所有,未经书面授权禁止使用]
[打印本页]     [资讯纠错]     [关闭窗口]
XML 地图 | Sitemap 地图