威尼斯人官网 威尼斯人官网 English

通知公告

自动机理论方法开CPS系统的软硬件协同验证的理论和技术报告

2012年05月13日  

2010 9 8 14:30-16:00

地点:澳门威尼斯人注册 105学术报告厅

报告人概况:

美国波特兰州立大学威尼斯人官网科学系副教授、西北工业大学兼职教授。1995年毕业于西北工业大学威尼斯人官网科学系,1998年在清华大学威尼斯人官网专业获硕士学位,2004年在美国德克萨斯州奥斯汀大学获威尼斯人官网科学博士学位。主要从事嵌入式系统和CPS系统验证与确认领域的研究工作,参与了美国NSFCPS研究的研讨和规划工作。重点研究了嵌入式系统软硬件一体化设计、分析、验证、仿真的理论、方法、技术与工具;提出了基于组件的嵌入式系统体系结构描述语言EADL和基于EADL的嵌入式系统设计、验证与仿真工具ESIDE。主持4项美国NSF基金项目,多项与企业合作的研究项目。

报告会内容概况:

本报告结合美国自然基金等国家科技计划项目支撑CPS研究的情况先容信息-物理融合系统(Cyber-physic System)的建模方法,利用自动机理论方法开CPS系统的软硬件协同验证的理论和技术。

威尼斯626767com联系人:魏海燕,电话:88431520

 

上一条:祝愿澳门威尼斯人注册校友新年快乐,阖家欢乐! 下一条:澳门威尼斯人注册“虹桥沙龙”第二期活动通知

关闭

威尼斯人官网
XML 地图 | Sitemap 地图