克劳斯·吉尔贝克；德米特里·列加提乌克；亨利克·尼尔森；斯马斯利，凯 概念建模：用于检测工程应用中的建模错误。 （英语） Zbl 1445.00009 数学。方法应用。科学。 43，第3期，1243-1252（2020年）. 摘要：现代技术的快速发展对工程系统的数学建模提出了很高的要求。通常，系统不再是“简单”的物体，而是涉及多物理现象的耦合系统，其建模涉及描述不同现象的模型的耦合。建立数学模型后，必须分析耦合模型的正确性，并检测影响最终建模结果的建模误差。大体上，有两类建模错误：（a）与抽象建模有关的错误，例如，与模型整体一致性有关的概念性错误，以及（b）与具体建模或实例建模相关的错误，如近似质量和实现问题。一方面，对实例建模错误的理解相对较好。另一方面，现代建模方法无法恰当地解决抽象建模错误。本文的目的是对工程系统数学建模的抽象方法及其可用性进行讨论，目的是尽早发现概念建模错误，并自动地通过计算机辅助工具。为此，我们认为有必要确定并使用合适的数学抽象来捕获对过程建模工程系统。 MSC公司： 00A71号 数学建模的一般理论 68甲18 函数编程和lambda演算 第68季度55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：抽象；工程；形式化方法；建模；类型理论 PDF格式BibTeX公司 XML格式引用 \textit｛K.Gürlebeck｝等人，数学。方法应用。科学。43，第3号，1243--1252（2020；Zbl 1445.00009） 全文： 内政部 链接