AN ENHANCED METHODOLOGY FOR REDUCING TIME CONSUMPTION IN DISCRETE EVENT SIMULATION PROJECTS

Size: px
Start display at page:

Download "AN ENHANCED METHODOLOGY FOR REDUCING TIME CONSUMPTION IN DISCRETE EVENT SIMULATION PROJECTS"

Transcription

1 AN ENHANCED METHODOLOGY FOR REDUCING TIME CONSUMPTION IN DISCRETE EVENT SIMULATION PROJECTS PhD Student Björn Johansson Department of Production Engineering Chalmers University of Technology Gothenburg, Sweden PhD Student Thomas Grünberg Production Division Posten AB / Woxén Centrum Gothenburg, Sweden

2

3

4 Productivity management Pre Pre engineering Manufacturing Logistics 1. Factors 2. Impact 3. Measurements 4. Methods/tools

5

6

7

8 Analytical solution (eg queuing theory) Chalmers University of Technology SIMULATION Physical model Mathematical model Experiment with the actual system Experiment with a model of the system

9 Contacts

10 Keep one's things in order Base for decision support Points towards the right direction Time saving

11 Product lifecycle times Volume Volume C D B A Time A B C E Time New products New products

12 Parts/time Demand Loss of earnings Capacity time

13

14 Preparations Modelling Analysis

15 Problem formulation Setting of objectives and overall project plan Experimental design Production runs and analysis Model Building Data Collection Coding More runs? Verified? Document program and report results Implementation Validated? Banks et al, 1996

16 Problem definition / Goal Level of detail Data collection

17 Clearly specified problem Time Delimitations Consultants Concrete, specific goals makes the following steps easier!

18 Specification of parameters Setting level of detail Layout Input data Times Batching Geometries Choosing output data: 645 h 782m Easy to interpret Easy to control Easy to affect 45se k 763mm

19 The most unconfident data is the weakest link in the model Compare distributions with the original data Use data in existing form Avoid personal assumptions

20 Conceptual Model Computer Model Verified? No Yes Validated? No Yes

21 Simple model. Show logical couplings between resources. Sketch or outline. Discussion base to create understanding of the system and the problem.

22 The simulation model is coded into the computer Conceptual model Input data Level of detail

23 VERIFICATION Guarantee the correct behaviour of each element in the model, ensuring that the code is correct VALIDATION The overall behaviour of the model is representative of the real world.

24 Simulation runs Conclusions Documentation Continuos improvements Implementation

25 Problem formulation Setting of objectives and overall project plan Chalmers University of Technology O Data collection Validated? O Model Building O Coding O O Experimental design O Production runs and analysis O Verified? Document program and report results Implementation

26 Problem formulation Setting of objectives and overall project plan Chalmers University of Technology O Data collection Validated? O Model Building O Coding O O Experimental design O Production runs and analysis O Verified? Document program and report results Implementation

27

28

29 Feeling of incompletion Strive for the optimal system Fun to make simulation runs Consultants

30 Project time scales % problem definition model building and testing experimentation project completion Robinson, 1994

31 Preparations Model 50-80% Analysis

32

33

34

35

36

37 PhD Student Björn Johansson epartment of Production Engineering Chalmers University of Technology Gothenburg, Sweden PhD Student Thomas Grünberg Production Division Posten AB / Woxén Centrum Gothenburg, Sweden job@pe.chalmers.se thomas.grunberg@posten.s

MASTER OF ENGINEERING PROGRAM IN INFORMATION

MASTER OF ENGINEERING PROGRAM IN INFORMATION MASTER OF ENGINEERING PROGRAM IN INFORMATION AND COMMUNICATION TECHNOLOGY FOR EMBEDDED SYSTEMS (INTERNATIONAL PROGRAM) Curriculum Title Master of Engineering in Information and Communication Technology

More information

Visualisation of ergonomic guidelines

Visualisation of ergonomic guidelines Visualisation of ergonomic guidelines Widell Blomé, Mikael; Odenrick, Per; Andersson, M; Svensson, S Published: 2002-01-01 Link to publication Citation for published version (APA): Blomé, M., Odenrick,

More information

Overview of the Simulation Process. CS1538: Introduction to Simulations

Overview of the Simulation Process. CS1538: Introduction to Simulations Overview of the Simulation Process CS1538: Introduction to Simulations Simulation Fundamentals A computer simulation is a computer program that models the behavior of a physical system over time. Program

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

Paceamker Basic Math. Correlated to. Alaska Math Grade Level Expectations For Eighth Grade

