澳门金莎娱乐网站,唯一授权

Southwest Jiaotong University School of Mathematics


计算数学团队

计算数学团队:以国家有突出贡献的中青年专家、四川省学术与技术带头人徐扬教授为带头人的代数与逻辑团队,经过30余年的研究,已经形成了原创的具有国际先进水平的逻辑演绎自动推理体系,申请国内发明专利13项,并基于该体系研发了系统可信性自动验证实用工具Scavel C和Scavel PLC,已应用于信息安全、航空航天、国防军工、核工业、卫星导航、轨道交通、信息电子等领域,为保障其系统的可信运行发挥了不可替代的关键作用,同时积累了丰富的系统可信性自动验证技术研发经验,完全具备深入工程化应用的基础和能力。设计了大规模非线性半定规划问题AppLogdetPPA被国际上著名的优化工具箱YALMIP收录并广泛使用;提出了非线性反应扩散方程等多种非线性偏微分方程的有限元等数值解法。团队成员中有国家突贡专家1名,四川省学术与技术带头人后备人选2名。近5年来,团队成员在国内外重要刊物上发表论文100多篇, 其中包括《IEEE Transactions on Fuzzy Systems》《Information Sciences》《Fuzzy Sets and Systems》《Computational Optimization and Applications》《Journal of Optimization Theory and Applications》等高级别期刊论文50余篇。研究成果分别获四川省科技进步奖二等奖和中国无线电协会二等奖。近五年,共主持国家自然科学基金面上项目、青年基金等项目等30余项,累计经费800余万元。团队获得2018年SAT竞赛Main组亚军和第23届国际自动定理证明器竞赛FOF(First Order Formula )组亚军,取得我校在该领域的历史性突破,并填补了中国在该领域的空白。

主要学术骨干徐扬、黄天民、宋振明、赵海良、陈树伟、潘小东、王承竞、邓丽、何星星、徐鹏、李志辉、钟小梅、陈罗平、余国朱等。

 



XML 地图 | Sitemap 地图