2024年8月6日，“CCF系统软件专委走进榆林&榆林市企业数字化转型论坛”之“走进榆林企业”专场活动在榆林科创新城零碳分布式智慧能源中心顺利举行。本次活动是由中国计算机学会（CCF）主办，中国计算机学会系统软件专委、榆林市工业和信息化局、西安交通大学、榆林学院、榆林市工业互联网协会联合承办。会议主题围绕企业界和工业界中系统软件问题和最前沿的进展进行研讨。榆林市工业和信息化局副局长黄晶晶，中国计算机学会系统软件专委会副主任许畅教授、秘书长卜磊教授，榆林市工业互联网协会秘书长李晓炜，中煤陕西公司运营管控中心、数字化转型办公室主任马春雷，榆林工业区智能园区管理中心主任武凯，清安优能科技发展有限公司总经理左瑞天，西安交通大学网络空间安全学院副院长刘烃教授等领导、专家出席了本次活动。

西安交通大学网络空间安全学院副院长刘烃教授主持了本次活动，清安优能总经理左瑞天、榆林市工业互联网协会秘书长李晓炜和系统软件专委副主任许畅教授分别致辞，深信科创信息技术有限公司CEO、西安交通大学教授杨子江教授，西安交通大学网络空间安全学院副院长刘烃教授，以及南京大学软件学院副院长卜磊教授围绕自动驾驶和采矿仿真、电力系统安全保障、以及信息物理系统形式建模验证方向分享了最新的研究成果和思考。

参会合影

专家主题报告与参观能源中心

清安优能总经理左瑞天发表致辞，对与会的各位领导专家表示感谢，介绍了科创新城零碳分布式智慧能源中心的发展和建设。榆林市工业互联网协会秘书长李晓炜发表致辞，介绍了榆林市当前发展现状和数字化转型面临的挑战。系统软件专委副主任许畅教授发表致辞，介绍了CCF系统软件专委会的工作宗旨和常规学术、教育和产业活动，并对活动举办方表示感谢。

专家报告环节，深信科创CEO杨子江教授作“自动驾驶仿真赋能矿山智能化升级”的报告，他们通过仿真测试来低成本、高效率地提升矿山等封闭场景中的自动驾驶安全性和可靠性；刘烃教授作“能源电力系统综合安全的挑战和应对”为题的报告，针对能源电力系统在数据安全、网络安全、设备安全面临的新问题，回顾和分析信息物理综合安全威胁的演化，并提出应对威胁的防御方法；卜磊教授作“开放不确定场景下软件可信构造与保障”的报告，提出一种针对开放不确定场景下，信息物理系统软件建模的形式语言、与运行时验证方法，以及在列车控制、工业控制等领域的实例研究。

黄晶晶副局长主持数字化转型论坛，华东理工大学和望利教授、南京大学张天教授、哈尔滨工业大学（深圳校区）高翠芸副教授、中煤陕西公司运营管控中心马春雷主任，榆林工业区智能园区管理中心武凯主任一起对企业数字化转型过程中遇到的难题和挑战进行了深入讨论，并提出了可行的解决方案。

参会人员还对科创新城零碳分布式智慧能源中心进行了参观。项目由西安交通大学网络化系统工程团队提供系统技术、中核汇能有限公司投资建设，在世界上首次实现了含氢能的零碳多能源供需系统的实用化和规模化示范应用，为实现碳达峰、碳中和目标提供了新的技术路径，有助于我国构建绿色、安全、高效的能源体系。