Design and Construction of Relational Database for Structural Modeling Verification and Validation. Weiju Ren, Ph. D.

Size: px
Start display at page:

Download "Design and Construction of Relational Database for Structural Modeling Verification and Validation. Weiju Ren, Ph. D."

Transcription

1 Design and Construction of Relational Database for Structural Modeling Verification and Validation Weiju Ren, Ph. D. Oak Ridge National Laboratory ASME Verification and Validation Symposium 2012 Las Vegas, Nevada, May 2-4, 2012

2 DOE-NE is promoting modeling and simulation for nuclear reactor design, analysis and licensing. Conventional demonstration and testing of nuclear energy components/systems face great challenges. Often cost- or time-prohibitive. Extensive/exhaustive testing often impossible. Modeling and simulation (M&S) provides the basis for: R&D planning Program decision making Physical experiment minimizing 2 ASME Verification and Validation Symposium 2012

3 Before important M&S results can be trusted, challenging questions must be answered. Predictive? Courtesy of ANL V & V 3 ASME Verification and Validation Symposium 2012

4 Verification & Validation establish credibility of a model and confidence in its simulation results. What is V&V? At present, definitions and procedures for V&V vary across the M&S community. Generally speaking, V&V can be considered as: Systematic accumulation of evidence that given M&S is adequate for the intended application. 4 ASME Verification and Validation Symposium 2012

5 How can we systematically accumulate, manage, and track, and retrieve the evidence? The V&V activities should be well planned along with the M&S tasks. It is ideal that an evidence collection and management plan (V&V plan) is put in place before the M&S is started. The V&V workflow may be mapped to the M&S workflow. Every important M&S step should have corresponding evidence collection and management mechanisms. Specific information management system and tools should be provided. Facilitate systematic evidence accumulation and use. 5 ASME Verification and Validation Symposium 2012

6 It is imperative that practical methodologies and procedures be developed for V&V. Currently, most V&V approaches fall short of being consistent, practical, implementable, or reliable. An advanced information management framework may provide a solid basis for V&V activities. Construct customized relational database that visualizes specific V&V workflow. Offer tangible software tools for V&V activity planning and implementation. Provide effective documentation and data management. 6 ASME Verification and Validation Symposium 2012

7 M&S consists of five major steps, each involving chances for error. Verification becomes crucial. Reality of Interest Component, Subsystem, System Computational Model Computer Code Property parameters Initial parameters Boundary parameters Calculation Simulation Results Calculation Output Abstraction Important features Negligible characteristics Assumptions PIRT Numerical Implementation Discretizations Algorithms Convergence criteria Uncertainty Qualification Error limits Accuracy requirements 7 ASME Verification and Validation Symposium 2012 Conceptual Model Idealization of Physical Reality Mathematical Modeling Mechanics principles Material behavior Loads & interface Boundary conditions Mathematical Model Math Equations and Parameters Simulation Outcomes Final Results with Known Uncertainty Is the simulation prediction correct and satisfactory?

8 Special experimental data are needed for validation of the M&S for its predictability. Reality of Interest Component, Subsystem, System Abstraction Important features Negligible characteristics Assumptions PIRT Conceptual Model Idealization of Physical Reality Physical Modeling Assumptions Expectations Experiment Model Testing and Specimen Designs Raw data collection Data reduction Quality assessment Experimentation Experimental Results Testing Result Data Experimental Implementation Test definition Output identification Equipment calibration Uncertainty Qualification Data scatter Error limits Design tolerance 8 ASME Verification and Validation Symposium 2012 Physical Model Simplified Physical Representation Experimental Outcomes Final Results with Known Uncertainty Now we can answer the validation question.

9 All important levels in M&S hierarchy require V&V to build up credibility of the results. Mathematical Model Conceptual Model Revise model or experiment Physical Model Code Verification Computational Model Calculation Verification Simulation Results Simulation Outcomes Preliminary Calculations Validation Quantitative Comparison Experimental Model Experimental Results Experimental Outcomes Acceptable agreement? Yes Move to the next higher level in a bottom-up V&V process 9 ASME Verification and Validation Symposium 2012 No Is the simulation prediction correct and satisfactory?

10 Documentation & data management for a large model system can quickly become challenging. The Yes answer leads to extension of the process. The No answer leads to iteration of the process. To ensure traceability for efficient V&V, all documents and data should be managed in a schema that matches the specific M&S workflow. 10 ASME Verification and Validation Symposium 2012

11 V&V database structure can be customizable to catch required details for complicated M&S process. 11 ASME Verification and Validation Symposium 2012

12 Flexible version control can be used to capture and manage data modifications in the M&S iteration. The No answer leads to iteration of the M&S process. Revised M&S is linked to its version of V&V data for convenient traceability. 12 ASME Verification and Validation Symposium 2012

13 Ideal structural flexibility for V&V database can be achieved by a modularized database system. Individual Database C# Table Subset Folder.NET Class Libraries Record Attribute Data MSIL Modular Database Kit Microsoft Intermediate Language/Java Byte Code Construction elements and modules Custom design Relational V&V database CRL Common Language Runtime /JVM Native Processor Machine Language 13 ASME Verification and Validation Symposium 2012

14 A modular database infrastructure has been established at ORNL for various projects. Nuclear Energy Knowledge Base for Advanced Modeling and Simulation Gen IV Materials Handbook for international collaboration in nuclear structural materials ASME Materials Database for Code and Standard Development Mechanical testing projects and ASME Codification data management 14 ASME Verification and Validation Symposium 2012

