Metaization concepts for monitoring-related information
Metaization concepts for monitoring-related information
复制标题
DOI：
10.1016/j.aei.2020.101158
复制
发表时间：
2020-10-01
影响因子：
8.8
通讯作者：
Smarsly，Kay
中科院分区：
文献类型：
--
作者：
Theiler，Michael;Ibanez，Stalin;Smarsly，Kay
近年来，结构健康监测（SHM）已成为民用基础设施状态分析和评估的一种广泛应用的先进方法。SHM系统的特点是由大量的异构系统组件。为了优化、记录和跟踪SHM系统的变化，需要在合理的基础上正式描述有关SHM系统的信息。然而，目前的方法，如本体论，描述语言或元模型，只有一个小的子集的信息固有的SHM系统，如传感器的信息，可以正式描述。本文提出了一个概念性的方法，以确定和具体说明与监测有关的信息。在简要回顾SHM建模方法的基础上，讨论了克服当前局限性的元化概念，并提出了一种鲁棒的形式主义来描述SHM系统的数学。审查方法以三大支柱概念为基础。首先，法规，标准和准则有关的SHM，第二，目前的研究景观进行检查，以确定所需的信息描述SHM系统，和层次结构的条款提出了分类的结果。第三，元模型体系结构，如SHM相关的本体，基于BIM的元模型和描述语言，审查方面正式描述SHM系统。作为第三支柱的一部分，提出了基于范畴论、集合论和类型论的数学元建模方法，能够描述SHM系统以及适合耦合元模型的方法。作为本研究的结果，除了上述方向的全面审查，提出了一个战略，发展一个元化概念，提供一个强大的形式主义的SHM系统描述，旨在推进优化，文档，和变化跟踪的SHM系统。
In recent years, structural health monitoring (SHM) has become a widely used state-of-the-art method for analyzing and assessing the condition of civil infrastructure. SHM systems are characterized by a plethora of heterogeneous system components. For optimizing, documenting, and change tracking of SHM systems, information about SHM systems needs to be formally described on a sound basis. However, with current methods, such as ontologies, description languages or metamodels, only a small subset of information inherent to SHM systems, such as information about sensors, can formally be described. This paper presents a conceptual approach towards identifying and specifying monitoring-related information. Based on a summary review of SHM modeling approaches, metaization concepts to overcome the current limitations are discussed and a robust formalism to describe SHM systems mathematically is proposed. The review methodology is based on a three-pillar concept. First, regulations, standards, and guidelines related to SHM and, second, the current research landscape is examined to identify information required for describing SHM systems, and hierarchies of terms are proposed to categorize the findings. Third, metamodel architectures, such as SHM-related ontologies, BIM-based metamodels and description languages, are reviewed with respect to formally describe SHM systems. Being part of the third pillar, mathematical metamodeling approaches based on category theory, set theory and type theory are presented, capable to describe SHM system as well as approaches suitable to couple metamodels. As an outcome of this study, besides a comprehensive review of the above directions, a strategy towards developing a metaization concept is proposed to provide a robust formalism for SHM system descriptions, aiming to advance optimization, documentation, and change tracking of SHM systems.