Keywords: تأیید کد; Liquid metal cooled reactor; Transient sub-channel code; Thermal-hydraulic analysis; Code verification; Second-order upwind scheme;
مقالات ISI تأیید کد (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تأیید کد; Free-surface flow; Finite-volume methods; Volume-of-fluid; Interface-capturing schemes; Code verification; 35Q35; 76D05; 76D33;
Keywords: تأیید کد; Compressible flow; Exact solution; Code verification;
Keywords: تأیید کد; Code verification; High-order accuracy; Method of manufactured solutions; RANS; Curved grids; Flux reconstruction;
Keywords: تأیید کد; Analytical solution; Bivariate population balance equation; Method of manufactured solutions; Code verification;
Keywords: تأیید کد; Multiphase flows; Code verification; Method of manufactured solutions; Order of accuracy; Two-fluid model
Keywords: تأیید کد; Code verification; Method of manufactured solutions; Order of accuracy; Boundary conditions;
Keywords: تأیید کد; Verification and validation; Code verification; Solution verification; Reynold-averaged Navier–Stokes turbulence models; Subsonic compressible flow; Computational fluid dynamics
Preliminary verification of a transient analysis code TSACO for helium cooled system
Keywords: تأیید کد; Code verification; TSACO; HE-FUS3 facility; Uncertainty analysis;
On code verification of RANS solvers
Keywords: تأیید کد; Code verification; Numerical error; Order of grid convergence; Manufactured solutions;
Basic verification of THACS for sodium-cooled fast reactor system analysis
Keywords: تأیید کد; Fast reactor; Benchmark analysis; Code verification
On the use of the method of manufactured solutions for the verification of CFD codes for the volume-averaged Navier-Stokes equations
Keywords: تأیید کد; Computational fluid dynamics; Multiphase flows; Code verification; Method of manufactured solutions; Volume-averaged Navier-Stokes; CFD-DEM;
External verification analysis: A code-independent verification technique for unsteady PDE codes
Keywords: تأیید کد; Code verification; Computational Fluid Dynamics; Computational Aeroacoustics; Time-marching schemes; Spatial differencing schemes
Numerical model of a two-phase microchannel heat sink electronics cooling system
Keywords: تأیید کد; Two-phase cooling; System model; Code verification
Comprehensive code verification techniques for finite volume CFD codes
Keywords: تأیید کد; Code verification; Order of accuracy; Manufactured Solutions
Code verification for finite volume multiphase scalar equations using the method of manufactured solutions
Keywords: تأیید کد; Manufactured solutions; Code verification; Multiphase; Numerical methods; Finite volume; Level set;
A verification exercise in multiphysics simulations for coupled reactor physics calculations
Keywords: تأیید کد; Multiphysics coupling; Code verification; Method of manufactured solutions; Convergence order
Verification of variable-density flow solvers using manufactured solutions
Keywords: تأیید کد; Code verification; Method of manufactured solutions; Numerical error; Variable-density; Equation-of-state
Application of the method of manufactured solutions to the verification of a pressure-based finite-volume numerical scheme
Keywords: تأیید کد; Code verification; Methods of manufactured solutions; Low Mach number approximation; Pressure based solver; Variable density flows; Combustion
Comparison of the performance of some finite element discretizations for large deformation elasticity problems
Keywords: تأیید کد; Large deformations; Hyperelastic material; Manufactured solutions; Mixed methods; Convergence order; Code verification
Provably correct Java implementations of Spi Calculus security protocols specifications
Keywords: تأیید کد; Model-based software development; Correctness preserving code generation; Code verification; Formal methods; Security protocols