At what level do I trust the outcomes of the model? Verification Calibration Validation Exploration of the model structure. the activity of adjusting the.

Slides:



Advertisements
Similar presentations
Template. 2 Using templates, it is possible to create generic functions and classes. In a generic function or class, the type of data upon which the function.
Advertisements

Write a program step by step. Step 1: Problem definition. Given the coordinate of two points in 2-D space, compute and print their straight distance.
NEURAL NETWORKS Perceptron
Model calibration using. Pag. 5/3/20152 PEST program.
Enhancing Data Quality of Distributive Trade Statistics Workshop for African countries on the Implementation of International Recommendations for Distributive.
Copyright © 1994 Carnegie Mellon University Disciplined Software Engineering - Lecture 1 1 Disciplined Software Engineering Lecture #7 Software Engineering.
1 Module 2: Fundamental Concepts Problems Programs –Programming languages.
Lecture 2: Fundamental Concepts
1 Module 2: Fundamental Concepts Problems Programs –Programming languages.
Overview of The Operations Research Modeling Approach.
Lecture 7 Model Development and Model Verification.
Quality Control/Quality Assurance Quality Assurance……. ….encompasses both quality engineering and quality control Quality Assurance is……. …..the application.
1 Simulation Modeling and Analysis Verification and Validation.
SE 555 Software Requirements & Specification Requirements Validation.
AP Computer Science.  Not necessary but good programming practice in Java  When you override a super class method notation.
SIMULATION. Simulation Definition of Simulation Simulation Methodology Proposing a New Experiment Considerations When Using Computer Models Types of Simulations.
AICT5 – eProject Project Planning for ICT. Process Centre receives Scenario Group Work Scenario on website in October Assessment Window Individual Work.
Testing. Definition From the dictionary- the means by which the presence, quality, or genuineness of anything is determined; a means of trial. For software.
1 Software Testing (Part-II) Lecture Software Testing Software Testing is the process of finding the bugs in a software. It helps in Verifying and.
1 Validation & Verification Chapter VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously.
Objectives Understand the basic concepts and definitions relating to testing, like error, fault, failure, test case, test suite, test harness. Explore.
© 2012 IBM Corporation Rational Insight | Back to Basis Series Chao Zhang Unit Testing.
INTRODUCTION TO COMPUTING CHAPTER NO. 06. Compilers and Language Translation Introduction The Compilation Process Phase 1 – Lexical Analysis Phase 2 –
 1  Outline  stages and topics in simulation  generation of random variates.
1 Debugging and Testing Overview Defensive Programming The goal is to prevent failures Debugging The goal is to find cause of failures and fix it Testing.
Verification and Validation Overview References: Shach, Object Oriented and Classical Software Engineering Pressman, Software Engineering: a Practitioner’s.
Chapter 1 What is Programming? Lecture Slides to Accompany An Introduction to Computer Science Using Java (2nd Edition) by S.N. Kamin, D. Mickunas, E.
Disciplined Software Engineering Lecture #7 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA Sponsored by the U.S. Department.
I.Information Building & Retrieval Learning Objectives: the process of Information building the responsibilities and interaction of each data managing.
Objectives - 11  We will work with processing Arrays.  Objectives:  Describe the concept of an array and its benefits.  Define the terms index, traverse,
Debugging Simulation Models CS 780 Spring 2007 Instructor: Peter Kemper Dept of Computer Science, College of William and Mary Prerequisites: A first course.
Copyright © 1994 Carnegie Mellon University Disciplined Software Engineering - Lecture 7 1 Design and Code Reviews - Overview What are design and code.
Introduction to Problem Solving. Steps in Programming A Very Simplified Picture –Problem Definition & Analysis – High Level Strategy for a solution –Arriving.
Chapter 8: Arrays and Functions Department of Computer Science Foundation Year Program Umm Alqura University, Makkah Computer Programming Skills
Programming at a high level. Developing a Computer Program Programmer  Writes program in source code (VB or other language) Compiler  Converts source.
McGraw-Hill/Irwin © 2006 The McGraw-Hill Companies, Inc., All Rights Reserved. 1.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Chapter 10 Verification and Validation of Simulation Models
The Software Development Process
CPSC 873 John D. McGregor Session 9 Testing Vocabulary.
Coevolutionary Automated Software Correction Josh Wilkerson PhD Candidate in Computer Science Missouri S&T.
Assoc. Prof. Dr. Ahmet Turan ÖZCERİT.  System and Software  System Engineering  Software Engineering  Software Engineering Standards  Software Development.
1 1 Slide Simulation Professor Ahmadi. 2 2 Slide Simulation Chapter Outline n Computer Simulation n Simulation Modeling n Random Variables and Pseudo-Random.
Software Quality Assurance and Testing Fazal Rehman Shamil.
 Software Testing Software Testing  Characteristics of Testable Software Characteristics of Testable Software  A Testing Life Cycle A Testing Life.
