相关论文: SynCOM: A tool for simulating coronal outflows

Given a known radial magnetic field distribution on the Sun's photospheric surface, there exist well-established methods for computing a potential magnetic field in the corona above. Such potential fields are routinely used as input to…

Simflowny is an open platform which automatically generates parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support an extended set of families of models,…

Large-scale numerical simulations of planetary interiors require dedicated visualization algorithms that are able to efficiently extract a large amount of information in an interactive and user-friendly way. Here we present a software…

We present SynthPop, a new open source, modular population synthesis Galactic modeling software to simulate catalogs of Milky Way stars along any sightline outward from the Sun. Motivated by a lack flexibility in existing Galactic models,…

We present a method for performing data-driven simulations of solar active region formation and evolution. The approach is based on magnetofriction, which evolves the induction equation assuming the plasma velocity is proportional to the…

Molecular dynamics simulations are one of the methods in scientific computing that benefit from GPU acceleration. For those devices, SYCL is a promising API for writing portable codes. In this paper, we present the case study of "HAL's MD…

Hinode observations have provided a new view of outflows from the Sun. These have been focussed in particular on flows emanating from the edges of active regions. These flows are long lasting and seem to exist to some extent in every active…

Mathematical programming is widely employed across various sectors - such as logistics, energy, and workforce planning - to model and solve industrial optimisation problems, but its use requires substantial domain expertise. Large language…

Global hydrodynamic simulations of internal solar dynamics have focused on replicating the conditions for solar-like differential rotation and meridional circulation using the results of helioseismic inversions as a constraint. Inferences…

This paper describes HyperStream, a large-scale, flexible and robust software package, written in the Python language, for processing streaming data with workflow creation capabilities. HyperStream overcomes the limitations of other…

We present \synver{}, a novel synthesis and verification framework for C programs, that deploys a Large Language Model (LLM) to search for a candidate program that satisfies the given specification. Our key idea is to impose syntactic and…

This article addresses the formulation and validation of a simple PC based software application developed for simulating commercially available solar panels. The important feature of this application is its capability to produce speedy…

A syntactic model is presented for the specification of finite-state synchronous digital logic systems with complex input/output interfaces, which control the flow of data between opaque computational elements, and for the composition of…

Many cytoskeletal systems are now sufficiently well known to permit their precise quantitative modelling. Microtubule and actin filaments are well characterized, and the associated proteins are often known, as well as their abundance and…

Aims. We construct a new analytical model of a solar coronal loop that is embedded in a gravitationally stratified and magnetically confined atmosphere. On the basis of this analytical model, we devise a numerical model of solar coronal…

Direct pore scale simulations of two-fluid flow on digital rock images provide a promising tool to understand the role of surface wetting phenomena on flow and transport in geologic reservoirs. We present computational protocols that mimic…

IoT devices trigger real-time applications by receiving data from their vicinity. Modeling these applications in the form of workflows enables automating their procedure, especially for the business and industry. Depending on the features…

The Lattice Boltzmann Method (LBM) is a computational technique of Computational Fluid Dynamics (CFD) that has gained popularity due to its high parallelism and ability to handle complex geometries with minimal effort. Although LBM…

A Monte Carlo program which simulates the response of SiPMs is presented. Input to the program are the mean number and the time distribution of Geiger discharges from light, as well as the dark-count rate. For every primary Geiger discharge…

The lack of data on critical infrastructure systems has hindered the research progress in modeling and optimizing the system performance. This work develops a method for generating Synthetic Interdependent Critical Infrastructure Networks…