15 The NE-KAMS is being developed to achieve several goals that are crucial for Advanced M&S. Provide V&V and Uncertainty Quantification (UQ) resources. Establish confidence in the use of M&S for nuclear reactor design, analysis and licensing. Develop and implement standards, requirements and best practices for V&V and UQ. Enable scientists and engineers to assess the quality of their M&S applications. Serve as important resource for technical exchange and collaboration. Enabling credible computational models and simulations for nuclear energy applications. 15 ASME Verification and Validation Symposium 2012

16 Summary It is imperative that consistent, practical, reliable and implementable V&V approaches be established. A relational database can provide a visualized framework for V&V planning and implementation. Desired features for developing an effective V&V database include but not limited to: Structural modularization Version control Various data type management Data quality categorization Data traceability Automated data transfer The modular database system at ORNL provides effective infrastructure for V&V and UQ database development. 16 ASME Verification and Validation Symposium 2012

17 Acknowledgments This work is sponsored by the U.S. Department of Energy, Office of Nuclear Energy Science and Technology under contract DE-AC05-00OR22725 with Oak Ridge National Laboratory, managed by UT-Battelle, LLC. The Author would like to thank Hyung Lee of Bettis, Kim Mousseau of INL, and Greg Weirs of SNL for collaboration in NE-KAMS development. 17 ASME Verification and Validation Symposium 2012

CFD V&V Workshop for CFD V&V Benchmark Case Study. ASME 2015 V&V Symposium

CFD V&V Workshop for CFD V&V Benchmark Case Study. ASME 2015 V&V Symposium CFD V&V Workshop for CFD V&V Benchmark Case Study ASME 2015 V&V Symposium ASME V&V 30 Committee Las Vegas, Nevada May 14, 2015 CFD V&V Workshop Why are we here? Goals CFD V&V Benchmark Case Study State

More information

Using the Scaling Equations to Define Experimental Matrices for Software Validation

Using the Scaling Equations to Define Experimental Matrices for Software Validation Using the Scaling Equations to Define Experimental Matrices for Software Validation Richard R. Schultz, Edwin Harvego, Brian G. Woods, and Yassin Hassan V&V30 Standards Committee Presentation Content Description

More information

Follow this and additional works at: Part of the Statistical Models Commons

Follow this and additional works at:   Part of the Statistical Models Commons Publications (YM) Yucca Mountain 10-2-2006 Procedure Models C. F. Bartley W. W. Watson Lead Laboratory Interface Follow this and additional works at: https://digitalscholarship.unlv.edu/yucca_mtn_pubs

More information

Verification and Validation in a Regulated Software Environment

Verification and Validation in a Regulated Software Environment Verification and Validation in a Regulated Software Environment 1 William J. Bryan Corporate Quality Manager ANSYS, Inc. Webster Verify to establish the truth, accuracy, or reality of Validate to support

More information

Philip C. Roth. Computer Science and Mathematics Division Oak Ridge National Laboratory

Philip C. Roth. Computer Science and Mathematics Division Oak Ridge National Laboratory Philip C. Roth Computer Science and Mathematics Division Oak Ridge National Laboratory A Tree-Based Overlay Network (TBON) like MRNet provides scalable infrastructure for tools and applications MRNet's

More information

Verification and Validation in Computational Geomechanics

Verification and Validation in Computational Geomechanics Verification and Validation in Computational Geomechanics Boris Mahdi Taiebat (UBC), Nima Tafazzoli, Panagiota Tasiopoulou Department of Civil and Environmental Engineering University of California, Davis

More information

NACC2016, June 5-7, 2016, San Antonio, TX

NACC2016, June 5-7, 2016, San Antonio, TX Verification, Validation, and Control of Automated Calculational Applications Subject to ASME NQA-1 Quality Assurance Requirements Katie Phillips, Jaime Rickert, Charles A. Waggoner Institute for Clean

More information

A Finite Element Analysis Workflow in Biomechanics. Define the problem and identify FEA as the favorable modeling & simulation strategy

A Finite Element Analysis Workflow in Biomechanics. Define the problem and identify FEA as the favorable modeling & simulation strategy Before you start Understand the Premise of FEA Finite element analysis is a computational modeling & simulation strategy; specifically, a numerical procedure for solving field problems, e.g., stress, by

More information

Software Quality Assurance Procedures for NRC Thermal Hydraulic Codes

Software Quality Assurance Procedures for NRC Thermal Hydraulic Codes NUREG- 1737 Software Quality Assurance Procedures for NRC Thermal Hydraulic Codes U.S. Nuclear Regulatory Commission Office of Nuclear Regulatory Research Washington, DC 20555-0001 i AVAILABILITY OF REFERENCE

More information

Towards a Generic Framework for Evaluation and Comparison of Soft Tissue Modeling

Towards a Generic Framework for Evaluation and Comparison of Soft Tissue Modeling Author manuscript, published in "MMVR'2012, Newport Beach : United States (2012)" Towards a Generic Framework for Evaluation and Comparison of Soft Tissue Modeling Aurélien DERAM a Yohan PAYAN a Emmanuel

More information

Verification and Validation in CFD and Heat Transfer: ANSYS Practice and the New ASME Standard

Verification and Validation in CFD and Heat Transfer: ANSYS Practice and the New ASME Standard Verification and Validation in CFD and Heat Transfer: ANSYS Practice and the New ASME Standard Dimitri P. Tselepidakis & Lewis Collins ASME 2012 Verification and Validation Symposium May 3 rd, 2012 1 Outline

More information

Product certification scheme requirements. Solar Photovoltaic Modules

