——60周年校庆报告
报告题目:物联网/CPS技术与产业发展战略
报告人:何积丰 院士
主持人:陈仪香 教授
时间:
地点:逸夫楼报告厅
报告人简介:
何积丰,中国科学院院士。1965年毕业于复旦大学。现为以诚为本赢在信誉9001cc终身教授、博导,软件学院院长。
何积丰教授自八十年代起,开始从事程序设计理论及其应用研究。1986年和C.A.R. Hoare提出了“程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,他在总结了多类程序语言语义理论和方法的基础上,与C.A.R. Hoare提出了程序设计统一理论(UTP)和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。自2006年起,国际上已开始举办关于UTP的系列国际会议。近年来,他研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。目前,组织成立了长三角嵌入式联盟,正从事实时嵌入式系统和物联网技术方面的研究。
何积丰在国际上获得的地位让同行们仰视:联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,牛津大学计算实验室高级研究员,两度获最高科研奖——英国先进科技女皇奖。他被国际计算机科学界誉为面向模型软件开发方法的奠基人。他在安全软件设计方面的论著被国际软件界广泛引用。他率先提出关系程序设计语言,这项工作被欧洲计算机界认为是继过程语言、函数程序、逻辑程序之后的第四类程序语言的先驱,他因而被欧洲软件界权威人士赞之为“软件设计技术上的一座里程碑”。
报告摘要:
随着新的计算技术、网络技术和控制技术的不断涌现,物联网与信息物理融合系统(Cyber-physical Systems,CPS)业已成为物理设备系统发展的新趋势。它反映了人们对监控和操作物理设备系统的更高需求――希望能随时、随地、实时、高效地操控物理设备系统并自由地享受其提供的各种服务,使得人类的工程物理系统创建模式、交互方式和管理方法发生根本性变革。物联网/CPS发展的最终目标是实现人类社会、信息世界和物理世界的完全融合,构建一个可控、可信、可扩展并且安全高效的物理设备互联网络,并最终从根本上改变人类构建工程物理系统的方式。
我们将围绕物联网/CPS技术的“3C”(Computation、Communication和Control)核心概念来阐述物联网/CPS技术与相关传统技术的联系与区别,深入探讨物联网/CPS的技术内涵,剖析当前物联网/CPS技术发展所面临的巨大挑战,重点探寻其重要的科学基础和关键技术,展望未来物联网/CPS技术与产业发展的新趋势。并结合物联网/CPS技术在汽车电子、国家交通控制网络、国家电网、远程医疗网络中的应用实例,来进一步诠释物联网/CPS技术应用的广阔前景和深远的社会影响。最后探讨物联网/CPS研究与发展给我国带来的机遇,以及我们对于我国物联网/CPS技术与产业发展战略的若干思考。