报告题目：国家自然科学基金申请书撰写心得——智能系统软硬件协同设计方法
报告人：陈仪香 教授
报告时间：2019年10月15日 上午8:30—10：00
报告地点：文源楼216
报告内容简介：
结合国家自然科学基金申报书，就智能系统中关键问题的提炼以及解决方法进行阐述。智能系统是在硬件基础上融入人工智能，让机器通过一定的方式进行判断、决策和控制，以便最有效地发挥作用。它是一个具有传感、控制、人机交互、网络接入的实体系统，它也是嵌入式技术、软件工程、人工智能等知识的深入融合系统，使用软件工程方法来开发智能系统。因为智能系统中既有软件也有硬件，如何建立系统规范，对软件硬件进行划分以及软件硬件接口和系统集成的设计都是智能系统需的问题。我们将针对以上问题，介绍几种规范建模方法以及协同优化设计算法进行阐述，并结合交通标识系统和自动停车系统对软硬件协同设计方法进行分析。
报告人简介：
陈仪香，四川大学数学博士、苏州大学数学博士后，华东师范大学软件工程学院教授，博士生导师，上海市曙光学者，曾任上海师范大学科技处处长、华东师范大学软件学院副院长。现任软硬件协同设计技术与应用教育部工程研究中心主任。从事可信嵌入式软件研究工作：建立具有时空一致性的实时系统规范语言STeC，构建基于多维属性的嵌入式软件可信度量评估方法和增强规范，建立基于模型的网络化嵌入式软件系统建模与仿真方法与技术，构建了软硬件协同设计技术方法。承担973、863研究课题、国家基金委以及国防基础重点研究基础项目多项。荣获教育部自然科学一等奖1项。出版国家自然科学基金研究成果专著1部，即将出版国家科学技术出版基金研究成果专著1部。担任中国计算机学会嵌入式系统专委会副主任委员，中国系统科学学会模糊系统与模糊数学专委会副主任委员。