Product certification scheme requirements. Solar Photovoltaic Modules Page 1 of 5 1. Introduction This document identifies the evaluation and assessment requirements and practices for the purposes of certification and listing of Solar Photovoltaic (PV) modules. Certification

More information

VERIFICATION AND VALIDATION IN MODELING FIRE BY COMPUTATIONAL FLUID DYNAMICS

VERIFICATION AND VALIDATION IN MODELING FIRE BY COMPUTATIONAL FLUID DYNAMICS , Volume 5, Number 3, p.58-67, 2004 VERIFICATION AND VALIDATION IN MODELING FIRE BY COMPUTATIONAL FLUID DYNAMICS W.K. Mok and W.K. Chow Department of Building Services Engineering, The Hong Kong Polytechnic

More information

Aerospace Software Engineering

Aerospace Software Engineering 16.35 Aerospace Software Engineering Verification & Validation Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Would You...... trust a completely-automated nuclear power plant?... trust a completely-automated

More information

Knowledge-based Systems for Industrial Applications

Knowledge-based Systems for Industrial Applications Knowledge-based Systems for Industrial Applications 1 The Topic 2 Tasks Goal: Overview of different tasks Systematic and formal characterization as a requirement for theory and implementation Script: Chap.

More information

CFD Project Workflow Guide

CFD Project Workflow Guide CFD Project Workflow Guide Contents Select a problem with known results for proof-of-concept testing... 1 Set up and run a coarse test case... 2 Select and calibrate numerical methods... 3 Minimize & quantify

More information

8.1 Model building, verification, and validation

8.1 Model building, verification, and validation UNIT 8: VERIFICATION AND VALIDATION OF SIMULATION MODELS, OPTIMIZATION: Model building, verification and validation; Verification of simulation models; Calibration and validation of models. Optimization

More information

IDENTIFYING WORST CASE DESIGNS THROUGH A COMBINED STRATEGY OF COMPUTATIONAL MODELING, STATISTICAL METHODS, AND BENCH TOP TESTS

IDENTIFYING WORST CASE DESIGNS THROUGH A COMBINED STRATEGY OF COMPUTATIONAL MODELING, STATISTICAL METHODS, AND BENCH TOP TESTS IDENTIFYING WORST CASE DESIGNS THROUGH A COMBINED STRATEGY OF COMPUTATIONAL MODELING, STATISTICAL METHODS, AND BENCH TOP TESTS Payman Afshari Andrew Dooris Pat Fatyol DePuy Synthes Spine, a Johnson and

More information

A PROCESS FOR CREATING, MANAGING AND DEPLOYING MATERIALS IN ANSA

A PROCESS FOR CREATING, MANAGING AND DEPLOYING MATERIALS IN ANSA A PROCESS FOR CREATING, MANAGING AND DEPLOYING MATERIALS IN ANSA 1 E. Strong, 2 Yianni Kolokythas, and 1 H. Lobo * 1 Matereality, USA, 2 Beta-CAE, Greece KEYWORDS Material cards; enterprise materials;

More information

NUMERICAL METHODS PERFORMANCE OPTIMIZATION IN ELECTROLYTES PROPERTIES MODELING

NUMERICAL METHODS PERFORMANCE OPTIMIZATION IN ELECTROLYTES PROPERTIES MODELING NUMERICAL METHODS PERFORMANCE OPTIMIZATION IN ELECTROLYTES PROPERTIES MODELING Dmitry Potapov National Research Nuclear University MEPHI, Russia, Moscow, Kashirskoe Highway, The European Laboratory for

More information

S93-8 Page 1 TOMOGRAPHIC APPROACHES TO NONWOVENS STRUCTURE DEFINITION

S93-8 Page 1 TOMOGRAPHIC APPROACHES TO NONWOVENS STRUCTURE DEFINITION S93-8 Page 1 TOMOGRAPHIC APPROACHES TO NONWOVENS STRUCTURE DEFINITION PIs: T. Gilmore, H. Davis, Z. Mi, North Carolina State University Code: S93-8 Date of Report: 9/94 RELEVANCE TO NTC MISSION AND GOALS:

More information

Cyber Security Requirements for Supply Chain. June 17, 2015

Cyber Security Requirements for Supply Chain. June 17, 2015 Cyber Security Requirements for Supply Chain June 17, 2015 Topics Cyber Threat Legislation and Regulation Nuts and Bolts of NEI 08-09 Nuclear Procurement EPRI Methodology for Procurement Something to think

More information

Continuous auditing certification

Continuous auditing certification State of the Art in cloud service certification Cloud computing has emerged as the de-facto-standard when it comes to IT delivery. It comes with many benefits, such as flexibility, cost-efficiency and

More information

Laboratory Accreditation Building Confidence on Testing Quality

Laboratory Accreditation Building Confidence on Testing Quality Laboratory Accreditation Building Confidence on Testing Quality Dr. George Anastasopoulos, Director (Conformity Assessment) & Prasanth S Ramakrishnan, MS, LEED-AP (Principal Staff & Program Manager) ASME

More information

Are all CFD s created equal? Prepared by: Associate Director: Sam Wicks

Are all CFD s created equal? Prepared by: Associate Director: Sam Wicks Are all CFD s created equal? Prepared by: Associate Director: Sam Wicks samwicks@sudlows.com Keeping cool under pressure Imagine waking up at 04:00 to an escalated BMS alert that your Dubai data hub has

More information

Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale

Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale Saurabh Hukerikar Christian Engelmann Computer Science Research Group Computer Science & Mathematics Division Oak Ridge

More information

Introduction to C omputational F luid Dynamics. D. Murrin