Paceamker Basic Math. Correlated to. Alaska Math Grade Level Expectations For Eighth Grade Paceamker Basic Math Alaska Math Grade Level Expectations 1 Numeration Performance Standards M1.3.1 Read, write, model, and order real numbers, explaining scientific notation, exponents, and percents.

More information

1.2 Numerical Solutions of Flow Problems

1.2 Numerical Solutions of Flow Problems 1.2 Numerical Solutions of Flow Problems DIFFERENTIAL EQUATIONS OF MOTION FOR A SIMPLIFIED FLOW PROBLEM Continuity equation for incompressible flow: 0 Momentum (Navier-Stokes) equations for a Newtonian

More information

Computer-Aided Design in Magnetics

Computer-Aided Design in Magnetics Computer-Aided Design in Magnetics D. A. Lowther P. P. Silvester Computer-Aided Design in Magnetics With 84 illustrations Springer-Verlag Berlin Heidelberg New York Tokyo D. A. Lowther Associate Professor

More information

Engineering 1000 Chapter 6: Abstraction and Modeling

Engineering 1000 Chapter 6: Abstraction and Modeling Engineering 1000 Chapter 6: Abstraction and Modeling Outline Why is abstraction useful? What are models? how are models different from theory and simulation? Examples from microelectronics Types of model

More information

ABriefOverviewofAgda A Functional Language with Dependent Types

ABriefOverviewofAgda A Functional Language with Dependent Types ABriefOverviewofAgda A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell e-mail: {bove,peterd,ulfn}@chalmers.se Chalmers University of Technology, Gothenburg, Sweden Abstract.

More information

B.TECH IN COMPUTER SCIENCE AND ENGINEERING

B.TECH IN COMPUTER SCIENCE AND ENGINEERING B.TECH IN COMPUTER SCIENCE AND ENGINEERING III SEMESTER (2017-21 BATCH) Code Title Hours / week 1 UE17CS201 Digital Design and Organization 2 UE17CS202* Data Structures 3 UE17CS203 Data Science 4 UE17CS204

More information

Registration Workshop. Nov. 1, 2017 CS/SE Freshman Seminar

Registration Workshop. Nov. 1, 2017 CS/SE Freshman Seminar Registration Workshop Nov. 1, 2017 CS/SE Freshman Seminar Computer Science Department Website: http://cs.mtech.edu Program descriptions under Degrees & Options Mission statements under Accreditation &

More information

Unit Maps: Grade 4 Math

Unit Maps: Grade 4 Math Place Value of Whole Numbers and Decimals 4.3 Number and operations. The student represents, compares, and orders whole numbers and decimals and understands relationships related to place value. Place

More information

Simulation with Arena

Simulation with Arena Simulation with Arena Sixth Edition W. David Kelton Professor Department of Operations, Business Analytics, and Information Systems University of Cincinnati Randall P. Sadowski Retired Nancy B. Zupick

More information

Driven Cavity Example

Driven Cavity Example BMAppendixI.qxd 11/14/12 6:55 PM Page I-1 I CFD Driven Cavity Example I.1 Problem One of the classic benchmarks in CFD is the driven cavity problem. Consider steady, incompressible, viscous flow in a square

More information

Software Development 2

Software Development 2 Software Development 2 Course Map This module introduces some of the techniques programmers use to create applications and programs. Introduction Computer Principles and Components Software Development

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

Unit 7 Number System and Bases. 7.1 Number System. 7.2 Binary Numbers. 7.3 Adding and Subtracting Binary Numbers. 7.4 Multiplying Binary Numbers

Unit 7 Number System and Bases. 7.1 Number System. 7.2 Binary Numbers. 7.3 Adding and Subtracting Binary Numbers. 7.4 Multiplying Binary Numbers Contents STRAND B: Number Theory Unit 7 Number System and Bases Student Text Contents Section 7. Number System 7.2 Binary Numbers 7.3 Adding and Subtracting Binary Numbers 7.4 Multiplying Binary Numbers

More information

Introduction to Simulation

Introduction to Simulation Introduction to Simulation Rosaldo Rossetti rossetti@fe.up.pt Http://www.fe.up.pt/~rossetti Assistant Professor at FEUP Faculty of Engineering of the University of Porto Researcher at LIACC Artificial

More information

Finite element methods

Finite element methods Finite element methods Period 2, 2013/2014 Department of Information Technology Uppsala University Finite element methods, Uppsala University, Sweden, 30th October 2013 p. 1 Short Bio Patrick Henning,

More information

Question. What is a fraction? Answer: A topic that scares many of our students

