Results 11 to 20 of about 490,392 (257)
Applied Sciences, 2021 The validation of numerical tools employed in the analysis of incidental transients in a fusion reactor is a topic of main concern. KIT is taking part in this task providing both experimental data and by performing numerical analysis in support of the ...
Michela Angelucci +6 more
doaj +1 more source
Modeling of Dynamic Operation Modes of IVG.1M Reactor
Energies, 2023 This paper presents the results of a calculation code approach providing a solution to the point kinetics problem for the IVG.1M research reactor of the National Nuclear Center of the Republic of Kazakhstan and allowing the simulation of dynamic ...
Ruslan Irkimbekov +5 more
doaj +1 more source
Formal validation of pattern matching code [PDF]
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2005 When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code. Here, we focus on directly proving the correctness of compiled code issued from powerful pattern matching constructions typical of ML like languages or rewrite based ...
Kirchner, Claude +2 more
openaire +5 more sources
Monte-Carlo Serpent code validation based on the experimental data from research subcritical facility [PDF]
Ядерна фізика та енергетика, 2018 Description of computation model for Kyoto University Critical Assembly (KUCA) developed with the help of Monte-Carlo Serpent code was presented in this paper. The simulation of criticality and subcriticality condi-tions for KUCA was carried out.
O. P. Trofymenko +2 more
doaj +1 more source
Coupling Design and Validation Analysis of an Integrated Framework of Uncertainty Quantification
Energies, 2023 The uncertainty quantification is an indispensable part for the validation of the nuclear safety best-estimate codes. However, the uncertainty quantification usually requires the combination of statistical analysis software and nuclear reactor ...
Bo Pang +7 more
doaj +1 more source
Frontiers in Energy Research, 2021 Based on the requirement of Hexagonal Casing Type Fuel Reactor (HCTFR) nuclear design and the critical physical experiment design method introduced by a single factor, 11 core critical physical experiments are proposed to validate the calculation ...
Wang Lianjie +3 more
doaj +1 more source
An integrated Hardware/Software Verification and Validation methodology for Signal Processing Systems [PDF]
ITM Web of Conferences, 2022 The testing and validation services team assesses project deliverables at various stages of development using innovative and effective verification and validation, to ensure that the deliverables are compliance with the customer specifications and ...
Venugopal Manokar +3 more
doaj +1 more source
Mechanical Engineering Journal, 2015 Thermal striping caused by the mixing of fluids at different temperatures is one of the most important issues in the design of Sodium cooled Fast Reactors (SFRs), because it may cause high-cycle thermal fatigue in the structure and affect the structural ...
Masaaki TANAKA, Yasuhiro MIYAKE
doaj +1 more source
HONEY: High-Resolution Reactor Kinetics experiments in the CROCUS reactor [PDF]
EPJ Web of ConferencesThis work presents high-resolution kinetic experiments in the CROCUS reactor, where control rod movements are monitored with unprecedented spatial detail using SAFFRON, a novel 3D detection system composed of 160 miniature detectors.
Montecchio Cecilia +6 more
doaj +1 more source
Test Results of an Innovative and Modular Sensor Design for Fission Chamber Studies [PDF]
EPJ Web of Conferences, 2020 Since many years, the Instrumentation, Sensors and Dosimetry laboratory at CEA Cadarache has been working to propose innovative and robust design of fission chambers.
de Izarra G. +5 more
doaj +1 more source