CCF@U：北京大学金芝走进江苏师范大学

为帮助CCF学生会员提升专业能力、做好人生和职业规划，CCF从2009年起组织业界资深专家走进高校。截止目前，CCF走进高校活动已成功举办逾700场，覆盖几百所高校的逾十万名听众。活动向CCF学生会员免费开放。

2019年9月6日，“CCF走进高校”第713场活动来到江苏师范大学。CCF会士、CCF常务理事、CCF软件工程专业委员会主任、北京大学金芝教授为该校CCF会员带去一场题为《信息物理融合系统的需求工程方法》的精彩演讲。

报告开始，江苏师范大学智慧教育学院祝义教授对CCF和“CCF走进高校”活动进行了介绍，之后又为大家介绍了金芝教授。

金芝教授首先介绍了信息物理融合系统(CPS)通过网络将信息世界与物理世界相连以及在航空，运输，航空航天，医疗保健等领域的有益应用，让现场师生了解到CPS要不断监测和适应环境变化，要关注系统与之交互的环境。由于环境固有的特性引入许多非功能需求，这给需求工程带来了许多挑战。随后，她介绍了基于环境建模的需求工程方法，该方法扩展问题框架表示，构建环境元素的模型，并提供用于推导CPS系统功能和非功能需求的方法，还提供了支持工具帮助建立和验证系统规范。

活动最后，金芝教授与现场CCF会员进行了互动，她对教师提出的CPS与IoT的区别等问题做出了精彩回答，短短的一个半小时的讲座在掌声中圆满结束，与会的CCF会员都表现出了对相关介绍领域的浓厚兴趣以及对自己所从事学科有了新的理解和认识。

金芝教授作报告

活动现场

金芝教授和CCF会员现场互动

合影留念

听众感言

赵宇 智慧教育学院（计算机科学与技术学院） 研一

金老师作的报告内容已经在轨道交通方面使用，这是我第一次听到来自顶尖大学的顶级教授的报告，感谢主办方CCF给我这样的机会。感觉自己在研究生学习生涯还有很长的道路要走。报告会上有老师提出了两个很典型的问题，一个是需求很重要，但是在教学过程中没有很好的方法去教学只是一昧的强调这个事实。另一个是祝老师提出的在面向环境建模的时候怎么处理的实时的并发问题。金老师也给出了自己的回答。听到老师之间的问题与交流，感觉自己的学习还不够专业，学习的深度也不够，为什么我听取报告以后发现不了问题，联想不到自己所学的内容。深刻反思了自己，要更加认真的学习，研究先进的学术论文，多多听取其他老师的学术报告，开拓眼界。

毛坤 智慧教育学院（计算机科学与技术学院） 研一

在软件工程中，最重要的也是最需要强调的是需求分析。确实，利用工程化的大思想去开发软件，最根本的还是需要去解决问题，方法只是一种工具。报告中所讲的物理信息融合系统，最主要的还是系统与环境的交互性问题。我感觉这个问题是很多智能系统不可忽视的一个关注点，就是如何将现实中的物理世界转化为信息世界。我们需要构建环境元素的模型，利用需求工程方法，解决存在的问题。有幸能够参加CCF组织的这次走进高校活动，这也将无形中影响我的学习以及研究，为以后的发展做好铺垫。

武子莘 智慧教育学院（计算机科学与技术学院） 大三

信息物理融合系统是我以前从未了解过的领域，通过这次金教授的讲座，让我简单地认识了cps，了解了它广泛的应用前景，适用范围，性能，以及目前存在的一些问题。金教授后来讲到了关于需求分析的具体方法，由于知识水平有限，这里的大部分内容我很难理解。通过这次CCF走进高校讲座，我了解到了前沿的知识，更切实地体会到了自己的不足。这需要我在日后的专业课上学习更加仔细，并且不局限于课本知识，多了解多思考。感谢CCF，感谢金教授！

赵雅婷 智慧教育学院（计算机科学与技术学院） 大三

我自己对信息物理融合的理解为，信息就是我们所了解的由计算机为载体的大数据体系，可以快速的处理各种数据；物理就是我们现实生活中的各种实实在在的工具，比如交通工具。那么信息物理融合系统就是指可以用计算机实现对工具的智能化使用。对于整个系统的具体实现，光听金教授讲，感觉很容易，可是想要将每一步具体实施的话，对于现在的我可以说是一头雾水，不是很清楚每个步骤具体要做什么，但是也给了我鼓励，毕竟听上去也是可以接受的范围。所以接下来，我想要进一步了解各个步骤的具体实施，实现从现有的意识到具体实现的过程，最好能在具体的实践中体会。希望未来CCF能帮助我完成这个梦想。

讲者简介

金芝

CCF会士、CCF常务理事、CCF软件工程专业委员会主任、973项目首席科学家、北京大学教授。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员(软件工程)。任IEEE TSE Associate Editor，《软件学报》执行主编，《计算机学报》副主编。主要研究领域包括：软件需求工程、知识工程和基于知识的软件工程等，出版英文专著2部，中文编著1部，发表论文150余篇。2006年获得国家杰出青年科学基金资助。

常见问题解答

1、谁可以参加CCF走进高校活动？

原则上，CCF走进高校只向CCF会员免费开放，非CCF会员加入CCF后方可参加。

2、如何申请CCF走进高校活动？

当一所高校CCF会员总数超过20人时，每年可向CCF申请一场CCF走进高校。

3、如何申请成为CCF走进高校讲者？

如果您是CCF会员，且是计算机业界资深技术或管理专家，可向CCF申请成为CCF走进高校讲者。

4、讲者的差旅费由谁承担？

CCF可承担讲者的差旅费。

5、联系方式：

membership@ccf.org.cn

你知道的、认识的、欣赏的、崇拜的，他们都在CCF

和优秀的人在一起你会更优秀

点击了解并加入CCF

CCF推荐

【精品文章】

• CCF走进高校工作组召开2019年首次工作会议

• CCF@U：谭晓生走进四川大学

• CCF@U：中科院计算所陈熙霖走进吉林大学

• CCF@U：阿里云何万青走进兰州理工大学

• CCF@U：英伟达侯宇涛走进电子科技大学

• CCF@U：清华大学陈文光等走进大连大学

• CCF@U：北京邮电大学杜军平走进首都经济贸易大学

点击“阅读原文”，加入CCF。