Introduction to C omputational F luid Dynamics. D. Murrin Introduction to C omputational F luid Dynamics D. Murrin Computational fluid dynamics (CFD) is the science of predicting fluid flow, heat transfer, mass transfer, chemical reactions, and related phenomena

More information

STATISTICAL CALIBRATION: A BETTER APPROACH TO INTEGRATING SIMULATION AND TESTING IN GROUND VEHICLE SYSTEMS.

STATISTICAL CALIBRATION: A BETTER APPROACH TO INTEGRATING SIMULATION AND TESTING IN GROUND VEHICLE SYSTEMS. 2016 NDIA GROUND VEHICLE SYSTEMS ENGINEERING and TECHNOLOGY SYMPOSIUM Modeling & Simulation, Testing and Validation (MSTV) Technical Session August 2-4, 2016 - Novi, Michigan STATISTICAL CALIBRATION: A

More information

III. CONCEPTS OF MODELLING II.

III. CONCEPTS OF MODELLING II. III. CONCEPTS OF MODELLING II. 5. THE MODELLING PROCEDURE 6. TYPES OF THE MODELS 7. SELECTION OF MODEL TYPE 8. SELECTION OF MODEL COMPLEXITY AND STRUCTURE 1 5. MODELLING PROCEDURE Three significant steps

More information

Diagnostics and Exploratory Analysis Infrastructure for ACME Workflow

Diagnostics and Exploratory Analysis Infrastructure for ACME Workflow Diagnostics and Exploratory Analysis Infrastructure for ACME Workflow ORNL: Brian Smith, John Harney, Brian Jewell LLNL: Jeffrey Painter, James McEnerney, ORNL is managed by UT-Battelle for the US Department

More information

Oak Ridge National Laboratory Computing and Computational Sciences

Oak Ridge National Laboratory Computing and Computational Sciences Oak Ridge National Laboratory Computing and Computational Sciences Computer Science and Mathematics Power Measurement for High Performance Computing: State of the Art PMP 2011 Chung-Hsing Hsu Steve Poole

More information

Project Name. The Eclipse Integrated Computational Environment. Jay Jay Billings, ORNL Parent Project. None selected yet.

Project Name. The Eclipse Integrated Computational Environment. Jay Jay Billings, ORNL Parent Project. None selected yet. Project Name The Eclipse Integrated Computational Environment Jay Jay Billings, ORNL 20140219 Parent Project None selected yet. Background The science and engineering community relies heavily on modeling

More information

The IETA/PCF Validation & Verification Manual

The IETA/PCF Validation & Verification Manual The IETA/PCF & Manual Introduction and way forward Einar Telnes, DNV Certification Bonn, June 7,2003 Introduction Initiated as a preliminary Manual fall 2000 Designed to facilitate an early start for projects

More information

Hardware safety integrity (HSI) in IEC 61508/ IEC 61511

Hardware safety integrity (HSI) in IEC 61508/ IEC 61511 1 Hardware safety integrity (HSI) in IEC 61508/ IEC 61511 ESReDA 2006 June 7-8, 2006 Mary Ann Lundteigen mary.a.lundteigen@ntnu.no mary.a.lundteigen@sintef.no 2 Overview 1. Objective 2. Some concepts &

More information

National Information Assurance Partnership. Common Criteria Evaluation and Validation Scheme

National Information Assurance Partnership. Common Criteria Evaluation and Validation Scheme National Information Assurance Partnership Common Criteria Evaluation and Validation Scheme TM Validation Report for the Venafi Trust Protection Platform, Version 1.0 Report Number: CCEVS-VR-VID10800-2017

More information

ScalaIOTrace: Scalable I/O Tracing and Analysis

ScalaIOTrace: Scalable I/O Tracing and Analysis ScalaIOTrace: Scalable I/O Tracing and Analysis Karthik Vijayakumar 1, Frank Mueller 1, Xiaosong Ma 1,2, Philip C. Roth 2 1 Department of Computer Science, NCSU 2 Computer Science and Mathematics Division,

More information

MCS: 005. Product Certification Scheme Requirements: Solar Photovoltaic Modules. Issue 2.3

MCS: 005. Product Certification Scheme Requirements: Solar Photovoltaic Modules. Issue 2.3 MCS: 005 Product Certification Scheme Requirements: Solar Photovoltaic Modules Issue 2.3 This Microgeneration Installation Standard is the property of Department of Energy and Climate Change (DECC), 3

More information

White Paper 3D Geometry Visualization Capability for MCNP

White Paper 3D Geometry Visualization Capability for MCNP White Paper 3D Geometry Visualization Capability for MCNP J. B. Spencer, J. A. Kulesza, A. Sood Los Alamos National Laboratory Monte Carlo Methods, Codes, and Applications Group June 12, 2017 1 Introduction

More information

Data Verification and Validation (V&V) for New Simulations

Data Verification and Validation (V&V) for New Simulations Data Verification and Validation (V&V) for New Simulations RPG Special Topic 9/15/06 1 Table of Contents Introduction 1 Data V&V Activities During M&S Development 1 Determine M&S Requirements Phase 2 V&V

More information

MADNESS. Rick Archibald. Computer Science and Mathematics Division ORNL

MADNESS. Rick Archibald. Computer Science and Mathematics Division ORNL MADNESS Rick Archibald Computer Science and Mathematics Division ORNL CScADS workshop: Leadership-class Machines, Petascale Applications and Performance Strategies July 27-30 th Managed by UT-Battelle

More information

Validation of a Finite Element Analysis (FEA) Model of a Nuclear Transportation Package under Impact Conditions

