相关论文: Property Testing for Ocean Models. Can We Specify …

These lecture notes and example problems are based on a course given at the University of Cambridge in Part III of the Mathematical Tripos. Fluid dynamics is involved in a very wide range of astrophysical phenomena, such as the formation…

Thermal history models, that have been used to understand the geological history of Earth, are now being coupled to climate models to map conditions that allow planets to maintain surface water over geologic time - a criteria considered…

Given two testable properties $\mathcal{P}_{1}$ and $\mathcal{P}_{2}$, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study of these basic set-theoretic…

Diffusion models play an essential role in modeling continuous-time stochastic processes in the financial field. Therefore, several proposals have been developed in the last decades to test the specification of stochastic differential…

Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is correct is a manual and…

Kilometer-scale weather data is crucial for real-world applications but remains computationally intensive to produce using traditional weather simulations. An emerging solution is to use deep learning models, which offer a faster…

Magnetohydrodynamic (MHD) ships represent a clear demonstration of the Lorentz force in fluids, which explains the number of students practicals or exercises described on the web. However, the related literature is rather specific and no…

The relativistic hydrodynamic model is applied to describe the expansion of the dense matter formed in relativistic heavy-ion collisions. The hydrodynamic expansion of the fluid, supplemented with the statistical emission of hadrons at…

Experimental investigations using wind and water tunnels have long been a staple of fluid mechanics research for a large number of applications. These experiments often single out a specific physical process to be investigated, while…

We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified through a top-down refinement process. In order to deal with the…

The rotating shallow water model is a simplification of oceanic and atmospheric general circulation models that are used in many applications such as surge prediction, tsunami tracking and ocean modelling. In this paper we introduce a class…

We consider the problem of reconstructing the seabed topography from observations of surface gravity waves. We formulate the problem as a classical inverse scattering problem using the mild-slope equation, and analyze the topographic…

Physics-based models of dynamical systems are often used to study engineering and environmental systems. Despite their extensive use, these models have several well-known limitations due to simplified representations of the physical…

The development and evaluation of machine vision in underwater environments remains challenging, often relying on trial-and-error-based testing tailored to specific applications. This is partly due to the lack of controlled, ground-truthed…

We initiate a thorough study of \emph{distributed property testing} -- producing algorithms for the approximation problems of property testing in the CONGEST model. In particular, for the so-called \emph{dense} testing model we emulate…

An analysis of the dynamics is performed, of exactly solvable models for fragile and strong glasses, exploiting the partitioning of the free energy landscape in inherent structures. The results are compared with the exact solution of the…

The paper deals with the fundamental problem of a modeling of the physical, in particular, thermal hydraulic processes, in various media of fractal structure of the natural, technological and technical systems and devices. The examples of a…

Understanding subsurface ocean dynamics is essential for quantifying oceanic heat and mass transport, but direct observations at depth remain sparse due to logistical and technological constraints. In contrast, satellite missions provide…

We review the main properties of shell models for magnetohydrodynamic (MHD) turbulence. After a brief account on shell models with nearest neighbour interactions, the paper focuses on the most recent results concerning dynamical properties…

Physicists face major challenges in modelling multi-scale phenomena that are observed in geophysical flows (e.g. in the Earth's oceans and atmosphere, or liquid planetary cores). In particular, complexities arise because geophysical fluids…