CCF软件大会2026|关键行业软件与AI融合发展论坛

一、论坛介绍

关键行业软件是国家信息化体系与数字经济发展的核心支撑，深度服务于制造、能源、交通、通信、金融、医疗等关键领域，肩负着保障行业运行安全、提升系统智能水平、保障国家核心基础设施自主可控的重要使命。随着人工智能、大数据、云计算等新一代信息技术的爆发式发展，关键行业软件正经历从"功能集成"到"智能融合"的深刻变革。通过AI技术赋予软件知识驱动、数据自学习与智能决策能力，将推动行业从"信息化管理"向"智能化运营"跨越，也为我国构建自主可控、安全高效的关键软件生态筑牢根基。

作为第三届"关键行业软件与AI融合发展论坛"，本届论坛延续前两届"产学研深度联动、技术与场景双向赋能"的核心定位，进一步聚焦AI技术在关键行业软件中的前沿落地与创新实践。论坛汇聚来自科研机构、高校及工业界的顶尖专家，围绕嵌入式设备软件的AI辅助测试审计、机载高安全领域的智能软件工程、工业知识驱动的制造价值落地、石油装备材料失效的智能预测、嵌入式软件智能化开发、软件与AI融合的产数实践、城市级低空GNSS智能监测等细分方向展开深度研讨，既剖析核心技术瓶颈与产业生态挑战，也分享可复制的落地经验与创新模式。通过思想的碰撞与经验的沉淀，推动AI技术与关键行业软件的深度融合和场景化落地。

二、论坛组织委员会

• 李青山（西安电子科技大学）
• 李运喜（中航工业集团西安航空计算技术研究所）
• 张永文（山东恒远智能科技有限公司）

三、论坛安排

日程安排：

时间：2026年11月6日，08:50-12:05

地点：天津社会山国际会议中心，三层1号多功能厅

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：蒲戈光 教授

题目：AI辅助嵌入式设备软件测试审计与生成

摘要：嵌入式装备由于分系统功能各不相同，人工审计自然语言撰写的测试需求与脚本非常消耗人力。本报告面向真实场景，利用大模型+知识库的构架，构造了测试审计与生成平台，能够自动的判别测试脚本是否覆盖了测试需求的功能点，如果没有完全覆盖，平台能够自动生成测试用例，补全测试脚本。从实际的使用效果看，本项目的准确率在95%以上，能大幅度减少人工审查的时间，提升装备测试的效率。

简介：华东师范大学软件工程学院执行院长，国家级领军人才。研究聚焦可信人工智能与软件工程领域，在ICSE、ASE等国际权威会议发表学术论文100余篇。曾担任科技部重点研发计划专项"人工智能安全可信理论及验证平台"首席科学家。研究成果多次获国际ACM 杰出论文奖，并作为第一完成人获上海市技术发明一等奖，以核心成员获上海市科技进步特等奖，北京市科技进步一等奖等奖项。一直致力于产学研的转化研究，主导研发的测试与验证工具平台支撑了嫦娥5号，C919大型客机等国家重大工程的软件研发。

2. 报告人：戴小氐 研究员

题目：面向机载高安全领域的智能软件工程技术探索

摘要：当前AI技术发展重心已由模型参数迭代转向行业场景深度落地，针对航空机载高安全软件开发领域，关键是将大模型技术能力转化为可审查、可验证、可持续管控的工程化系统能力。人工智能驱动软件工程进入智能软件工程新阶段，为高可靠航空软件敏捷高效交付提供了新的技术路线。航空工业计算所基于Harness方法论，深度融合GJB5000标准体系，构建覆盖软件全生命周期的人机协同智能研发工具链，实现航空机载软件研发效率、质量合规的双重提升。

简介：戴小氐，航空工业计算所研究员，航空工业集团一级技术专家。长期从事机载综合化航电系统高安全软件研制，基于模型的软件开发技术研究，以及软件工程化管理工作。参与多项航空重点型号与预研课题，多次荣获省部级科学技术进步奖，发表多篇核心学术论文。

