首页 | 综合通知 | 教务教学 | 学术交流 | 留学信息 | 科研管理 | 文献服务 | 招标信息 | 网络服务 
当前位置: 校园公告>>学术交流>>正文
【学术讲座】如何控制软件的实时行为
2018-08-31 10:29   审核人:   (点击: )

报告题目:如何控制软件的实时行为

报告人:EdwardAshford Lee教授、IEEE Fellow

讲座时间:2018年9月7日10:00-11:30

讲座地点:计算机学院105会议室

邀请人:张凯龙副教授

承办学院:计算机学院

联系人:张凯龙

联系电话:13572203560

报告简介:现在,程序的实时行为依然是从实现的角度所呈现的属性,而并非从模型的角度。鉴于软件的时间行为既不是可预测的也不是可重复的,因此,对软件时间行为的良好控制就非常困难。本报告将讨论一种新的方法,其通过为那些将时间属性作为建模范式必备部分的确定性模型提供保证来解决上述软件实时性问题。

报告人简介:EdwardA.Lee,加州大学伯克利分校电子信息与计算机科学系(EECS)教授、IEEE Fellow、IEEE杰出技术成就奖获得者、美国NSF总统青年科学家,现任伯克利工业CPS研究中心主任、曾任EECS主任。主要研究实时嵌入式系统与CPS,并聚焦于研究如何将确定性模型作为该类系统工具集的核心组件,领导、完成了Ptolemy等多项著名的开源软件;累计发表学术论文300余篇,著有《嵌入式系统导论-CPS方法》等教材8部。

关闭窗口
最新公告
外国语学院“一带一路”跨文化研究所...
关于2018年国家“万人计划”青年拔尖...
关于2019年创新型人才国际合作培养项...
2018年水下无人系统技术高峰论坛”—...
关于研究生教育综合管理系统(学位部...
关于举办陕西省第一届大学生工程制图...
“乘风破浪,扬帆启航”2018西北工业...
关于2018年“暑期国际学堂”的通知
X射线光电子能谱仪(XPS)免费试运行...
特高分辨率场发射扫描电镜(SEM)免费...
西工大主页  招聘信息  就业信息  本科招生  研招信息
版权所有©西北工业大学  地址:西安市友谊西路127号 邮编:710072