Design and Construction of Relational Database for Structural Modeling Verification and Validation. Weiju Ren, Ph. D.
|
|
- Carmella Henry
- 6 years ago
- Views:
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 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 informationUsing 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 informationFollow 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 informationVerification 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 informationPhilip 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 informationVerification 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 informationNACC2016, 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 informationA 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 informationSoftware 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 informationTowards 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 informationVerification 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 informationProduct 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 informationVERIFICATION 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 informationAerospace 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 informationKnowledge-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 informationCFD 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 information8.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 informationIDENTIFYING 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 informationA 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 informationNUMERICAL 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 informationS93-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 informationCyber 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 informationContinuous 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 informationLaboratory 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 informationAre 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 informationResilience 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 informationIntroduction 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 informationSTATISTICAL 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 informationIII. 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 informationDiagnostics 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 informationOak 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 informationProject 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 informationThe 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 informationHardware 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 informationNational 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 informationScalaIOTrace: 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 informationMCS: 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 informationWhite 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 informationData 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 informationMADNESS. 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 informationValidation 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 informationLecture: 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 informationSystem 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 informationYou 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 informationAlgorithm 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 informationTransforming 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 information1. 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 informationPerformance 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 informationNumerical 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 informationA 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 informationReliability 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 informationLOUGHBOROUGH 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 informationUNIT 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 informationUNH-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 informationEffective 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 informationVerification, 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 informationStakeholder 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 informationSimulation 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 informationASME 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 informationFast 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 informationThe 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 informationACME 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 informationPerformance 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 informationMicrogeneration 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 informationTutorial 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 informationVALIDATION 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 informationSection 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 informationGRID 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 informationmodeling 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 informationGuidelines 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 informationPortable 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 informationOPTIMIZATION 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 informationMONIKA 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 informationGradational 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 informationChallenges 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 informationCHAPTER 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 informationSASSI 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 informationModeling 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 informationDeliverable 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 informationG. 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 informationUnit 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 informationChapter 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 informationSNL 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 informationSummary 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 informationVerification, 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 informationSoftware 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 informationCHAPTER 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 informationLMS 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 informationAPPROVAL 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 informationDIVERSITY 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 informationBattery 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 informationWORKSHOP 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 informationEngineering 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 informationMicrogeneration 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 informationIT 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 informationComponent-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 informationNuclear 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 informationAdvanced 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 informationAPPLICATION 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 informationSoftware 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