Question. What is a fraction? Answer: A topic that scares many of our students Question What is a fraction? Answer: A topic that scares many of our students More seriously: Please write down your definition of a fraction. Then briefly discuss with a neighbor. FRACTIONS are numbers

More information

Pacemaker Basic Math. Correlated to. Alaska Math Grade Level Expectations Seventh Grade

Pacemaker Basic Math. Correlated to. Alaska Math Grade Level Expectations Seventh Grade Pacemaker Basic Math Alaska Math Grade Level Expectations Seventh Grade Numeration Performance Standards M1.3.1 Read, write, model, and order real numbers, explaining scientific notation, exponents, and

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

ActiveClean: Interactive Data Cleaning For Statistical Modeling. Safkat Islam Carolyn Zhang CS 590

ActiveClean: Interactive Data Cleaning For Statistical Modeling. Safkat Islam Carolyn Zhang CS 590 ActiveClean: Interactive Data Cleaning For Statistical Modeling Safkat Islam Carolyn Zhang CS 590 Outline Biggest Takeaways, Strengths, and Weaknesses Background System Architecture Updating the Model

More information

Carnegie Learning Math Series Course 2, A Florida Standards Program

Carnegie Learning Math Series Course 2, A Florida Standards Program to the students previous understanding of equivalent ratios Introduction to. Ratios and Rates Ratios, Rates,. and Mixture Problems.3.4.5.6 Rates and Tables to Solve Problems to Solve Problems Unit Rates

More information

Program Proposal for a Direct Converted Program. BS in COMPUTER SCIENCE

Program Proposal for a Direct Converted Program. BS in COMPUTER SCIENCE Program Proposal for a Direct Converted Program BS in COMPUTER SCIENCE Document Page number Curriculum Sheet p. 2 p. -year Roadmap p. p. 5 Two Year Course Schedule p. 6 (2018 2019 AY and 2019 2020 AY)

More information

Automation of data mapping using machine learning techniques

Automation of data mapping using machine learning techniques Data integration using machine learning Automation of data mapping using machine learning techniques Master of Science Thesis Complex Adaptive Systems MARCUS BIRGERSSON GUSTAV HANSSON Department of Computer

More information

Houghton Mifflin MATHEMATICS Level 1 correlated to NCTM Standard

Houghton Mifflin MATHEMATICS Level 1 correlated to NCTM Standard Number and Operations Standard Understand numbers, ways of representing numbers, relationships among numbers, and number systems count with understanding and recognize TE: 191A 195B, 191 195, 201B, 201

More information

Math 6 Long Range Plans Bill Willis. Strand: NUMBER Develop number sense. Textbook: Math Makes Sense 6

Math 6 Long Range Plans Bill Willis. Strand: NUMBER Develop number sense. Textbook: Math Makes Sense 6 Math 6 Long Range Plans 2012-2013 Bill Willis Rationale: Based upon the mathematics program of studies, our learning environment will value and respect the diversity of students experiences and ways of

More information

Community Design Guidelines Document (CDG)

Community Design Guidelines Document (CDG) Terms of Reference Community Design Guidelines Document (CDG) Block Plan Stage Supporting Document Required Created through the 2009 City of Brampton/BILD Development Process Review Project Revised Community

More information

A Solidify Understanding Task

A Solidify Understanding Task 17 A Solidify Understanding Task We know that two triangles are congruent if all pairs of corresponding sides are congruent and all pairs of corresponding angles are congruent. We may wonder if knowing

More information

Late Penalty: Late assignments will not be accepted.

Late Penalty: Late assignments will not be accepted. CPSC 449 Assignment 1 Due: Monday, October 16, 2017 Sample Solution Length: Less than 100 lines to reach the A- level, including some comments Approximately 130 lines with the fill color being influenced

More information

Master of Technology (Integrated)/ Bachelor of Technology

Master of Technology (Integrated)/ Bachelor of Technology SCHEME OF EXAMINATION for Master of Technology (Integrated)/ Bachelor of Technology ( Science and Engineering) 5 YEAR/4 YEAR COURSE (For Batch 217-221/222) Sri Guru Granth Sahib World University, Fatehgarh

More information

CITS2401 Computer Analysis & Visualisation

CITS2401 Computer Analysis & Visualisation FACULTY OF ENGINEERING, COMPUTING AND MATHEMATICS CITS2401 Computer Analysis & Visualisation SCHOOL OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING Topic 3 Introduction to Matlab Material from MATLAB for

More information

TAKS Mathematics Practice Tests Grade 6, Test B

