星空体育平台官网入口 国产工业软件前沿技术论坛 | CNCC2021

CNCC2021将汇集国内外顶尖的专业力量和专家资源，为超过10000名参与者呈现一场精彩盛大的专业盛宴。不要缺席，等你来，欢迎报名哦！

国内工业软件前沿技术论坛

[论坛背景]。

工业软件广泛应用于航天、航空、军工、工业控制等领域，是我国工业企业发展的短板。随着外部环境的日益复杂，作为信息产业的核心要素星空体育app官方下载，自主可控的工业软件的研发设计需求十分突出。大力推动国产工业软件的推广应用，形成稳定、可持续的工业软件生态非常重要。

CNCC2021国产工业软件前沿技术论坛将邀请来自学术界和工业界的专家，共同探讨国产工业软件的前沿理论、研究成果和实际应用，深入分析中国工业软件开发的机遇、挑战和对策，旨在加速中国工业软件的发展星空·综合体育官网入口，加速工业的数字化转型。

论坛主席

蒲戈光

上海工控安全创新科技有限公司总经理

导读：蒲戈光是上海工控安全创新科技有限公司总经理，华东师范大学软件工程学院教授。同时，他还担任上海市可信工业互联网软件协同创新中心主任。他的主要研究领域包括软件形式化方法、程序测试和验证。目前是中华人民共和国科技部重点研发项目的首席科学家。他的研究成果曾获得上海市科技进步奖、北京市科技进步一等奖、ACM 优秀论文奖。目前，他正在主导自主可控的软件建模、测试、分析工具链的研发，已服务近 50 家企事业单位，有效提高了企业软件开发的质量和效率。

论坛联合主席

宁振波

曾任中国航空工业集团公司信息技术中心首席顾问、中国船舶工业集团公司独立董事

简介：中国航空工业集团公司信息技术中心原首席顾问、中国船舶集团公司独立董事宁振波参与了多型飞机的研制。国家科技进步二等奖获得者。参与编写了数字化和智能制造系列书籍。他发表了数百篇与制造业相关的学术论文。他也是许多行业、企事业单位的外部专家。西北工业大学、广东工业大学兼职教授，工信部首批两化融合专家之一。2019年12月，在人民大会堂荣获第十五届光华龙腾奖中国设计贡献金奖——新中国成立70周年——70位中国设计师。

论坛议程

时间

主题

主讲人

隶属关系和职位

13：30-13：40

主持人致辞

蒲戈光

上海工控安全创新科技有限公司总经理

13：40-14：20

演示文稿 1：Soul Casting - 软件定义制造

宁振波

曾任中国航空工业集团公司信息技术中心首席顾问、中国船舶工业集团公司独立董事

14：20-15：00

报告 2：CFD 工业软件的发展趋势和思考

罗坤

浙江大学 Jie Qing 教授

15：00-15：40

演讲 3：EDA（电子设计自动化）在中国面临的挑战和机遇

何培欣

上海和剑工业软件集团首席技术官

15：40-16：20

报告四：国产工业流体仿真软件的发展路线

付延国

上海吉鼎信息技术有限公司、上海世运工业软件有限公司总经理

16：20-17：00

报告 5：嵌入式控制软件的需求建模和分析工具以及行业应用

苗伟凯

华东师范大学副教授、院长助理、软件工程学院院长、嵌入式软件与智能系统系主任

17：00

论坛结束

关于讲者

宁振波

曾任中国航空工业集团公司信息技术中心首席顾问、中国船舶工业集团公司独立董事

主讲人简介：宁振波，原中国航空工业集团公司信息技术中心首席顾问，中国船舶工业集团公司独立董事。参与多类型飞机的开发。国家科技进步二等奖获得者。参与编写了数字化和智能制造系列书籍。他发表了数百篇与制造业相关的学术论文。他也是许多行业、企事业单位的外部专家。西北工业大学、广东工业大学兼职教授，工信部首批两化融合专家之一。2019年12月，在人民大会堂荣获第十五届光华龙腾奖中国设计贡献金奖——新中国成立70周年——70位中国设计师。

