欢迎来到:BWIN必赢!

员工动态
华东师范大学杨争峰教授为公司师生做线上学术报告
作者:郑大彬      发布时间:2020-07-16       点击数:

2020年7月15日下午, 华东师范大学杨争峰教授应公司郑大彬教授邀请, 为公司密码编码学团队作线上学术报告,报告通过腾讯会议举行。会议由郑大教授主持,来自公司编码密码学团队的教师、博士和硕士研究生近10多人参与了报告的听取、讨论。

2

杨争峰教授的报告题目为《A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation》,报告介绍了一种分析和验证混成系统新的算法,解决了如何快速生成不变式和障碍函数,以满足大规模、高复杂验证问题的需要,分析了算法的复杂度,比较了该算法比已知的商用算法具有很大优越性。

7

报告结束后,老师和员工们踊跃提问,杨争峰教授对老师和员工们提出的问题给予了耐心详细的解答。通过本次学术交流,员工们开阔了视野,了解与现实问题更加相关的一些科学问题。


版权所有 BWIN必赢·(中国)唯一官方网站

地址:湖北省武汉市武昌区友谊大道368号 邮政编码:430062

Email:stxy@hubu.edu.cn 电话:027-88662127