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 9*952746efSJames 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" 20*952746efSJames Wright #include "sgs_dd_utils.h" 213fc405b4SJames Wright #include "utils.h" 223fc405b4SJames Wright #include "utils_eigensolver_jacobi.h" 233fc405b4SJames Wright 2462b7942eSJames Wright typedef struct SGS_DD_ModelContext_ *SGS_DDModelContext; 2562b7942eSJames Wright struct SGS_DD_ModelContext_ { 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 // @brief Denormalize outputs using min-max (de-)normalization 42fb293263SJames Wright CEED_QFUNCTION_HELPER void DenormalizeDDOutputs(CeedScalar output[6], const CeedScalar (*new_bounds)[2], const CeedScalar old_bounds[6][2]) { 433fc405b4SJames Wright CeedScalar bounds_ratio; 443fc405b4SJames Wright for (int i = 0; i < 6; i++) { 453fc405b4SJames Wright bounds_ratio = (new_bounds[i][1] - new_bounds[i][0]) / (old_bounds[i][1] - old_bounds[i][0]); 463fc405b4SJames Wright output[i] = bounds_ratio * (output[i] - old_bounds[i][1]) + new_bounds[i][1]; 473fc405b4SJames Wright } 483fc405b4SJames Wright } 493fc405b4SJames Wright 503fc405b4SJames Wright CEED_QFUNCTION_HELPER void LeakyReLU(CeedScalar *x, const CeedScalar alpha, const CeedInt N) { 513fc405b4SJames Wright for (CeedInt i = 0; i < N; i++) x[i] *= (x[i] < 0 ? alpha : 1.); 523fc405b4SJames Wright } 533fc405b4SJames Wright 543fc405b4SJames Wright CEED_QFUNCTION_HELPER void DataDrivenInference(const CeedScalar *inputs, CeedScalar *outputs, SGS_DDModelContext sgsdd_ctx) { 553fc405b4SJames Wright const CeedInt num_neurons = sgsdd_ctx->num_neurons; 563fc405b4SJames Wright const CeedInt num_inputs = sgsdd_ctx->num_inputs; 573fc405b4SJames Wright const CeedInt num_outputs = sgsdd_ctx->num_outputs; 583fc405b4SJames Wright const CeedScalar alpha = sgsdd_ctx->alpha; 593fc405b4SJames Wright const CeedScalar *bias1 = &sgsdd_ctx->data[sgsdd_ctx->offsets.bias1]; 603fc405b4SJames Wright const CeedScalar *bias2 = &sgsdd_ctx->data[sgsdd_ctx->offsets.bias2]; 613fc405b4SJames Wright const CeedScalar *weight1 = &sgsdd_ctx->data[sgsdd_ctx->offsets.weight1]; 623fc405b4SJames Wright const CeedScalar *weight2 = &sgsdd_ctx->data[sgsdd_ctx->offsets.weight2]; 633fc405b4SJames Wright CeedScalar V[20] = {0.}; 643fc405b4SJames Wright 653fc405b4SJames Wright CopyN(bias1, V, num_neurons); 663fc405b4SJames Wright MatVecNM(weight1, inputs, num_neurons, num_inputs, CEED_NOTRANSPOSE, V); 673fc405b4SJames Wright LeakyReLU(V, alpha, num_neurons); 683fc405b4SJames Wright CopyN(bias2, outputs, num_outputs); 693fc405b4SJames Wright MatVecNM(weight2, V, num_outputs, num_neurons, CEED_NOTRANSPOSE, outputs); 703fc405b4SJames Wright } 713fc405b4SJames Wright 72db588195SJames Wright CEED_QFUNCTION_HELPER void ComputeSGS_DDAnisotropic(const CeedScalar grad_velo_aniso[3][3], const CeedScalar km_A_ij[6], const CeedScalar delta, 73db588195SJames Wright const CeedScalar viscosity, CeedScalar kmsgs_stress[6], SGS_DDModelContext sgsdd_ctx) { 74db588195SJames Wright CeedScalar inputs[6], grad_velo_magnitude, eigenvectors[3][3], sgs_sframe_sym[6] = {0.}; 75db588195SJames Wright 76db588195SJames Wright ComputeSGS_DDAnisotropicInputs(grad_velo_aniso, km_A_ij, delta, viscosity, eigenvectors, inputs, &grad_velo_magnitude); 77db588195SJames Wright 783fc405b4SJames Wright DataDrivenInference(inputs, sgs_sframe_sym, sgsdd_ctx); 793fc405b4SJames Wright 803fc405b4SJames Wright CeedScalar old_bounds[6][2] = {{0}}; 813fc405b4SJames Wright for (int j = 0; j < 6; j++) old_bounds[j][1] = 1; 823fc405b4SJames Wright const CeedScalar(*new_bounds)[2] = (const CeedScalar(*)[2]) & sgsdd_ctx->data[sgsdd_ctx->offsets.out_scaling]; 833fc405b4SJames Wright DenormalizeDDOutputs(sgs_sframe_sym, new_bounds, old_bounds); 843fc405b4SJames Wright 853fc405b4SJames Wright // Re-dimensionalize sgs_stress 863fc405b4SJames Wright ScaleN(sgs_sframe_sym, Square(delta) * Square(grad_velo_magnitude), 6); 873fc405b4SJames Wright 883fc405b4SJames Wright CeedScalar sgs_stress[3][3] = {{0.}}; 893fc405b4SJames Wright { // Rotate SGS Stress back to physical frame, SGS_physical = E^T SGS_sframe E 903fc405b4SJames Wright CeedScalar Evec_sgs[3][3] = {{0.}}; 913fc405b4SJames Wright const CeedScalar sgs_sframe[3][3] = { 923fc405b4SJames Wright {sgs_sframe_sym[0], sgs_sframe_sym[3], sgs_sframe_sym[4]}, 933fc405b4SJames Wright {sgs_sframe_sym[3], sgs_sframe_sym[1], sgs_sframe_sym[5]}, 943fc405b4SJames Wright {sgs_sframe_sym[4], sgs_sframe_sym[5], sgs_sframe_sym[2]}, 953fc405b4SJames Wright }; 963fc405b4SJames Wright MatMat3(eigenvectors, sgs_sframe, CEED_TRANSPOSE, CEED_NOTRANSPOSE, Evec_sgs); 973fc405b4SJames Wright MatMat3(Evec_sgs, eigenvectors, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, sgs_stress); 983fc405b4SJames Wright } 993fc405b4SJames Wright 1003fc405b4SJames Wright KMPack(sgs_stress, kmsgs_stress); 1013fc405b4SJames Wright } 1023fc405b4SJames Wright 103ee1455b7SJames Wright // @brief Calculate subgrid stress at nodes using anisotropic data-driven model 104ee1455b7SJames Wright CEED_QFUNCTION_HELPER int ComputeSGS_DDAnisotropicNodal(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, 1058fff8293SJames Wright StateVariable state_var) { 106ee1455b7SJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 107ee1455b7SJames Wright const CeedScalar(*x)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[1]; 108ee1455b7SJames Wright const CeedScalar(*grad_velo)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[2]; 109ee1455b7SJames Wright const CeedScalar(*A_ij_delta)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[3]; 110ee1455b7SJames Wright const CeedScalar(*inv_multiplicity) = (const CeedScalar(*))in[4]; 111ee1455b7SJames Wright CeedScalar(*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 112ee1455b7SJames Wright 113ee1455b7SJames Wright const SGS_DDModelContext sgsdd_ctx = (SGS_DDModelContext)ctx; 114ee1455b7SJames Wright const NewtonianIdealGasContext gas = &sgsdd_ctx->gas; 115ee1455b7SJames Wright 116ee1455b7SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 117ee1455b7SJames Wright const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]}; 118ee1455b7SJames Wright const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]}; 119ee1455b7SJames Wright const CeedScalar grad_velo_aniso[3][3] = { 120ee1455b7SJames Wright {grad_velo[0][0][i], grad_velo[0][1][i], grad_velo[0][2][i]}, 121ee1455b7SJames Wright {grad_velo[1][0][i], grad_velo[1][1][i], grad_velo[1][2][i]}, 122ee1455b7SJames Wright {grad_velo[2][0][i], grad_velo[2][1][i], grad_velo[2][2][i]} 123ee1455b7SJames Wright }; 124ee1455b7SJames 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]}; 125ee1455b7SJames Wright const CeedScalar delta = A_ij_delta[6][i]; 1268fff8293SJames Wright const State s = StateFromQ(gas, qi, x_i, state_var); 127ee1455b7SJames Wright CeedScalar km_sgs[6]; 128ee1455b7SJames Wright 129ee1455b7SJames Wright ComputeSGS_DDAnisotropic(grad_velo_aniso, km_A_ij, delta, gas->mu / s.U.density, km_sgs, sgsdd_ctx); 130ee1455b7SJames Wright 131ee1455b7SJames Wright for (int j = 0; j < 6; j++) v[j][i] = inv_multiplicity[i] * km_sgs[j]; 132ee1455b7SJames Wright } 133ee1455b7SJames Wright return 0; 134ee1455b7SJames Wright } 135ee1455b7SJames Wright 136ee1455b7SJames Wright CEED_QFUNCTION(ComputeSGS_DDAnisotropicNodal_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 1378fff8293SJames Wright return ComputeSGS_DDAnisotropicNodal(ctx, Q, in, out, STATEVAR_PRIMITIVE); 138ee1455b7SJames Wright } 139ee1455b7SJames Wright 140ee1455b7SJames Wright CEED_QFUNCTION(ComputeSGS_DDAnisotropicNodal_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 1418fff8293SJames Wright return ComputeSGS_DDAnisotropicNodal(ctx, Q, in, out, STATEVAR_CONSERVATIVE); 142ee1455b7SJames Wright } 143ee1455b7SJames Wright 1449c678832SJames Wright // @brief Adds subgrid stress to residual (during IFunction evaluation) 1459c678832SJames Wright CEED_QFUNCTION_HELPER int FluxSubgridStress(const StatePrimitive Y, const CeedScalar km_sgs[6], CeedScalar Flux[5][3]) { 1469c678832SJames Wright CeedScalar sgs[3][3]; 1479c678832SJames Wright 1489c678832SJames Wright KMUnpack(km_sgs, sgs); 1499c678832SJames Wright for (CeedInt j = 0; j < 3; j++) { 1509c678832SJames Wright Flux[0][j] = 0.; 1519c678832SJames Wright for (CeedInt k = 0; k < 3; k++) Flux[k + 1][j] = sgs[k][j]; 1529c678832SJames Wright Flux[4][j] = Y.velocity[0] * sgs[0][j] + Y.velocity[1] * sgs[1][j] + Y.velocity[2] * sgs[2][j]; 1539c678832SJames Wright } 1549c678832SJames Wright return 0; 1559c678832SJames Wright } 1569c678832SJames Wright 1579c678832SJames Wright CEED_QFUNCTION_HELPER int IFunction_NodalSubgridStress(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, 1588fff8293SJames Wright StateVariable state_var) { 1599c678832SJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 1609c678832SJames Wright const CeedScalar(*q_data)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[1]; 1619c678832SJames Wright const CeedScalar(*x)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2]; 1629c678832SJames Wright const CeedScalar(*km_sgs)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[3]; 1639c678832SJames Wright CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[0]; 1649c678832SJames Wright 1659c678832SJames Wright SGS_DDModelContext sgsdd_ctx = (SGS_DDModelContext)ctx; 1669c678832SJames Wright NewtonianIdealGasContext gas = &sgsdd_ctx->gas; 1679c678832SJames Wright 1689c678832SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 1699c678832SJames Wright const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]}; 1709c678832SJames Wright const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]}; 1718fff8293SJames Wright const State s = StateFromQ(gas, qi, x_i, state_var); 1729c678832SJames Wright 1739c678832SJames Wright const CeedScalar wdetJ = q_data[0][i]; 1749c678832SJames Wright const CeedScalar dXdx[3][3] = { 1759c678832SJames Wright {q_data[1][i], q_data[2][i], q_data[3][i]}, 1769c678832SJames Wright {q_data[4][i], q_data[5][i], q_data[6][i]}, 1779c678832SJames Wright {q_data[7][i], q_data[8][i], q_data[9][i]} 1789c678832SJames Wright }; 1799c678832SJames Wright 1809c678832SJames Wright CeedScalar Flux[5][3]; 1819c678832SJames 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]}; 1829c678832SJames Wright FluxSubgridStress(s.Y, km_sgs_i, Flux); 1839c678832SJames Wright 1847523f6aaSJames Wright for (CeedInt k = 0; k < 3; k++) { 1857523f6aaSJames Wright for (CeedInt j = 0; j < 5; j++) { 1867523f6aaSJames 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]); 1879c678832SJames Wright } 1889c678832SJames Wright } 1899c678832SJames Wright } 1909c678832SJames Wright return 0; 1919c678832SJames Wright } 1929c678832SJames Wright 1939c678832SJames Wright CEED_QFUNCTION(IFunction_NodalSubgridStress_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 1948fff8293SJames Wright return IFunction_NodalSubgridStress(ctx, Q, in, out, STATEVAR_CONSERVATIVE); 1959c678832SJames Wright } 1969c678832SJames Wright 1979c678832SJames Wright CEED_QFUNCTION(IFunction_NodalSubgridStress_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 1988fff8293SJames Wright return IFunction_NodalSubgridStress(ctx, Q, in, out, STATEVAR_PRIMITIVE); 1999c678832SJames Wright } 2009c678832SJames Wright 20162b7942eSJames Wright #endif // sgs_dd_model_h 202