Validation of a Finite Element Analysis (FEA) Model of a Nuclear Transportation Package under Impact Conditions Validation of a Finite Element Analysis (FEA) Model of a Nuclear Transportation Package under Impact Conditions Chris Berry Lead Engineering Analyst 11 th October 2016 Outline of presentation Background

More information

Lecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool

Lecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool SMA6304 M2 ---Factory Planning and scheduling Lecture Discrete Event of Manufacturing Systems Simulation Sivakumar AI Lecture: 12 copyright 2002 Sivakumar 1 Simulation Simulation - A Predictive Tool Next

More information

System dynamic (SD) modeling. Lisa Brouwers

System dynamic (SD) modeling. Lisa Brouwers System dynamic (SD) modeling Lisa Brouwers Agenda Modelling and simulation Different type of models System dynamics SIR in Vensim Verification and validation Modelling process (steps in a simulation project)

More information

You ve already read basics of simulation now I will be taking up method of simulation, that is Random Number Generation

You ve already read basics of simulation now I will be taking up method of simulation, that is Random Number Generation Unit 5 SIMULATION THEORY Lesson 39 Learning objective: To learn random number generation. Methods of simulation. Monte Carlo method of simulation You ve already read basics of simulation now I will be

More information

Algorithm Engineering Applied To Graph Clustering

Algorithm Engineering Applied To Graph Clustering Algorithm Engineering Applied To Graph Clustering Insights and Open Questions in Designing Experimental Evaluations Marco 1 Workshop on Communities in Networks 14. March, 2008 Louvain-la-Neuve Outline

More information

Transforming the Electric Grid

Transforming the Electric Grid Transforming the Electric Grid - ORNL s role in supporting DOE s mission January 6 th, 2005 Tom King Program Manager, Power Technologies Oak Ridge National Laboratory kingtjjr@ornl.gov 865-675-4390 Office

More information

1. Introduction. 2. Modelling elements III. CONCEPTS OF MODELLING. - Models in environmental sciences have five components:

1. Introduction. 2. Modelling elements III. CONCEPTS OF MODELLING. - Models in environmental sciences have five components: III. CONCEPTS OF MODELLING 1. INTRODUCTION 2. MODELLING ELEMENTS 3. THE MODELLING PROCEDURE 4. CONCEPTUAL MODELS 5. THE MODELLING PROCEDURE 6. SELECTION OF MODEL COMPLEXITY AND STRUCTURE 1 1. Introduction

More information

Performance Measurement and Evaluation Tool for Large-scale Systems

Performance Measurement and Evaluation Tool for Large-scale Systems Performance Measurement and Evaluation Tool for Large-scale Systems Hong Ong ORNL hongong@ornl.gov December 7 th, 2005 Acknowledgements This work is sponsored in parts by: The High performance Computing

More information

Numerical Methods in Scientific Computation

Numerical Methods in Scientific Computation Numerical Methods in Scientific Computation Programming and Software Introduction to error analysis 1 Packages vs. Programming Packages MATLAB Excel Mathematica Maple Packages do the work for you Most

More information

A Database of ANSYS Fluid Solver Verification & Validation Tests based on ANSYS EKM

A Database of ANSYS Fluid Solver Verification & Validation Tests based on ANSYS EKM A Database of ANSYS Fluid Solver Verification & Validation Tests based on ANSYS EKM 1 Thomas Frank ANSYS Fluids Validation Manager ANSYS Germany, Otterfing Thomas.Frank@ansys.com Outline Introduction The

More information

Reliability Analysis

Reliability Analysis Reliability Analysis 12 Inch LED Crossing Signal Models 1607-508-02 and -04 Revision 1.0 Submitted to: Rail Development Group 85 Vantage Point Drive Rochester, NY 14624 Submitted by: 505 King Avenue Columbus,

More information

LOUGHBOROUGH UNIVERSITY RESEARCH OFFICE STANDARD OPERATING PROCEDURE. Loughborough University (LU) Research Office SOP 1027 LU

LOUGHBOROUGH UNIVERSITY RESEARCH OFFICE STANDARD OPERATING PROCEDURE. Loughborough University (LU) Research Office SOP 1027 LU LOUGHBOROUGH UNIVERSITY RESEARCH OFFICE STANDARD OPERATING PROCEDURE Loughborough University (LU) Research Office SOP 1027 LU Process for Writing Study Protocols for NHS Research Sponsored by Loughborough

More information

UNIT II Requirements Analysis and Specification & Software Design

UNIT II Requirements Analysis and Specification & Software Design UNIT II Requirements Analysis and Specification & Software Design Requirements Analysis and Specification Many projects fail: because they start implementing the system: without determining whether they

More information

UNH-IOL PCIe CONSORTIUM

UNH-IOL PCIe CONSORTIUM UNH-IOL PCIe CONSORTIUM PCIe Interoperability Test Suite v1.0 Technical Document Last Updated: September 26, 2013 2013 University of New Hampshire InterOperability Laboratory UNH IOL PCIe Consortium 121

More information

Effective Threat Modeling using TAM

Effective Threat Modeling using TAM Effective Threat Modeling using TAM In my blog entry regarding Threat Analysis and Modeling (TAM) tool developed by (Application Consulting and Engineering) ACE, I have watched many more Threat Models

More information

Verification, validation and sensitivity studies in computational biomechanics

Verification, validation and sensitivity studies in computational biomechanics Computer Methods in Biomechanics and Biomedical Engineering, Vol. 00, No. 0, 2007, 1 14 5 10 Review article Verification, validation and sensitivity studies in computational biomechanics ANDREW E. ANDERSON,

