User Requirements, Modelling e Identification. Lezione 1 prj Mesa (Prof. Ing N. Muto)

Size: px
Start display at page:

Download "User Requirements, Modelling e Identification. Lezione 1 prj Mesa (Prof. Ing N. Muto)"

Transcription

1 User Requirements, Modelling e Identification. Lezione 1 prj Mesa (Prof. Ing N. Muto) 1.1 Introduction: A customer has requested the establishment of a system for the automatic orientation of a string of solar panels in order to optimize the energy generation. Afterwards the data provided through an interview with the client himself has raised some informal requests that then have to be analyzed, formalized and subject to verification and approval of the customer. After this step we will have a document that we will call "USER REQUIREMENTS" (from now on UR) and that will serve as a guide for the development of the system. The UR are key to proceed safely and without the danger of misinterpreting the instructions of the customer. Also it set aside the developer from "program changes" by the customer himself. In fact while admitting changes in the process, because they have a very high cost often enough, it must be recorded that the initial indications provided were different. Customer requirements: The informal requests of the customer are that the system must be able to run on both a scale model than on the real system,the motors must also be managed manually, it must be present a man-machine interface with graphic. It's still required that once identified the optimal position of the string of solar panels toward the light source, it must be maintained, pursuing its in time. The handling system includes n. 2 "stepper" motors, one for the "ascension" movement and one for "declination" of the star to point and chase. Nothing has been defined on the modality to find the best position and maintain it, so we can decide it freely. Even the delivery times must be clearly defined to avoid surprises at work. In our case, the work must be tested on the scale model within April 30, Knowledge and skills In order to formalize the specification we can use the skills acquired during the study of system theory, in particular, should be drawn to the topics: definition and classification of a system, modelling and identification of a system.

2 1.3.1 Definition and classification of systems A system is a set of parts that interact by exchanging energy or information with a commute purpose. Many things that surrounds us, from the simplest to the most complex can be considered SYSTEMS, such as a ballpoint pen, a computer, a bicycle, a cell phone. Usually, we think that a system there are the causes of the EFFECTS. The causes can be considered INPUT to the system and the effects can be thought as OUTPUT of the system. Then we can think of a first simple GRAPHICAL REPRESENTATION of a system: There are various ways to classify the systems, based on what we want to observe. If we want to refer man-made systems or existing in nature, such as splitting we can all systems in NATURAL or ARTIFICIAL. A classifications makes more sense from a technical standpoint instead considers the BEHAVIOUR OF A SYSTEM with regard to the following aspects: RELATIONSHIP WITH THE ENVIRONMENT A system can be CLOSED, i.e. which does not interact with an external environment, from which it is perfectly and definitely isolated! Obviously there in no system actually CLOSED! If a system interacts with the environment in which it is located, it is called OPEN system. The exchange may relate to energy, matter and information. The mechanical, electrical, computer are definitely open. ABILITY TO REMEMBER This aspect relates to the ability of a system to store energy, information or material that alters the behaviour even in the presence of the same stresses. If a system has this capability, then you define SEQUENTIAL and it is possible to define a CONDITION, that the system has the ability to store so that its output depends not only on inputs but on its history. A system that does not have this ability is called COMBINATORIAL, for which its think of a pocket calculator, we observe that the result of a certain algebraic operation is always the same. If you observe a lift, we can understand that the effect is obtained by pressing same key internal or external, depending on the level ta which the elevator is located.

3 DETERMINISTIC or ALEATORY REPORT between CAUSES and EFFECTS If it is possible to provide in a secure and repetitive effects of certain stresses, even in the presence of states, then the system can be defined deterministic. For example, the elevator is a deterministic system because it certainly does not invent his behaviour in an unpredictable way (unless it is the protagonist of an horror film!). Instead a sphere from which extract the numbers in a lottery is a system in which deliberately NOT be possible to predict the output. Even a simple coin that is launched can be classified as a not predictable system, i.e. ALEATORY. STABILITY 'THE PHYSICAL STRUCTURE OF THE SYSTEM Once built or devised a system we can ask whether its physical structure is or is not stable. For example a missile used to put satellites into orbit changes its structure during its operation the same, namely that consumes fuel up to the instant of the launch was an integral part of its structure. A kitchen oven instead maintains, in theory, preserving its structure and thus also an elevator. We say theoretically because in reality all things wear out and therefore the parts of a system. CHANGE INPUT and / or OUTPUT IN TIME If a system has no evolution as we observe it then it can be defined STATIC but in reality this depends on the time that we look at it. The mountains seem as static but we know that the whole earth's crust moves over the millennia. A system which has instead of the stresses and effects that vary in time of observation is defined DYNAMIC, as most of the systems in which we are interested in the technology. TYPE OF PHYSICAL PRESENT IN THE SYSTEM In a system may be present with magnitudes that vary with continuity, type the temperature of a human body, or there may be stresses and effects which nevertheless have a finite number of values that can assume. Returning to the example of the lift we can understand that plans can go up on possible are over, and so is the kind of movement that can be done. We then define "DISCRETE" systems that have to do with variables that have a finite number of values that can take. We define "CONTINUOUS" systems that have variables with an infinite number of values. We will learn later that a computer can NOT handle continuous magnitudes as it has an OVER memory!