3. 报告人：张永文 高级工程师

题目：AI长在工业知识上：本体驱动的H4 OntoX与制造价值落地

摘要：当前，绝大多数制造企业已经完成或正在尝试AI应用，但真正在生产经营中见到实效的仍是少数。究其原因，一是通用AI"听不懂车间里的话"，不懂设备、工艺、物料之间的门道；二是传统工业软件是"固化"的——流程写死在代码里，业务一变就要排队等厂商二次开发，系统始终跟不上业务。恒远科技基于十余年大型定制化离散制造的服务积累，于2026年汉诺威工业展全球首发AI原生本体工业大模型引擎 H4 OntoX，提出"活态自主"理念：系统听得懂业务、跟得上变化、越用越懂行。H4 OntoX是一套工具化的工业智能平台：它提供一套企业自己就能用的工业智能应用构建工具——业务本体可视化建模工具、工业通用智能体框架、低代码开发工具和运行时应用生成器。企业的业务专家在配套方法论与知识封装岗位（PDSA）支持下，可直接把工艺文件、设备机理和老师傅的经验沉淀为企业自有知识资产，自主构建排产、工艺、异常处置等智能应用，业务变了随时调整，无需二次开发。报告将分享基于该平台在计划排产、工艺优化、异常响应等高价值场景中的业务实践与价值结果，并结合"关键软件与AI融合"的论坛主题，分享制造企业以工具化路径跨越AI"试点—见效"鸿沟的体会，以及对工业软件从"卖系统、卖人天"走向"卖持续进化能力"的观察与建议。

简介：张永文，中共党员，广西大学硕士，西安交通大学机械工程专业全日制博士在读，于2016年创办成立山东恒远智能科技有限公司，任创始人兼董事长，创业前曾担任德国西门子和国内上市公司等知名企业高管，有着丰富的工业智能化实践和企业数字化运营管理经验。致力于国产工业软件和智能控制领域产品的研发和应用。作为恒远科技创始人及研发团队带头人，先后承接国家级重大科技项目2项，荣获国家级工信部工业互联网优秀案例5项，工业优秀APP2项，参与并成功发布国家标准"智能工厂管控一体化集成参考模型"，发布2项团体标准 TSDZBZZ 015—2024《装备制造业企业数字化转型数据安全管理规范》、TSDZBZZ 016—2024《装备制造业企业智能工厂数字化建设要求》，发表工业互联网领域相关论文4篇,拥有授权知识产权共120余项，其中发明专利16项，并荣获工业互联网风云人物、2023山东省电子信息行业优秀企业家、烟台市优秀企业家、西门子中国首批精益生产专家、中国电信智能制造基地专家、华为云MVP（最有价值专家）、哈尔滨工程大学研究生导师、烟台市开发区人大代表、开发区十大杰出青年、烟台市开发区十佳成功创业标兵等荣誉称号。作为国产工业软件先驱者，带领恒远科技发展为行业头部的工业智能化服务企业，获评国家专精特新"小巨人"企业，打造"恒远航天智能制造产业园 "，在北京、山西、沈阳、河南、重庆等全国多地设有全资子公司，为中国航天、中国兵器、中国船舶、国家电投、中广核、太重集团、山东核电、杰瑞集团等大型装备制造央企、国企及集团化民企提供数智化转型服务。已完成由达晨财智、毅达资本等一线投资机构及省市区国资背景股东等投资的5轮次数亿元股权融资，迈入快速规模化发展。

4. 报告人：王鹏 正高级工程师

题目：石油装备材料失效分析与预测预防智能化技术研发进展

摘要：随着石油装备材料服役工况日趋严苛，行业对装备质量与运维管控要求持续提高，开展数智技术赋能的石油装备材料失效分析与预测预防技术的研究及工程应用，必要且紧迫。依托石油管材失效分析、全尺寸实物试验等专项数据集建设，围绕石油装备材料设计优化、性能评价、服役维护、失效分析等全生命周期环节，开展数智化融合应用研究。通过运用多模态数据、集成多类智能分析模型、迭代优化自主智能体算法等技术路径，持续提升材料领域智能化应用精度与实效。循序渐进拓展油气及新能源装备材料领域数智化应用场景，可为先进工程材料产业创新发展与油气装备安全高效服役提供技术支撑。

