Keywords: تأیید و اعتبار; Vacuum metallurgy; Verification and validation; Free surface dynamics; Coupling procedure; Cold crucible furnace;
مقالات ISI تأیید و اعتبار (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تأیید و اعتبار; Metrology; Augmented Reality; Human Computer Interaction; Verification and Validation; Measurment-assisted assembly;
Keywords: تأیید و اعتبار; AI; artificial intelligence; AVT; Applied Vehicle Technology; CM; Configuration Management; ET; Exploratory Team; GIS; Geographic Information Systems; HPC; High Performance Computing; MBD; Multi-Body Dynamics; M&S; Modeling and Simulation; NRMM; NATO Refe
Keywords: تأیید و اعتبار; Sliding mode control; Model uncertainty; Implementation imprecisions; Analog to digital conversion; Verification and validation;
Keywords: تأیید و اعتبار; Predictive science; Image-based multiscale modeling; Computational homogenization; High performance computing; Co-designed simulations and experiments; Verification and validation; Model reduction; Big Data;
Keywords: تأیید و اعتبار; Dynamic STate machines; Promela model; ERTMS/ETCS; Control system; Verification and validation;
Keywords: تأیید و اعتبار; Filtered venting; Venturi scrubber; Interface tracking method; simulation; Verification and validation;
Keywords: تأیید و اعتبار; Supercavitating vehicles; Hydrodynamic characteristics; Computational fluid dynamics; Verification and validation;
Keywords: تأیید و اعتبار; Vertical axis wind turbine; Vortex element methods; Panel method; Numerical aerodynamics; Wake aerodynamics; Vorticity dynamics; Verification and validation; BWI; Blade-Wake Interaction; CPAN; chordwise panels; GPU; Graphic Processing Unit; H-VAWT; H-sh
Keywords: تأیید و اعتبار; Large-eddy simulation; Circular cylinder; Critical Reynolds number; Drag crisis; Verification and validation;
Keywords: تأیید و اعتبار; Liquid metal reactor; Sub-channel analysis; Code development; Verification and validation;
Keywords: تأیید و اعتبار; 00-01; 99-00Boundary layer flow; High-order compact finite-difference scheme; Direct Numerical Simulation; Verification and validation; Method of Manufactured Solutions
Keywords: تأیید و اعتبار; Verification and validation; Code verification; Solution verification; Reynold-averaged Navier–Stokes turbulence models; Subsonic compressible flow; Computational fluid dynamics
Keywords: تأیید و اعتبار; Fault injection; Verification and validation; Bootstrap testing; Single Event Effect; Virtual platforms
Keywords: تأیید و اعتبار; Simulation model; Microscopic traffic simulation; Executable formal semantics; Verification and validation
Keywords: تأیید و اعتبار; Telemedicine; Formal semantic; Verification and validation; Information system; Ethical issuesTélémédecine; Sémantique formelle; Vérification et validation; Systèmes d’information; Questions éthiques
Development and validation of the BERKUT fuel rod module of the EUCLID/V1 integrated computer code
Keywords: تأیید و اعتبار; Integrated computer code; Fuel rod module; Safety justification; Verification and validation;
Development of an adaptive pulmonary simulator for in vitro analysis of patient populations and patient-specific data
Keywords: تأیید و اعتبار; Pulmonary simulator; Windkessel modeling; Simulating cardiovascular hemodynamics; Mock circulatory system; Lumped parameter model; (AoP) [mmHg]; Aortic Pressure; (HFNEF); Heart Failure with Normal Ejection Fraction; (LAP) [mmHg]; Left Atrial Pressure; (LV
Improvement of plant reliability based on combination of prediction and inspection of wall thinning due to FAC
Keywords: تأیید و اعتبار; 1-3D; one- to three-dimensional; AC; alternating current; AESJ; Atomic Energy Society of Japan; AT; acoustic emission testing; BWR; boiling water reactor; CBM; condition-based maintenance; CFD; computational fluid dynamics; CF; corrosion fatigue; CS; carb
Simulation of turbulent reactive flows using a FDF methodology - Advances in particle density control for normalized variables
Keywords: تأیید و اعتبار; FDF modeling; TVD; Large Eddy Simulation; Monte Carlo; Lagrangian modeling; Verification and validation;
Adjoint neutron flux calculations with Tripoli-4®: Verification and comparison to deterministic codes
Keywords: تأیید و اعتبار; IFP; Monte Carlo; Adjoint flux; Tripoli-4®; Verification and validation; APOLLO2; ERANOS;
Advances in weld residual stress prediction: A review of the NeT TG4 simulation round robins part 2, mechanical analyses
Keywords: تأیید و اعتبار; Welding; Weld modeling; Finite element modeling; Verification and validation;
Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology
Keywords: تأیید و اعتبار; Verification and validation; Safety system software; Nuclear power plant; Harmonization of standards; Model; Instrumentation and control;
Methods of applying nuclear simulation technology to the dynamic site testing of digital I&C system-â
¡: DCS-testing methods
Keywords: تأیید و اعتبار; BFV; bypass feedwater valve; BUP; backup panel; DCS; digital distributed I&C system; ECP; emergency control panel; FP; full power; FWS; main feedwater system; HIL; hardware-in-the-loop; HMI; human machine interface; LOCA; loss of coolant accident; I&C; in
The reactor dynamics code DYN3D – models, validation and applications
Keywords: تأیید و اعتبار; Reactor dynamics; Neutron kinetics; Thermal-hydraulics model; Fuel rod model; Code coupling; Verification and validation; Transient analysis; Innovative reactors; Code maintenance
Analyzing scaling effects on offshore wind turbines using CFD
Keywords: تأیید و اعتبار; Floating wind turbines; Reynolds/scale effects; RANS; Numerical uncertainty; Verification and validation;
Validation of OpenFOAM numerical methods and turbulence models for incompressible bluff body flows
Keywords: تأیید و اعتبار; OpenFOAM; Verification and validation; Numerical methods; Turbulence models
Design and validation of a relative trust model
Keywords: تأیید و اعتبار; Trust modeling; Relative trust; Multi-agent system; Parameter adaptation; Verification and validation
Formalizing a subset of ERTMS/ETCS specifications for verification purposes
Keywords: تأیید و اعتبار; ERTMS/ETCS; Railway interoperability; Railway safety; Specification; Formalization; Verification and validation; Model-checking
Application of a combined continuous–discontinuous Galerkin finite element method for the solution of the Girkmann problem
Keywords: تأیید و اعتبار; Girkmann problem; Continuous–discontinuous Galerkin formulation; Finite element method; Stress recovery; Verification and validation
CFD simulation of wind-induced pressure coefficients on buildings with and without balconies: Validation and sensitivity analysis
Keywords: تأیید و اعتبار; Computational fluid dynamics (CFD); Building aerodynamics; Wind pressure coefficient; Sensitivity study; Verification and validation
Development of data analysis tool for combat system integration
Keywords: تأیید و اعتبار; Combat system integration; Systems engineering; System integration; DERAT; Verification and validation; Integrated performance
Partial safety factor approach to the design of submarine pressure hulls using nonlinear finite element analysis
Keywords: تأیید و اعتبار; Submarine pressure hull; Shell buckling; Collapse; Nonlinear finite element analysis; Design; Partial safety factor; Verification and validation
URANS study of Delft catamaran total/added resistance, motions and slamming loads in head sea including irregular wave and uncertainty quantification for variable regular wave and geometry
Keywords: تأیید و اعتبار; Added resistance and motions in wave; Slamming loads; Verification and validation; Uncertainty quantification; Metamodels; Karhunen-Loève expansion;
A distributed approach to verification and validation of electronic structure simulation data using ESTEST
Keywords: تأیید و اعتبار; Electronic structure; Networks; XML; XQuery; Verification and validation; Scientific database; Online collaboration;
A methodology for qualifying industrial CFD: The Q3 approach and the role of a protocol
Keywords: تأیید و اعتبار; Quality Assurance; CFD; Verification and Validation; Cycled process; Protocol of analysis
Formal verification and validation with DEVS-Suite: OSPF Case study
Keywords: تأیید و اعتبار; Verification and validation; DEVS; DEVS-Suite; OSPF; Ns-2
Rigorous design of robot software: A formal component-based approach
Keywords: تأیید و اعتبار; Robotic software architecture; Controller synthesis; Verification and validation; Robotic functional layer; Robust software
The dome and the ring: Verification of an old mathematical model for the design of a stiffened shell roof
Keywords: تأیید و اعتبار; Shells; Finite elements; Verification and validation
A forecasting metric for predictive modeling
Keywords: تأیید و اعتبار; Modeling and simulation; Verification and validation; Model calibration; Bayesian inference; Extrapolation; Predictive maturity
Automating image segmentation verification and validation by learning test oracles
Keywords: تأیید و اعتبار; Verification and validation; Machine learning; Image segmentation; Image processing
Verification, validation and variability for the vibration study of a car windscreen modeled by finite elements
Keywords: تأیید و اعتبار; Car windscreen; Sandwich structure; Verification and validation; Finite element models; Intra variability; Vibration behaviour
Verification and validation of safety applications based on PLCopen safety function blocks
Keywords: تأیید و اعتبار; Timed automata; Safety function block; IEC 61508; IEC61131-3; Verification and validation; Model-checking
Software for protection system of VR-1 training reactor
Keywords: تأیید و اعتبار; Nuclear safety; Protection system; Quality assurance of software; Verification and validation
Comparison of refinement criteria for structured adaptive mesh refinement
Keywords: تأیید و اعتبار; Adaptive mesh refinement (AMR); Refinement criteria; Verification and validation
Development and validation of harmonic wave group single-run procedure for RAO with comparison to regular wave and transient wave group procedures using URANS
Keywords: تأیید و اعتبار; Seakeeping; Single-run; RAO; Harmonic wave group; Transient wave; Regular wave; URANS CFD; Verification and validation; Linear potential theory; Ship hydrodynamicsCFD, computational fluid dynamics; DFT, discrete Fourier transform; DTFT, discrete-time Four
Verification and validation of declarative model-to-model transformations through invariants
Keywords: تأیید و اعتبار; Model-to-model transformation; Model-Driven Development; OCL; Verification and validation; Triple Graph Grammars; QVT
Verified predictions of shape sensitivities in wall-bounded turbulent flows by an adaptive finite-element method
Keywords: تأیید و اعتبار; Sensitivity Analysis; Sensitivity Equation Method; Turbulent flows; RANS equations; k-epsilon model; Wall functions; Adaptive finite-element method; Verification and Validation
Validation and modification of WAVE spray model for diesel combustion simulation
Keywords: تأیید و اعتبار; Diesel; CFD; Simulation; Spray; Verification and validation
Verification and validation of an intelligent tutorial system
Keywords: تأیید و اعتبار; Verification and validation; Fuzzy system; Multiagent system