4 1.3.2 Modelling of a SYSTEM: In technology we consider a system because you want to study, monitor, edit or otherwise but often a real system is too complex to deal with as it is physically and then you have recourse to the creation of a MODEL, namely the SIMPLIFIED representation of the system. The simplification of course will cover the aspects that we don't care treat while we will maintain the significant characteristics from our viewpoint, that is the CONTEXT in which we want to work with the system. In a formal way we can say that: "The model is a simplified representation of a physical system, in order to simplify the study and analysis of its most significant characteristics, given the context in which we place" The models can be classified according to criteria. In particular we considering the purpose of the model, we can mention: DESCRIPTIVE model It 'a model that DESCRIBES the system, "photographing" it completely, without, however, interested in what he does and how he does it. PREDICTIVE model In this case the model it deals with describing what the system do, without interest how it is done the system itself or how he can do what he does. PRESCRIPTIVE model In the prescriptive model instead considering HOW it is realized what the system does, without interest in its structure. Or, if we consider the nature of the model, we can talk about SYMBOLIC model. If you are unable to represent the model in an ABSTRACT, mathematical and formal way, then the model is defined symbolic. Obviously you can not always have a symbolic model, given the great complexity of many systems, both natural and artificial. ANALOG model In this model there is based on the characteristic of having a behavior similar to the real system under study.

5 1.3.3 SYSTEM IDENTIFICATION As a visual model to realize a model of a system, you can use a block diagram, in which a rectangle interacts with the arrows entering and leaving. This tool, however, prefers the functional aspect of the system rather than a structural one, that allows us to understand what he's doing but little about how the system is "constructed" the system itself. If we introduce also the NOISE of a system, defined as unintended stresses are otherwise of the effects, and the PARAMETERS, which are structural characteristics and invariant, at least during the time of observation, we can represent a system as follows: INPUTS NOISE OUTPUTS PARAMETERS In a rigorous way we can define: INPUTS INDEPENDENT variable magnitudes, we can change voluntarily. OUTPUTS Sizes EMPLOYEES variables that change as a result of the values of INPUT. NOISE UNCONTROLLABLE variables that make one feel their effect. PARAMETERS Entity or quantities that remain CONSTANT throughout the period of observation. The task of devising a clear, complete, accurate and entities named in the table of system identification and is an essential step in order to model and study a system.

Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams

Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams Metrics for Data Uniformity of User Scenarios through User Interaction Diagrams Douglas Hiura Longo and Patrícia Vilain Informatics and Statistics Department, Federal University of Santa Catarina, Florianopolis,

More information

COMPUTATIONAL COMPLEXITY

