Dynamic Verification of C11 Concurrency over Multi Copy Atomics

Author(s):  
Sanjana Singh ◽  
Divyanjali Sharma ◽  
Subodh Sharma
Keyword(s):  
2012 ◽  
Vol 45 (4) ◽  
pp. 224-229
Author(s):  
F. Mendoza ◽  
P. Nenninger ◽  
M. Ruppert ◽  
J. Becker

2007 ◽  
Author(s):  
Theofrastos Koulouris ◽  
George Spanoudakis ◽  
Theocharis Tsigkritis

Author(s):  
Dominique Borrione ◽  
Katell Morin-Allory ◽  
Yann Oddos
Keyword(s):  

Author(s):  
Erdal Mutlu ◽  
Vladimir Gajinov ◽  
Adrián Cristal ◽  
Serdar Tasiran ◽  
Osman S. Unsal

2017 ◽  
Vol 13 (2) ◽  
pp. 113-142 ◽  
Author(s):  
Said Brahimi ◽  
Ramdane Maamri ◽  
Zaidi Sahnoun

Author(s):  
Bjo¨rn Sva¨rd ◽  
Jan-Anders Larsson ◽  
Philip Ma˚rtensson ◽  
Bjo¨rn Lundin

During recent years, power-uprate projects have been executed at several BWR-units in Sweden. As part of these projects, structural verification of the safety-related buildings as well as the new and old internal parts of the reactor pressure vessel, RPV, has been performed. In this document, some experiences will be presented from structural dynamic verification, using finite element analysis, FEA, within the scope of these power uprate projects. From this work, a number of conclusions can be drawn. Global models with dense meshes can successfully be used for a broad range of applications. Today, large FEA-models can be used efficiently, e.g. in global vibration and structural verification analyses, if suitable dynamic analysis methods are used. There can be strong dynamic interactions between the containment, fluids, the RPV and RPV-internals. Stress calculation and evaluation can be executed efficiently on large models. The structural models can with advantage be re-utilized in future projects.


Sign in / Sign up

Export Citation Format

Share Document