User Requirements, Modelling e Identification. Lezione 1 prj Mesa (Prof. Ing N. Muto)
|
|
- Morgan Wilkins
- 5 years ago
- Views:
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 Douglas Hiura Longo and Patrícia Vilain Informatics and Statistics Department, Federal University of Santa Catarina, Florianopolis,
More informationCOMPUTATIONAL 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 informationIntroduction: 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 informationA 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 informationDATA 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 information0. 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 informationModern 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 informationhas 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)
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 informationPeriodic 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 informationhp 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 informationDynamics 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 informationAn 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 informationSTUDY 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 informationcarroll/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 informationPlanetary 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 information3. 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 informationStudents 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 information4.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 informationFoundations 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 informationEARTH/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 informationLecture 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 informationGRADE 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 informationLecture - 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 informationUmans 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 informationDynamics 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 informationby 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 informationIntroduction. 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 informationStochastic 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 informationMachine 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 informationElectromagnetic 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 informationProcess 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 informationUNIT-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 informationPhysics 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 informationDefinition 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 informationFormal 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 informationGeographical 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 information32. 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 informationChemical 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 informationMeeting 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 informationProject 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 informationTOOLING 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 information10 - 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 informationCS151 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 informationThe 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 informationCISC 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 informationEnergy 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 informationSun, 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 informationFunctions. 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 informationError 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 informationQuantum 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 informationComputation 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 informationComputers 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 informationView 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 informationProcesses 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 informationModule 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 informationDesigning 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 informationThe 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 informationFinite 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 informationWritten 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 informationEnergy 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 informationPhysics 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 informationComplex 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 informationBasic 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 informationReal 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 informationCalculus 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 informationIntroducing 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 informationFinding 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 informationThe 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 information2015 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 informationGuide 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 informationChapter 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 informationRobert 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 informationPattern 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 informationIntroduction 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 informationImplementing 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 informationDemand 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 informationPattern-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 informationAbstract & 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 informationDIFFERENTIAL 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 informationAdvanced 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 informationStephen 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 informationCOMP3702/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 informationTopic 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 informationIntersecting 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 informationDevelopment 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 informationHilbert 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 informationFinite 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 informationIntroducing 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 informationRumination 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 informationThe 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 informationDesigning 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 informationDigital 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,
(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 informationAccept 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 informationOutline. 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 informationFixed 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 informationTheory 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 informationMathematical 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 informationCMP 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