EPHS：一种端口哈密顿建模语言

科学与工程领域一个普遍的主题是正在发生的从孤立系统向开放与互联系统的范式转变。端口哈密顿理论作为几何力学与网络理论的融合而发展起来。通过较简单组件的互联对复杂多物理系统进行建模的可能性，常被宣传为其最具吸引力的特征之一。然而，端口哈密顿建模语言的发展仍是一个未得到充分解决的课题。我们报告了在火用端口哈密顿系统建模语言的形式化与实现方面的最新进展。其受键合图启发的图解语法与函子语义共同实现了模块化、层次化的模型规约方法。