TAKS Mathematics Practice Tests Grade 6, Test B Question TAKS Objectives TEKS Student Expectations 1 Obj. 4 The student will demonstrate an uses of measurement. (6.8) (A) estimate measurements and evaluate reasonableness of results. 2 Obj. 3 The student

More information

Exploration #1: What single transformation is equivalent to a composition of reflections over parallel lines?

Exploration #1: What single transformation is equivalent to a composition of reflections over parallel lines? Name Geometry Period 1-5 Notes Date Today s Learning Goal: What is special about a composition of reflections over 2 parallel lines? What are special characteristics of a glide reflection? Exploration

More information

Bachelor of Science in Software Engineering (BSSE) Scheme of Studies ( )

Bachelor of Science in Software Engineering (BSSE) Scheme of Studies ( ) Bachelor of Science in Software Engineering (BSSE) Scheme of Studies (2013-2017) Scheme of study of BS Software Engineering (134 Cr. Hrs), applicable on all BSSE batches inducted in Fall 2013 semester

More information

SIMULATION AND MONTE CARLO

SIMULATION AND MONTE CARLO JHU course no. 550.790, Modeling, Simulation, and Monte Carlo SIMULATION AND MONTE CARLO Some General Principles James C. Spall Johns Hopkins University Applied Physics Laboratory September 2004 Overview

More information

Towards V&V suitable Domain Specific Modeling Languages for MBSE

Towards V&V suitable Domain Specific Modeling Languages for MBSE Doctoral symposium, Nîmes France, 16 June 2016 Towards V&V suitable Domain Specific Modeling Languages for MBSE Laboratoire de Génie Informatique et d Ingénierie de Production Blazo Nastov 1, Vincent Chapurlat

More information

Introduction to Computational Mathematics

Introduction to Computational Mathematics Introduction to Computational Mathematics Introduction Computational Mathematics: Concerned with the design, analysis, and implementation of algorithms for the numerical solution of problems that have

More information

International Graduate Program on Applied Artificial Intelligence and Cyber-Security

International Graduate Program on Applied Artificial Intelligence and Cyber-Security International Graduate Program on Applied Artificial Intelligence and Cyber-Security Ver. 2 Advanced Topics in Artificial Intelligence AE, AO, BE, BO have been updated / October 4, 2018 1. IGP (A) Outline

More information

ONE STOP SHOP FOR IFS APPLICATIONS. Simplify. Automate. Integrate. Simplify. Automate. Integrate.

ONE STOP SHOP FOR IFS APPLICATIONS. Simplify. Automate. Integrate. Simplify. Automate. Integrate. ONE STOP SHOP FOR IFS APPLICATIONS OUR PRODUCTS & SERVICES One stop shop for IFS Applications Addovation is a Scandinavian provider of IFS Applications to small and medium-sized enterprises (SME). We provide

More information

Development of a Modeling Tool for Collaborative Finite Element Analysis

Development of a Modeling Tool for Collaborative Finite Element Analysis Development of a Modeling Tool for Collaborative Finite Element Analysis Åke Burman and Martin Eriksson Division of Machine Design, Department of Design Sciences, Lund Institute of Technology at Lund Unversity,

More information

Application of Computer Support for Design of Shaft Furnaces Cupolas

Application of Computer Support for Design of Shaft Furnaces Cupolas Journal of Casting & Materials Engineering Vol. 1 No. 4 (2017) 85 89 http://dx.doi.org/10.7494/jcme.2017.1.4.85 Application of Computer Support for Design of Shaft Furnaces Cupolas Grzegorz Dajczer a*,

More information

Unit Maps: Grade 7 Math

Unit Maps: Grade 7 Math Rational Number Representations and Operations 7.4 Number and operations. The student adds, subtracts, multiplies, and divides rationale numbers while solving problems and justifying solutions. Solving

More information

Microscopic Traffic Simulation

Microscopic Traffic Simulation Microscopic Traffic Simulation Lecture Notes in Transportation Systems Engineering Prof. Tom V. Mathew Contents Overview 2 Traffic Simulation Models 2 2. Need for simulation.................................

More information

Guidelines for Writing Mathematical Proofs

Guidelines for Writing Mathematical Proofs Appendix A Guidelines for Writing Mathematical Proofs One of the most important forms of mathematical writing is writing mathematical proofs. The writing of mathematical proofs is an acquired skill and

More information

USING SPREADSHEETS AND DERIVE TO TEACH DIFFERENTIAL EQUATIONS

