王瑞研究员硕士生导师西南交通大学数学学院搜索热度
报考该导师所属教研室：中航十二院籍贯：
最后毕业学校：毕业专业：

教师寄语：
访问地址：http://yz.swjtu.edu.cn/~12637
办公电话
电子邮箱Hustwr@aliyun.com
个人主页该教师暂无主页
通信地址四川省成都市高新区西部园区西南交通大学研究生院

教师信息导航基本信息
教学情况
研究领域
研究成果
荣誉奖励
科研团队
招生信息
学生名单
♣教师简介
♣教师寄语
♣研究领域智能信息处理领域：
智能化软件质量保证技术、形式化模型验证和分析方向

♣近年承担的主要科研项目
♣招生专业 招生类型学院专业代码专业名称专业类型专业方向
硕士数学070100数学学术型02.计算数学
硕士数学070100数学学术型03.应用数学
说明：硕士招生专业是由导师本人填写的，可能有部分老师没有设置，但不代表不招收硕士。

♣招生要求基础扎实、勤奋好学、有一定计算机基础。
♣教学经历

♣教学成果

♣科研团队 本人为系统可信性自动验证国家地方联合工程实验室技术委员会委员，属于该实验室团队成员。

实验室的前身是1982年成立的西南交通大学智能开发中心，在智能信息处理（逻辑自动推理、形式化方法与自动验证、智能控制系统）有原创的理论和方法，形成了自动验证相关系统和工具。


【理论方法】
矛盾体分离的动态自动演绎推理的理论与方法，徐扬教授团队在2018年度人工智能基础应用研究领域夺得第21届国际SAT竞赛亚军和第23届国际一阶逻辑自动定理证明器竞赛亚军，保持国际领先水平。
【科研项目】
2016年至今，主持国家自然科学基金重大项目1项、国家自然科学基金面上项目4项、青年项目9项。主研及参研国防军工及其它工业应用类项目26项；总经费1200万元
【工程应用】
在轨道交通、网络安全、航空航天、国防军工等关键领域研发实用的可信性自动验证系统，促进信息安全产业的可持续发展，取得了一批重要应用成果（主要包括：面向高速铁路装备安全监测和运营维护中的可靠性判定、系统可靠性优化；专家决策支持及效果评价（WRD）系统；工业信息系统可信性自动验证平台建设和工控系统信息安全评测服务），应用于工业信息系统安全评估和工控系统信息安全评测服务、两化融合、物联网、云计算、大数据解决方案系统评测工作，摆脱可信性自动验证技术对国外的依赖，提高我国在系统可信性自动验证领域的自主创新能力。
【系统工具】
自主研发可信性自动验证工具 Scavel C、Scavel PLC；“工业控制系统安全检查平台”；基于自动验证工具Scavel PLC轨道交通控制模块可信性自动验证系统。
【硬件设备】
拥有包括计算机集群系统、软件检测平台、原型控制实时仿真器、智能信息处理求解证明系统等在内的设备、仪器及软件252台（套）；实验设备资产2000万元以上。
【国内合作单位】
产学研用合作单位及平台共建单位（签署科研技术合作协议）：四川九洲电器集团有限责任公司、中车青岛四方机车车辆股份有限公司、中国航天系统科学与工程研究院（中国航天十二院）、中国核动力研究设计院、中国民航飞行学院。
【国际合作】
与英国Ulster大学建立了“Advanced Machine Intelligence（先进机器智能）”联合研究中心；与美国迈阿密大学、希腊东马其顿-色雷斯技术学院签订学术合作备忘录；
与美国、英国、法国、西班牙、比利时、韩国、意大利、澳大利亚、丹麦、希腊等国家及大国内多个院（校）所建立了密切的学术交流与合作关系。每年都有国内外大量的学术论文、科技项目送该中心评审。
2018、2019年有国（境）外38名知名同行来讲学；7名国外专家来访开展短期合作研究（1名海外名师计划）；实验室有42人次出国（境）讲学、合作或参加国际会议，有12名研究生（博士5名，硕士7名）国际访学（联合培养）。




♣论文成果数据加载中，请稍后...
♣专利成果数据加载中，请稍后...
♣出版专著数据加载中，请稍后...
♣荣誉与奖励数据加载中，请稍后...
♣软件著作权数据加载中，请稍后...
♣标准规范编制数据加载中，请稍后...
♣学术交流情况数据加载中，请稍后...
♣其他成果数据加载中，请稍后...
♣学生名单数据加载中，请稍后...