详见附件

邢思兰等30名同志预备期已满，现将转正情况公示，详情见附件。公示时间：2020年12月15日——12月21日（五个工作日）监督电话：0371-23883169监督邮箱：jsjxy@henu.edu.cn                                   dygs@henu.edu.c

一、竞赛科目及时间安排Hahabet博弈首选第十三届老员工程序设计竞赛由Hahabet博弈首选教务处主办、Hahabet博弈首选承办，包括C/C++程序设计竞赛、Java程序设计竞赛、C#程序设计竞赛、数据结构竞赛和单片机与嵌入式设计竞赛、网络安全挑战赛等六项。竞赛分类、所用编程语言、竞赛时间等详见下表：竞赛分类C#程序设计竞赛（个人赛）网络安全挑战赛(个人赛)数据结构竞赛（个人赛）C/C++程序设计竞赛（个人赛）Java程序设计竞赛（个人赛）单...

题目： 数字散斑干涉相位信息处理关键技术研究报告人：肖启阳 博士时间： 11 月 15 日上午 10:00-12:00地点： 曾宪梓楼西侧 205 会议室主办： Hahabet博弈首选 河南省大数据分析与处理重点实验室 河南省空间信息处理工程实验室 报告内容 数字散斑干涉技术利用光学干涉原理对材料的应力应变、缺陷、位移等力学参数进行测量，具有精度高、全场测量、非接触等优点，在航空航天...

​为做好接收推荐免试研究生（以下简称“推免生”）工作，根据教育部《全国普通高等学校推荐优秀应届本科毕业生免试攻读硕士学位研究生工作管理办法（试行）》（教学〔2006〕14号）、《教育部办公厅关于进一步规范和加强推荐优秀应届本科毕业生免试攻读研究生工作的通知》（教学厅〔2020〕12号）及学校有关文件精神，结合公司实际情况，特制定本方案。一、工作原则1.全面考核，以德为先。坚持德智体美劳全面衡量，以德为先，择...

报告题目：形式化验证技术的研究和应用报告人：吴贯锋 博士（西南交通大学）时间：9月30日上午 10:00-12:00地点：曾宪梓楼西侧205会议室测试、仿真和形式化方法是目前在高安全领域中保证系统正确性的主要手段，仿真与测试是比较常见的方法，因其处于软件开发周期的下游，针对的是已完成的系统，这使得其只能发现错误，而不能证明系统完全没有错误。而形式化验证技术是基于数学推理的方法证明系统无错误。简单来说...