USING SPREADSHEETS AND DERIVE TO TEACH DIFFERENTIAL EQUATIONS USING SPREADSHEETS AND DERIVE TO TEACH DIFFERENTIAL EQUATIONS Kathleen Shannon, Ph.D. Salisbury State University Department of Mathematics and Computer Science Salisbury, MD 21801 KMSHANNON@SAE.SSU.UMD.EDU

More information

Tier III Data Collection

Tier III Data Collection Tier III Data Collection What is it? The Tier III Data Collection tool is designed to measure progress for individual students before and during interventions. The tool can measure several different types

More information

Ian Clarke Oskar Sandberg

Ian Clarke Oskar Sandberg Ian Clarke is the architect and coordinator of The Freenet Project, and the Chief Executive Officer of Cematics Ltd, a company he founded to realise commercial applications for the Freenet technology.

More information

Industrial And Manufacturing Systems (IMSE)

Industrial And Manufacturing Systems (IMSE) Industrial And Manufacturing Systems (IMSE) 1 Industrial And Manufacturing Systems (IMSE) IMSE 1000: Introduction to Industrial Introduction to industrial engineering profession, the Industrial and Manufacturing

More information

Metrics and OO. SE 3S03 - Tutorial 12. Alicia Marinache. Week of Apr 04, Department of Computer Science McMaster University

