This thesis is motivated by the necessity to understand the flow structure of turbulent flows in bends encountered in many technical applications such as heat exchangers, nuclear reactors and internal combustion engines. Flows in bends are characterised by strong secondary motions in terms of counter-rotating vortices (Dean cells) set up by a centrifugal instability. Specifically the thesis dea...

We show how Max-SMT-based invariant generation can be exploited for proving non-termination of programs. The construction of the proof of nontermination is guided by the generation of quasi-invariants – properties such that if they hold at a location during execution once, then they will continue to hold at that location from then onwards. The check that quasi-invariants can indeed be reached i...

The Saffman-Taylor problem addresses the morphological instability of an interface separating two immiscible, viscous fluids when they move in a narrow gap between two flat parallel plates (Hele-Shaw cell). In this work, we extend the classic Saffman-Taylor situation, by considering the flow between two curved, closely spaced, concentric spheres (spherical Hele-Shaw cell). We derive the mode-co...

[1] Despite the rapid evolution of computational power, simulation of meander dynamics by means of reduced and computationally less expensive models remains practically relevant for investigation of large‐scale and long‐term processes, probabilistic predictions, or rapid assessments. Existing meander models are invariantly based on the assumptions of mild curvature and slow curvature variations...

How do animals follow demarcated paths? Different species are sensitive to optic flow and one control solution is to maintain the balance of flow symmetry across visual fields; however, it is unclear whether animals are sensitive to changes in asymmetries when steering along curved paths. Flow asymmetries can alter the global properties of flow (i.e. flow speed) which may also influence steerin...

A novel parallel laminar micromixer with a two-dimensional staggered Dean Vortex micromixer is optimized and fabricated in our study. Dean vortices induced by centrifugal forces in curved rectangular channels cause fluids to produce secondary flows. The split-and-recombination (SAR) structures of the flow channels and the impinging effects result in the reduction of the diffusion distance of tw...

We present an immersed boundary method based on volume penalization, with which pulsatile flow in a model cerebral aneurysm is simulated. The model aneurysm consists of a curved vessel merged with a spherical cavity. The dominant vortical structures arising in the time-dependent flow are discussed and the evolution of the maximal shear stress in the aneurysm is analyzed. We approximate flow pro...