Mathematics 191 Research Seminar in Mathematical Modeling Validation and Simulation I February 10 th, 2005.

Slides:



Advertisements
Similar presentations
Qualitative methods - conversation analysis
Advertisements

Mathematics SL Internal Assessment: Type II. Portfolio Type I: Investigation (done last year) Type II: Modeling.
Numerical Solutions of Differential Equations Euler’s Method.
Structural Equation Modeling
INTRODUCTION TO MODELING
Data Mining Methodology 1. Why have a Methodology  Don’t want to learn things that aren’t true May not represent any underlying reality ○ Spurious correlation.
FTP Biostatistics II Model parameter estimations: Confronting models with measurements.
Hypothesis Testing I 2/8/12 More on bootstrapping Random chance
Statistics 100 Lecture Set 7. Chapters 13 and 14 in this lecture set Please read these, you are responsible for all material Will be doing chapters
Section 3 Systems of Professional Learning Module 1 Grades 6–12: Focus on Practice Standards.
Mathematics 191 Research Seminar in Mathematical Modeling Lecture 4 February 3 rd, 2005.
FIN 685: Risk Management Topic 5: Simulation Larry Schrenk, Instructor.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
Date:2011/06/08 吳昕澧 BOA: The Bayesian Optimization Algorithm.
Unit 2: Research Methods in Psychology
` Mathematics 191 Research Seminar in Mathematical Modeling Lecture 2 Introduction to Modeling, Part 1 January 24 th, 2005.
Application Activity: Content Analysis The purpose of this PowerPoint presentation is to offer a more detailed assignment description than I offer in class.
Copyright (c) Bani K. Mallick1 STAT 651 Lecture #18.
Discrete-Event Simulation: A First Course Steve Park and Larry Leemis College of William and Mary.
Discrete Event Simulation How to generate RV according to a specified distribution? geometric Poisson etc. Example of a DEVS: repair problem.
Overview of The Operations Research Modeling Approach.
Simulation.
Mathematics 191 Research Seminar in Mathematical Modeling 28 March 2005 Rapid Modeling and Tractability.
Mathematics 191 Research Seminar in Mathematical Modeling Lecture 6/7 February 24 th, 2005.
Mathematics 191 Research Seminar in Mathematical Modeling Lecture 3 February 1 st, 2005.
1 Psych 5500/6500 The t Test for a Single Group Mean (Part 5): Outliers Fall, 2008.
Mathematics 191 Research Seminar in Mathematical Modeling Lecture 3 Introduction to Modeling, Part 2 January 26 th, 2005.
Grade 8 – Module 5 Module Focus Session
By Saparila Worokinasih
Copyright © 2010 Lumina Decision Systems, Inc. Statistical Hypothesis Testing (8 th Session in “Gentle Introduction to Modeling Uncertainty”) Lonnie Chrisman,
The Use of Student Work as a Context for Promoting Student Understanding and Reasoning Yvonne Grant Portland MI Public Schools Michigan State University.
Chapter 8: Problem Solving
1 Validation & Verification Chapter VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously.
1 Using Excel to Implement Software Reliability Models Norman F. Schneidewind Naval Postgraduate School 2822 Racoon Trail, Pebble Beach, California, 93953,
Sullivan – Fundamentals of Statistics – 2 nd Edition – Chapter 9 Section 1 – Slide 1 of 39 Chapter 9 Section 1 The Logic in Constructing Confidence Intervals.
Chapter 8 Introduction to Hypothesis Testing
Introduction CS 3358 Data Structures. What is Computer Science? Computer Science is the study of algorithms, including their  Formal and mathematical.
The Software Development Life Cycle. Software Development SDLC The Software Development Life-Cycle Sometimes called the program development lifecycle.
ENM 503 Lesson 1 – Methods and Models The why’s, how’s, and what’s of mathematical modeling A model is a representation in mathematical terms of some real.
PERSUASIVE SPEECHES. SPEAKING PERSUASIVELY:  Your goal as a persuasive speaker is to influence your audience to support your point of view or to take.
Introduction CS 3358 Data Structures. What is Computer Science? Computer Science is the study of algorithms, including their  Formal and mathematical.
Major objective of this course is: Design and analysis of modern algorithms Different variants Accuracy Efficiency Comparing efficiencies Motivation thinking.
Statistics and the Verification Validation & Testing of Adaptive Systems Roman D. Fresnedo M&CT, Phantom Works The Boeing Company.
Chap. 5 Building Valid, Credible, and Appropriately Detailed Simulation Models.
Data Analysis Econ 176, Fall Populations When we run an experiment, we are always measuring an outcome, x. We say that an outcome belongs to some.
5.1 WELCOME TO COMMON CORE HIGH SCHOOL MATHEMATICS LEADERSHIP SUMMER INSTITUTE 2014 SESSION 5 20 JUNE 2014 SEEING PATTERNS AND TRENDS IN BIVARIATE DATA.
The Software Development Process
Textbook Recommendation Reports. Report purpose u Starts with a stated need u Evaluates various options –Uses clearly defined criteria –Rates options.
Operations Research The OR Process. What is OR? It is a Process It assists Decision Makers It has a set of Tools It is applicable in many Situations.
{ What is a Number? Philosophy of Mathematics.  In philosophy and maths we like our definitions to give necessary and sufficient conditions.  This means.
1 1 Slide Simulation Professor Ahmadi. 2 2 Slide Simulation Chapter Outline n Computer Simulation n Simulation Modeling n Random Variables and Pseudo-Random.
OPERATING SYSTEMS CS 3530 Summer 2014 Systems and Models Chapter 03.
1 Statistics & R, TiP, 2011/12 Neural Networks  Technique for discrimination & regression problems  More mathematical theoretical foundation  Works.
INFO 414 Human Information Behavior Presentation tips.
INFOMGP Student names and numbers Papers’ references Title.
Copyright © 2006 Pearson Addison-Wesley. All rights reserved. 4-1 Basic Mathematical tools Today, we will review some basic mathematical tools. Then we.
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
Lecture PowerPoint Slides Basic Practice of Statistics 7 th Edition.
Chapter 1 The Phases of Software Development. Software Development Phases ● Specification of the task ● Design of a solution ● Implementation of solution.
Computacion Inteligente Least-Square Methods for System Identification.
Introduction It had its early roots in World War II and is flourishing in business and industry with the aid of computer.
Investigate Plan Design Create Evaluate (Test it to objective evaluation at each stage of the design cycle) state – describe - explain the problem some.
Unit 5: Hypothesis Testing
Chapter 10 Verification and Validation of Simulation Models
Professor S K Dubey,VSM Amity School of Business
Objective of This Course
Significance Tests: The Basics
Significance Tests: The Basics
Presentation transcript:

Mathematics 191 Research Seminar in Mathematical Modeling Validation and Simulation I February 10 th, 2005

Project Comments Project comments Project two should form groups and start now Formal project requirements will be up online Make sure you send a final prospectus to us by the due date – 2 weeks! Field trip for validation

Overview Syllabus and Projects Introduction to Validation Validation versus Simulation Methods of Validation Vote-Counting and Velociraptor Validation Giving Mathematical Talks Content and Style Presentations

Section Two: Validation and Simulation Over the next two weeks, we’ll go over: Methods of validation Statistical methods Simulation design and analysis Data generation and distributions Mathematical Programming?

The Modeling Process Statement of Problem (abstraction) Define Model Objective / Objective Function Definitions and Identification of Variables (background research and common sense) Assumptions (for tractability) Establish Informal Relationships Based on System Construct Mathematical Statements Construct Base Model Estimate Parameters Apply Mathematical Methods Pure Mathematical Solution Simulation and Validation Sensitivity Analysis Relax Assumptions Iterate Assess Model Limitations

The Need for Justification Validation is the assessment of how closely our model meets a given set of criteria, typically, how well the model represents real-world data. If we’re using models to make real-world predictions, our model is only effective if it can predict real-world data correctly

Three Options for Validation / Justification 1) Evaluate model using objective function - In the tollbooth model, throughput 2) “Evaluate” (compare) model using another model, with orthogonal assumptions - In the tollbooth model, discrete simulations 3) Evaluate model using real-world data (might be from a similar system, not necessarily equivalent) - What’s the potential problem here?

Another option - Goodness of Fit We are concerned in many contexts with “goodness of fit” and error - how close we come to predicting actual performance in terms of deviation from sets of data points Frequently occurs in natural-science contexts In other contexts, we don't – what about psychological models, for instance? Statistical tools are coming up later

Simulations and Validation Simulations play two roles: As modeling tools, they can numerically evaluate a system over time that is too complicated to solve analytically – usually this means there are a very large number of variables, or that there are coupled equations we can only solve numerically. In addition to being tools, they can be used to generate independent models and data for validation purposes, although we don't necessarily need a simulation to validate our data.

A Very Crude Summary of Simulation Construction Define relevant variables Come up with equations and rules for behavior Implement the rules as pseudocode Implement the rules as real code Evolve the system over time

Evans Hall Elevators, Revisited Recall that a few weeks ago we were interested in designing optimal algorithms for performance. In teams of two, write a pseudocode simulation to represent the behavior of the elevators.

How Did Velociraptors Hunt? Part 1. Assuming the velociraptor is a solitary hunter, design a mathematical model that describes a hunting strategy for a single velociraptor stalking and chasing a single thescelosaurus as well as the evasive strategy of the prey. Assume that the thescelosaurus can always detect the velociraptor when it comes within 15 meters, but may detect the predator at even greater ranges (up to 50 meters) depending upon the habitat and weather conditions. Additionally, due to its physical structure and strength, the velociraptor has a limited turning radius when running at full speed. This radius is estimated to be three times the animal's hip height. On the other hand, the thescelosaurus is extremely agile and has a turning radius of 0.5 meters. Part 2. Assuming more realistically that the velociraptor hunted in pairs, design a new model that describes a hunting strategy for two velociraptors stalking and chasing a single thescelosaurus as well as the evasive strategy of the prey. Use the other assumptions given in Part 1. Here, some constraints and assumptions are given to us by the problem. What sort of mathematical approaches might we use to solve this problem?

How can we hold fair elections in a dangerous or uncertain environment? Iraq's electoral system is based loosely on our own. Iraq is divided into a certain set of precincts, but turnout is expected to be fairly low, and perhaps unfairly biased towards certain groups. As an added complication, nobody knows who's really running. In the US election, random votes were lost on certain machines in certain areas. User and machine error, and rarely, fraud, also contributed to mis-votes. Rerunning an election is costly and highly undesirable. How can we still determine a “fair” winner in these situations?

Why Give Talks in a Math Class? It's what mathematicians and non- mathematicians do. You'll get better at it, one way or another.

A few tips on effective presentation Eye contact, posture, body language, volume Tone and voice inflection Face the audience, not your screen or notes Engage your audience through examples and interaction PowerPoint content Be prepared!

Suggested Outline “Hook” Overview Motivate your problem. Explain prior approaches. Explain your approach. Explain your results. Suggest future work. Applications. Conclude

Fin