6
Jul
2023年7月5日西北工业大学董云卫教授与与宁夏大学葛永琪副教授来实验室交流,就基于二进制代码的程序优化问题开展研讨[详细]
27
Jun
2023年6月22日-24日,美国Monmouth大学计算机科学系王加存教授来实验室交流,就基于随机Petri网的教学楼逃生疏散控制模型以及基于强化学习的教学楼逃生疏散控制模型等研...[详细]
25
Apr
2023年4月22日,航天五院502所顾斌研究员、李晓锋研究员等一行4人,来实验室研讨‘面向C语言的嵌入式多核系统WCET分析与死锁检测’项目的研讨[详细]
24
Apr
受刘关俊教授邀请,新加坡国立大学Jinsong Dong教授来实验室讲座交流,欢迎参加!题目/Title:Trusted Decision-Making in Sports Analytics报告人简介/Bio:Dr. Jin-So...[详细]
12
Apr
2023年4月10日晚6:00-10:00,实验室与交通学院王玲教授团队开展了强化学习及其在智能交通上的应用等相关研究上的研讨[详细]
27
Mar
2023年3月24日至25日,CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院[详细]
20
Mar
2023年3月18日-19日,国家自然科学基金重点项目:人机物融合系统的计算模型与软件定义方法研究,在国防科技大学进行了研讨,由第3课题负责人董威教授及其团队组织,项目...[详细]
14
Mar
3月10日下午1:30-3:10,周孟初教授在117大厅做了如何从事高质量研究以及如何撰写高质量学术论文的报告,为博士研究生与硕士研究生的研究生涯提供了有意的见解[详细]
14
Mar
https://www.mdpi.com/journal/drones/special_issues/2E4OH1TQL3A special issue of Drones (ISSN 2504-446X).Deadline for manuscript submissions: 16 September 202...[详细]
8
Mar
IEEE Fellow周孟初教授将于3月5日下午1:30至3:00在电信学院117室进行讲座,欢迎大家参加。How to Perform Quality Research and Write Quality Papers MengChu Zhou...[详细]