高端工业软件，作为制造业核心软件的重要组成部分，承担着支撑产品全生命周期和企业运行全过程的关键作用。随着移动互联网、物联网、云计算、大数据和人工智能等新兴信息技术的快速发展，高端工业软件产业经历了重要的发展模式变革，进入了可按需定制软件的发展阶段。这些新型制造业核心软件的特征包括基于互联网、面向服务、按需定制、知识驱动、泛在计算、动态演化等，是数字制造、智能制造、网络制造的连接基石，对制造业的数字化转型发挥着核心推动作用。
高端行业软件与ai融合发展论坛将关注产业生态和理论研究的最新进展，深入解析我国智能工业软件领域的现状，并探讨学术界的发展趋势、工业界的应用成果以及面临的主要问题和挑战。论坛将汇集来自学术界和工业界的顶尖专家，旨在促进学术研究成果与产业实践需求的交融，加强学术界与工业界的深度融合，推动我国智能工业软件的理论研究、产业发展和标准化生态建设，为国内工业软件领域做出贡献。
01
论坛组织委员会
李青山（西安电子科技大学）
李运喜（中国航空工业集团计算所）
02
论坛议程
03
论坛报告嘉宾简介
刘波
报告题目：人工智能发展及其在航空中的应用
报告摘要：
围绕人工智能技术核心特征和对航空工业产业链的变革影响，讨论航空作战、制造、设计领域应用人工智能的特点、挑战、应用实践和趋势。
报告人简介：
刘波，集团人工智能技术专家，2010年3月毕业于西安交通大学计算机科学与技术专业，获博士学位，先后在中国航空工业集团光电所、中国航空研究院/智航院工作，主要研究方向为航空智能作战任务系统技术、有人无人协同技术、智能作战训练技术，主持多个重点型号/预研项目，获省部级科研奖励10余项，其中一等奖3项、二等奖5项，荣立三等功3次，以及河南省国防科工“优秀共产党员”1次。
李青山
报告题目：大模型赋能军事信息系统思考与实践
报告摘要：
分析了蓬勃发展的大模型技术，在系统架构、能力生成机制等方面，对军事指挥信息系统产生的颠覆性影响，并结合实践梳理了大模型赋能军事应用的典型模式和机制。
报告人简介：
李青山，中国电科28所信息系统工程全国重点实验室副主任，正高级工程师，主要从事智能化军事指挥信息系统研究工作。以总师/副总师等身份承担军队重大科研任务10余项，获得国防科技进步二等奖、中国电科集团科技进步二等奖等多个奖项，以及中国电科集团“青年拔尖”人才、军委科技委青年托举人才等荣誉称号。
蒲戈光
报告题目：智能化技术在软件自动化测试工具的应用初探
报告摘要：
智能化技术如强化学习、大语言模型在人工智能领域中取得了成功的应用，而传统软件测试工具经过30多年的发展，在行业中使用非常稳定，暂时还没有受到人工智能技术的强烈冲击。但我们觉得未来软件工程所有领域都会被人工智能技术所影响。我们基于之前研发的商业测试工具进行了智能化技术应用的探索，包括测试用例自动生成、测试用例选择以及测试结果的理解如何与大语言模型进行融合，取得了初步的应用效果，同时讨论了当前人工智能技术在自动测试领域的优势与劣势。
报告人简介：
蒲戈光，华东师范大学软件工程学院执行院长，上海工业控制安全创新科技有限公司总经理，研究聚焦形式化方法与软件工程领域，特别是在软件验证理论与算法，工业级验证工具研发等方面做出了贡献。曾担任科技部重点研发计划专项“人工智能安全可信理论及验证平台“首席科学家。研究成果曾获acm 杰出论文奖，上海市技术发明一等奖等奖项。研发的多款创新验证与测试算法对发现真实软件缺陷非常有效，近期一直致力于产学研的转化研究，主导研发的测试与验证工具平台服务了100多家家企业，有效提升了企业软件开发的质量与效率。
张永文
报告题目：装备制造行业智能制造软件实践-产线大脑
报告摘要：
制造业高质量发展的当下，围绕国家“三新”（新质生产力、新型工业化、设备更新）政策导向，分享如何运用人工智能 (ai)、大数据 (big data)、数字孪生/cps、智能算法、物联网（iiot）及工业控制等前沿技术，打造“产线大脑”人工智能整体凯发k8登录的解决方案，围绕“1工具 1平台 n场景”，依托智慧产线/车间/工厂的总体规划设计能力与精益生产能力，激活企业数字资产价值，解决企业工艺质量与效率问题，实现工位制、节拍制的批量化柔性生产以及数据驱动智能设备的智能控制，全面推动企业实现“数字化、智能化、精益化、绿色化”的智能制造数字工厂建设，实现业界领先的群体智能化生产模式变革。
报告人简介：
张永文，西安交通大学博士，山东恒远智能科技有限公司创始人兼董事长，烟台市开发区人大代表，2024年国家工业互联网五百强企业，位居第33位（细分领域第一位）。担任“西门子中国首批精益生产专家”“中国电信智能制造基地专家”“哈尔滨工程大学研究生导师”“山东省青年企业家协会会员”“华为云mvp（最有价值专家）”等职务，荣获“山东省电子信息行业最具社会责任企业家”“烟台市优秀青年企业家”“黄渤海新区高质量发展突出贡献企业家”“黄渤海新区优秀共产党员”“烟台市开发区十佳成功创业标兵”“烟台开发区十大杰出青年”“2022-2023工业互联网风云人物”“维科杯年度先锋人物”等称号等荣誉称号。主要聚焦于装备制造行业工业数字化与智能化技术的研究与应用，在智能制造、工业控制、大数据与人工智能等领域具有深厚的理论功底和丰富的实践经验。
张海宁
报告题目：面向用户体验的软件工程方法
报告摘要：
用户体验是决定消费类软件产品成败的关键因素，例如终端操作系统、移应用软件等，如何建立以用户为中心、以设计为导向、以技术为支撑的软件开发过程，是保障软件体验的核心。本报告将探讨用户体验计算、软件功能规划、场景驱动测试等新型软件工程方法。
报告人简介：
张海宁，南开大学讲席教授、博士生导师，教育部长江学者讲席教授，国家级高层次人才，天津市软件体验与人机交互重点实验室主任。曾任苹果公司大中国区工程研究院院长以及苹果公司美国软件开发总监，获得四十余项美国发明专利。曾带领团队完成了十余个iphone、ipad和apple watch的软件开发项目，曾领导上千人的大中国区研发团队，拥有27年的软件开发经验。
白林亭
报告题目：嵌入式领域智能基础软硬件应用现状与发展思考
报告摘要：
嵌入式领域是当前人工智能技术应用落地的重要方向。相比于数据中心等通用计算环境，嵌入式领域存在应用场景多样、平台构型多样、能力需求多样等诸多独特特性，这些特性推动了嵌入式智能基础软硬件技术生态和产业的蓬勃发展，呈现出“百花齐放”的发展现状。这种发展现状呈现出什么特性？存在哪些问题和发展瓶颈？如何布局和牵引技术进一步迭代和产业进一步落地？本报告将结合计算所近年来的技术攻关和应用实践，汇报相关工作与思考。
报告人简介：
白林亭，中国航空工业集团计算所人工智能与图形图像技术研究室副主任，主持和参与了多项科研项目和工程项目，授权发明专利二十余项，带领团队深度参与了航空领域智能基础软硬件构建工作，部分成果已在重要产品中应用落地。
丁华
报告题目：智能工厂数字化基础工业软件的技术研究
报告摘要：
我国社会经济正在从商品经济形态向数字经济形态转型升级，智能制造是数字经济的产业基础，工业软件是智能制造的技术基础。我国国产工业软件在汽车行业市场占有率不足1%，制造业企业工业软件的应用现状是沿用信息化技术思路的mes erp it/ot的集成，存在定制化程度高、可复制性差、推广难度大等问题。报告从数字化技术和智能工厂s2c2m规模化定制模式2个角度，提出实现智能工厂凯发k8登录的解决方案的3类通用基础工业软件的核心功能和技术架构，并提出面向智能工厂工业场景多业务系统的通用集成方案和应用实例。报告最后总结了智能工厂的技术路线图和工业企业数字化转型成熟度参考分类方法。
报告人简介：
丁华，浙江西图盟数字科技有限公司创始人，吉利汽车研究总院资深总工程师，国家智能制造标准组专家委员，国家地方联合新能源汽车智能制造工程研究中心主任；浙江省数字化设计与制造创新中心主任。主要研究方向智能工厂、数字孪生、工业元宇宙关键共性技术和智能制造基础工业软件的国产化，2016—2019年担任《新能源汽车智能制造运行系统关键技术标准及验证》国家专项项目负责人，是国家数字化设计与制造创新中心智能制造领军人物。
04
论坛组织委员会简介
论坛主席：李青山
个人简介：
李青山，教授，博导，ccf杰出会员。西安电子科技大学计算机科学与技术学院（国家示范性软件学院）党委书记、陕西省智能软件工程科技创新团队负责人、西安市智能软件工程重点实验室主任、西电软件工程一级学科负责人、教育部省级重点学科“软件工程”学术带头人。任ccf软件工程专委会常务委员，系统软件专委会执行委员，开源发展委员会执行委员，国家示范性软件学院联盟研究生教育委员会副主任。主要从事ai agent与自主智能软件工程方法、国产基础软件研发及开源生态构建等方向研究工作。主持国家级和省部级科研项目70余项，在软件工程和人工智能领域ccf a类顶级会议、期刊发表论文100余篇，合作出版专著3部，授权/公开国家发明专利和国防专利40余项。获国家级教学成果奖二等奖、陕西省科学技术进步奖等省部级及以上科研/教学奖励。
论坛主席：李运喜
个人简介：
李运喜，中国航空工业集团计算所副所长，国家级嵌入式共性基础软件技术创新中心常务副主任，陕西省中青年科技创新领军人才。
