为响应国家对工业软件核心技术攻关的战略要求，深化智能时代嵌入式基础软件领域的政产学研用全链条协同创新，5月25日，西北工业大学软件学院组织30名学生代表，赴陕西宾馆参加主题为“智能时代的嵌入式基础软件”的2025CCF系统软件技术论坛。本届论坛由中国计算机学会（CCF）主办，CCF系统软件专委和中国航空工业集团计算所承办，汇聚了中国科学院院士吕建等40余位知名学者和领域专家，凝聚创新力量，共探现代化嵌入式基础软件的自主创新与生态构建。学院高度重视、精心筹划，30名参会代表均在优秀硕博研究生和本科铸剑班学生中选拔，充分展现了学院对培养学生国际视野与专业实践能力的高度重视，以及在软件工程学科人才培养中的使命担当。
聚焦前沿技术，搭建全链条交流平台
本届论坛以“智能时代的嵌入式基础软件”为主题，聚焦智能操作系统、边缘侧AI推理、嵌入式云原生等前沿领域，通过技术报告、高峰论坛搭建全链条交流平台。CCF 系统软件专委会秘书长、南京大学卜磊教授主持大会，并在开幕式上指出，万物互联时代下，嵌入式基础软件面临分布式协同、算力融合等挑战，亟需多方协同突破。CCF系统软件专委会副主任、北京航空航天大学胡春明教授，计算所党委书记毛尊平分别致辞。
权威专家云集，学术交流成果丰硕
主题报告环节，众多权威专家带来前沿分享。北京大学、复旦大学、南京大学、西安交通大学、北京航空航天大学、西北工业大学、四川大学、西安电子科技大学等高校，航空工业计算所以及华为、宇视科技等公司的11位知名专家学者做了大会报告，针对智算基础软件、智能机器人操作系统、系统软件需求工程、神经符号融合形式推理、低能耗软件设计方法、开源操作系统、具身智能操作系统、轻量化大模型等前沿技术展开了深层次的交流。
高峰论坛环节，中国科学院院士吕建，陕西省计算机学会理事长、西北工业大学周兴社教授，军事科学院智能研究院科技委主任苏金树教授，西安电子科技大学副校长王泉教授、中航民机机载工程中心牛文生研究员、北京航空航天大学胡春明教授等专家，围绕人工智能与系统软件协同发展主题，深入讨论了智能时代下嵌入式基础软件的形态与发展趋势，在系统软件技术和产业发展机遇与挑战、顺应时代发展的人才培养底层逻辑等方面进行了观点和思想碰撞。西工大软件学院学生凭借扎实专业知识积极提问，展现出对技术前沿的敏锐洞察，获专家高度认可。
强化使命担当，赋能“总师型”人才培养
嵌入式系统作为学院重点领域建设方向，通过组织学生参加此次论坛，不仅让学生深度接触领域核心技术与创新趋势，更助力其将理论知识与产业实践紧密结合，为未来成长为嵌入式基础软件领域的专业人才筑牢根基。学生们表示，通过此次论坛，不仅拓宽了学术视野，更深化了理论转化实践的方法论认知，强化了产业导向与“总师型”人才所需的系统思维。
参会学生心得
肖炳旭（博三）：
感谢学院领导的精心组织，对学生参加学术活动给予了大力支持，使我得以在此次CCF系统软件技术论坛中，与软件工程与嵌入式领域的学术界和工业界专家学习交流。嵌入式系统具有其独特的系统特征，资源受限、异构计算等，随着大模型的流行，如何嵌入式硬件设备中部署大模型，如何在嵌入式系统软件中运用大模型是学术界和工业界共同面临的科研难题，各位专家前辈们都在不同层面不同切入点给出了自己的观点和研究进展。能够聆听精彩报告、领略此等学术盛宴，我收获颇丰、受益匪浅！
王瑞宁（研二）：
感谢学院的组织和安排，让我在2025CCF系统软件技术论坛中接触到系统软件领域的最新动态，深刻认识到嵌入式基础软件与大模型融合是智能时代的关键趋势。随着边缘侧AI推理需求激增，通过模型压缩、异构算力优化等技术，在资源受限的嵌入式设备中高效部署轻量化大模型成为焦点，例如通过模型压缩、异构算力优化等技术实现端侧智能的实时响应。论坛中探讨的“嵌入式云原生”架构为端-边-云协同提供了新思路，既能借助云端训练大模型的强大能力，又能在边缘侧动态分配推理任务，兼顾隐私安全与计算效率。同时，嵌入式系统的自主可控需求倒逼国产化工具链与轻量级AI框架的创新，为国产大模型在工业、航空等关键领域的落地扫清障碍。未来，嵌入式基础软件不仅是承载大模型应用的底层基座，更将成为推动智能终端向自主决策跃迁的核心驱动力，其技术突破将深刻重塑人机协作的边界与模式。
王文韬（研二）：
学院对学生成长的重视，促成了此次集体组队参加CCF系统软件技术论坛的宝贵学习经历。论坛聚焦嵌入式基础软件发展和其智能化演进，呈现了一场智能时代思想融合与交织。智能机器人操作系统在复杂场景中实现突破性调度能力，边缘计算与大模型的结合则通过轻量化技术打破算力桎梏，探索出端边协同的创新路径。低能耗设计不再局限于传统优化，转向环境能量捕获与智能功耗预测的前沿方向，而嵌入式智能硬件正通过架构革新重新定义性能边界。这场论坛揭示了一个核心趋势：嵌入式系统正从“功能固化”迈向“自主进化”，成为物理世界与数字智能交互的底层神经。万亿级设备构成的庞大生态中，每一处微瓦级功耗的精进、每一次边缘认知的突破，都在编织未来智能社会的数字经纬。此外，让我受触动最深的还是我校周兴社教授在高峰论坛中提到的“防止智能降智”，人工智能作为辅助工具能很好的助力科学研究，但只依赖人工智能没有自己的思考，人的智能就会面临降级——科研需保持独立思考。
李云涛（研一）：
很感激学院协调资源、提供参会机会，让我有机会在CCF系统软件技术论坛中汲取前沿知识，很多报告和讨论都受益匪浅。马晓星教授“神经符号融合形式推理初探”的演讲令人印象深刻，其对智能软件工程与神经符号融合的研究打开了全新视野。报告中关于大模型与符号工具结合的探索，让我深刻体会到嵌入式基础软件在智能时代的重要性。此次经历拓宽了学术视野，激发了科研热情，让我认识到跨学科融合与创新的力量。未来，我将以更饱满的热情投入学习，探索基础软件领域的无限可能，为智能时代的技术发展贡献自己的力量。
吴涵（研一）：
参加“2025CCF系统软件技术论坛”是一次难忘的学习经历，感谢学院的组织。会中，众多专家分享了系统软件领域的前沿成果，从智能机器人操作系统核心技术，到轻量化大模型的产业落地，每一个报告都充满深度与前瞻性。高峰论坛上吕建院士的发言令我深受启发。他指出人类社会的变迁是软件发展的强大驱动力，理解软件需置于“六个一切”的宏大背景下。在技术平台不断变革、计算平台竞争激烈的当下，构建融通一切的理论方法技术体系至关重要。此次论坛不仅拓宽了我的专业视野，更让我意识到嵌入式软件技术处于AI赋能的浪潮之中，要不断更新认知，紧跟行业趋势，以更具前瞻性的眼光探索系统软件领域的未知，为推动行业进步贡献自己的绵薄之力。
李韩（研一）：
由衷感谢学院搭建桥梁，让我有幸走进CCF系统软件技术论坛的知识殿堂，通过专家前辈的前沿分享，我对系统软件（尤其是AI与嵌入式领域）的最新发展有了更深刻的理解。这次会议不仅极大地拓展了我的专业视野，也让我对未来的研究方向和学习路径有了更清晰的规划，特别是产学研协同及学术成果转化的讨论极具启发。我将以此次论坛为契机，深耕理论知识，紧密结合实际需求，努力将所学应用于未来的科研与实践中，为我国基础软件的自主创新和发展贡献一份力量。再次感谢学院提供这次宝贵的学习机会。
马耿（研一）：
参加这次CCF大会收获满满，各高校专家教授的报告紧扣系统软件主题，深入挖掘AI时代系统软件的新内涵，同时围绕当今热点传播了大模型LLM、具身智能结合软件工程具体的新实践，为我未来的科研之路明确了方向、提供了启发。感谢学院提供接触高规格会议的机会，让我近距离学习感悟前沿领域，这必将助力我的科研之路。
董淼鑫（研一）：
首次参加CCF系统软件技术论坛收获颇丰，感谢学院提供的珍贵机会，让我拓宽了专业认知边界。主论坛的AI测试技术让我看到行业趋势，动手实践云原生工具弥补了课堂空白；在与华为工程师深入交流后，我更清楚了自己技能提升的方向；最惊喜的是结识几位志同道合的研究生，相约合作开源项目。古都西安的科技氛围让我深感，软件人既要有代码能力，也要有历史视野，期待明年带着自己的成果再来！
赵东龙（大四）:
学院精心筹备的2025CCF系统软件技术论坛之行，为我打开了专业视野的新窗口。会议上，“人机物”三元融合是各位教授、研究员多次提到的关键词，体现了当前技术融合大趋势。教授们高屋建瓴的分享拓宽了我的视野，“计算融入一切，智能互联一切，软件定义一切”的理念，让我认识到软件在未来社会的核心地位，也引发了对大模型时代嵌入式软件技术发展的思考。这次技术论坛让我认识到当今时代技术的快速发展、对软件认识与作用的变革，激励我努力在技术创新中贡献自己的力量，迎接智能时代的挑战。
张文仿（铸剑班）：
学院领导的精心组织、老师的精准对接，让我们在2025CCF系统软件技术论坛中获得了专业成长的养分。马教授关于神经符号融合形式推理的汇报令人印象深刻。讲座剖析了神经网络与符号推理融合的关键——神经网络擅长处理海量数据、提取复杂特征，但可解释性与逻辑推理不足；符号推理具备严谨逻辑规则、清晰演绎因果，但难以应对模糊数据。二者融合为人工智能发展开辟了新路径。专家分享的实践案例更是让人眼前一亮，智能医疗诊断领域的实践案例显示，神经符号融合系统可快速分析病例数据并依据医学规则推理病情，提升诊断准确率，彰显技术实用价值。当前，数据精准标注、融合模型优化等挑战亟待解决，需跨学科协作与反复实验验证。此次讲座为我打开了新视窗，让我坚信神经符号融合形式推理是推动人工智能迈向更高阶段的关键力量，也激励着我不断学习、紧跟前沿，参与到智能科技这场伟大变革中。
陈曦（铸剑班）：
感谢学院为铸剑班学生创造诸多学习契机，这次参会经历让我收获颇丰，不仅加深了我对嵌入式基础软件的理解，还激发了我对该领域的浓厚兴趣。CCF系统软件技术论坛开幕式上，卜磊教授等嘉宾的发言凸显了嵌入式基础软件的重要性与广阔前景，无疑为后续的学术交流奠定了坚实的基础。论坛中，专家学者们深入探讨了嵌入式基础软件在人工智能、大模型等前沿技术推动下的变革与机遇。让我印象深刻的是马晓星教授的关于人工智能特别是大模型对软件影响的讨论。指出机器学习模型作为软件系统的组件，不仅可以作为软件系统的一部分，还能作为符号软件的生成器。这让我认识到大模型在软件开发中的巨大潜力，将为软件带来全新的功能和体验，推动软件技术向更高层次发展。未来我定努力学习专业知识，积极参与科研活动，不断提高自己的实践能力和创新思维。
安泓晔（铸剑班）：
参加CCF系统软件技术论坛是一次收获满满的学习之旅，从组织报名到协调车辆接送，老师们无微不至，谢谢学院的精心组织。论坛现场学术氛围浓厚，专家从宏观角度剖析发展趋势，指出物联网、人工智能与嵌入式基础软件深度融合的变革潜力。技术研讨环节，实时操作系统优化策略（如算法改进与资源调度）为解决系统性能瓶颈提供了多元思路；工业控制、智能交通等领域的应用案例，展现了嵌入式基础软件的实践威力。此次论坛让我结识了许多志同道合的伙伴，思维的碰撞让我对嵌入式基础软件有了更全面的认知。同时，我也清醒认识到自己知识储备的不足，在前沿技术的理解和应用上还有很大提升空间，在今后的学习中，我会更加刻苦钻研，紧跟技术发展潮流，努力为软件领域贡献自己的一份力量。
查文翔（铸剑班）：
感谢学院大力支持，让大一学生也能有机会参加CCF系统软件技术论坛。金芝教授关于“复杂嵌入式软件需求工程”的报告，彻底刷新了我对软件开发的认知。原来代码编写只是冰山一角，需求工程才是软件开发的灵魂。教授以航天器、智能家居为例，阐述“基于投影的规约方法”通过设备识别、行为建模构建需求工程闭环，让我体会到代码本质是物理世界的数字化映射。此次学习让我认识到，软件工程是以需求为起点的系统工程。在智能时代，开发者不仅要懂代码，更要掌握需求分析与建模能力，才能打造出契合现实场景的优质软件。
庞佳泽（铸剑班）：
得益于学院的统筹安排，我获得了这次宝贵的2025CCF系统软件技术论坛学习机会，这不仅是一次知识的汲取，更是一次视野的开拓与信念的坚定。论坛紧凑而充实的议程，全方位展现了嵌入式基础软件领域的前沿动态与关键挑战。开幕式后，周兴社教授率先分享智能机器人操作系统核心技术及其研发实践，作为母校的前辈，他的讲解让我对智能机器人软件内核的创新突破有了直观认识，也为我树立了学术与实践的榜样。金芝教授对复杂嵌入式系统软件需求工程的深度剖析，使我明白精准的前期规划是软件成功的基石。马晓星教授关于神经符号融合形式推理的探讨，更是打开了我认知的新大门，让我看到基础理论与前沿技术融合的无限潜力。作为铸剑班学员，我将以此次论坛为契机，在未来的学习与研究中以创新为驱动、以解决实际问题为导向，不断提升自己，努力成为软件领域的“铸剑”之才。
未来，软件学院将持续深化产学研协同创新机制，通过组织高水平学术交流、优化实践教学体系、强化校企联合培养等举措，以“总师育人文化”为引领，为我国工业软件技术突破与产业升级贡献西工大力量。
审核：陈博