More information

Stakeholder Participation Guidance

Stakeholder Participation Guidance Climate, Community & Biodiversity Alliance, Verra Stakeholder Participation Guidance Guidance to support stakeholder participation in design, implementation and assessment of policies and actions May 2018

More information

Simulation of Workflow and Threat Characteristics for Cyber Security Incident Response Teams

Simulation of Workflow and Threat Characteristics for Cyber Security Incident Response Teams Simulation of Workflow and Threat Characteristics for Cyber Security Incident Response Teams Theodore Reed, Robert G. Abbott, Benjamin Anderson, Kevin Nauer & Chris Forsythe Sandia National Laboratories

More information

ASME Verification and Validation Symposium May 13-15, 2015 Las Vegas, Nevada. Phillip E. Prueter, P.E.

ASME Verification and Validation Symposium May 13-15, 2015 Las Vegas, Nevada. Phillip E. Prueter, P.E. VVS2015-8015: Comparing Closed-Form Solutions to Computational Methods for Predicting and Validating Stresses at Nozzle-to-Shell Junctions on Pressure Vessels Subjected to Piping Loads ASME Verification

More information

Fast Automated Estimation of Variance in Discrete Quantitative Stochastic Simulation

Fast Automated Estimation of Variance in Discrete Quantitative Stochastic Simulation Fast Automated Estimation of Variance in Discrete Quantitative Stochastic Simulation November 2010 Nelson Shaw njd50@uclive.ac.nz Department of Computer Science and Software Engineering University of Canterbury,

More information

The Analysis and Proposed Modifications to ISO/IEC Software Engineering Software Quality Requirements and Evaluation Quality Requirements

The Analysis and Proposed Modifications to ISO/IEC Software Engineering Software Quality Requirements and Evaluation Quality Requirements Journal of Software Engineering and Applications, 2016, 9, 112-127 Published Online April 2016 in SciRes. http://www.scirp.org/journal/jsea http://dx.doi.org/10.4236/jsea.2016.94010 The Analysis and Proposed

More information

ACME Exploratory Analysis and Classic Diagnostics Viewer

ACME Exploratory Analysis and Classic Diagnostics Viewer ACME Exploratory Analysis and Classic Diagnostics Viewer Raymond Borges Marcia Branstetter Katherine Evans John Harney Brian Jewell Benjamin Mayer Jeff Painter Galen Shipman Brian Smith Chad Steed Dean

More information

Performance Contracts in SDN Systems

Performance Contracts in SDN Systems Performance Contracts in SDN Systems May 2017 Published in IEEE Softwarization - May 2017 Abstract SDN virtualizes connectivity and access to the underlying bearers. This enables more variety of routes

More information

Microgeneration Certification Scheme: MCS 005

Microgeneration Certification Scheme: MCS 005 Microgeneration Certification Scheme: MCS 005 Product Certification Scheme Requirements: Solar Photovoltaic Modules Issue 2.5 This Microgeneration Installation Standard is the property of Department of

More information

Tutorial to Building Automation Frameworksfor Web Services Testing

Tutorial to Building Automation Frameworksfor Web Services Testing STC 2013 Tutorial to Building Automation Frameworksfor Web Services Testing By: Tushar Sharad Archana Shenoy Deloitte Consulting India Ltd Plot No #14,15 RMZ Futura Deloitte Drive, Hitech City Hyderabad

More information

VALIDATION 3D RAY TRACING FOR UT EXAMINATION OF THE NOZZLE

VALIDATION 3D RAY TRACING FOR UT EXAMINATION OF THE NOZZLE VALIDATION 3D RAY TRACING FOR UT EXAMINATION OF THE NOZZLE INNER BLEND REGION INTRODUCTION Douglas MacDonald Greg Selby EPRI NDE Center Charlotte, NC 28221 Mathew Koshy Weidlinger Associates, Inc. Los

More information

Section ADDED NEW LANGUAGE

Section ADDED NEW LANGUAGE Section 1.7.1 ADDED NEW LANGUAGE Calibrations may be performed at the instrument level (analytical step only) or the method level (analytical plus preparation steps). For certain methods, such as purge

More information

GRID MODERNIZATION INITIATIVE PEER REVIEW GMLC Industrial Microgrid Analysis and Design for Energy Security and Resiliency

GRID MODERNIZATION INITIATIVE PEER REVIEW GMLC Industrial Microgrid Analysis and Design for Energy Security and Resiliency GRID MODERNIZATION INITIATIVE PEER REVIEW GMLC 1.3.4 Industrial Microgrid Analysis and Design for Energy Security and Resiliency BEN OLLIS OAK RIDGE NATIONAL LABORATORY April 18-20, 2017 Sheraton Pentagon

More information

modeling and simulation, uncertainty quantification and the integration of diverse information sources

modeling and simulation, uncertainty quantification and the integration of diverse information sources modeling and simulation, uncertainty quantification and the integration of diverse information sources C. Shane Reese 1 DoD/NASA Statistical Engineering Leadership Webinar, May 2017 1 Department of Statistics

More information

Guidelines for Efficient Parallel I/O on the Cray XT3/XT4

Guidelines for Efficient Parallel I/O on the Cray XT3/XT4 Guidelines for Efficient Parallel I/O on the Cray XT3/XT4 Jeff Larkin, Cray Inc. and Mark Fahey, Oak Ridge National Laboratory ABSTRACT: This paper will present an overview of I/O methods on Cray XT3/XT4

More information

Portable Heterogeneous High-Performance Computing via Domain-Specific Virtualization. Dmitry I. Lyakh.

