Related papers: Code-Verification Techniques for Hypersonic Reacti…
Turbo codes and CRC codes are usually decoded separately according to the serially concatenated inner codes and outer codes respectively. In this letter, we propose a hybrid decoding algorithm of turbo-CRC codes, where the outer codes, CRC…
We introduce $\texttt{A}$strophysical $\texttt{H}$ybrid-$\texttt{K}$inetic simulations with the $\texttt{flASH}$ code ($\texttt{AHKASH}$) -- a new Hybrid particle-in-cell (PIC) code developed within the framework of the multi-physics code…
The accurate and robust simulation of transcritical real-fluid effects is crucial for many engineering applications, such as fuel injection in internal combustion engines, rocket engines and gas turbines. For example, in diesel engines, the…
In an attempt to investigate the structures of ultra-relativistic jets injected into the intracluster medium (ICM) and the associated flow dynamics, such as shocks, velocity shear, and turbulence, we have developed a new special…
We review the status of a program, outlined and motivated in the introduction, for the study of correspondences between spectral invariants of partially hyperbolic flows on locally symmetric spaces and their quantizations. Further we…
Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We…
The main features of a three dimensional, high-resolution special relativistic hydro code based on relativistic Riemann solvers are described. The capabilities and performance of the code are discussed. In particular, we present the results…
Numerical heating in particle-in-cell (PIC) codes currently precludes the accurate simulation of cold, relativistic plasma over long periods, severely limiting their applications in astrophysical environments. We present a spatially…
Understanding plasma instabilities is essential for achieving sustainable fusion energy, with large-scale plasma simulations playing a crucial role in both the design and development of next-generation fusion energy devices and the…
We discuss the problem of heat conduction in classical and quantum low dimensional systems from a microscopic point of view. At the classical level we provide convincing numerical evidence for the validity of Fourier law of heat conduction…
The aim of hybrid methods in simulations is to communicate regions with disparate time and length scales. Here, a fluid described at the atomistic level within an inner region P is coupled to an outer region C described by continuum fluid…
Benchmarking the performance of quantum error correction codes in physical systems is crucial for achieving fault-tolerant quantum computing. Current methodologies, such as (shadow) tomography or direct fidelity estimation, fall short in…
The goal of this report is to present the final project conducted in order to fulfill the requirements of the M.Sc. degree at the Department of Mechanical Engineering, Ben-Gurion University (BGU) of the Negev. The project comprises…
We develop a numerical hydrodynamics code using a pseudo-Newtonian formulation that uses the weak field approximation for the geometry, and a generalized source term for the Poisson equation that takes into account relativistic effects. The…
Phenomenological theories of interfacial interactions have targeted terrestrial applications since long time and their exploitation has inspired our research programme to build up a macroscopic theory of gas-surface interactions targeting…
Flow observables in heavy-ion reactions at incident energies up to about 1 GeV per nucleon have been shown to be very useful for investigating the reaction dynamics and for determining the parameters of reaction models based on transport…
A proven methodology to solve multiphase flows is based on the one-fluid formulation of the governing equations, which treats the phase transition across the interface as a single fluid with varying properties and adds additional source…
Software testing is an important issue in software development process to ensure higher quality on the products. Formal methods has been promising on testing reactive systems, specially critical systems, where accuracy is mandatory since…
Modeling of fluid flows requires corresponding adequate and effective approaches that would account for multiscale nature of the considered physics. Despite the tremendous growth of computational power in the past decades, modeling of fluid…
Methods for building a consistent interface between hydrodynamic and simulation modules is presented. These methods account for the backflow across the hydrodynamic/simulation hyper-surface. The algorithms are efficient, relatively…