162b7942eSJames Wright // Copyright (c) 2017-2023, Lawrence Livermore National Security, LLC and other CEED contributors. 262b7942eSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 362b7942eSJames Wright // 462b7942eSJames Wright // SPDX-License-Identifier: BSD-2-Clause 562b7942eSJames Wright // 662b7942eSJames Wright // This file is part of CEED: http://github.com/ceed 762b7942eSJames Wright 862b7942eSJames Wright /// @file 9952746efSJames Wright /// Structs and helper functions to evaluate data-driven subgrid-stress modeling 103fc405b4SJames Wright /// See 'Invariant data-driven subgrid stress modeling in the strain-rate eigenframe for large eddy simulation' 2022 and 'S-frame discrepancy 113fc405b4SJames Wright /// correction models for data-informed Reynolds stress closure' 2022 1262b7942eSJames Wright 1362b7942eSJames Wright #ifndef sgs_dd_model_h 1462b7942eSJames Wright #define sgs_dd_model_h 1562b7942eSJames Wright 1662b7942eSJames Wright #include <ceed.h> 1762b7942eSJames Wright 183fc405b4SJames Wright #include "newtonian_state.h" 199c678832SJames Wright #include "newtonian_types.h" 20952746efSJames Wright #include "sgs_dd_utils.h" 213fc405b4SJames Wright #include "utils.h" 223fc405b4SJames Wright #include "utils_eigensolver_jacobi.h" 233fc405b4SJames Wright 24ad494f68SJames Wright typedef struct SgsDDContext_ *SgsDDContext; 25ad494f68SJames Wright struct SgsDDContext_ { 2662b7942eSJames Wright CeedInt num_inputs, num_outputs; 2762b7942eSJames Wright CeedInt num_layers; 2862b7942eSJames Wright CeedInt num_neurons; 2962b7942eSJames Wright CeedScalar alpha; 3062b7942eSJames Wright 31ee1455b7SJames Wright struct NewtonianIdealGasContext_ gas; 3262b7942eSJames Wright struct { 3362b7942eSJames Wright size_t bias1, bias2; 3462b7942eSJames Wright size_t weight1, weight2; 3562b7942eSJames Wright size_t out_scaling; 3662b7942eSJames Wright } offsets; 3762b7942eSJames Wright size_t total_bytes; 3862b7942eSJames Wright CeedScalar data[1]; 3962b7942eSJames Wright }; 4062b7942eSJames Wright 413fc405b4SJames Wright CEED_QFUNCTION_HELPER void LeakyReLU(CeedScalar *x, const CeedScalar alpha, const CeedInt N) { 423fc405b4SJames Wright for (CeedInt i = 0; i < N; i++) x[i] *= (x[i] < 0 ? alpha : 1.); 433fc405b4SJames Wright } 443fc405b4SJames Wright 45ad494f68SJames Wright CEED_QFUNCTION_HELPER void DataDrivenInference(const CeedScalar *inputs, CeedScalar *outputs, SgsDDContext sgsdd_ctx) { 463fc405b4SJames Wright const CeedInt num_neurons = sgsdd_ctx->num_neurons; 473fc405b4SJames Wright const CeedInt num_inputs = sgsdd_ctx->num_inputs; 483fc405b4SJames Wright const CeedInt num_outputs = sgsdd_ctx->num_outputs; 493fc405b4SJames Wright const CeedScalar alpha = sgsdd_ctx->alpha; 503fc405b4SJames Wright const CeedScalar *bias1 = &sgsdd_ctx->data[sgsdd_ctx->offsets.bias1]; 513fc405b4SJames Wright const CeedScalar *bias2 = &sgsdd_ctx->data[sgsdd_ctx->offsets.bias2]; 523fc405b4SJames Wright const CeedScalar *weight1 = &sgsdd_ctx->data[sgsdd_ctx->offsets.weight1]; 533fc405b4SJames Wright const CeedScalar *weight2 = &sgsdd_ctx->data[sgsdd_ctx->offsets.weight2]; 543fc405b4SJames Wright CeedScalar V[20] = {0.}; 553fc405b4SJames Wright 563fc405b4SJames Wright CopyN(bias1, V, num_neurons); 573fc405b4SJames Wright MatVecNM(weight1, inputs, num_neurons, num_inputs, CEED_NOTRANSPOSE, V); 583fc405b4SJames Wright LeakyReLU(V, alpha, num_neurons); 593fc405b4SJames Wright CopyN(bias2, outputs, num_outputs); 603fc405b4SJames Wright MatVecNM(weight2, V, num_outputs, num_neurons, CEED_NOTRANSPOSE, outputs); 613fc405b4SJames Wright } 623fc405b4SJames Wright 63ad494f68SJames Wright CEED_QFUNCTION_HELPER void ComputeSgsDD_Fused(const CeedScalar grad_velo_aniso[3][3], const CeedScalar km_A_ij[6], const CeedScalar delta, 64ad494f68SJames Wright const CeedScalar viscosity, CeedScalar kmsgs_stress[6], SgsDDContext sgsdd_ctx) { 65be75532aSJames Wright CeedScalar inputs[6], grad_velo_magnitude, eigenvectors[3][3], sgs_sframe_sym[6] = {0.}, new_bounds[6][2]; 66be75532aSJames Wright // Copying new_bounds because Sycl online compiler doesn't like direct casting the pointer 67be75532aSJames Wright CopyN(&sgsdd_ctx->data[sgsdd_ctx->offsets.out_scaling], (CeedScalar *)new_bounds, 12); 68db588195SJames Wright 69ad494f68SJames Wright ComputeSgsDDInputs(grad_velo_aniso, km_A_ij, delta, viscosity, eigenvectors, inputs, &grad_velo_magnitude); 703fc405b4SJames Wright DataDrivenInference(inputs, sgs_sframe_sym, sgsdd_ctx); 71ad494f68SJames Wright ComputeSgsDDOutputs(sgs_sframe_sym, delta, eigenvectors, new_bounds, grad_velo_magnitude, kmsgs_stress); 723fc405b4SJames Wright } 733fc405b4SJames Wright 74ee1455b7SJames Wright // @brief Calculate subgrid stress at nodes using anisotropic data-driven model 75ad494f68SJames Wright CEED_QFUNCTION_HELPER int ComputeSgsDDNodal_Fused(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, 768fff8293SJames Wright StateVariable state_var) { 77ee1455b7SJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 78ee1455b7SJames Wright const CeedScalar(*grad_velo)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[2]; 79ee1455b7SJames Wright const CeedScalar(*A_ij_delta)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[3]; 80ee1455b7SJames Wright const CeedScalar(*inv_multiplicity) = (const CeedScalar(*))in[4]; 81ee1455b7SJames Wright CeedScalar(*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 82ee1455b7SJames Wright 83ad494f68SJames Wright const SgsDDContext sgsdd_ctx = (SgsDDContext)ctx; 84ee1455b7SJames Wright const NewtonianIdealGasContext gas = &sgsdd_ctx->gas; 85ee1455b7SJames Wright 86ee1455b7SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 87ee1455b7SJames Wright const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]}; 88ee1455b7SJames Wright const CeedScalar grad_velo_aniso[3][3] = { 89ee1455b7SJames Wright {grad_velo[0][0][i], grad_velo[0][1][i], grad_velo[0][2][i]}, 90ee1455b7SJames Wright {grad_velo[1][0][i], grad_velo[1][1][i], grad_velo[1][2][i]}, 91ee1455b7SJames Wright {grad_velo[2][0][i], grad_velo[2][1][i], grad_velo[2][2][i]} 92ee1455b7SJames Wright }; 93ee1455b7SJames Wright const CeedScalar km_A_ij[6] = {A_ij_delta[0][i], A_ij_delta[1][i], A_ij_delta[2][i], A_ij_delta[3][i], A_ij_delta[4][i], A_ij_delta[5][i]}; 94ee1455b7SJames Wright const CeedScalar delta = A_ij_delta[6][i]; 95edcfef1bSKenneth E. Jansen const State s = StateFromQ(gas, qi, state_var); 96ee1455b7SJames Wright CeedScalar km_sgs[6]; 97ee1455b7SJames Wright 98ad494f68SJames Wright ComputeSgsDD_Fused(grad_velo_aniso, km_A_ij, delta, gas->mu / s.U.density, km_sgs, sgsdd_ctx); 99ee1455b7SJames Wright 100ee1455b7SJames Wright for (int j = 0; j < 6; j++) v[j][i] = inv_multiplicity[i] * km_sgs[j]; 101ee1455b7SJames Wright } 102ee1455b7SJames Wright return 0; 103ee1455b7SJames Wright } 104ee1455b7SJames Wright 105ad494f68SJames Wright CEED_QFUNCTION(ComputeSgsDDNodal_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 106ad494f68SJames Wright return ComputeSgsDDNodal_Fused(ctx, Q, in, out, STATEVAR_PRIMITIVE); 107ee1455b7SJames Wright } 108ee1455b7SJames Wright 109ad494f68SJames Wright CEED_QFUNCTION(ComputeSgsDDNodal_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 110ad494f68SJames Wright return ComputeSgsDDNodal_Fused(ctx, Q, in, out, STATEVAR_CONSERVATIVE); 111ee1455b7SJames Wright } 112ee1455b7SJames Wright 113*3ec34a3dSJames Wright // @brief Calculate inputs to anisotropic data-driven model 114*3ec34a3dSJames Wright CEED_QFUNCTION_HELPER int ComputeSgsDDNodal_Sequential_Inputs(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, 115*3ec34a3dSJames Wright StateVariable state_var) { 116*3ec34a3dSJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 117*3ec34a3dSJames Wright const CeedScalar(*grad_velo)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[1]; 118*3ec34a3dSJames Wright const CeedScalar(*A_ij_delta)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2]; 119*3ec34a3dSJames Wright const CeedScalar(*inv_multiplicity) = (const CeedScalar(*))in[3]; 120*3ec34a3dSJames Wright CeedScalar(*eigenvectors_stored) = out[0]; 121*3ec34a3dSJames Wright CeedScalar(*model_inputs)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[1]; 122*3ec34a3dSJames Wright 123*3ec34a3dSJames Wright const SgsDDModelContext sgsdd_ctx = (SgsDDModelContext)ctx; 124*3ec34a3dSJames Wright const NewtonianIdealGasContext gas = &sgsdd_ctx->gas; 125*3ec34a3dSJames Wright 126*3ec34a3dSJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 127*3ec34a3dSJames Wright const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]}; 128*3ec34a3dSJames Wright const CeedScalar grad_velo_aniso[3][3] = { 129*3ec34a3dSJames Wright {grad_velo[0][0][i], grad_velo[0][1][i], grad_velo[0][2][i]}, 130*3ec34a3dSJames Wright {grad_velo[1][0][i], grad_velo[1][1][i], grad_velo[1][2][i]}, 131*3ec34a3dSJames Wright {grad_velo[2][0][i], grad_velo[2][1][i], grad_velo[2][2][i]} 132*3ec34a3dSJames Wright }; 133*3ec34a3dSJames Wright const CeedScalar km_A_ij[6] = {A_ij_delta[0][i], A_ij_delta[1][i], A_ij_delta[2][i], A_ij_delta[3][i], A_ij_delta[4][i], A_ij_delta[5][i]}; 134*3ec34a3dSJames Wright const CeedScalar delta = A_ij_delta[6][i]; 135*3ec34a3dSJames Wright const State s = StateFromQ(gas, qi, state_var); 136*3ec34a3dSJames Wright 137*3ec34a3dSJames Wright CeedScalar model_inputs_i[6], grad_velo_magnitude, eigenvectors[3][3]; 138*3ec34a3dSJames Wright ComputeSgsDDInputs(grad_velo_aniso, km_A_ij, delta, gas->mu / s.U.density, eigenvectors, model_inputs_i, &grad_velo_magnitude); 139*3ec34a3dSJames Wright 140*3ec34a3dSJames Wright ScaleN(model_inputs_i, inv_multiplicity[i], 6); 141*3ec34a3dSJames Wright StoredValuesPack(Q, i, 0, 6, model_inputs_i, (CeedScalar *)model_inputs); 142*3ec34a3dSJames Wright StoredValuesPack(Q, i, 0, 9, (const CeedScalar *)eigenvectors, eigenvectors_stored); 143*3ec34a3dSJames Wright } 144*3ec34a3dSJames Wright return CEED_ERROR_SUCCESS; 145*3ec34a3dSJames Wright } 146*3ec34a3dSJames Wright 147*3ec34a3dSJames Wright CEED_QFUNCTION(ComputeSgsDDNodal_Sequential_Inputs_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 148*3ec34a3dSJames Wright return ComputeSgsDDNodal_Sequential_Inputs(ctx, Q, in, out, STATEVAR_PRIMITIVE); 149*3ec34a3dSJames Wright } 150*3ec34a3dSJames Wright 151*3ec34a3dSJames Wright CEED_QFUNCTION(ComputeSgsDDNodal_Sequential_Inputs_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 152*3ec34a3dSJames Wright return ComputeSgsDDNodal_Sequential_Inputs(ctx, Q, in, out, STATEVAR_CONSERVATIVE); 153*3ec34a3dSJames Wright } 154*3ec34a3dSJames Wright 155*3ec34a3dSJames Wright // @brief Calculates SGS from outputs of anisotropic data-driven model 156*3ec34a3dSJames Wright CEED_QFUNCTION_HELPER int ComputeSgsDDNodal_Sequential_Outputs(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, 157*3ec34a3dSJames Wright StateVariable state_var) { 158*3ec34a3dSJames Wright const CeedScalar(*model_outputs)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 159*3ec34a3dSJames Wright const CeedScalar(*grad_velo)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[1]; 160*3ec34a3dSJames Wright const CeedScalar(*A_ij_delta)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2]; 161*3ec34a3dSJames Wright const CeedScalar(*inv_multiplicity) = (const CeedScalar(*))in[3]; 162*3ec34a3dSJames Wright const CeedScalar(*eigenvectors_stored) = in[4]; 163*3ec34a3dSJames Wright CeedScalar(*kmsgs_stress)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 164*3ec34a3dSJames Wright 165*3ec34a3dSJames Wright const SgsDDModelContext sgsdd_ctx = (SgsDDModelContext)ctx; 166*3ec34a3dSJames Wright CeedScalar new_bounds[6][2]; 167*3ec34a3dSJames Wright CopyN(&sgsdd_ctx->data[sgsdd_ctx->offsets.out_scaling], (CeedScalar *)new_bounds, 12); 168*3ec34a3dSJames Wright 169*3ec34a3dSJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 170*3ec34a3dSJames Wright CeedScalar model_outputs_i[6] = {model_outputs[0][i], model_outputs[1][i], model_outputs[2][i], 171*3ec34a3dSJames Wright model_outputs[3][i], model_outputs[4][i], model_outputs[5][i]}; 172*3ec34a3dSJames Wright const CeedScalar grad_velo_aniso[3][3] = { 173*3ec34a3dSJames Wright {grad_velo[0][0][i], grad_velo[0][1][i], grad_velo[0][2][i]}, 174*3ec34a3dSJames Wright {grad_velo[1][0][i], grad_velo[1][1][i], grad_velo[1][2][i]}, 175*3ec34a3dSJames Wright {grad_velo[2][0][i], grad_velo[2][1][i], grad_velo[2][2][i]} 176*3ec34a3dSJames Wright }; 177*3ec34a3dSJames Wright const CeedScalar delta = A_ij_delta[6][i]; 178*3ec34a3dSJames Wright 179*3ec34a3dSJames Wright StoredValuesUnpack(Q, i, 0, 6, model_outputs, model_outputs_i); 180*3ec34a3dSJames Wright CeedScalar grad_velo_magnitude, eigenvectors[3][3], kmsgs_stress_i[6]; 181*3ec34a3dSJames Wright StoredValuesUnpack(Q, i, 0, 9, eigenvectors_stored, (CeedScalar *)eigenvectors); 182*3ec34a3dSJames Wright grad_velo_magnitude = sqrt(DotN((CeedScalar *)grad_velo_aniso, (CeedScalar *)grad_velo_aniso, 9)); 183*3ec34a3dSJames Wright ComputeSgsDDOutputs(model_outputs_i, delta, eigenvectors, new_bounds, grad_velo_magnitude, kmsgs_stress_i); 184*3ec34a3dSJames Wright 185*3ec34a3dSJames Wright for (int j = 0; j < 6; j++) kmsgs_stress[j][i] = inv_multiplicity[i] * kmsgs_stress_i[j]; 186*3ec34a3dSJames Wright } 187*3ec34a3dSJames Wright return CEED_ERROR_SUCCESS; 188*3ec34a3dSJames Wright } 189*3ec34a3dSJames Wright 1909c678832SJames Wright // @brief Adds subgrid stress to residual (during IFunction evaluation) 1919c678832SJames Wright CEED_QFUNCTION_HELPER int FluxSubgridStress(const StatePrimitive Y, const CeedScalar km_sgs[6], CeedScalar Flux[5][3]) { 1929c678832SJames Wright CeedScalar sgs[3][3]; 1939c678832SJames Wright 1949c678832SJames Wright KMUnpack(km_sgs, sgs); 1959c678832SJames Wright for (CeedInt j = 0; j < 3; j++) { 1969c678832SJames Wright Flux[0][j] = 0.; 1979c678832SJames Wright for (CeedInt k = 0; k < 3; k++) Flux[k + 1][j] = sgs[k][j]; 1989c678832SJames Wright Flux[4][j] = Y.velocity[0] * sgs[0][j] + Y.velocity[1] * sgs[1][j] + Y.velocity[2] * sgs[2][j]; 1999c678832SJames Wright } 2009c678832SJames Wright return 0; 2019c678832SJames Wright } 2029c678832SJames Wright 20342454adaSJames Wright CEED_QFUNCTION_HELPER int IFunction_NodalSgs(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) { 2049c678832SJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 205ade49511SJames Wright const CeedScalar(*q_data) = in[1]; 206e985bffbSJames Wright const CeedScalar(*km_sgs)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2]; 2079c678832SJames Wright CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[0]; 2089c678832SJames Wright 20940816385SJames Wright NewtonianIdealGasContext gas = (NewtonianIdealGasContext)ctx; 2109c678832SJames Wright 2119c678832SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 2129c678832SJames Wright const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]}; 213edcfef1bSKenneth E. Jansen const State s = StateFromQ(gas, qi, state_var); 2149c678832SJames Wright 215ade49511SJames Wright CeedScalar wdetJ, dXdx[3][3]; 216ade49511SJames Wright QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx); 2179c678832SJames Wright 2189c678832SJames Wright CeedScalar Flux[5][3]; 2199c678832SJames Wright const CeedScalar km_sgs_i[6] = {km_sgs[0][i], km_sgs[1][i], km_sgs[2][i], km_sgs[3][i], km_sgs[4][i], km_sgs[5][i]}; 2209c678832SJames Wright FluxSubgridStress(s.Y, km_sgs_i, Flux); 2219c678832SJames Wright 2227523f6aaSJames Wright for (CeedInt k = 0; k < 3; k++) { 2237523f6aaSJames Wright for (CeedInt j = 0; j < 5; j++) { 2247523f6aaSJames Wright Grad_v[k][j][i] = -wdetJ * (dXdx[k][0] * Flux[j][0] + dXdx[k][1] * Flux[j][1] + dXdx[k][2] * Flux[j][2]); 2259c678832SJames Wright } 2269c678832SJames Wright } 2279c678832SJames Wright } 2289c678832SJames Wright return 0; 2299c678832SJames Wright } 2309c678832SJames Wright 23142454adaSJames Wright CEED_QFUNCTION(IFunction_NodalSgs_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 23242454adaSJames Wright return IFunction_NodalSgs(ctx, Q, in, out, STATEVAR_CONSERVATIVE); 2339c678832SJames Wright } 2349c678832SJames Wright 23542454adaSJames Wright CEED_QFUNCTION(IFunction_NodalSgs_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 23642454adaSJames Wright return IFunction_NodalSgs(ctx, Q, in, out, STATEVAR_PRIMITIVE); 2379c678832SJames Wright } 2389c678832SJames Wright 23962b7942eSJames Wright #endif // sgs_dd_model_h 240