国际Modelica协会主席Dirk Zimmer博士到访同元软控,共话Modelica技术未来

article/2025/6/9 1:20:24

5月28日,国际Modelica协会主席Dirk Zimmer博士到访同元软控苏州总部,双方围绕Modelica技术未来发展与开放生态建设,展开了深入的探讨与交流。

左:Modelica协会主席Dirk Zimmer博士

右:同元软控董事长周凡利

01

Dirk Zimmer博士:推动Modelica语言向轻量、确定、开放迈进

座谈会上,Dirk Zimmer博士带来主题为《Modelica Lite:Towards a Strict, Robust and Scalable Subset of Modelica》的专题报告,围绕“如何简化Modelica语言复杂性、提升普适性和工具生态适配性”进行了深入分享。

他指出,Modelica在表达复杂系统模型方面具备强大能力,但语言复杂度也在制约其进一步普及和工具生态的发展,而Modelica Lite旨在构建一套更严格、稳健、可扩展的子集语言体系,在不失通用性和表达力的前提下,大幅度降低语言复杂度,更加简单易学。

Dirk Zimmer博士介绍,Modelica Lite通过三项关键策略可将语言复杂度降低超过20倍:

强化建模顺序(Enforce Order):引入假设因果性机制,使模型构建逻辑更加清晰、处理流程更加可控。

确保确定性(Enforce Determinism):在信号流、能量流、物理系统等不同建模范式中,强调仿真执行路径的唯一性与结果可重复性;

倡导简约原则(Enforce Frugality):鼓励去除冗余建模语句,仅保留核心结构与关键变量,实现建模的“高效表达”。

此外,Dirk Zimmer博士还提出“Cooperative Mode for Tool Development”,他表示Modelica Lite作为工具开发的协同接口子集,有望大幅降低语言支持门槛,提升轻量化工具链的开发效率,为Modelica生态注入更高活力。

02

MWORKS:打造信息物理系统计算仿真平台与开放生态

同元软控技术市场总监周拥华作了题为《新一代科学计算与系统建模仿真平台MWORKS》的专题汇报,系统介绍了MWORKS在Modelica语言基础上的持续工具研发、创新实践与技术拓展。

MWORKS.Sysplorer作为亚太地区唯一一款被Modelica协会官方认可的系统建模仿真软件,全面支持Modelica规范3.6、Modelica标准库4.0以及FMI 1.0/2.0/3.0,具备从建模、仿真到验证的全面能力,仿真求解性能已经超越国际同类软件。

在工程实践层面,周拥华展示了MWORKS在航天、航空、核能、船舶等行业中的典型应用,经过近二十年持续创新实践推广,目前Modelica和MWORKS已经为中国工业界所广泛接受,成为系统建模仿真的事实标准与首选工具。

为解决Modelica在信息流建模能力上有所不足的问题,以及受众相对较小的局限性,同元软控推出了MWORKS.Sysblock,在Modelica统一表达的基础上全面支持框图建模仿真与代码生成;同时,推出MWORKS.Syslab,补充了信息流建模仿真必需的科学计算和框图建模能力,大大提升了MWORKS的应用领域与能力,这与Dirk Zimmer博士的努力方向异曲同工。

