Implementation of ORNL Softw are Quality Assurance Requirements for COMSOL 3.4 Presented to: COMSOL Conference Boston 2008 Renaissance Boston Waterfront Hotel October 9-11, 2008 James D. Freels Managed by UT-Battelle for the Department of Energy
An Existing SQA Procedure, SBP-1300, Is Implemented • several years of successfully using SBP- 1300 have resulted in over 50 codes approved on over 20 different computers • two major audits have yielded successful results • SBP-1300 has become a “model” example for the rest of ORNL • will qualify COMSOL using this same path to success 2 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
3 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
4 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
5 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Case Description for COMSOL 3.4 Softw are QA 6 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification Matrix for COMSOL 3.4 Softw are QA 7 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
All the COMSOL-Supplied Cases Verified, Tw o Additional Derived Cases are Documented • Verification of Finite Element Convergence • Verification of Parallel-Processing Performance 8 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Finite Element Convergence (p 1/4) • 3D conduction, sphere, internal heat generation, convection boundary condition, steady-state solution • 9 mesh cases for each convergence rate analysis, use COMSOL default cases: extremely coarse → extremely fine • investigate solutions using linear, quadratic, and cubic finite-element basis • evaluate convergence of the energy norm evaluated using the COMSOL-provided variable gradT_ht . 9 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Finite Element Convergence cubic basis, extremely-fine mesh (p 2/4) 10 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Finite Element Convergence T solution, cubic basis, extremely-fine mesh (p 3/4) 11 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Finite Element Convergence comparison of convergence rates (p 4/4) 12 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Parallel Processing Performance (p 1/5) • 3D forced-convection heat transfer, pipe, hydrogen-fluid real gas properties, radiation heat transfer boundary within vacuum region, steady-state solution • same case executed with # cpus = 1 → 4 • same case executed by direct solver, then indirect solver • two separate cases to test throughput and turnaround mpmode options 13 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Parallel Processing Performance: mesh (p 2/5) 14 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Parallel Processing Performance: shell temperature (p 3/5) 15 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Verification of Parallel Processing Performance: fluid velocity (p 4/5) 16 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
COMSOL v3.4 Parallel Processing Performance on ORNL Computer fea8.ornl.gov 17 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Results and Conclusions COMSOL v3.4 Softw are QA at ORNL • RRD procedure SBP-1300 has been implemented • COMSOL-delivered documentation was more than sufficient to qualify the code per SBP-1300 • at least two representative problems from each module were utilized for the verification • a derived problem was utilized to verify finite-element convergence rate • a 2 nd derived problem was utilized to verify parallel processing performance on the qualified computer • when approved, this qualification will allow COMSOL to be used for nuclear safety-related calculations on HFIR 18 Managed by UT-Battelle for the Department of Energy Implementation of ORNL SQA Requirements for COMSOL 3.4
Recommend
More recommend