简介：王鹏，工学博士，正高级工程师，主要从事石油工程材料研发、失效预防及人工智能技术应用研究工作。现任中国石油集团工程材料研究院高级专家，陕西省中青年科技创新领军人才，兼任ISO/TC67/WG4"Reliability Engineering and Technology"注册专家，中国机械工程学会失效分析分会常务委员、中国金属学会轧钢分会专家，西安理工大学博士生导师，西北工业大学、西安石油大学硕士生导师。主持研发900MPa级直缝高频焊热轧（SEW）套管填补国内技术空白、多项气密封螺纹专利获转化应用、建立管柱可靠性评价方法、开发石油管材失效智能诊断昆仑大模型，带领团队被授予中国石油集团劳模和工匠人才创新工作室。获省部级科技奖励9项，发表论文26篇，授权专利20项，制修订标准8项。

5. 报告人：顾斌 研究员

题目：安全攸关嵌入式软件智能化开发研究与应用

摘要：大模型在安全关键软件（Safety-Critical Software）领域的应用面临着可靠性和安全性等挑战，本报告介绍了我们近期在该方向的部分研究工作，包括控制算法代码智能生成、程序静态分析误报智能消除、代码智能走查等。

简介：顾斌，男，北京控制工程研究所研究员，博士生导师。长期从事空间飞行器控制技术和高可信嵌入式软件研究和工程研制。主持和参与国家自然科学基金重点、集成和重大项目等。获国防科技进步一等奖、北京市科技进步一等奖等多项，主要研究领域包括高可信嵌入式软件、智能软件开发等。

6. 报告人：杨小凡 高级工程师

题目：软件与AI融合的产数实践

摘要：人工智能正深刻重塑软件产业的研发方式、产品形态与商业模式，软件企业面临从被动应对到主动重构的转型要求。本报告基于产业数字化实践，介绍软件与AI融合发展的探索路径。在中国电信集团五位一体智能服务体系牵引下，基于TeleAgent智能体平台，构建涵盖算力运营、自研模型、数据中台与安全合规的能力底座，以FDE模式深入行业场景挖掘需求，已在教育督导、国资监管、项目全流程管理等领域形成应用案例。

简介：杨小凡，陕西公众信息产业有限公司副总经理。深耕数字平台架构设计与运营管理、政务信息化、云计算与云业务运营、企业信息化与新兴业务等领域，主导多个跨领域核心平台的架构设计与落地，覆盖政务、卫健、体育、反诈等公共服务领域，推动数字技术与实体经济、社会治理深度融合，在企业信息化、云计算、政务大数据、卫健行业数字化等领域形成成熟运营管理经验。个人 获得中国电信集团产数业务咨询师 L4，个人荣誉方面，获 "中国电信集团北京冬奥会和冬残奥会通信保障突出贡献个人奖（集团 C2 级）"，参与编写的《后疫情时代下数字平台运营服务体系创新实践》获 "信息通信行业企业管理现代化创新二等奖"；其牵头或核心参与的项目成果显著，作为业务架构师及牵头人打造的西安 "一码通" 平台，荣获 "2020 年数字陕西建设优秀成果和最佳实践案例"，该平台专班亦获 "中国电信集团北京冬奥会和冬残奥会通信保障突出贡献集体奖"，同时还牵头十四运会疫情防控信息系统管理平台（三证合一）、反诈平台等重大公共服务平台项目，作为核心参与者建设的 "西安工业云" 平台入选 "陕西省首批数字经济试点示范平台"。

7. 报告人：王徐华 副教授

题目：AI+城市级低空GNSS智能监测网