COMPUTATIONAL COMPLEXITY ATHEATICS: CONCEPTS, AND FOUNDATIONS Vol. III - Computational Complexity - Osamu Watanabe COPUTATIONAL COPLEXITY Osamu Watanabe Tokyo Institute of Technology, Tokyo, Japan Keywords: {deterministic, randomized,

More information

Introduction: Computer Science is a cluster of related scientific and engineering disciplines concerned with the study and application of computations. These disciplines range from the pure and basic scientific

More information

A BASE SYSTEM FOR MICRO TRAFFIC SIMULATION USING THE GEOGRAPHICAL INFORMATION DATABASE

A BASE SYSTEM FOR MICRO TRAFFIC SIMULATION USING THE GEOGRAPHICAL INFORMATION DATABASE A BASE SYSTEM FOR MICRO TRAFFIC SIMULATION USING THE GEOGRAPHICAL INFORMATION DATABASE Yan LI Ritsumeikan Asia Pacific University E-mail: yanli@apu.ac.jp 1 INTRODUCTION In the recent years, with the rapid

More information

DATA SOURCES AND INPUT IN GIS. By Prof. A. Balasubramanian Centre for Advanced Studies in Earth Science, University of Mysore, Mysore

DATA SOURCES AND INPUT IN GIS. By Prof. A. Balasubramanian Centre for Advanced Studies in Earth Science, University of Mysore, Mysore DATA SOURCES AND INPUT IN GIS By Prof. A. Balasubramanian Centre for Advanced Studies in Earth Science, University of Mysore, Mysore 1 1. GIS stands for 'Geographic Information System'. It is a computer-based

More information

0. Introduction 1 0. INTRODUCTION

0. Introduction 1 0. INTRODUCTION 0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as

More information

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture 02 Groups: Subgroups and homomorphism (Refer Slide Time: 00:13) We looked

More information

has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity.

has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity. http://preposterousuniverse.com/grnotes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity. As with any major theory in physics, GR has been framed

More information

(Refer Slide Time: 0:21)

(Refer Slide Time: 0:21) Theory of Computation Prof. Somenath Biswas Department of Computer Science and Engineering Indian Institute of Technology Kanpur Lecture 7 A generalisation of pumping lemma, Non-deterministic finite automata

More information

Periodic Table Project Element Card Sketches

Periodic Table Project Element Card Sketches Kensington Woods High School Name: Chemistry/Art Periodic Table Project Element Card Sketches In this project, we will use graphic design skills to redesign the periodic table. You are challenged with

More information

hp calculators HP 35s Solving for roots Roots of an equation Using the SOLVE function Practice solving problems involving roots

hp calculators HP 35s Solving for roots Roots of an equation Using the SOLVE function Practice solving problems involving roots Roots of an equation Using the SOLVE function Practice solving problems involving roots Roots of an equation The roots of an equation are values of X where the value of Y is equal to zero. For example,

More information

Dynamics of Physical System Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology, Kharagpur

Dynamics of Physical System Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology, Kharagpur Dynamics of Physical System Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology, Kharagpur Lecture - 1 Introduction to System Elements One of the important elements of

More information

An object-oriented design process. Weather system description. Layered architecture. Process stages. System context and models of use

An object-oriented design process. Weather system description. Layered architecture. Process stages. System context and models of use An object-oriented design process Process stages Structured design processes involve developing a number of different system models. They require a lot of effort for development and maintenance of these

More information

STUDY GUIDE. Exploring Geography. Chapter 1, Section 1. Terms to Know DRAWING FROM EXPERIENCE ORGANIZING YOUR THOUGHTS

STUDY GUIDE. Exploring Geography. Chapter 1, Section 1. Terms to Know DRAWING FROM EXPERIENCE ORGANIZING YOUR THOUGHTS For use with textbook pages 19 22. Exploring Geography Terms to Know location A specific place on the earth (page 20) absolute location The exact spot at which a place is found on the globe (page 20) hemisphere

More information

carroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general

carroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general http://pancake.uchicago.edu/ carroll/notes/ has a lot of good notes on GR and links to other pages. General Relativity Philosophy of general relativity. As with any major theory in physics, GR has been

More information

Planetary Orbits Teacher Notes

Planetary Orbits Teacher Notes Introduction: Planetary Orbits Teacher Notes By: Louise Lopes This investigation looks at how planets orbit around the sun in a seemingly consistent way. However, what would happen if any one feature of

More information

3. DIFFERENT MODEL TYPES

3. DIFFERENT MODEL TYPES 3-1 3. DIFFERENT MODEL TYPES It is important for us to fully understand a physical problem before we can select a solution strategy for it. Models are convenient tools that enhance our understanding and

More information

Students will read supported and shared informational materials, including social

Students will read supported and shared informational materials, including social Grade Band: Middle School Unit 18 Unit Target: Earth and Space Science Unit Topic: This Is the Solar System Lesson 9 Instructional Targets Reading Standards for Informational Text Range and Level of Text

More information

4.2 The Mysterious Electron

4.2 The Mysterious Electron 2 Chapter 4 Modern Atomic Theory 4.2 The Mysterious Electron Where there is an open mind, there will always be a frontier. Charles F. Kettering (876-958) American engineer and inventor Scientists have

More information

Foundations of Cryptography

Foundations of Cryptography - 111 - Foundations of Cryptography Notes of lecture No. 10B & 11 (given on June 11 & 18, 1989) taken by Sergio Rajsbaum Summary In this lecture we define unforgeable digital signatures and present such

More information

EARTH/SPACE SCIENCE. Earth Materials and Changes

EARTH/SPACE SCIENCE. Earth Materials and Changes EARTH/SPACE SCIENCE This Earth/Space science course is designed to continue student investigations of the earth sciences that began in grades K-8 while providing students the experiences and necessary

More information

Lecture No. # 07 Linear System Part 4

Lecture No. # 07 Linear System Part 4 Advanced Matrix Theory And Linear Algebra For Engineers Prof. Vittal Rao Department of Electronics Design And Technology Indian Institute of Science, Bangalore Lecture No. # 07 Linear System Part 4 You

More information

GRADE 8 SCIENCE. Course Overview

GRADE 8 SCIENCE. Course Overview GRADE 8 SCIENCE Description Grade 8 science is a heterogeneous class that meets one period per day. The major topics are properties of matter, energy, and motion. Course Overview Course Goals Students

More information

Lecture - 24 Radial Basis Function Networks: Cover s Theorem

Lecture - 24 Radial Basis Function Networks: Cover s Theorem Neural Network and Applications Prof. S. Sengupta Department of Electronic and Electrical Communication Engineering Indian Institute of Technology, Kharagpur Lecture - 24 Radial Basis Function Networks:

More information

Umans Complexity Theory Lectures

Umans Complexity Theory Lectures Complexity Theory Umans Complexity Theory Lectures Lecture 1a: Problems and Languages Classify problems according to the computational resources required running time storage space parallelism randomness

More information

Dynamics of Machines. Prof. Amitabha Ghosh. Department of Mechanical Engineering. Indian Institute of Technology, Kanpur. Module No.

Dynamics of Machines. Prof. Amitabha Ghosh. Department of Mechanical Engineering. Indian Institute of Technology, Kanpur. Module No. Dynamics of Machines Prof. Amitabha Ghosh Department of Mechanical Engineering Indian Institute of Technology, Kanpur Module No. # 07 Lecture No. # 01 In our previous lectures, you have noticed that we

More information

by Gloria Jasperse HOUGHTON MIFFLIN

by Gloria Jasperse HOUGHTON MIFFLIN by Gloria Jasperse HOUGHTON MIFFLIN by Gloria Jasperse PHOTOGRAPHY CREDITS: Cover NASA David Scott. 1 NASA Marshall Space Flight Center. 2 Tiziou Jacques/CORBIS SYGMA. 33 (l) NASA, (r) NASA. 4 NASA Marshall

More information

Introduction. Chapter 1

Introduction. Chapter 1 Chapter 1 Introduction In this book we will be concerned with supervised learning, which is the problem of learning input-output mappings from empirical data (the training dataset). Depending on the characteristics

More information

Stochastic Histories. Chapter Introduction

Stochastic Histories. Chapter Introduction Chapter 8 Stochastic Histories 8.1 Introduction Despite the fact that classical mechanics employs deterministic dynamical laws, random dynamical processes often arise in classical physics, as well as in

More information

Machine Learning to Automatically Detect Human Development from Satellite Imagery

Machine Learning to Automatically Detect Human Development from Satellite Imagery Technical Disclosure Commons Defensive Publications Series April 24, 2017 Machine Learning to Automatically Detect Human Development from Satellite Imagery Matthew Manolides Follow this and additional

More information

Electromagnetic Theory Prof. D. K. Ghosh Department of Physics Indian Institute of Technology, Bombay

Electromagnetic Theory Prof. D. K. Ghosh Department of Physics Indian Institute of Technology, Bombay Electromagnetic Theory Prof. D. K. Ghosh Department of Physics Indian Institute of Technology, Bombay Lecture -1 Element of vector calculus: Scalar Field and its Gradient This is going to be about one

More information

Process Behavior Analysis Understanding Variation

Process Behavior Analysis Understanding Variation Process Behavior Analysis Understanding Variation Steven J Mazzuca ASQ 2015-11-11 Why Process Behavior Analysis? Every day we waste valuable resources because we misunderstand or misinterpret what our

More information

UNIT-VIII COMPUTABILITY THEORY

UNIT-VIII COMPUTABILITY THEORY CONTEXT SENSITIVE LANGUAGE UNIT-VIII COMPUTABILITY THEORY A Context Sensitive Grammar is a 4-tuple, G = (N, Σ P, S) where: N Set of non terminal symbols Σ Set of terminal symbols S Start symbol of the

More information

Physics 2A Chapter 4: Forces and Newton s Laws of Motion

Physics 2A Chapter 4: Forces and Newton s Laws of Motion Physics 2A Chapter 4: Forces and Newton s Laws of Motion There is nothing either good or bad, but thinking makes it so. William Shakespeare It s not what happens to you that determines how far you will

More information

Definition of geometric vectors

Definition of geometric vectors Roberto s Notes on Linear Algebra Chapter 1: Geometric vectors Section 2 of geometric vectors What you need to know already: The general aims behind the concept of a vector. What you can learn here: The

More information

Formal Verification. Lecture 1: Introduction to Model Checking and Temporal Logic¹

Formal Verification. Lecture 1: Introduction to Model Checking and Temporal Logic¹ Formal Verification Lecture 1: Introduction to Model Checking and Temporal Logic¹ Jacques Fleuriot jdf@inf.ed.ac.uk ¹Acknowledgement: Adapted from original material by Paul Jackson, including some additions

More information

Geographical Information Processing for Cultural Resources

Geographical Information Processing for Cultural Resources Geographical Information Processing for Cultural Resources Assoc. Prof. Hirohisa Mori, Department of Geography, Graduate School of Literature and Human Sciences, Osaka City University 1. What are the Problems?

More information

32. SOLVING LINEAR EQUATIONS IN ONE VARIABLE

32. SOLVING LINEAR EQUATIONS IN ONE VARIABLE get the complete book: /getfulltextfullbook.htm 32. SOLVING LINEAR EQUATIONS IN ONE VARIABLE classifying families of sentences In mathematics, it is common to group together sentences of the same type

More information

Chemical Applications of Symmetry and Group Theory Prof. Manabendra Chandra Department of Chemistry Indian Institute of Technology, Kanpur

Chemical Applications of Symmetry and Group Theory Prof. Manabendra Chandra Department of Chemistry Indian Institute of Technology, Kanpur Chemical Applications of Symmetry and Group Theory Prof. Manabendra Chandra Department of Chemistry Indian Institute of Technology, Kanpur Lecture - 09 Hello, welcome to the day 4 of our second week of

More information

Meeting of Modern Science and School Physics: College for School Teachers of Physics in ICTP. 27 April - 3 May, 2011

Meeting of Modern Science and School Physics: College for School Teachers of Physics in ICTP. 27 April - 3 May, 2011 2234-13 Meeting of Modern Science and School Physics: College for School Teachers of Physics in ICTP 27 April - 3 May, 2011 Computer based tools for active learning in the introductory physics course David

More information

Project Management Prof. Raghunandan Sengupta Department of Industrial and Management Engineering Indian Institute of Technology Kanpur

Project Management Prof. Raghunandan Sengupta Department of Industrial and Management Engineering Indian Institute of Technology Kanpur Project Management Prof. Raghunandan Sengupta Department of Industrial and Management Engineering Indian Institute of Technology Kanpur Module No # 07 Lecture No # 35 Introduction to Graphical Evaluation

More information

TOOLING UP MATHEMATICS FOR ENGINEERING*

TOOLING UP MATHEMATICS FOR ENGINEERING* TOOLING UP MATHEMATICS FOR ENGINEERING* BY THEODORE von KARMAN California Institute of Technology It has often been said that one of the primary objectives of Mathematics is to furnish tools to physicists

More information

10 - Celestron Telescope II: Operation

10 - Celestron Telescope II: Operation 10 - Celestron Telescope II: Operation Purpose: Gain more experience setting up a 6 Celestron telescope, familiarize yourself with the software interface, and acquire an image with the CCD camera. Due:

More information

CS151 Complexity Theory. Lecture 1 April 3, 2017

CS151 Complexity Theory. Lecture 1 April 3, 2017 CS151 Complexity Theory Lecture 1 April 3, 2017 Complexity Theory Classify problems according to the computational resources required running time storage space parallelism randomness rounds of interaction,

More information

The Turing machine model of computation

The Turing machine model of computation The Turing machine model of computation For most of the remainder of the course we will study the Turing machine model of computation, named after Alan Turing (1912 1954) who proposed the model in 1936.

More information

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata CISC 4090: Theory of Computation Chapter Regular Languages Xiaolan Zhang, adapted from slides by Prof. Werschulz Section.: Finite Automata Fordham University Department of Computer and Information Sciences

More information

Energy Resources and Technology Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology - Kharagpur

Energy Resources and Technology Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology - Kharagpur Energy Resources and Technology Prof. S. Banerjee Department of Electrical Engineering Indian Institute of Technology - Kharagpur Lecture - 39 Magnetohydrodynamic Power Generation (Contd.) Let us start

More information

Sun, Earth and Moon Model. Build an Earth-Moon-Sun mobile to learn about how they orbit. Space Awareness, Leiden Observatory. iau.

Sun, Earth and Moon Model. Build an Earth-Moon-Sun mobile to learn about how they orbit. Space Awareness, Leiden Observatory. iau. Sun, Earth and Moon Model Build an Earth-Moon-Sun mobile to learn about how they orbit. Space Awareness, Leiden Observatory Age 8-10 Supervised Supervised Core skills Asking questions, Developing and using

More information

Functions. Copyright Cengage Learning. All rights reserved.

Functions. Copyright Cengage Learning. All rights reserved. Functions Copyright Cengage Learning. All rights reserved. 2.1 What is a Function? Copyright Cengage Learning. All rights reserved. Objectives Functions All Around Us Definition of Function Evaluating

More information

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore (Refer Slide Time: 00:15) Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 03 Mathematical Preliminaries:

More information

Quantum Series Product Catalog

Quantum Series Product Catalog Measuring and Managing Healthy Living Quantum Series Product Catalog RJL Sciences is an FDA registered company RJL Sciences, Inc. 33939 Harper Avenue Clinton Township, MI 48035 USA Voice: 1-800-528-4513

More information

Computation Theory Finite Automata

Computation Theory Finite Automata Computation Theory Dept. of Computing ITT Dublin October 14, 2010 Computation Theory I 1 We would like a model that captures the general nature of computation Consider two simple problems: 2 Design a program

More information

Computers also need devices capable of Storing data and information Performing mathematical operations on such data

Computers also need devices capable of Storing data and information Performing mathematical operations on such data Sequential Machines Introduction Logic devices examined so far Combinational Output function of input only Output valid as long as input true Change input change output Computers also need devices capable

More information

View Through a Telescope Classroom Activity

View Through a Telescope Classroom Activity View Through a Telescope Classroom Activity The Classroom Activity introduces students to the context of a performance task, so they are not disadvantaged in demonstrating the skills the task intends to

More information

Processes that Shape the Earth

Processes that Shape the Earth Grade 8 Science, Quarter 4, Unit 4.1 Processes that Shape the Earth Overview Number of instructional days: 20 (1 day = 45 minutes) Content to be learned Explain the role of differential heating and convection

More information

Module 8 Probability

Module 8 Probability Module 8 Probability Probability is an important part of modern mathematics and modern life, since so many things involve randomness. The ClassWiz is helpful for calculating probabilities, especially those

More information

Designing Information Devices and Systems I Spring 2018 Lecture Notes Note Introduction to Linear Algebra the EECS Way

Designing Information Devices and Systems I Spring 2018 Lecture Notes Note Introduction to Linear Algebra the EECS Way EECS 16A Designing Information Devices and Systems I Spring 018 Lecture Notes Note 1 1.1 Introduction to Linear Algebra the EECS Way In this note, we will teach the basics of linear algebra and relate

More information

The Inductive Proof Template

The Inductive Proof Template CS103 Handout 24 Winter 2016 February 5, 2016 Guide to Inductive Proofs Induction gives a new way to prove results about natural numbers and discrete structures like games, puzzles, and graphs. All of

More information

Finite Mathematics : A Business Approach

Finite Mathematics : A Business Approach Finite Mathematics : A Business Approach Dr. Brian Travers and Prof. James Lampes Second Edition Cover Art by Stephanie Oxenford Additional Editing by John Gambino Contents What You Should Already Know

More information

Written by Rachel Singh, last updated Oct 1, Functions

Written by Rachel Singh, last updated Oct 1, Functions Written by Rachel Singh, last updated Oct 1, 2018 Functions About In algebra, we think of functions as something like f(x), where x is the input, it s plugged into an equation, and we get some output,

More information

Energy relationship between photons and gravitons

Energy relationship between photons and gravitons Energy relationship between photons and gravitons Ajmal Beg (mail@abctsau.org) http://abctsau.org Abstract Einstein's mass and energy relationship is reinterpreted to understand the energy flow within

More information

Physics 209 Fall 2002 Notes 5 Thomas Precession

Physics 209 Fall 2002 Notes 5 Thomas Precession Physics 209 Fall 2002 Notes 5 Thomas Precession Jackson s discussion of Thomas precession is based on Thomas s original treatment, and on the later paper by Bargmann, Michel, and Telegdi. The alternative

More information

Complex Matrix Transformations

Complex Matrix Transformations Gama Network Presents: Complex Matrix Transformations By By Scott Johnson Gamasutra May 17, 2002 URL: http://www.gamasutra.com/features/20020510/johnson_01.htm Matrix transforms are a ubiquitous aspect

More information

Basic Thermodynamics Prof. S. K. Som Department of Mechanical Engineering Indian Institute of Technology, Kharagpur

Basic Thermodynamics Prof. S. K. Som Department of Mechanical Engineering Indian Institute of Technology, Kharagpur Basic Thermodynamics Prof. S. K. Som Department of Mechanical Engineering Indian Institute of Technology, Kharagpur Lecture - 09 Second Law and its Corollaries-IV Good afternoon to all of you to this session

More information

Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence

Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras Lecture - 13 Conditional Convergence Now, there are a few things that are remaining in the discussion

More information

Calculus from Graphical, Numerical, and Symbolic Points of View Overview of 2nd Edition

Calculus from Graphical, Numerical, and Symbolic Points of View Overview of 2nd Edition Calculus from Graphical, Numerical, and Symbolic Points of View Overview of 2nd Edition General notes. These informal notes briefly overview plans for the 2nd edition (2/e) of the Ostebee/Zorn text. This

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Finding Limits Graphically and Numerically

Finding Limits Graphically and Numerically Finding Limits Graphically and Numerically 1. Welcome to finding limits graphically and numerically. My name is Tuesday Johnson and I m a lecturer at the University of Texas El Paso. 2. With each lecture

More information

The Science of Physics

The Science of Physics CHAPTER 1 The Science of Physics The runner in this photograph is participating in sports science research at the National Institute of Sport and Physical Education in France. The athlete is being filmed

More information

2015 SUMMER MATH PACKET

2015 SUMMER MATH PACKET Name: Date: 05 SUMMER MATH PACKET College Algebra Trig. - I understand that the purpose of the summer packet is for my child to review the topics they have already mastered in previous math classes and

More information

Guide to Polar Alignment of a Meade LX200GPS Telescope

Guide to Polar Alignment of a Meade LX200GPS Telescope Guide to Polar Alignment of a Meade By Dale A. Chamberlain dale@dchamberlain.net April 18, 2006 Page 1 of 11 1 Why Polar Align? After making an investment in a telescope such as the Meade LX200GPS, you

More information

Chapter Two: Finite Automata

Chapter Two: Finite Automata Chapter Two: Finite Automata In theoretical computer science, automata theory is the study of abstract machines (or more appropriately, abstract 'mathematical' machines or systems) and the computational

More information

Robert D. Borchert GIS Technician

Robert D. Borchert GIS Technician QA/QC: AM/FM: A Checklist Confirmed for fit Quality Methods and Control Actions Robert D. Borchert GIS Technician This just goes to show that QA/QC is important. Robert D. Borchert GIS Technician Did you

More information

Pattern Recognition Prof. P. S. Sastry Department of Electronics and Communication Engineering Indian Institute of Science, Bangalore

Pattern Recognition Prof. P. S. Sastry Department of Electronics and Communication Engineering Indian Institute of Science, Bangalore Pattern Recognition Prof. P. S. Sastry Department of Electronics and Communication Engineering Indian Institute of Science, Bangalore Lecture - 27 Multilayer Feedforward Neural networks with Sigmoidal

More information

Introduction to Energy Study Guide (also use your notes!!!!)

Introduction to Energy Study Guide (also use your notes!!!!) Introduction to Energy Study Guide (also use your notes!!!!) 1. What is energy? The ability to do work 2. What is kinetic energy? The energy of motion (movement) 3. Can objects with kinetic energy do work?

More information

Implementing Visual Analytics Methods for Massive Collections of Movement Data

Implementing Visual Analytics Methods for Massive Collections of Movement Data Implementing Visual Analytics Methods for Massive Collections of Movement Data G. Andrienko, N. Andrienko Fraunhofer Institute Intelligent Analysis and Information Systems Schloss Birlinghoven, D-53754

More information

Demand Forecasting. for. Microsoft Dynamics 365 for Operations. User Guide. Release 7.1. April 2018

Demand Forecasting. for. Microsoft Dynamics 365 for Operations. User Guide. Release 7.1. April 2018 Demand Forecasting for Microsoft Dynamics 365 for Operations User Guide Release 7.1 April 2018 2018 Farsight Solutions Limited All Rights Reserved. Portions copyright Business Forecast Systems, Inc. This

More information

Pattern-Oriented Analysis and Design (POAD) Theory

Pattern-Oriented Analysis and Design (POAD) Theory Pattern-Oriented Analysis and Design (POAD) Theory Jerry Overton Computer Sciences Corporation, CSC joverton@csc.com Abstract Pattern-Oriented Analysis and Design (POAD) is the practice of building complex

More information

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound

Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound Copyright 2018 by James A. Bernhard Contents 1 Vector spaces 3 1.1 Definitions and basic properties.................

More information

DIFFERENTIAL EQUATIONS

DIFFERENTIAL EQUATIONS DIFFERENTIAL EQUATIONS Basic Concepts Paul Dawkins Table of Contents Preface... Basic Concepts... 1 Introduction... 1 Definitions... Direction Fields... 8 Final Thoughts...19 007 Paul Dawkins i http://tutorial.math.lamar.edu/terms.aspx

More information

Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay. Lecture - 03 Design Equations-1

Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay. Lecture - 03 Design Equations-1 (Refer Slide Time: 00:19) Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay Lecture - 03 Design Equations-1 We are looking at advanced reaction engineering;

More information

Stephen F Austin. Exponents and Logarithms. chapter 3

Stephen F Austin. Exponents and Logarithms. chapter 3 chapter 3 Starry Night was painted by Vincent Van Gogh in 1889. The brightness of a star as seen from Earth is measured using a logarithmic scale. Exponents and Logarithms This chapter focuses on understanding

More information

COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, Hanna Kurniawati

COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, Hanna Kurniawati COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, 3.1-3.3 Hanna Kurniawati Today } What is Artificial Intelligence? } Better know what it is first before committing the

