全自主国产PLM组件：约束求解器 ——陈立平教授就几何约束求解发表最新理论成果

2022年11月20日下午，苏州同元软控信息技术有限公司董事长、华中科技大学教授陈立平博士以“几何约束求解引擎CBA2022进展”为主题开展科研成果报告分享会，会议由上海交通大学何援军教授主持，业内300余位专家同仁与会交流。

华中科技大学陈立平教授：国产CAD几何约束求解器CBA先行者

三维几何建模引擎是三维CAD软件最核心的底层技术，是目前三维CAD领域最关键的“卡脖子”技术，受到了国家的高度重视。
几何约束求解引擎是公认的CAD参数化设计的关键核心技术，是CAD的关键基础组件，技术难度大，可靠性要求极高，目前被国外垄断。
几何约束求解器：广泛应用在草图轮廓表达、零件建模参数表达、装配约束以及碰撞检查等场景中，为快速确定设计意图表达、检查干涉、模拟运动提供了强有力的支持，可帮助最终用户提高生产效率。约束求解引擎也是最基础的核心组件，目前主要的产品有D-Cubed DCM（西门子），CGM(达索），LGS（LEDAS）和DCS（华云三维）以及俄罗斯ASCON： C3D Solver。
https://zhuanlan.zhihu.com/p/522338945
二维和三维几何约束求解技术是智能设计的关键技术，是实现和维护设计意图的基础技术，对求解结果的可靠性和一致性要求极高。作为CAD系统的核心基础组件，几何约束求解引擎研发的技术难度大，国内外CAD系统很多，真正有自主技术的几何约束求解引擎屈指可数，基本上被英国d-cubed公司的DCM和俄罗斯LEDAS公司的LGS所垄断。

陈立平教授是国家智能设计与数控技术创新中心副主任，也是国内工业软件领域的领军人物，从上世纪九十年代以来，其领导的团队在几何约束求解理论与软件研发方面进行了深入研究，取得了丰硕的研究成果。作为本次科研成果报告分享会的主讲人，陈立平教授针对三轮技术创新、技术逻辑、三元体理论探索几个方面进行了详细的介绍，并就几何约束求解理论的最新成果向工业软件业内同行进行了重点展示。主要成果包括：

提出了面向二维和三维几何约束一体化表达与求解的三元体理论与方法；

提出了面向几何约束奇异性判断的摄动方法，能够快速、准确的判定冗余约束；

提出了几何约束系统恰定域理论，解决了最小恰定域识别和判定问题，实现了大规模欠约束系统的实时分解；

针对复杂约束模式，提出了数值求解与解析求解相结合的迭代方法，实现了大规模几何约束系统的快速求解；

建立了基于Modelica的功能建模技术与几何建模的融合，实现知识表达+约束融合+工业模型的知识自动化新生态，将推动未来更加智能化的数字化设计技术创新发展。

陈立平教授认为，目前国际主流的几何约束求解理论与方法是不完备的，有很大提升和创新空间，我们对国外的垄断技术不能盲从，要敢于质疑，国产工业软件必须拒绝重复，唯有创新才能实现真正的自主可控。

会议最后，何援军教授对于整场汇报进行了要点回顾，作了总结发言。何教授表示，“几何内核引擎技术是CAD软件的核心基础，决定着CAD软件的能力边界和行业扩展性。当前国产CAD软件发展正盛，我们要正确发挥国内已有的CAD软件的成果，为未来中国的工业软件领域找到正确的路径，之后有机会需要联合国内CAD的老朋友，对于如何开展国产CAD建设方面再做详细讨论。”

此次会议取得圆满成功，参会人员积极提问与讨论，互通有无，学术氛围浓厚，达到了预期效果。本次培训交流会主要分享了陈教授最新科研成果，在线研讨交流利于加快推动科技成果转移转化，对推进公司软件国产化的企业战略、加快国产软件替代进程具有重要意义。

陈立平教授个人简历

陈立平，华中科技大学机械学院教授、博士生导师，苏州同元软控信息技术有限公司董事长、武汉天喻软件股份有限公司董事长。近二十年来主要从事几何约束求解、多体系统动力学、多领域物理统一建模与仿真等数字化设计支撑技术研究，是该领域研究团队的学术带头人。

从1996年开始，在我国工程制图甩图板的历史背景下，面向CAD系统的参数化设计，陈立平教授从“设计是约束满足问题”的视角出发，开始从事几何约束求解理论方法研究，经过多年的研究开发，推出了几何约束传播自动机CBA系统。

从2001年开始，陈立平教授将研究领域从几何空间拓展到状态空间，针对多学科融合的系统协同设计，提出了独立的跨学科的系统原理（广义机械原理），致力于构建知识驱动的可计算的系统设计方法及工具。在国内率先研究了多领域物理建模规范语言Modelica，组织研发了多领域系统综合设计与验证软件MWorks。

针对CAD软件卡脖子问题的破局，从2020年开始，陈立平教授以全新的思路重启几何约束求解问题研究，以期实现几何空间与状态空间的融合，历经近3年的潜心研究，提出了三元体理论，据此实现了几何约束引擎的算法重构；提出了奇异性摄动方法，可快速有效地判定冗余约束；提出了拉格朗日迭代方法，可实现复杂约束的半解析求解；有效解决了大规模约束条件下最小恰定域搜索问题。

本文为同元软控原创内容，陈立平教授同意转载。