约翰·卡珀;亨利克·尼尔森 方程组的结构类型：结构动力学一级模块方程组的类型精化。 （英语） Zbl 1360.68317号 高-订购符号。计算。 25，编号2-4，275-310（2012）. 摘要：用方程组来描述问题是许多科学和工程分支所共有的。由于其规模，此类系统通常通过单个方程组片段的组合以模块化的方式进行描述。检查变量（未知数）和方程数量之间的平衡是早期检测可能导致此类系统无法解决的错误的常用方法。然而，当前的模块化余额检查方法有许多局限性。本文研究了一种更灵活的方法，可以将方程系统片段视为真正的一级实体。此外，该方法处理所谓的结构动态系统，即其行为随时间离散而突然变化的系统。其核心思想是以方程式片段的类型记录平衡信息。然后可以使用此信息来确定单个片段是否格式良好，以及组成片段是否保留此属性。本文提出的类型系统是在功能混合建模（FHM）的背景下开发的。然而，关键思想并不是特定于FHM的，而是应该适用于任何具有模块化方程组概念的语言，包括具有一流组件和结构动力学的系统。 MSC公司： 68甲18 函数编程和lambda演算 关键词：方程组;一流的组件;非因果结构动力学建模;结构分析;线性约束;细化类型 软件：莫西拉布 PDF格式BibTeX公司 XML格式引用 \textit{J.Capper}和\textit{H.Nilsson}，高-订单符号。计算。25，编号2--4，275--310（2012；Zbl 1360.68317） 全文： 内政部 参考文献： [1] Accellera组织：Verilog AMS语言参考手册Verilog HDL的模拟和混合信号扩展版本2.3.1（2009） [2] Aho，A.V.：C编程语言（1988） [3] Barbeau，E.J.：佩尔方程。数学问题书。柏林施普林格出版社（2003）·Zbl 1030.11008号 ·doi:10.1007/b97610 [4] Broman，D。；Nyström，K。；Fritzson，P.，使用结构约束增量确定超约束和欠约束方程组，151-160（2006），波特兰·doi:10.1145/1173706.1173729 [5] 布努斯，P。；Fritzson，P.，基于声明式方程的建模语言的调试方案，OR，美国，柏林·doi:10.1007/3-540-45587-6_18 [6] Capper，J.J.：源代码库。网址：www.cs.nott.ac.uk/jjc [7] Capper，J.J。；Nilsson，H.，一流模块方程组的静态平衡检查，美国俄克拉荷马州 [8] Capper，J.J。；Nilsson，H.，面向结构动态非因果建模语言的形式语义，美国宾夕法尼亚州费城 [9] Cellier，F.E.，《面向对象建模：处理系统复杂性的方法》，荷兰米尔罗 [10] Cellier，F.E.，Kofman，E.：连续系统仿真。柏林施普林格出版社（2006）·Zbl 1112.93004号 [11] Collins，G.E.，通过柱代数分解消除实闭场的量词，第33期，134-183（1975），柏林·Zbl 0318.02051号 [12] Elliott，C。；Hudak，P.，功能反应动画，163-173（1997）·Zbl 1369.68094号 [13] Furic，S。；Casella，F.（编辑），《在Modelica中实施模型可组合性》，意大利科莫，2009年9月20日至22日，林雪平 [14] Giorgidze，G。；尼尔森，H。；Casella，F.（编辑），结构动力系统的高阶非因果建模与仿真，意大利科莫，2009年9月20日至22日，林雪平 [15] Giorgidze，G。；尼尔森，H。；Mariño，J.（编辑），《迭代阶段DSL的混合级嵌入和JIT编译》，第6559、48-65号（2011年），柏林·doi:10.1007/978-3-642-20775-43 [16] IEEE Std 1076.1-2007：IEEE标准VHDL模拟和混合信号扩展。IEEE出版社，纽约（2007） [17] Jones，S.P.等人：Haskell 98——一种非限定的纯函数语言（1999）。http://www.haskell.org/onlinereport网站 [18] 基尔霍夫电路定律。维基百科。http://en.wikipedia.org/wiki/Kirchhoff's_circuit_laws<RefTarget Address=“http://en.wikipedia.org/wiki/Kirchhoff“s_circuit_laws”TargetType=“URL”/>。2012年10月访问 [19] McKinna，J.，Altenkirch，T.，McBride，C.：为什么依赖类型很重要。ACM SIGPLAN非。41(1) [20] 米尔纳：编程中的类型多态性理论。J.计算。系统。科学。17, 348-375 (1978) ·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4 [21] Modelica Association：面向对象的统一系统建模语言Modelica；语言规范第3.3版（2012年）。http://www.modelica.org [22] 尼尔森，H。；Fritzson，P.（编辑）；Cellier，F.（编辑）；Broman，D.（编辑），模块化方程组的基于类型的结构分析，第29号，第71-81页（2008年），林雪平 [23] 尼尔森，H。；考特尼，A。；Peterson，J.，功能反应式编程，续，51-64（2002），匹兹堡 [24] 尼尔森，H。；Giorgidze，G.，《利用功能混合建模中的结构动力学模拟理想二极管》（2010年），布拉格 [25] 尼尔森，H。；彼得森，J。；Hudak，P.，功能混合建模，新奥尔良，路易斯安那，美国，柏林·Zbl 1026.68803号 ·doi:10.1007/3-540-36388-2_25 [26] 诺雷尔，U。：基于依赖类型理论的实用编程语言。查尔默斯理工大学技术报告（2007年） [27] Nytsch-Geusen，C。；恩斯特·T。；诺德维格，A。；施瓦兹，P。；施耐德，P。；维特，M。；Wittwer，C。；努伊杜伊，T。；霍尔姆，A。；利奥波德，J。；施密特，G。；Mattes，A。；Doll，U.，MOSILAB:开发基于Modelica的通用仿真工具，支持模型结构动力学，德国汉堡 [28] Pierce，B.：类型和编程语言。麻省理工学院出版社，剑桥（2002）·兹比尔0995.68018 [29] Plotkin，G.：操作语义的结构方法。丹麦奥胡斯大学计算机科学系DAIMI FN-19技术报告（1981年） [30] Pugh，W.，《Omega检验：一种用于相关性分析的快速实用整数规划算法》，第91期（1991年） [31] 万，Z。；Hudak，P.，《基于第一原理的函数反应式编程》，242-252（2000） [32] Zimmer，D.：基于方程的变结构系统建模。瑞士联邦理工学院博士论文，苏黎世（2010年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。