1 The Software Development Process ► Systems analysis ► Systems design ► Implementation ► Testing ► Documentation ► Evaluation ► Maintenance.
Higher Computing Science 2016 Prelim Revision. Topics to revise Computational Constructs parameter passing (value and reference, formal and actual) sub-programs/routines,
Operations Research Models and Methods Advanced Operations Research Reference: Operations Research Models and Methods, Operations Research Models and Methods,
Csci 418/618 Simulation Models Dr. Ken Nygard, IACC 262B
Copyright 2010, The World Bank Group. All Rights Reserved. Principles, criteria and methods Part 1 Quality management Produced in Collaboration between.
5 September 2002AIAA STC Meeting, Santa Fe, NM1 Verification and Validation for Computational Solid Mechanics Presentation to AIAA Structures Technical.
Introduction to System Analysis and Design MADE BY: SIR NASEEM AHMED KHAN DOW VOCATIONAL & TECHNICAL TRAINING CENTRE.
Computacion Inteligente Least-Square Methods for System Identification.
Copyright © 2013 Pearson Education, Inc. Publishing as Prentice Hall Statistics for Business and Economics 8 th Edition Chapter 9 Hypothesis Testing: Single.
Introduction It had its early roots in World War II and is flourishing in business and industry with the aid of computer.
Building Valid, Credible & Appropriately Detailed Simulation Models
1. Our Presentation Topic: Importance Of Validation & Qualification In Pharmaceutical Industries Presented By: Md. Tanjir Islam (Group C) 2.
A Presentation on Adaptive Neuro-Fuzzy Inference System using Particle Swarm Optimization and it’s Application By Sumanta Kundu (En.R.No.
C LANGUAGE UNIT 3. UNIT 3 Arrays Arrays – The concept of array – Defining arrays – Initializing arrays.
Types for Programs and Proofs
SOFTWARE TESTING OVERVIEW
10.3 Details of Recursion.
Verification and Validation Overview
Chapter 10 Verification and Validation of Simulation Models
This teaching material has been made freely available by the KEMRI-Wellcome Trust (Kilifi, Kenya). You can freely download,
Calibration and Validation
Nature 2018 Summer Camp Hypothesis and Product Testing
Software Verification, Validation, and Acceptance Testing
Introducing Digital Technologies
AICT5 – eProject Project Planning for ICT
Presentation transcript:

At what level do I trust the outcomes of the model? Verification Calibration Validation Exploration of the model structure. the activity of adjusting the unknown rate parameters until the outputs of the model fit the observations establishing credibility in the model

Model Verification: Does the model perform as intended? Verification is done to ensure that: – The model is programmed correctly – The algorithms have been implemented properly – The model does not contain errors, oversights, or bugs Verification ensures that the specification is complete and that mistakes have not been made in implementing the model. Verification does not ensure the model: – Solves an important problem – Meets a specified set of model requirements – Correctly reflects the workings of a real world process

Verification in MIMES Collaborative Modeling Environment Open Access Models Declarative Modeling Language Joint publications Sub-Model development

Establishing Credibility in Social Science Models Unlike physical systems, for which there are well established procedures for model validation, no such guidelines exist for social modeling In the case of models that contain elements of human decision making, validation becomes a matter of establishing credibility in the model Verification and validation work together by removing barriers and objections to model use The task is to establish an argument that the model produces sound insights and sound data based on a wide range of tests and criteria that “stand in” for comparing model results to data from the real system The process is akin to developing a legal case in which a preponderance of evidence is compiled about why the model is a valid one for its purported use

Model Validation: Does the model represent and correctly reproduce the behaviors of the real world system? Validation ensures that the model meets its intended requirements in terms of the methods employed and the results obtained The ultimate goal of model validation is to make the model useful in the sense that the model addresses the right problem, provides accurate information about the system being modeled, and to make the model actually used

Scenario Development

Establishing Credibility in Physical Science Models Calibrating Models The activity of adjusting the unknown rate parameters until the outputs of the model fit the observations

Programmed Statistics for Hand calibrations Using Pest (See SIMILE help files) Calibration in MIMES Export Code to Super computers for Using any of the following techniques: genetic algorithms Hill searching Baysian Networks

Concepts in Calibration The parameter space The variable outputs The observation space The calibration statistics The search algorithm The performance index Degrees of freedom Modeled behavior What is observed (data) The statistics to compare modeled behavior against what is observed How to search through the parameter space to reach the best fit The specification in “fit”

Example of how this is done!