This paper aims at presenting a general-purpose-oriented and fully parallelized meshless framework to simulate complex Fluid–Structure Interaction (FSI) problems in ocean engineering. In this framework, Weakly Compressible Smoothed Particle Hydrodynamics (WCSPH) solver is combined with several advanced pre- post-processing techniques. Based on the we have been developing our in-house WCSPH-FSI package named SPHydro for solving hydrodynamic involving FSI processes an accurate, efficient,...

Summary In this work, we have developed a state‐based peridynamics theory for nonlinear Reissener‐Mindlin shells to model and predict large deformation of shell structures with thick wall. The nonlocal peridynamic solids offers an integral formulation that is alternative traditional local continuum mechanics models based on partial differential equations. This applicable solving the material failure problems involved in discontinuous displacement fields. governing equations are derived...

Bubble pulsation is a characteristic multiphase compressible flow, which involves periodic oscillation and strong pressure wave vulnerable to boundary conditions. The smoothed particle hydrodynamics (SPH) has limitations in imposing the fluid suitable for such problems, have been verified first with state-of-the-art SPH boundaries. It brings challenges three-dimensional modeling. Then, we propose combine finite volume method via spatial coupling deal this problem. accuracy of coupled...

Quantum programs are notoriously difficult to code and verify due unintuitive quantum knowledge associated with programming. Automated tools relieving the tedium errors low-level details would hence be highly desirable. In this paper, we initiate study of program synthesis for unitary that recursively define a family circuits different input sizes, which widely used in existing programming languages. Specifically, present QSynth, first framework, including new inductive language, its...

Quantum Hamiltonian simulation, which simulates the evolution of quantum systems and probes phenomena, is one most promising applications computing. Recent experimental results suggest that Hamiltonian-oriented analog simulation would be advantageous over circuit-oriented digital in Noisy Intermediate-Scale (NISQ) machine era. However, programming simulators much more challenging due to lack a unified interface between hardware software. In this paper, we design implement SimuQ, first...

Complex multiphase flow problems in ocean engineering have long been challenging topics. Problems such as large deformations at interfaces, multi-media and multiple physical processes are difficult to simulate. Mesh-based algorithms could limitations dealing with interface capture deformations. On the contrary, Smoothed Particle Hydrodynamics (SPH) method, a Lagrangian meshless particle has some merit flexibility capturing interfaces boundary In recent years, improvement of SPH theory...

We investigate the algebraic reasoning of quantum programs inspired by success classical program analysis based on Kleene algebra. One prominent example such is famous Algebra with Tests (KAT), which has furnished both theoretical insights and practical tools. The succinctness would be especially desirable for scalable programs, given involvement exponential-size matrices in most existing methods. A few key features KAT including idempotent law nice properties tests, however, fail to hold...

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but it is useful only if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recognized obstacle to correctness that of human programming errors-"bugs." Techniques familiar most programmers from the classical domain for avoiding, discovering, and diagnosing bugs do not easily transfer, at scale, quantum because its unique...

Lattice Boltzmann method (LBM) has become an alternative of computing a variety fluid flows, ranging from low Reynolds number laminar flows to highly turbulent flows. For non-uniform grids are preferred. Taylor series expansion- and least-squares-based LBM (TLLBM) is effective convenient way extend standard be used on arbitrary meshes. In order show its ability solve we combine it with k–ω S-A turbulence models. To validate these combinations, the benchmark problems channel flow over...

In numerical simulations of fluid dynamics based on the smoothed particle hydrodynamics (SPH) method, formula for viscosity term is always complicated since it a second-order derivative term. this paper, Newtonian fluids, novel viscous force satisfying Stokes hypothesis proposed in weakly compressible framework. Because ease adopting only single layer particles to enforce boundary condition, normal flux method implemented solid wall boundary, which should be suitable complex geometries and...

Many promising quantum applications depend on the efficient simulation of an exponentially large sparse Hamiltonian, a task known as Hamiltonian simulation, which is fundamentally important in computation. Although several theoretically appealing algorithms have been proposed for this task, they typically require black-box query model rendering them impractical near-term implementation devices. In paper, we propose technique named embedding. This simulates desired by embedding it into...

Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of data; these so-called oracles are the largest components program. To ease construction efficient, correct oracle functions, this paper presents VQO, high-assurance framework implemented with Coq proof assistant. The core VQO is OQASM, assembly language. OQASM operations move qubits between two different bases via Fourier transform, thus admitting important...