Portable Heterogeneous High-Performance Computing via Domain-Specific Virtualization. Dmitry I. Lyakh. Portable Heterogeneous High-Performance Computing via Domain-Specific Virtualization Dmitry I. Lyakh liakhdi@ornl.gov This research used resources of the Oak Ridge Leadership Computing Facility at the

More information

OPTIMIZATION OF RELIABILITY VERIFICATION TEST STRATEGIES

OPTIMIZATION OF RELIABILITY VERIFICATION TEST STRATEGIES OPTIMIZATION OF RELIABILITY VERIFICATION TEST STRATEGIES SUMMARY Reliability verification can be time consuming and expensive, especially for highly reliable products. This paper presents a method for

More information

MONIKA HEINER.

MONIKA HEINER. LESSON 1 testing, intro 1 / 25 SOFTWARE TESTING - STATE OF THE ART, METHODS, AND LIMITATIONS MONIKA HEINER monika.heiner@b-tu.de http://www.informatik.tu-cottbus.de PRELIMINARIES testing, intro 2 / 25

More information

Gradational conception in Cleanroom Software Development

Gradational conception in Cleanroom Software Development Gradational conception in Cleanroom Software Development Anshu Sharma 1 and Shilpa Sharma 2 1 DAV Institute of Engineering and Technology, Kabir Nagar, Jalandhar, India 2 Lovely Professional University,

More information

Challenges and Tools for Non-Linear SSI Analysis

Challenges and Tools for Non-Linear SSI Analysis Challenges and Tools for Non-Linear SSI Analysis Boris University of California, Davis Lawrence Berkeley National Laboratory, Berkeley UCB SSI Meeting, January 2013 Presentation Goals Briefly overview

More information

CHAPTER 6 MODIFIED FUZZY TECHNIQUES BASED IMAGE SEGMENTATION

CHAPTER 6 MODIFIED FUZZY TECHNIQUES BASED IMAGE SEGMENTATION CHAPTER 6 MODIFIED FUZZY TECHNIQUES BASED IMAGE SEGMENTATION 6.1 INTRODUCTION Fuzzy logic based computational techniques are becoming increasingly important in the medical image analysis arena. The significant

More information

SASSI FLEXIBLE VOLUME SUBSTRUCTURING METHODS FOR DEEPLY EMBEDDED STRUCTURES; SELECTION OF EXCAVATED SOIL INTERACTION NODES AND ELEMENT MESHING

SASSI FLEXIBLE VOLUME SUBSTRUCTURING METHODS FOR DEEPLY EMBEDDED STRUCTURES; SELECTION OF EXCAVATED SOIL INTERACTION NODES AND ELEMENT MESHING Transactions, SMiRT-23 Manchester, United Kingdom - August 10-14, 2015 Division V, Paper 795 SASSI FLEXIBLE VOLUME SUBSTRUCTURING METHODS FOR DEEPLY EMBEDDED STRUCTURES; SELECTION OF EXCAVATED SOIL INTERACTION

More information

Modeling of Complex Social. MATH 800 Fall 2011

Modeling of Complex Social. MATH 800 Fall 2011 Modeling of Complex Social Systems MATH 800 Fall 2011 Complex SocialSystems A systemis a set of elements and relationships A complex system is a system whose behavior cannot be easily or intuitively predicted

More information

Deliverable 6.4. Initial Data Management Plan. RINGO (GA no ) PUBLIC; R. Readiness of ICOS for Necessities of integrated Global Observations

Deliverable 6.4. Initial Data Management Plan. RINGO (GA no ) PUBLIC; R. Readiness of ICOS for Necessities of integrated Global Observations Ref. Ares(2017)3291958-30/06/2017 Readiness of ICOS for Necessities of integrated Global Observations Deliverable 6.4 Initial Data Management Plan RINGO (GA no 730944) PUBLIC; R RINGO D6.5, Initial Risk

More information

G. Myers: Advances in Computer Architecture

G. Myers: Advances in Computer Architecture 1 / 15 G. Myers: Advances in Computer Architecture P. A. Wilsey Univ of Cincinnati 2 / 15 Chapter 1: Introduction Computer architecture is largely a process of boundary determination. Given a definition

More information

Unit 1 Lesson 4 Representing Data. Copyright Houghton Mifflin Harcourt Publishing Company

Unit 1 Lesson 4 Representing Data. Copyright Houghton Mifflin Harcourt Publishing Company Florida Benchmarks SC.6.N.1.1 Define a problem from the sixth grade curriculum, use appropriate reference materials to support scientific understanding, plan and carry out scientific investigation of various

More information

Chapter 10 Verification and Validation of Simulation Models. Banks, Carson, Nelson & Nicol Discrete-Event System Simulation

Chapter 10 Verification and Validation of Simulation Models. Banks, Carson, Nelson & Nicol Discrete-Event System Simulation Chapter 10 Verification and Validation of Simulation Models Banks, Carson, Nelson & Nicol Discrete-Event System Simulation Purpose & Overview The goal of the validation process is: To produce a model that

More information

SNL Material Monitoring System, The T-1 RF Seal, and the IAEA & KAMS

SNL Material Monitoring System, The T-1 RF Seal, and the IAEA & KAMS IAEA-SM-367/7/02 SNL Material Monitoring System, The T-1 RF Seal, and the IAEA & KAMS Lawrence Desonier Sandia National Laboratories PO Box 5800, MS 1361 Albuquerque, NM 87185 Abstract Throughout the world,

More information

Summary and Conclusions