摘要：随着低空经济、无人机产业快速发展，城市电磁环境趋于复杂，GNSS 压制、欺骗干扰事件数量明显上升。传统无线电监测已无法满足城市低空快速、精准、全覆盖的监测需求。本次报告介绍了"感知、网络、平台、应用"四层分布式监测体系，创新利用云端 AI 大数据、类 TDOA 多站协同算法，实现秒级发现干扰、分钟级框定干扰源范围，把GNSS干扰源排查从传统天级缩短至小时级，支持航迹关联、轨迹预测、信号异常识别；AI智能输出告警通知、干扰热力图、数字孪生低空态势图等可视化能力。

简介：王徐华，博士，2007年于空军工程大学雷达工程专业获学士学位；2009年于空军工程大学获计算机应用专业硕士学位；2013年博士毕业于空军工程大学电子科学与技术专业。从2018年开始至今，于西安电子科技大学任教。担任杭州雷擎电子科技发展有限公司董事长，主持并参与多项863和973项目，及陕西省科技进步二等奖各一项。目前的研究方向为战场测量及仿真评估技术 、无人机集群作战及无人机反制技术，相关在研项目三项。依托多年在电子对抗与信号处理领域的深厚积累，重点攻关低空复杂电磁环境下的智能感知与干扰反制关键技术。并结合AI大模型技术，探索多源数据融合与智能决策算法，致力于提升低空安全监测的自动化水平与实战效能。

五、论坛组织委员会简介

1. 论坛主席：李青山 教授

简介：李青山，教授，博导，CCF杰出会员。西安电子科技大学计算机科学与技术学院（国家示范性软件学院）党委书记、智能软件与系统新技术研究所所长、陕西省智能软件工程科技创新团队负责人、西安市智能软件工程重点实验室主任、西电软件工程一级学科负责人、教育部省级重点学科"软件工程"学术带头人。曾任学校发展规划处副处长/一流建设工作办公室副主任（主持工作）、研究生院副院长、软件学院副院长。主持国家级和省部级科研项目等70余项，与航空工业集团、中电集团、航天科技集团、中船工业集团、西安卫星测控中心等重要企业合作开展关键技术攻关。在ICSE、ESEC/FSE、ASE、ISSTA等软件工程或人工智能领域CCF A类顶级会议、ACM Trans.、IEEE Trans.、《中国科学》等1区top或国内T1级期刊发表论文140余篇，合作出版专著3部，授权/公开国家发明专利/国防专利40余项。累计获国家级教学成果奖二等奖、陕西省科学技术进步奖等省部级及以上科研/教学奖励7项。作为大会程序委员会和组织委员会主席，承办ACM SIGIR 2020、CCF 中国软件大会2021和2024、CCF 中国开源大会2022、全国第九届软件工程研究生教育研讨会、第五届和第六届软件工程实践教学研讨会等国内外软件领域顶级学术或教育会议。

2. 论坛主席：李运喜 研究员

简介：李运喜，中国航空工业集团计算所副所长，国家级嵌入式共性基础软件技术创新中心常务副主任，陕西省中青年科技创新领军人才。

3. 论坛主席：张永文 高级工程师

简介：张永文，西安交通大学机械工程专业全日制博士在读，于2016年创办成立山东恒远智能科技有限公司，任创始人兼董事长。致力于国产工业软件和智能控制领域产品的研发和应用。先后承接国家级重大科技项目2项，荣获国家级工信部工业互联网优秀案例5项，工业优秀APP2项，参与并成功发布国家标准"智能工厂管控一体化集成参考模型"，发布2项团体标准，发表工业互联网领域相关论文4篇,拥有授权知识产权共120余项，其中发明专利16项，并荣获工业互联网风云人物、2023山东省电子信息行业优秀企业家、烟台市优秀企业家、西门子中国首批精益生产专家、中国电信智能制造基地专家、华为云MVP（最有价值专家）、哈尔滨工程大学研究生导师、烟台市开发区人大代表、开发区十大杰出青年、烟台市开发区十佳成功创业标兵等荣誉称号。