On fluid–shell coupling using an arbitrary Lagrangian–Eulerian fluid solver coupled to a positional Lagrangian shell solver

A Semi-Lagrangian CIP Fluid Solver without Dimensional Splitting

In this paper, we propose a new constrained interpolation profile (CIP) method that is stable and accurate but requires less amount of computation compared to existing CIP-based solvers. CIP is a high-order fluid advection solver that can reproduce rich details of fluids. It has third-order accuracy but its computation is performed over a compact stencil. These advantageous features of CIP are,...

An overset grid method coupling an orthogonal curvilinear grid solver and a Cartesian grid solver

Using an Interactive Lattice Boltzmann Solver in Fluid Mechanics Instruction

This article gives an overview of the diverse range of teaching applications that can be realized using an interactive lattice Boltzmann simulation tool in fluid mechanics instruction and outreach. In an inquiry-based learning framework, examples are given of learning scenarios that address instruction on scientific results, scientific methods or the scientific process at varying levels of stud...

Solver Device for Powdery Drugs

Pharmacotherapy is a major treatment method in healthcare centers, and the injection of powdered drugs is among common pharmacotherapy techniques. Medication errors and nosocomial infections are among major health issues in the world. On the other hand, powdered drugs are widely used in hospitals; however, drug mixture is a very time-consuming process. The objective of this invention was to acc...

On using an inexact floating-point LP solver for deciding linear arithmetic in an SMT solver

Off-the-shelf linear programming (LP) solvers trade soundness for speed: for efficiency, the arithmetic is not exact rational arithmetic but floating-point arithmetic. As a side-effect the results come without any formal guarantee and cannot be directly used for deciding linear arithmetic. In this work we explain how to design a sound procedure for linear arithmetic built upon an inexact floati...