More information

Topic Outline for Calculus BC

Topic Outline for Calculus BC Techniques of antidifferentiation Antiderivatives following directly from derivatives of basic functions. Antiderivatives by substitution of variables (including change of limits for definite integrals).

More information

Intersecting Two Lines, Part One

Intersecting Two Lines, Part One Module 1.4 Page 118 of 1124. Module 1.4: Intersecting Two Lines, Part One This module will explain to you several common methods used for intersecting two lines. By this, we mean finding the point x, y)

More information

Development of System for Supporting Lock Position Adjustment Work for Electric Point Machine

Development of System for Supporting Lock Position Adjustment Work for Electric Point Machine PAPER Development of System for Supporting Lock Position Adjustment Work for Electric Point Machine Nagateru IWASAWA Satoko RYUO Kunihiro KAWASAKI Akio HADA Telecommunications and Networking Laboratory,

More information

Hilbert and the concept of axiom

Hilbert and the concept of axiom Hilbert and the concept of axiom Giorgio Venturi Scuola Normale Superiore di Pisa Giorgio Venturi (SNS) Hilbert and the concept of axiom 1/24 First period Axiomatic method in the first period The actual

More information

Finite State Machines 2

Finite State Machines 2 Finite State Machines 2 Joseph Spring School of Computer Science 1COM0044 Foundations of Computation 1 Discussion Points In the last lecture we looked at: 1. Abstract Machines 2. Finite State Machines