名称： Soul Forgery - Software-Defined Manufacturing

报告摘要：数字时代，中国突破了深层次的技术难题，解决了卡脖子的问题。2021 年 5 月 28 日，习近平总书记首次将工业软件提升为国家最紧迫、最紧迫的关键核心问题。笔者首次提出，软件定义制造是对传统制造过程进行描述、集成、模拟、加速、放大、优化和创新，形成新的工业智能模型，通过工业软件赋能，使工业过程更精准，使工业经济更强大。

罗坤

浙江大学教授、浙江大学上海高等研究院副院长

主讲人简介：罗坤教授长期从事能源与动力工程领域复杂多相流的计算建模和数值模拟工作，曾入选国家杰出青年基金，获得2020年度腾讯科学探索奖。主持多项科研项目，提出了多相湍流数值模拟的新方法，揭示了复界面耦合的新机制，建立了更加准确、通用的新模型，并已成功应用于能源、电力等工程领域，取得了显著的经济效益和社会效益。曾应邀在重要国际学术会议上作邀请报告30余篇，并担任多本国际SCI期刊的编辑或副主编。研究成果获得教育部自然科学奖一等奖，并于 2020 年被 Elsevier 评选为“中国高被引研究人员”。

报告题目：CFD工业软件的发展趋势与思考

摘要：随着现代计算机的飞速发展，利用高性能并行计算数值模拟方法解决自然科学与工程技术中遇到的挑战性问题得到了迅速发展，已成为人类与传统理论分析和实验测量并列的探索未知世界的三大手段，日益成为企业和国家的核心竞争力。国际社会高度重视该领域的研究，各种工业计算理论、模型、算法和软件层出不穷，推动了工业设计方法从耗时的实验测试结合经验/半经验模型向计算机仿真设计的过渡，大大提高了工业设计的准确性和效率，促进了相关行业的跨越式发展。 计算流体动力学 （CFD） 软件作为工业软件的重要组成部分，广泛应用于能源电力、化工冶金、航空航天、环境健康等国民经济的各个领域。它不仅可以计算流场，估计产品的性能，还可以优化现有的工业设备，成为揭示复杂流动机构和设计高性能工业设备的有力工具，日益成为行业的核心竞争力。但在这方面，中外存在较大差距，市场基本被国外商业软件垄断，本报告介绍了计算流体动力学工业软件的重要发展历程和发展趋势，特别是当前与信息技术的融合和可能的创新思维，以期为自主可控的国产CFD软件开发提供参考。

何培欣

上海和剑工业软件集团首席技术官

主讲人简介：Peixin He现任上海和剑工业软件集团CTO，负责硬件仿真工具的研发。在此之前，他是 Synopsys Fellow 的后端，负责 1998 年至 2021 年期间 Synopsys 的 Zebu 硬件仿真工具的后端、IC Compiler II 物理实现工具的物理综合以及 Magellan 类型验证工具。从 1995 年到 1998 年，他在 Intel 开发了形式验证工具。他于 1995 年获得康奈尔大学计算机科学博士学位，拥有 12 项美国专利，发表了 30 多篇学术论文，并被 10,000 多篇其他论文引用（Google Scholar 统计）。1999 年获得 DAC（Design Automation Conference）最佳论文奖，2009 年入选 DAC 最佳论文奖候选人。

题目：EDA（电子设计自动化）在中国的挑战和机遇

报告摘要：简要描述 EDA 数字验证和实现工具星空体育app下载入口，概述中国 EDA 行业面临的挑战和机遇，并提出使用机器学习 （ML） 和高性能计算 （HPC） 技术在 EDA 工具中的制造技术节点 N 上提供 N+1 PPA（性能、功耗和面积）的想法。

付延国

上海吉鼎信息技术有限公司、上海世运工业软件有限公司总经理