作为Modelica标准体系的参与者与贡献者之一,同元软控推出了Modelica标准库中文版——TYModelica Chinese(Modelica4.0.0.TY.1),目前已在GitHub平台正式发布(🔗https://github.com/Suzhou-Tongyuan/TYModelica_Chinese),面向全球用户开放共享。该模型库基于Modelica标准库4.0.0版本开发,解决了与3.2.3版本的兼容性问题,并提供了更适合工程实践的通用模型,是对标准库的实用化增强。

未来,同元软控期望通过建设开源科学计算和系统建模(openscs)社区,打造国际化的科学计算与建模平台,推动开源成果的联合治理、开放共享,吸引全球技术爱好者参与,孵化高质量开源成果,推动产学研一体化生态的良性发展,为工业软件创新注入持续动力。

03

深度技术交流,积极参与Modelica国际规范与开放生态建设

会议技术交流环节,同元软控技术团队与Dirk Zimmer博士进行了2个小时的深度技术交流,就Modelica语言机制、工具模型库开发、用户关切的模型调试、高频仿真等问题深入探讨,现场互动氛围热烈。

图片

Modelica协会

Modelica协会是一个独立的非营利性国际组织,致力于推动多领域物理系统建模仿真技术的标准规范建设。

    目前,Modelica协会围绕系统建模仿真技术,构建了六大核心项目:

    1. Modelica Language:语言规范与标准演进;

    2. Modelica Libraries:标准模型库的开发与共享;

    3. FMI(Functional Mock-up Interface):支持跨平台模型集成的功能样机接口标准;

    4. SSP(System Structure and Parameterization):样机集成的系统结构与参数配置标准;

    5. DCP(Distributed Co-Simulation Protocol):用于实时系统与仿真环境集成的分布式通信协议;

    6. eFMI(Exported FMI):支持嵌入式部署的功能样机接口标准。

    同元软控自2013年起即正式加入Modelica协会。作为Modelica协会成员,同元软控董事长周凡利长期参与Modelica国际标准的研讨与推进,持续推动其在工业仿真中的落地实践。

    本次技术交流会议围绕Modelica语言的技术演进与产业应用展开了‌深入的建设性探讨,双方对齐了Modelica技术发展的方向,认为Modelica在中国的蓬勃发展对于Modelica的发展具有重要意义,同元将在中文标准、中文标准库、规范扩展、用户反馈等方面积极参与到国际Modelica社区,实现openSCS与国际Modelica社区更深入的链接与合作,共同推进Modelica技术在数字化与智能化时代下的进一步发展。


    http://www.hkcw.cn/article/IFbqEBCAdf.shtml

    相关文章

    【论文笔记】High-Resolution Representations for Labeling Pixels and Regions

    【题目】:High-Resolution Representations for Labeling Pixels and Regions 【引用格式】:Sun K, Zhao Y, Jiang B, et al. High-resolution representations for labeling pixels and regions[J]. arXiv preprint arXiv:1904.04514, 2019. 【网址】…

    Redis:常用数据结构 单线程模型

    🌈 个人主页:Zfox_ 🔥 系列专栏:Redis 🔥 常用数据结构 🐳 Redis 当中常用的数据结构如下所示: Redis 在底层实现上述数据结构的过程中,会在源码的角度上对于上述的内容进行特定的…

    HTTP连接管理——短连接,长连接,HTTP 流水线

    连接管理是一个 HTTP 的关键话题:打开和保持连接在很大程度上影响着网站和 Web 应用程序的性能。在 HTTP/1.x 里有多种模型:短连接、_长连接_和 HTTP 流水线。 下面分别来详细解释 短连接 HTTP 协议最初(0.9/1.0)是个非常简单的…

    【Typst】1.Typst概述

    概述 Typst是一种用于排版文档的标记语言,可以用于排版各种精美的论文、文章、书籍、报告和作业等。它是LaTex的精神续作,但是运行环境和编译速度都要更简单、更快捷。 它设计了一种脚本结合简单的标记语法实现复杂的排版效果。并且支持模板创建、文件…

    预警功能深度测评:系统如何降低设备突发故障率?

    在设备密集型行业中,设备突发故障不仅会导致生产停滞,还可能引发安全事故,给企业带来巨大损失。设备管理系统凭借其强大的预警功能,成为众多企业降低设备突发故障率的选择工具。本文将深度测评该系统的预警功能,探讨其…

    ABAP设计模式之---“高内聚,低耦合(High Cohesion Low Coupling)”

    “高内聚、低耦合”是面向对象编程中非常重要的设计原则,它有助于提高代码的可维护性、扩展性和复用性。 1. 初衷:为什么会有这个原则? 在软件开发中,随着业务需求的复杂化,代码难免会变得越来越庞大。如果开发者将一…

    贪心算法应用:边着色问题详解

    贪心算法应用:边着色问题详解 贪心算法是一种在每一步选择中都采取当前状态下最优的选择,从而希望导致结果是全局最优的算法策略。边着色问题是图论中的一个经典问题,贪心算法可以有效地解决它。下面我将从基础概念到具体实现,全…

    基于 Amazon Q Developer CLI 和 Amazon Bedrock Knowledge Bases 实现智能问答系统

    1. 引言 传统企业通常将常见问题(FAQ)发布在网站上,方便客户自助查找信息。然而,随着生成式 AI 技术的迅速发展与商业渗透,这些企业正积极探索构建智能问答系统的新途径。这类系统不仅能显著提升客户体验,…

    ElasticStack对接kafka集群

    背景 在当代数字化浪潮中,日志数据的高效处理对于企业运维监控和数据分析至关重要。本博文聚焦于ELK(Elasticsearch、Logstash、Kibana)技术栈与Kafka集群的深度对接,旨在探讨如何通过这一架构优化,实现高效、可靠且可…

    【云计算】基础篇,含云测试

    一、云计算中的底层原理 1.1 数学原理 云计算的高效运行依赖于多种数学原理的协同支撑,其核心数学原理: 1.1.1、分布式计算的数学基础 ​分治与并行模型​ ​MapReduce​:将大数据集分割为独立子任务(Map阶段),通过哈希函数分发到分布式节点并行处理,再聚合结果(Redu…

    高效易用的 MAC 版 SVN 客户端:macSvn 使用体验

    高效易用的 MAC 版 SVN 客户端:macSvn 使用体验 下载安装使用总结 最近有个项目要使用svn, 但是mac缺乏一款像 Windows 平台 TortoiseSVN 那样全面、高效且便捷的 SVN 客户端工具, 直到博主找到了该工具本文将结合实际使用体验,详细介绍 macSvn工具的核心…

    从0到1认识EFK

    一、ES集群部署 操作系统Ubuntu22.04LTS/主机名IP地址主机配置elk9110.0.0.91/244Core8GB100GB磁盘elk9210.0.0.92/244Core8GB100GB磁盘elk9310.0.0.93/244Core8GB100GB磁盘 1. 什么是ElasticStack? # 官网 https://www.elastic.co/ ElasticStack早期名称为elk。 elk分别…

    TDengine 的 AI 应用实战——运维异常检测

    作者: derekchen Demo数据集准备 我们使用公开的 NAB数据集 里亚马逊 AWS 东海岸数据中心一次 API 网关故障中,某个服务器上的 CPU 使用率数据。数据的频率为 5min,单位为占用率。由于 API 网关的故障,会导致服务器上的相关应用…

    VMWare安装常见问题

    如果之前安装过VMWare软件,只要是 15/16 版本的,可以正常使用的,不用卸载!!! 如果之前安装过,卸载了,一定要保证通过正常的渠道去卸载(通过控制面板卸载软件&#xff09…

    MyBatis02——mybatis基础使用|缓存机制|sqlMapper文件|单参数和多参数传递|Statement和PreparedStatement

    目录 一、搭建环境 二、核心配置文件 三、核心类 (测试类) 四、缓存机制 一级缓存 二级缓存 清理缓存 五、sqlMapper文件 六、单参数和多参数的传递 6.1取别名 6.2 测试新增返回自增主键 七、mybatis中Statement和PreparedStatement 作业 1…

    Grafana-State timeline状态时间线

    显示随时间推移的状态变化 状态区域:即状态时间线上的状态显示的条或带,区域长度表示状态持续时间或频率 数据格式要求(可视化效果最佳): 时间戳实体名称(即:正在监控的目标对应名称&#xf…

    便捷高效能源服务触手可及,能耗监测系统赋能智能建筑与智慧城市

    在建筑行业迈向智能化、精细化管理的进程中,传统建筑管理模式因信息割裂、数据利用不足等问题,逐渐难以满足现代建筑复杂的运营需求。楼宇自控系统实现了建筑设备的智能调控,BIM技术则构建了建筑的三维数字化模型,当两者相遇&…

    论文阅读:CLIP:Learning Transferable Visual Models From Natural Language Supervision

    从自然语言监督中学习可迁移的视觉模型 虽然有点data/gpu is all you need的味道,但是整体实验和谈论丰富度上还是很多的,也是一篇让我多次想放弃的文章,因为真的是非常长的原文和超级多的实验讨论,隔着屏幕感受到了实验的工作量之…

    【连接器专题】案例:产品测试顺序表解读与应用

    在查看SD卡座连接器的规格书,一些测试报告时,你可能会看到如下一张产品测试顺序表。为什么会出现一张测试顺序表呢? 测试顺序表的使用其实定义测试环节的验证的“路线图”和“游戏规则”,本文就以我人个经验带领大家一起看懂这张表并理解其设计逻辑。 测试顺序表结构 测试…

    【MATLAB代码】制导方法介绍与例程——三点法|三维空间,动态目标导引(订阅专栏后可直接查看源代码)

    三点法导引是一种导弹制导策略,通过计算导弹、目标和制导站之间的相对位置来确保导弹准确追踪移动目标。该方法利用三角定位和动态调整,实时更新导弹的飞行路径,以提高命中率,广泛应用于军事导弹和无人机等领域。文中有完整的matlab源代码,订阅专栏后即可查看 文章目录 代…