More information

Introducing GIS analysis

Introducing GIS analysis 1 Introducing GIS analysis GIS analysis lets you see patterns and relationships in your geographic data. The results of your analysis will give you insight into a place, help you focus your actions, or

More information

Rumination on the Formal Definition of DPDA

Rumination on the Formal Definition of DPDA Rumination on the Formal Definition of DPDA In the definition of DPDA, there are some parts that do not agree with our intuition. Let M = (Q, Σ, Γ, δ, q 0, Z 0, F ) be a DPDA. According to the definition,

More information

The Number System (NS) 8.NS.1 Standards for Mathematical Practice (MP): Connections

The Number System (NS) 8.NS.1 Standards for Mathematical Practice (MP): Connections Domain: The Number System (NS) Cluster: Know that there are numbers that are not rational, and approximate them by rational numbers. Standard: 8.NS.1. Know that numbers that are not rational are called

More information

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Introduction to Linear Algebra the EECS Way

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Introduction to Linear Algebra the EECS Way EECS 16A Designing Information Devices and Systems I Fall 018 Lecture Notes Note 1 1.1 Introduction to Linear Algebra the EECS Way In this note, we will teach the basics of linear algebra and relate it

More information

Digital electronics form a class of circuitry where the ability of the electronics to process data is the primary focus.