Metrics and OO. SE 3S03 - Tutorial 12. Alicia Marinache. Week of Apr 04, Department of Computer Science McMaster University and OO OO and OO SE 3S03 - Tutorial 12 Department of Computer Science McMaster University Complexity Lorenz CK Week of Apr 04, 2016 Acknowledgments: The material of these slides is based on [1] (chapter

More information

Grade 6 Curriculum and Instructional Gap Analysis Implementation Year

Grade 6 Curriculum and Instructional Gap Analysis Implementation Year Grade 6 Curriculum and Implementation Year 2014-2015 Revised Number and operations Proportionality What new content moves into the grade 6 curriculum in Use a visual representation to describe the relationship

More information

Verification of Selection and Heap Sort Using Locales

Verification of Selection and Heap Sort Using Locales Verification of Selection and Heap Sort Using Locales Danijela Petrović September 19, 2015 Abstract Stepwise program refinement techniques can be used to simplify program verification. Programs are better

More information

EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS

EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS Per Johannessen 1, Fredrik Törner 1 and Jan Torin 2 1 Volvo Car Corporation, Department 94221, ELIN, SE-405 31 Göteborg, SWEDEN;

More information

California Standard Study Island Topic Common Core Standard

California Standard Study Island Topic Common Core Standard State: CA Subject: Math Grade Level: 4 California Standard Study Island Topic Standard NUMBER SENSE 1.0: Students understand the place value of whole numbers and decimals to two decimal places and how

More information

Agile Mind Mathematics 6 Scope and Sequence, Indiana Academic Standards for Mathematics

Agile Mind Mathematics 6 Scope and Sequence, Indiana Academic Standards for Mathematics In the three years prior Grade 6, students acquired a strong foundation in numbers and operations, geometry, measurement, and data. Students are fluent in multiplication of multi-digit whole numbers and

More information

Unit Maps: Grade 2 Math

Unit Maps: Grade 2 Math Place Value and Comparing Numbers 2.3 Place value. The student understands how to represent and compare whole numbers, the relative position and magnitude of whole numbers, and relationships within the

More information

CSSE2002/7023 The University of Queensland

CSSE2002/7023 The University of Queensland CSSE2002 / CSSE7023 Semester 1, 2016 Assignment 1 Goal: The goal of this assignment is to gain practical experience with data abstraction, unit testing and using the Java class libraries (the Java 8 SE

More information

A Correlation of. to the. Common Core State Standards for Mathematics Bid Category Grade 5

A Correlation of. to the. Common Core State Standards for Mathematics Bid Category Grade 5 A Correlation of to the Bid Category 11-010-50 A Correlation of, to the Operations and Algebraic Thinking Write and interpret numerical expressions. [5.OA.A.1]Use parentheses, brackets, or braces in numerical

More information

Scheme of Studies. BS Computer Science

Scheme of Studies. BS Computer Science Department of Computer Science and Information Technology Scheme of Studies BS Computer Science Eligibility: Minimum 2nd division or equivalent qualification in intermediate or equivalent qualification

More information

OpenFOAM: Open Platform for Complex Physics Simulations

OpenFOAM: Open Platform for Complex Physics Simulations OpenFOAM: Open Platform for Complex Physics Simulations Hrvoje Jasak h.jasak@wikki.co.uk, hrvoje.jasak@fsb.hr FSB, University of Zagreb, Croatia Wikki Ltd, United Kingdom 18th October 2007 OpenFOAM: Open

More information

Probability Models.S4 Simulating Random Variables

Probability Models.S4 Simulating Random Variables Operations Research Models and Methods Paul A. Jensen and Jonathan F. Bard Probability Models.S4 Simulating Random Variables In the fashion of the last several sections, we will often create probability

More information

Optimization of Tapered Cantilever Beam Using Genetic Algorithm: Interfacing MATLAB and ANSYS

Optimization of Tapered Cantilever Beam Using Genetic Algorithm: Interfacing MATLAB and ANSYS Optimization of Tapered Cantilever Beam Using Genetic Algorithm: Interfacing MATLAB and ANSYS K R Indu 1, Airin M G 2 P.G. Student, Department of Civil Engineering, SCMS School of, Kerala, India 1 Assistant

More information

Define the problem and gather relevant data Formulate a mathematical model to represent the problem Develop a procedure for driving solutions to the

Define the problem and gather relevant data Formulate a mathematical model to represent the problem Develop a procedure for driving solutions to the Define the problem and gather relevant data Formulate a mathematical model to represent the problem Develop a procedure for driving solutions to the problem Test the model and refine it as needed Prepare

More information

Numerical approach estimate

Numerical approach estimate Simulation Nature of simulation Numericalapproachfor investigating models of systems. Data are gathered to estimatethe true characteristics of the model. Garbage in garbage out! One of the techniques of

More information

The role of Fisher information in primary data space for neighbourhood mapping

The role of Fisher information in primary data space for neighbourhood mapping The role of Fisher information in primary data space for neighbourhood mapping H. Ruiz 1, I. H. Jarman 2, J. D. Martín 3, P. J. Lisboa 1 1 - School of Computing and Mathematical Sciences - Department of

More information

2 Review of Set Theory

2 Review of Set Theory 2 Review of Set Theory Example 2.1. Let Ω = {1, 2, 3, 4, 5, 6} 2.2. Venn diagram is very useful in set theory. It is often used to portray relationships between sets. Many identities can be read out simply

More information

Priority Inversion in Multi Processor Systems due to Protected Actions

Priority Inversion in Multi Processor Systems due to Protected Actions Priority Inversion in Multi Processor Systems due to Protected Actions Gustaf Naeser Department of Computer Science and Engineering, Mälardalen University, Sweden gustaf.naeser@mdh.se The use of multiple

More information

A Systems Approach to Dimensional Modeling in Data Marts. Joseph M. Firestone, Ph.D. White Paper No. One. March 12, 1997

A Systems Approach to Dimensional Modeling in Data Marts. Joseph M. Firestone, Ph.D. White Paper No. One. March 12, 1997 1 of 8 5/24/02 4:43 PM A Systems Approach to Dimensional Modeling in Data Marts By Joseph M. Firestone, Ph.D. White Paper No. One March 12, 1997 OLAP s Purposes And Dimensional Data Modeling Dimensional

More information

Unit Maps: Grade 6 Math

Unit Maps: Grade 6 Math Rational Numbers 6.4 Number and operations. The student represents addition, subtraction, multiplication, and division of rational numbers while solving problems and justifying the solutions. Comparison

More information

Curriculum Scheme. Dr. Ambedkar Institute of Technology, Bengaluru-56 (An Autonomous Institute, Affiliated to V T U, Belagavi)

Curriculum Scheme. Dr. Ambedkar Institute of Technology, Bengaluru-56 (An Autonomous Institute, Affiliated to V T U, Belagavi) Curriculum Scheme INSTITUTION VISION & MISSION VISION: To create Dynamic, Resourceful, Adept and Innovative Technical professionals to meet global challenges. MISSION: To offer state of the art undergraduate,

More information

Formal Specification and Verification

Formal Specification and Verification Formal Specification and Verification Bernhard Beckert Adaptation of slides by Wolfgang Ahrendt Chalmers University, Gothenburg, Sweden Formal Specification and Verification: 1 / 23 Part I Formal Specification

More information

Self-Healing and Resilient Critical Infrastructures

Self-Healing and Resilient Critical Infrastructures Self-Healing and Resilient Critical Infrastructures Rune Gustavsson & Björn Ståhl School of Engineering Blekinge Institute of Technology (BTH) SWEDEN Gustavsson Ståhl CRITIS 2008 1 Overview Case study

More information

A d v a n c e d I n t e r a c t i v e

A d v a n c e d I n t e r a c t i v e 9 1 4 2 A d v a n c e d I n t e r a c t i v e G r a p h i c D e s i g n 40S/40E/40M A Graphic Design Course 9 1 4 2 : A d v a n c e d I n t e r a c t i v e G r a p h i c D e s i g n 4 0 S / 4 0 E / 4

More information

Data Structures and Algorithms

Data Structures and Algorithms Berner Fachhochschule - Technik und Informatik Data Structures and Algorithms Topic 1: Algorithm Analysis Philipp Locher FS 2018 Outline Course and Textbook Overview Analysis of Algorithm Pseudo-Code and

More information

CSC8260: Wireless Networking and Cyber-Physical Systems. Hongwei Zhang

CSC8260: Wireless Networking and Cyber-Physical Systems. Hongwei Zhang CSC8260: Wireless Networking and Cyber-Physical Systems Hongwei Zhang http://www.cs.wayne.edu/~hzhang Objectives of the course Build up your background in wireless cyber-physical systems (WCPS) Wireless

More information

Madison County Schools Suggested 4 th Grade Math Pacing Guide

Madison County Schools Suggested 4 th Grade Math Pacing Guide Madison County Schools Suggested 4 th Grade Math Pacing Guide The following Standards have changes from the original 2015-16 MS College- and Career-Readiness Standards: Significant Changes (ex: change

More information

BISS 2013: Simulation for Decision Support

BISS 2013: Simulation for Decision Support BISS 2013: Simulation for Decision Support Lecture 06 Conceptual Modelling Concepts and Techniques Peer-Olaf Siebers (Nottingham University) Stephan Onggo (Lancaster University) pos@cs.nott.ac.uk Motivation

More information

Applications of Program analysis in Model-Based Design

Applications of Program analysis in Model-Based Design Applications of Program analysis in Model-Based Design Prahlad Sampath (Prahlad.Sampath@mathworks.com) 2018 by The MathWorks, Inc., MATLAB, Simulink, Stateflow, are registered trademarks of The MathWorks,

More information

Ch 3.4 The Integers and Division

Ch 3.4 The Integers and Division Integers and Division 1 Ch 3.4 The Integers and Division This area of discrete mathematics belongs to the area of Number Theory. Some applications of the concepts in this section include generating pseudorandom

More information

An Overview of Mathematics 6

An Overview of Mathematics 6 An Overview of Mathematics 6 Number (N) read, write, represent, and describe numbers greater than one million and less than one-thousandth using symbols, expressions, expanded notation, decimal notation,

More information

Provide a drawing. Mark any line with three points in blue color.

Provide a drawing. Mark any line with three points in blue color. Math 3181 Name: Dr. Franz Rothe August 18, 2014 All3181\3181_fall14h1.tex Homework has to be turned in this handout. For extra space, use the back pages, or blank pages between. The homework can be done

More information

European Conference on Quality and Methodology in Official Statistics (Q2008), 8-11, July, 2008, Rome - Italy

European Conference on Quality and Methodology in Official Statistics (Q2008), 8-11, July, 2008, Rome - Italy European Conference on Quality and Methodology in Official Statistics (Q2008), 8-11, July, 2008, Rome - Italy Metadata Life Cycle Statistics Portugal Isabel Morgado Methodology and Information Systems

More information

All Graduate Plan B and other Reports

All Graduate Plan B and other Reports Utah State University DigitalCommons@USU All Graduate Plan B and other Reports Graduate Studies 12-2012 Folding Forms Susan Tibbitts Utah State University Follow this and additional works at: https://digitalcommons.usu.edu/gradreports

More information

Handling Integer Arithmetic in the Verification of Java Programs

Handling Integer Arithmetic in the Verification of Java Programs Handling Integer Arithmetic in the Verification of Java Programs Steffen Schlager 1st Swedish-German KeY Workshop Göteborg, Sweden, June 2002 KeY workshop, June 2002 p.1 Introduction UML/OCL specification

More information

Visualization and Analysis of Inverse Kinematics Algorithms Using Performance Metric Maps

Visualization and Analysis of Inverse Kinematics Algorithms Using Performance Metric Maps Visualization and Analysis of Inverse Kinematics Algorithms Using Performance Metric Maps Oliver Cardwell, Ramakrishnan Mukundan Department of Computer Science and Software Engineering University of Canterbury

More information

INSTITUTE OF INFORMATION TECHNOLOGY UNIVERSITY OF DHAKA

INSTITUTE OF INFORMATION TECHNOLOGY UNIVERSITY OF DHAKA INSTITUTE OF INFORMATION TECHNOLOGY UNIVERSITY OF DHAKA http://www.iit.du.ac.bd/ BACHELOR OF SCIENCE IN SOFTWARE ENGINEERING (BSSE) 1. Institute of Information Technology (IIT) Institute of Information

More information

HPE LR120 LoadRunner 12.x Essentials

HPE LR120 LoadRunner 12.x Essentials HPE LR120 LoadRunner 12.x Essentials Overview This five-day course introduces students to HPE LoadRunner 12.5, including the usage of Virtual User Generator (VuGen), Controller and Analysis tools. This

More information

Master of Computer Applications

Master of Computer Applications FIRST SEMESTER EXAMINATION ID 044101 MCA 101 Fundamentals of IT 3 1 4 044103 MCA 103 Programming in C 3 1 4 044105 MCA 105 Discrete Mathematics 3 1 4 044107 MCA 107 Computer Organization 3 1 4 044109 MCA

More information

A Gentle Introduction to Program Analysis

A Gentle Introduction to Program Analysis A Gentle Introduction to Program Analysis Işıl Dillig University of Texas, Austin January 21, 2014 Programming Languages Mentoring Workshop 1 / 24 What is Program Analysis? Very broad topic, but generally

More information

Los Angeles Unified School District. Mathematics Grade 6

Los Angeles Unified School District. Mathematics Grade 6 Mathematics Grade GRADE MATHEMATICS STANDARDS Number Sense 9.* Compare and order positive and negative fractions, decimals, and mixed numbers and place them on a number line..* Interpret and use ratios

More information

HEURISTIC OPTIMIZATION USING COMPUTER SIMULATION: A STUDY OF STAFFING LEVELS IN A PHARMACEUTICAL MANUFACTURING LABORATORY

HEURISTIC OPTIMIZATION USING COMPUTER SIMULATION: A STUDY OF STAFFING LEVELS IN A PHARMACEUTICAL MANUFACTURING LABORATORY Proceedings of the 1998 Winter Simulation Conference D.J. Medeiros, E.F. Watson, J.S. Carson and M.S. Manivannan, eds. HEURISTIC OPTIMIZATION USING COMPUTER SIMULATION: A STUDY OF STAFFING LEVELS IN A

More information

Computer Science Electives and Clusters

Computer Science Electives and Clusters Course Number CSCI- Computer Science Electives and Clusters Computer Science electives belong to one or more groupings called clusters. Undergraduate students with the proper prerequisites are permitted

More information

Architecture and Performance Evaluation of the Space Communication Protocol Proximity-1

Architecture and Performance Evaluation of the Space Communication Protocol Proximity-1 Architecture and Performance Evaluation of the Space Communication Protocol Proximity-1 Master of Science Thesis in Embedded Electronic System Design MALIN ELIASSON JOHAN HASSEL Chalmers University of

More information

Douglas County School District Sixth Grade Critical Content Checklist Math

Douglas County School District Sixth Grade Critical Content Checklist Math Teacher: Year: The Nevada ematics Standards and Douglas County s ematics Critical Content connect the Process and Content Standards. The Process Standards describe the process in which students should

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

Week 8: The fundamentals of graph theory; Planar Graphs 25 and 27 October, 2017

Week 8: The fundamentals of graph theory; Planar Graphs 25 and 27 October, 2017 (1/25) MA284 : Discrete Mathematics Week 8: The fundamentals of graph theory; Planar Graphs 25 and 27 October, 2017 1 Definitions 1. A graph 2. Paths and connected graphs 3. Complete graphs 4. Vertex degree

More information

Embedded Device Generation

Embedded Device Generation Turning Software into Hardware Rohit Ramesh and Prabal Dutta I m Rohit Ramesh, a PhD Student as the University of Michigan I ve been working on with Prof. Prabal Dutta Compile highlevel code into embedded

More information

Math 250A (Fall 2009) - Lab I: Estimate Integrals Numerically with Matlab. Due Date: Monday, September 21, INSTRUCTIONS

Math 250A (Fall 2009) - Lab I: Estimate Integrals Numerically with Matlab. Due Date: Monday, September 21, INSTRUCTIONS Math 250A (Fall 2009) - Lab I: Estimate Integrals Numerically with Matlab Due Date: Monday, September 21, 2009 4:30 PM 1. INSTRUCTIONS The primary purpose of this lab is to understand how go about numerically

More information

Integrating Systems and Software Engineering Concepts in AP-233

Integrating Systems and Software Engineering Concepts in AP-233 Integrating Systems and Software Engineering Concepts in AP-233 Asmus Pandikow, Erik Herzog, Anders Törne Real-Time Systems Laboratory Linköpings Universitet 581 83 Linköping, Sweden E-mail: {asmpa, erica,

More information