Article
Oceanography
Chengcheng Yu, Jinbao Song, Shaofeng Li, Shuang Li
Summary: A new k-omega second-moment closure (SMC) model including the Langmuir turbulence effects is proposed in this study. The performance of the new SMC model is investigated through simulations of ocean surface boundary layer and global climate. The results show significant improvements in the simulations, indicating the effectiveness of the new model.
JOURNAL OF GEOPHYSICAL RESEARCH-OCEANS
(2022)
Article
Computer Science, Artificial Intelligence
Marco Bozzano, Alessandro Cimatti, Marco Roveri
Summary: The research presents a comprehensive approach to on-board autonomy, relying on model-based reasoning and considering various important reasoning capabilities as symbolic manipulation of a formal model. A prototype has been developed and integrated within an on-board Autonomous Reasoning Engine, and the approach has been evaluated on three case studies inspired by real-world projects in terms of reliability, availability, and performance.
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
(2021)
Article
Environmental Sciences
Ghazal Shabestanipour, Zachary Brodeur, William H. Farmer, Scott Steinschneider, Richard M. Vogel, Jonathan R. Lamontagne
Summary: Deterministic watershed models (DWMs) used in hydrologic planning, design, and management lack the ability to generate streamflow ensembles required for hydrologic risk management (HRM). This study explores the conversion of DWMs into stochastic watershed models (SWMs) to generate ensembles for HRM. A post-processing approach is proposed to add error to DWM predictions, with an autoregressive model identified as a suitable error model. The value of post-processing is demonstrated in flood and low flow frequency analysis, and the concept of verification and validation of stochastic streamflow ensembles is reintroduced.
WATER RESOURCES RESEARCH
(2023)
Article
Computer Science, Software Engineering
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Summary: When applying formal verification to systems interacting with the real world, an environment model is necessary. If the actual environment matches the model, verification is correct, but if it falls outside the model's abstraction, behavior cannot be guaranteed. One solution is to use the model for static verification and runtime verification if successful.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
(2021)
Article
Meteorology & Atmospheric Sciences
Yalin Fan, Zhitao Yu, Gregg Jacobs
Summary: The study shows that finer resolution near the base of the mixed layer is crucial for better model performance. A mixed layer enhanced vertical grid is proposed which outperforms both uniform and stretched grids. The accuracy of the model strongly depends on the resolution near the base of the mixed layer in the new grid.
Article
Engineering, Multidisciplinary
James Wilson, Graeme Manson, Paul Gardner, Robert J. Barthorpe
Summary: This paper presents a forward model-driven approach to structural health monitoring (SHM) with hierarchical validation methods, which aims to diagnose damage at the full system level without using full system damage-state data.
STRUCTURAL HEALTH MONITORING-AN INTERNATIONAL JOURNAL
(2023)
Article
Biochemical Research Methods
Augustinas Sukys, Ramon Grima
Summary: MomentClosure.jl is a Julia package that automates the derivation of time-evolution equations for the moments of molecule numbers in chemical reaction networks using various moment closure approximations. It enhances the capabilities of modeling stochastic biochemical systems in Julia and is particularly useful when exact analytic solutions or Monte Carlo simulations are not feasible.
Article
Energy & Fuels
Junke Wang, Yilin Jiang, Choon Yik Tang, Li Song
Summary: This paper develops a home thermal model that accurately reflects the dynamics of space air and wall temperatures using the standard RC approach. The model and hybrid parameter identification scheme were validated using data from a test home, with the least-squares method recommended for transition seasons and the optimal search method for HVAC seasons.
Article
Engineering, Mechanical
Feng Liu, Changle Xiang, Hui Liu, Xing Chen, Fuzhou Feng, Hua Cong, Kuilong Yu
Summary: This paper investigates the effects of combined eccentricity on the electromagnetic behavior of the rotor in a permanent magnet synchronous motor. The study develops analytical expressions for unbalanced magnetic pull and additional transverse electromagnetic moment. A four degrees-of-freedom rotor system dynamics model is established to describe the influences of these electromagnetic forces and moments. The results are validated through experimental analysis and the occurrence of super harmonic resonance is discussed based on the combined eccentricity model.
MECHANICAL SYSTEMS AND SIGNAL PROCESSING
(2022)
Article
Engineering, Biomedical
Anna Ramella, Francesco Migliavacca, Jose Felix Rodriguez Matas, Frederic Heim, Francesca Dedola, Stefania Marconi, Michele Conti, Sara Allievi, Tim J. Mandigers, Daniele Bissacco, Maurizio Domanin, Santi Trimarchi, Giulia Luraghi
Summary: This study developed high-fidelity Finite Element simulations for modeling thoracic stent-grafts and proposed a new methodology for simulating device insertion and deployment. The reliability and applicability of the proposed method were verified and demonstrated through experimental validation and comparative analysis.
ANNALS OF BIOMEDICAL ENGINEERING
(2022)
Article
Computer Science, Interdisciplinary Applications
Juntao Huang, Yingda Cheng, Andrew J. Christlieb, Luke F. Roberts
Summary: In this paper, a data-driven approach using machine learning is applied to solve the moment closure problem for the radiative transfer equation in slab geometry. Instead of learning the unclosed high order moment, the gradient of the high order moment is directly learned using neural networks. This new approach is consistent with the exact closure for the free streaming limit and provides a natural output normalization. Various benchmark tests confirm the accuracy and generalizability of the machine learning closure model.
JOURNAL OF COMPUTATIONAL PHYSICS
(2022)
Article
Engineering, Multidisciplinary
Eric Armando, Aldo Boglietti, Fabio Mandrile, Enrico Carpaneto, Sandro Rubino, Devi Nair
Summary: This article introduces a second-order thermal model to predict the average winding temperature of electrical machines in electrical drives. The model is not only accurate and universally applicable, but also simple to implement, making it useful in electric drives for proper overload strategies.
IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS
(2021)
Article
Engineering, Environmental
A. D. Ilgun, R. O. Fox, A. Passalacqua
Summary: The semi-analytical solution for conditional moment closure (SA-CMC) eliminates additional conditioning-space discretization in CMC applications by assuming mixture-fraction PDF is represented by a beta-PDF. A novel quadrature-based moment method (QBMM-CMC) is developed for CMC applications, which does not assume the form of the mixture-fraction PDF. By solving closed forms for micromixing terms from CMC, exact expressions for mixture-fraction moments of any order are obtained.
CHEMICAL ENGINEERING JOURNAL
(2021)
Article
Engineering, Civil
Haifei Zhou, Zhouhong Zong, Jie Niu, Lu Liu, Dinan Lin
Summary: This study focuses on quantifying the parametric uncertainties caused by environmental periodicity through a V&V framework based on IRSM and P-Box. The validated model, with properly considered parametric uncertainties in the form of intervals, shows good predictive capacity and can be used as a high-fidelity model for further applications.
JOURNAL OF BRIDGE ENGINEERING
(2022)
Article
Computer Science, Interdisciplinary Applications
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
Summary: CPS involves physical and software subsystems, simulation is commonly used for design and verification, interoperability is a challenge. The Functional Mock-up Interface (FMI) serves as an open standard to support model exchange and co-simulation of simulation models.
SIMULATION MODELLING PRACTICE AND THEORY
(2021)