Digital electronics form a class of circuitry where the ability of the electronics to process data is the primary focus. Chapter 2 Digital Electronics Objectives 1. Understand the operation of basic digital electronic devices. 2. Understand how to describe circuits which can process digital data. 3. Understand how to design

More information

( )= L, where f ( x)= x, a = 4,

( )= L, where f ( x)= x, a = 4, (Section 2.7: Precise Definitions of Limits) 2.7.1 SECTION 2.7: PRECISE DEFINITIONS OF LIMITS LEARNING OBJECTIVES Know rigorous definitions of limits, and use them to rigorously prove limit statements.

More information

Accept or reject. Stack

Accept or reject. Stack Pushdown Automata CS351 Just as a DFA was equivalent to a regular expression, we have a similar analogy for the context-free grammar. A pushdown automata (PDA) is equivalent in power to contextfree grammars.

More information

Outline. Geographic Information Analysis & Spatial Data. Spatial Analysis is a Key Term. Lecture #1

Outline. Geographic Information Analysis & Spatial Data. Spatial Analysis is a Key Term. Lecture #1 Geographic Information Analysis & Spatial Data Lecture #1 Outline Introduction Spatial Data Types: Objects vs. Fields Scale of Attribute Measures GIS and Spatial Analysis Spatial Analysis is a Key Term

More information

Fixed Solar Panels. Optimal Positioning of

Fixed Solar Panels. Optimal Positioning of Optimal Positioning of Fixed Solar Panels Andy Long Northern Kentucky University KYMAA March 29th, 2008 Western Kentucky University Background Why Solar Panels? The problem arose on my sabbatical in Ranquitte,

More information

Theory of Computation

Theory of Computation Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.

More information

Mathematical or Physical? A physical analysis of mechanical computability. Answers. Abstract model. Mental calculator. Conceptual Outline

Mathematical or Physical? A physical analysis of mechanical computability. Answers. Abstract model. Mental calculator. Conceptual Outline Mathematical or Physical? A physical analysis of mechanical computability Steven Lindell Department of Computer Science Haverford College 1 Are computing machines abstract models or concrete devices? Both!

More information

CMP 309: Automata Theory, Computability and Formal Languages. Adapted from the work of Andrej Bogdanov

CMP 309: Automata Theory, Computability and Formal Languages. Adapted from the work of Andrej Bogdanov CMP 309: Automata Theory, Computability and Formal Languages Adapted from the work of Andrej Bogdanov Course outline Introduction to Automata Theory Finite Automata Deterministic Finite state automata

More information