主讲人简介：付彦国，工程硕士，毕业于东华大学机械工程学院;他在工业软件行业拥有 18 年的销售管理经验，曾在 Robert Bosch、Ansys 中国和 Altium 中国担任销售经理和区域经理。2008 年，他创立了上海吉鼎信息技术有限公司，该公司已成为中国多相流仿真和测试领域的优秀解决方案供应商和高新技术企业，为航空、航天、造船、兵器、电子、核电、石油、石化、交通等领域的用户解决实际工程和科研挑战。公司多相流在线公众号拥有数万粉丝，凝聚了国内外复杂流体仿真和测试的顶尖人才和技术，成为国内流体仿真领域的知名品牌。2020年8月，上海世运工业软件有限公司成立，依托公司现有完整的商业流体仿真软件代码和专业技术开发应用团队的经验，专注于工业流体仿真软件的本地化和营销。

报告题目：国产工业流体仿真软件的发展路线

摘要：流体仿真软件或 CFD 软件是计算机仿真 （CAE） 中最重要和最困难的领域。如何在国外巨头垄断和国内外巨大差距的情况下开发和推广国产工业流体仿真软件，国内初创企业不仅要清醒地认识到自己目前面临的壁垒和挑战，还要根据复杂用户的实际需求参与进来， 具有长远的眼光和具体可行的产品开发和推广路线。在这方面，我们提出了一个三步法。首先，以差异化战略突破，突出强者包围，然后形成产品系列，以矩阵式产品设计推动品牌建设，最后融入行业生态和用户研发。

苗伟凯

华东师范大学副教授、院长助理、软件工程学院院长、嵌入式软件与智能系统系主任

主讲人简介：苗卫凯，华东师范大学软件工程学院副教授、助理院长，嵌入式软件与智能系统系主任。主要研究领域为软件形式化工程方法、软件需求、嵌入式软件测试与验证等。近年来在ISSE、ASE、FSE和JSS等软件工程领域的国际高水平学术会议和期刊上发表了20多篇论文。曾获2019年度上海市科技进步奖特等奖、2018年第三届上海大学青年教师教学竞赛一等奖等奖项。

标题：嵌入式控制软件的需求建模和分析工具以及行业应用

报告摘要：嵌入式控制软件是轨道交通、航空航天等重大设备的核心控制中心。此类软件的功能安全直接关系到设备和设备的安全运行，此类软件出现问题会导致严重损失。通过长期的研究和实践，业界普遍认识到，对软件需求的准确描述和严格分析在确保此类软件的功能安全方面发挥着重要作用。为解决在实际工程环境中如何准确描述和严谨分析嵌入式控制软件的需求问题，本报告将介绍研究团队针对嵌入式控制软件提出的形式化需求建模工程方法，并结合该方法及其配套工具在实际应用场景中的需求建模与分析的相关经验进行探讨。航空、轨道交通和汽车电子领域。

CNCC2021将于 10 月 28-30 日在深圳举行，今年会议的主题是“计算赋能加速数字化转型”。CNCC 是计算机、学术界、工业界和教育领域的年度盛会，从宏观层面讨论技术发展趋势，预计今年的参与者人数将达到 10,000 人。年度专题报告的嘉宾汇集了院士、图灵奖获得者、国内外知名高校学者、知名企业领导以及各领域极具影响力的行业专家。

今年的特邀嘉宾包括 ACM 图灵奖获得者 John Hopcroft 教授和 Barbara Liskov 教授，南加州大学计算机科学与空间研究系 Yolanda Gil 教授，陈维江、冯登国、郭光灿、孙宁辉、王怀民等院士，以及业内众多有影响力的专家。本届科技论坛多达111场，在数量、质量、覆盖面等方面均创造了历史上规模最大的技术论坛，并将为参与者带来学术、技术、工业、教育、科普等方面的全方位体验。会议期间，将首次举办“会员之夜”的大型主题嘉年华，让参与者自由交流。

CNCC2021将汇集国内外顶尖的专业力量和专家资源，为超过10000名参与者呈现一场精彩盛大的专业盛宴。不要缺席，等你来，欢迎报名哦！

CNCC2021注册