Summary and Conclusions Chapter 13 Summary and Conclusions 13.1 Summary Focusing on the abstract response mechanism of multiple-bolt joints in timber, this work presented the derivation of MULTBOLT, a robust model that predicts

More information

Verification, validation and sensitivity studies in computational biomechanics

Verification, validation and sensitivity studies in computational biomechanics Computer Methods in Biomechanics and Biomedical Engineering, Vol. 10, No. 3, June 2007, 171 184 Verification, validation and sensitivity studies in computational biomechanics ANDREW E. ANDERSON, BENJAMIN

More information

Software Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics

Software Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics Software Verification and Validation (VIMMD052) Introduction Istvan Majzik majzik@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement and Information s Budapest University of

More information

CHAPTER 3 SIMULATION TOOLS AND

CHAPTER 3 SIMULATION TOOLS AND CHAPTER 3 SIMULATION TOOLS AND Simulation tools used in this simulation project come mainly from Integrated Systems Engineering (ISE) and SYNOPSYS and are employed in different areas of study in the simulation

More information

LMS Virtual.Lab Correlation

LMS Virtual.Lab Correlation LMS Virtual.Lab Correlation LMS Virtual.Lab Correlation Systematic validation from the bottom up 2 LMS Virtual.Lab Correlation LMS Virtual.Lab Correlation 3 LMS Virtual.Lab Correlation Systematic validation

More information

APPROVAL SHEET PROCEDURE INFORMATION SECURITY MANAGEMENT SYSTEM CERTIFICATION. PT. TÜV NORD Indonesia PS - TNI 001 Rev.05

APPROVAL SHEET PROCEDURE INFORMATION SECURITY MANAGEMENT SYSTEM CERTIFICATION. PT. TÜV NORD Indonesia PS - TNI 001 Rev.05 APPROVAL SHEET PROCEDURE INFORMATION SECURITY MANAGEMENT SYSTEM CERTIFICATION PT. TÜV NORD Indonesia PS - TNI 001 Rev.05 Created : 20-06-2016 Checked: 20-06-2016 Approved : 20-06-2016 Indah Lestari Karlina

More information

DIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models. Diane Bahrami, Alain Faivre, Arnault Lapitre

DIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models. Diane Bahrami, Alain Faivre, Arnault Lapitre DIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models Diane Bahrami, Alain Faivre, Arnault Lapitre CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems (LISE), Point

More information

Battery Program Management Document

Battery Program Management Document Battery Program Management Document Revision 5.1 February 2011 CTIA Certification Program 1400 16 th Street, NW, Suite 600 Washington, DC 20036 e-mail: certification@ctia.org Telephone: 1.202.785.0081

More information

WORKSHOP REPORT; 360 PERSPECTIVE ON DEEP ENERGY RETROFITS

WORKSHOP REPORT; 360 PERSPECTIVE ON DEEP ENERGY RETROFITS EXECUTIVE SUMMARY WORKSHOP REPORT; 360 PERSPECTIVE ON DEEP ENERGY RETROFITS IMAGE COURTESY OF SHUTTERSTOCK Contact: Cara Carmichael (ccarmichael@rmi.org) Kinga Porst (kinga.porst@gsa.gov) 1 EXECUTIVE SUMMARY

More information

Engineering Design Notes I Introduction. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering

Engineering Design Notes I Introduction. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Engineering Design Notes I Introduction EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Topics Overview Analysis vs. Design Design Stages Systems Engineering Integration

More information

Microgeneration Certification Scheme: MCS 005

Microgeneration Certification Scheme: MCS 005 Microgeneration Certification Scheme: MCS 005 Product Certification Scheme Requirements: Solar Photovoltaic Modules Issue 3.0 This Microgeneration Guidance Document is the property of Department for Business,

More information

IT Transformation Through ESPCs

IT Transformation Through ESPCs June 27, 2013 IT Transformation Through ESPCs Restricted Siemens AG 2013. All rights reserved. siemens.com/answers Contents Integration of IT with Facilities ESPCs as Related to Data Centers Measurement

More information

Component-Based Software Engineering TIP

Component-Based Software Engineering TIP Component-Based Software Engineering TIP X LIU, School of Computing, Napier University This chapter will present a complete picture of how to develop software systems with components and system integration.

More information

Nuclear Data Capabilities Supported by the DOE NCSP

Nuclear Data Capabilities Supported by the DOE NCSP Nuclear Data Capabilities Supported by the DOE NCSP Symposium on Nuclear Data for Criticality Safety and Reactor Applications Rensselaer Polytechnic Institute April 27, 2011 The NCSP Mission & Vision 2

More information

Advanced Security Tester Course Outline

Advanced Security Tester Course Outline Advanced Security Tester Course Outline General Description This course provides test engineers with advanced skills in security test analysis, design, and execution. In a hands-on, interactive fashion,

More information

APPLICATION OF VARIABLE-FIDELITY MODELS TO AERODYNAMIC OPTIMIZATION

APPLICATION OF VARIABLE-FIDELITY MODELS TO AERODYNAMIC OPTIMIZATION Applied Mathematics and Mechanics (English Edition), 2006, 27(8):1089 1095 c Editorial Committee of Appl. Math. Mech., ISSN 0253-4827 APPLICATION OF VARIABLE-FIDELITY MODELS TO AERODYNAMIC OPTIMIZATION

More information

Software Engineering and Scientific Computing

Software Engineering and Scientific Computing Software Engineering and Scientific Computing Barbara Paech, Hanna Remmel Institute of Computer Science Im Neuenheimer Feld 326 69120 Heidelberg, Germany http://se.ifi.uni-heidelberg.de paech@informatik.uni-heidelberg.de

More information