MI-RUB Testing Lecture 10

Size: px
Start display at page:

Download "MI-RUB Testing Lecture 10"

Transcription

1 MI-RUB Testing Lecture 10 Pavel Strnad Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

2 Contents 1 Unit Testing 2 The Testing Framework 3 Assertions 4 Structuring Tests 5 Literature Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

3 Unit Testing Unit Testing Focuses on small chunks (units) of code, typically individual methods or lines within methods. Layers principle - If there is a bug on a lower layer then it will surely propagate to a higher level! So, We need unit testing. It goes hand in hand with Ruby. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

4 Test Driven Development TDD Write a test before implementation. You will write a better code! Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

5 Testing Example Roman Numbers Implementation class Roman MAX_ROMAN = 4999 def i n i t i a l i z e ( value = value FACTORS = [ [ "m", 1000], [ "cm", 900], [ " d ", 500], [ " cd ", ],... ] def to_s value roman = " " for code, f a c t o r in FACTORS count, value = value. divmod ( f a c t o r ) roman << code unless count. zero? roman Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

6 Roman Numbers Naive Test r e q u i r e roman r = Roman. new ( 1 ) f a i l " i expected " unless r. to_s == " i " r = Roman. new ( 9 ) f a i l " i x expected " unless r. to_s == " i x " This will be unmanageable for bigger projects. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

7 The Testing Framework The Testing Framework Properties The Ruby testing framework is basically three facilities wrapped into a neat package: It gives you a way of expressing individual tests. It provides a framework for structuring the tests. It gives you flexible ways of invoking the tests. Ruby provides two main frameworks Test::Unit and Minitest::Unit (from 1.9). Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

8 Assertions == Expected Results Assertions Rather than have you write series of individual if statements in your tests, the testing framework provides a set of assertions that achieve the same thing. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

9 Assertions Roman Numbers Unit Test r e q u i r e roman r e q u i r e t e s t / u n i t class TestRoman < Test : : Unit : : TestCase def t e s t _ s i m p l e assert_equal ( " i ", Roman. new ( 1 ). to_s ) assert_equal ( " i i ", Roman. new ( 2 ). to_s ) assert_equal ( " i i i ", Roman. new ( 3 ). to_s ) assert_equal ( " i v ", Roman. new ( 4 ). to_s ) assert_equal ( " i x ", Roman. new ( 9 ). to_s ) Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

10 Roman Numbers Exercise Exercise 1 Fix the implementation of Roman Numbers to pass the test test_simple. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

11 Roman Numbers Test Improved Roman Numbers Test Improved The Test::Unit framework uses reflection to run methods starting with a word test. r e q u i r e roman r e q u i r e t e s t / u n i t class TestRoman < Test : : Unit : : TestCase NUMBERS = [ [ 1, " i " ], [ 2, " i i " ], [ 3, " i i i " ], [ 4, " i v " ], [ 5, " v " ], [ 9, " i x " ] ] def t e s t _ s i m p l e NUMBERS. each do arabic, roman r = Roman. new( a rabic ) assert_equal ( roman, r. to_s ) Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

12 Asserts a s s e r t _ r a i s e s ( RuntimeError ) { Roman. new ( 0 ) } r e f u t e _ n i l ( user, " User with ID=1 should e x i s t " ) assert_equal ( roman, r. to_s ) refute_equal ( roman, r. to_s ) Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

13 Structuring Tests Unit tests are groupped into high-level groupings called test cases. The test cases generally contain all the tests relating to a particular facility or feature. The classes that represent test cases must be subclasses of Test::Unit::TestCase. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

14 Test methods setup and teardown If we have a common code which should be run in the beginning and in the of each test method (e.g. database connection, initialization of resources) we can extract it to setup and teardown methods. These methods act like brackets around each test method. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

15 All examples are from Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing Lecture 10 MI-RUB, / 15

MI-RUB Testing II Lecture 11

MI-RUB Testing II Lecture 11 MI-RUB Testing II Lecture 11 Pavel Strnad pavel.strnad@fel.cvut.cz Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, 121 35 Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha

More information

MI-RUB Exceptions Lecture 7

MI-RUB Exceptions Lecture 7 MI-RUB Exceptions Lecture 7 Pavel Strnad pavel.strnad@fel.cvut.cz Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, 121 35 Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha

More information

Set Theory. Pattern Recognition III. Michal Haindl. Set Operations. Outline

Set Theory. Pattern Recognition III. Michal Haindl. Set Operations. Outline Set Theory A, B sets e.g. A = {ζ 1,...,ζ n } A = { c x y d} S space (universe) A,B S Outline Pattern Recognition III Michal Haindl Faculty of Information Technology, KTI Czech Technical University in Prague

More information

NonlinearOptimization

NonlinearOptimization 1/35 NonlinearOptimization Pavel Kordík Department of Computer Systems Faculty of Information Technology Czech Technical University in Prague Jiří Kašpar, Pavel Tvrdík, 2011 Unconstrained nonlinear optimization,

More information

Branch-and-Bound Algorithm. Pattern Recognition XI. Michal Haindl. Outline

Branch-and-Bound Algorithm. Pattern Recognition XI. Michal Haindl. Outline Branch-and-Bound Algorithm assumption - can be used if a feature selection criterion satisfies the monotonicity property monotonicity property - for nested feature sets X j related X 1 X 2... X l the criterion

More information

Binary Decision Diagrams

Binary Decision Diagrams Binary Decision Diagrams Logic Circuits Design Seminars WS2010/2011, Lecture 2 Ing. Petr Fišer, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical University in Prague

More information

Markovské řetězce se spojitým parametrem

Markovské řetězce se spojitým parametrem Markovské řetězce se spojitým parametrem Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České

More information

Quantum computing. Jan Černý, FIT, Czech Technical University in Prague. České vysoké učení technické v Praze. Fakulta informačních technologií

Quantum computing. Jan Černý, FIT, Czech Technical University in Prague. České vysoké učení technické v Praze. Fakulta informačních technologií České vysoké učení technické v Praze Fakulta informačních technologií Katedra teoretické informatiky Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-MVI Methods of Computational Intelligence(2010/2011)

More information

Multilevel Logic Synthesis Algebraic Methods

Multilevel Logic Synthesis Algebraic Methods Multilevel Logic Synthesis Algebraic Methods Logic Circuits Design Seminars WS2010/2011, Lecture 6 Ing. Petr Fišer, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical

More information

Feature Selection. Pattern Recognition X. Michal Haindl. Feature Selection. Outline

Feature Selection. Pattern Recognition X. Michal Haindl. Feature Selection. Outline Feature election Outline Pattern Recognition X motivation technical recognition problem dimensionality reduction ց class separability increase ր data compression (e.g. required communication channel capacity)

More information

Neural Nets in PR. Pattern Recognition XII. Michal Haindl. Outline. Neural Nets in PR 2

Neural Nets in PR. Pattern Recognition XII. Michal Haindl. Outline. Neural Nets in PR 2 Neural Nets in PR NM P F Outline Motivation: Pattern Recognition XII human brain study complex cognitive tasks Michal Haindl Faculty of Information Technology, KTI Czech Technical University in Prague

More information

Základy teorie front II

Základy teorie front II Základy teorie front II Aplikace Poissonova procesu v teorii front Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních

More information

Bootstrap metody II Kernelové Odhady Hustot

Bootstrap metody II Kernelové Odhady Hustot Bootstrap metody II Kernelové Odhady Hustot Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České

More information

Notation. Pattern Recognition II. Michal Haindl. Outline - PR Basic Concepts. Pattern Recognition Notions

Notation. Pattern Recognition II. Michal Haindl. Outline - PR Basic Concepts. Pattern Recognition Notions Notation S pattern space X feature vector X = [x 1,...,x l ] l = dim{x} number of features X feature space K number of classes ω i class indicator Ω = {ω 1,...,ω K } g(x) discriminant function H decision

More information

Computational intelligence methods

Computational intelligence methods Computational intelligence methods GA, schemas, diversity Pavel Kordík, Martin Šlapák Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-MVI, ZS 2011/12, Lect. 5 https://edux.fit.cvut.cz/courses/mi-mvi/

More information

Introduction to Python and its unit testing framework

Introduction to Python and its unit testing framework Introduction to Python and its unit testing framework Instructions These are self evaluation exercises. If you know no python then work through these exercises and it will prepare yourself for the lab.

More information

Computational Intelligence Methods

Computational Intelligence Methods Computational Intelligence Methods Ant Colony Optimization, Partical Swarm Optimization Pavel Kordík, Martin Šlapák Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-MVI, ZS 2011/12,

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 5 Evropský sociální

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 2 Evropský sociální

More information

Základy teorie front

Základy teorie front Základy teorie front Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické

More information

Cole s MergeSort. prof. Ing. Pavel Tvrdík CSc. Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010

Cole s MergeSort. prof. Ing. Pavel Tvrdík CSc. Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Cole s MergeSort prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Pokročilé paralelní algoritmy (PI-PPA)

More information

NCERT solution for Integers-2

NCERT solution for Integers-2 NCERT solution for Integers-2 1 Exercise 6.2 Question 1 Using the number line write the integer which is: (a) 3 more than 5 (b) 5 more than 5 (c) 6 less than 2 (d) 3 less than 2 More means moving right

More information

Software Testing Lecture 2

Software Testing Lecture 2 Software Testing Lecture 2 Justin Pearson September 25, 2014 1 / 1 Test Driven Development Test driven development (TDD) is a way of programming where all your development is driven by tests. Write tests

More information

DIRECTED NUMBERS ADDING AND SUBTRACTING DIRECTED NUMBERS

DIRECTED NUMBERS ADDING AND SUBTRACTING DIRECTED NUMBERS DIRECTED NUMBERS POSITIVE NUMBERS These are numbers such as: 3 which can be written as +3 46 which can be written as +46 14.67 which can be written as +14.67 a which can be written as +a RULE Any number

More information

ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP SIMULATIONS

ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP SIMULATIONS Acta Polytechnica 53(2):228 232, 2013 Czech Technical University in Prague, 2013 available online at http://ctn.cvut.cz/ap/ ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP

More information

VISUALIZING PSEUDOSPECTRA FOR POLYNOMIAL EIGENVALUE PROBLEMS. Adéla Klimentová *, Michael Šebek ** Czech Technical University in Prague

VISUALIZING PSEUDOSPECTRA FOR POLYNOMIAL EIGENVALUE PROBLEMS. Adéla Klimentová *, Michael Šebek ** Czech Technical University in Prague VSUALZNG PSEUDOSPECTRA FOR POLYNOMAL EGENVALUE PROBLEMS Adéla Klimentová *, Michael Šebek ** * Department of Control Engineering Czech Technical University in Prague ** nstitute of nformation Theory and

More information

Vector, Matrix, and Tensor Derivatives

Vector, Matrix, and Tensor Derivatives Vector, Matrix, and Tensor Derivatives Erik Learned-Miller The purpose of this document is to help you learn to take derivatives of vectors, matrices, and higher order tensors (arrays with three dimensions

More information

MTH401A Theory of Computation. Lecture 17

MTH401A Theory of Computation. Lecture 17 MTH401A Theory of Computation Lecture 17 Chomsky Normal Form for CFG s Chomsky Normal Form for CFG s For every context free language, L, the language L {ε} has a grammar in which every production looks

More information

Instance Methods and Inheritance (1/2)

Instance Methods and Inheritance (1/2) Instance Methods and Inheritance (1/2) 1 class Professor { 2 p u b l i c void say_hello ( ) { 3 System. out. p r i n t l n ( " Hello! " ) ; 4 } 5 } 6 class CSIEProfessor extends Professor { 7 p u b l i

More information

Decision Diagrams Derivatives

Decision Diagrams Derivatives Decson Dagrams Dervatves Logc Crcuts Desgn Semnars WS2010/2011, Lecture 3 Ing. Petr Fšer, Ph.D. Department of Dgtal Desgn Faculty of Informaton Technology Czech Techncal Unversty n Prague Evropský socální

More information

Evaluation, transformation, and parameterization of epipolar conics

Evaluation, transformation, and parameterization of epipolar conics Evaluation, transformation, and parameterization of epipolar conics Tomáš Svoboda svoboda@cmp.felk.cvut.cz N - CTU CMP 2000 11 July 31, 2000 Available at ftp://cmp.felk.cvut.cz/pub/cmp/articles/svoboda/svoboda-tr-2000-11.pdf

More information

1 Maintaining a Dictionary

1 Maintaining a Dictionary 15-451/651: Design & Analysis of Algorithms February 1, 2016 Lecture #7: Hashing last changed: January 29, 2016 Hashing is a great practical tool, with an interesting and subtle theory too. In addition

More information

MITOCW watch?v=fkfsmwatddy

MITOCW watch?v=fkfsmwatddy MITOCW watch?v=fkfsmwatddy PROFESSOR: We've seen a lot of functions in introductory calculus-- trig functions, rational functions, exponentials, logs and so on. I don't know whether your calculus course

More information

Software Testing Lecture 7 Property Based Testing. Justin Pearson

Software Testing Lecture 7 Property Based Testing. Justin Pearson Software Testing Lecture 7 Property Based Testing Justin Pearson 2017 1 / 13 When are there enough unit tests? Lets look at a really simple example. import u n i t t e s t def add ( x, y ) : return x+y

More information

SFWR ENG 3S03: Software Testing

SFWR ENG 3S03: Software Testing (Slide 1 of 69) Dr. Ridha Khedri Writing in Department of Computing and Software, McMaster University Canada L8S 4L7, Hamilton, Ontario Acknowledgments: Material based on [HT03] Unit Testing in Java with

More information

Memory Elements I. CS31 Pascal Van Hentenryck. CS031 Lecture 6 Page 1

Memory Elements I. CS31 Pascal Van Hentenryck. CS031 Lecture 6 Page 1 Memory Elements I CS31 Pascal Van Hentenryck CS031 Lecture 6 Page 1 Memory Elements (I) Combinational devices are good for computing Boolean functions pocket calculator Computers also need to remember

More information

Student Instruction Sheet: Unit 2, Lesson 2. Equations of Lines, Part 2

Student Instruction Sheet: Unit 2, Lesson 2. Equations of Lines, Part 2 Student Instruction Sheet: Unit 2, Lesson 2 Suggested Time: 50 minutes What s important in this lesson: Equations of Lines, Part 2 In this lesson, you will learn how to write equations of lines, given

More information

Self-Directed Course: Transitional Math Module 4: Algebra

Self-Directed Course: Transitional Math Module 4: Algebra Lesson #1: Solving for the Unknown with no Coefficients During this unit, we will be dealing with several terms: Variable a letter that is used to represent an unknown number Coefficient a number placed

More information

Randomized RANSAC with T d,d test

Randomized RANSAC with T d,d test Randomized RANSAC with T d,d test O. Chum 1,J.Matas 1,2 1 Center for Machine Perception, Dept. of Cybernetics, CTU Prague, Karlovo nám 13, CZ 121 35 2 CVSSP, University of Surrey, Guildford GU2 7XH, UK

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 1 Evropský sociální

More information

LEARNING & LINEAR CLASSIFIERS

LEARNING & LINEAR CLASSIFIERS LEARNING & LINEAR CLASSIFIERS 1/26 J. Matas Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center for Machine Perception 121 35 Praha 2, Karlovo nám. 13, Czech

More information

Annex 1: Price and Product List

Annex 1: Price and Product List Annex 1: Price and Product List Annex 1 is a constituent part of the Market Data Agreement. Effective as of 1 January 2018 Name of the Contractual Partner Address Postal code/city Country Date Signature

More information

Trojské trumfy. pražským školám TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN. Pracovní list č. 7. projekt CZ.2.17/3.1.00/32718 EVROPSKÝ SOCIÁLNÍ FOND

Trojské trumfy. pražským školám TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN. Pracovní list č. 7. projekt CZ.2.17/3.1.00/32718 EVROPSKÝ SOCIÁLNÍ FOND EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU INVESTUJEME DO VAŠÍ BUDOUCNOSTI Pracovní list č. 7 Trojské trumfy pražským školám projekt CZ.2.17/3.1.00/32718 TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN A B? complete

More information

Bayesian Decision Theory

Bayesian Decision Theory Bayesian Decision Theory 1/27 lecturer: authors: Jiri Matas, matas@cmp.felk.cvut.cz Václav Hlaváč, Jiri Matas Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center

More information

UNIT 1.- NATURAL NUMBERS. Maths teacher: Susana Vázquez PROFESOR TIERNO GALVÁN SECONDARY SCHOOL ( LA RAMBLA)

UNIT 1.- NATURAL NUMBERS. Maths teacher: Susana Vázquez PROFESOR TIERNO GALVÁN SECONDARY SCHOOL ( LA RAMBLA) UNIT 1.- NATURAL NUMBERS Maths teacher: Susana Vázquez PROFESOR TIERNO GALVÁN SECONDARY SCHOOL ( LA RAMBLA) TYPES OF NUMERAL SYSTEMS PRIMITIVE MAN NUMERAL SYSTEM EGYPTIAN NUMERAL SYSTEM ROMAN NUMERAL SYSTEM

More information

( 3, 5) and zeros of 2 and 8.

( 3, 5) and zeros of 2 and 8. FOM 11 T26 QUADRATIC FUNCTIONS IN VERTEX FORM - 2 1 DETERMINING QUADRATIC FUNCTIONS IN VERTEX FORM I) THE VERTEX FORM OF A QUADRATIC FUNCTION (PARABOLA) IS. To write a quadratic function in vertex form

More information

1 Information retrieval fundamentals

1 Information retrieval fundamentals CS 630 Lecture 1: 01/26/2006 Lecturer: Lillian Lee Scribes: Asif-ul Haque, Benyah Shaparenko This lecture focuses on the following topics Information retrieval fundamentals Vector Space Model (VSM) Deriving

More information

Variance estimation on SILC based indicators

Variance estimation on SILC based indicators Variance estimation on SILC based indicators Emilio Di Meglio Eurostat emilio.di-meglio@ec.europa.eu Guillaume Osier STATEC guillaume.osier@statec.etat.lu 3rd EU-LFS/EU-SILC European User Conference 1

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

Information System Desig

Information System Desig n IT60105 Lecture 7 Unified Modeling Language Lecture #07 Unified Modeling Language Introduction to UML Applications of UML UML Definition Learning UML Things in UML Structural Things Behavioral Things

More information

NCC Education Limited. Substitution Topic NCC Education Limited. Substitution Topic NCC Education Limited

NCC Education Limited. Substitution Topic NCC Education Limited. Substitution Topic NCC Education Limited Topic 3 - Lecture 2: Substitution Substitution Topic 3-2.2 Learning Objective To be able to substitute positive and negative values into algebraic expressions and formulae. Substitution Topic 3-2.3 Key

More information

On the Key-collisions in the Signature Schemes

On the Key-collisions in the Signature Schemes On the Key-collisions in the Signature Schemes Tomáš Rosa ICZ a.s., Prague, CZ Dept. of Computer Science, FEE, CTU in Prague, CZ tomas.rosa@i.cz Motivation to study k-collisions Def. Non-repudiation [9,10].

More information

Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species

Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species Map collection Lukáš Jačka, Jirka Pavlásek, and Pavel Pech Czech University of Life Sciences Prague

More information

1 Introduction MCNPX SIMULATIONS OF THE ENERGY PLUS TRANSMUTATION SYSTEM: NUCLEAR TRACK DETECTORS

1 Introduction MCNPX SIMULATIONS OF THE ENERGY PLUS TRANSMUTATION SYSTEM: NUCLEAR TRACK DETECTORS MCNPX SIMULATIONS OF THE ENERGY PLUS TRANSMUTATION SYSTEM: NUCLEAR TRACK DETECTORS M. Majerle 1,2, V. Wagner 1,2, A. Krása 1,2, J. Adam 1,3, S.R. Hashemi-Nezhad 4, M.I. Krivopustov 3, A. Kugler 1, V.M.

More information

Introduction to the Simplex Algorithm Active Learning Module 3

Introduction to the Simplex Algorithm Active Learning Module 3 Introduction to the Simplex Algorithm Active Learning Module 3 J. René Villalobos and Gary L. Hogg Arizona State University Paul M. Griffin Georgia Institute of Technology Background Material Almost any

More information

Chapter 4: Radicals and Complex Numbers

Chapter 4: Radicals and Complex Numbers Section 4.1: A Review of the Properties of Exponents #1-42: Simplify the expression. 1) x 2 x 3 2) z 4 z 2 3) a 3 a 4) b 2 b 5) 2 3 2 2 6) 3 2 3 7) x 2 x 3 x 8) y 4 y 2 y 9) 10) 11) 12) 13) 14) 15) 16)

More information

Turing s 1935: my guess about his intellectual journey to On Co

Turing s 1935: my guess about his intellectual journey to On Co Turing s 1935: my guess about his intellectual journey to On Computable Numbers Dept. of Computer Science & Engineering Seoul National University 7/11/2017 @ The 15th Asian Logic Conference, Daejeon Turing

More information

Problem Set 9 Solutions

Problem Set 9 Solutions CSE 26 Digital Computers: Organization and Logical Design - 27 Jon Turner Problem Set 9 Solutions. For each of the sequential circuits shown below, draw in the missing parts of the timing diagrams. You

More information

Feature Selection by Reordering *

Feature Selection by Reordering * Feature Selection by Reordering * Marcel Jirina and Marcel Jirina jr. 2 Institute of Computer Science, Pod vodarenskou vezi 2, 82 07 Prague 8 Liben, Czech Republic marcel@cs.cas.cz 2 Center of Applied

More information

Coulomb s Law Mini-Lab

Coulomb s Law Mini-Lab Setup Name Per Date Coulomb s Law Mini-Lab On a fresh piece of notebook paper, write the above title, name, date, and period. Be sure to put all headings, Roman numerals and regular numbers on your paper.

More information

Lecture 10: Sequential Networks: Timing and Retiming

Lecture 10: Sequential Networks: Timing and Retiming Lecture 10: Sequential Networks: Timing and Retiming CSE 140: Components and Design Techniques for Digital Systems Diba Mirza Dept. of Computer Science and Engineering University of California, San Diego

More information

EM Algorithm LECTURE OUTLINE

EM Algorithm LECTURE OUTLINE EM Algorithm Lukáš Cerman, Václav Hlaváč Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center for Machine Perception 121 35 Praha 2, Karlovo nám. 13, Czech Republic

More information

On the Modal Superposition Lying under the MoM Matrix Equations

On the Modal Superposition Lying under the MoM Matrix Equations 42 P. HAZDRA, P. HAMOUZ, ON THE MODAL SUPERPOSITION LYING UNDER THE MOM MATRIX EQUATIONS On the Modal Superposition Lying under the MoM Matrix Equations Pavel HAZDRA 1, Pavel HAMOUZ 1 Dept. of Electromagnetic

More information

CHEM UNIT 9: Chemical Reactions and Stoichiometry

CHEM UNIT 9: Chemical Reactions and Stoichiometry CHEM UNIT 9: Chemical Reactions and Stoichiometry http://teachersites.schoolworld.com/webpages/rcummings/ This is a good website that has videos of Mr. Cummings (our Chem. Dept. Head) lecturing on topics.

More information

Chaos in GDP. Abstract

Chaos in GDP. Abstract Chaos in GDP R. Kříž Abstract This paper presents an analysis of GDP and finds chaos in GDP. I tried to find a nonlinear lower-dimensional discrete dynamic macroeconomic model that would characterize GDP.

More information

Let A(x) and B(x) be two polynomials of degree n 1:

Let A(x) and B(x) be two polynomials of degree n 1: MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 2/42 Operatios o polyomials MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 4/42 Efficiet Patter Matchig (MI-EVY) 4. DFT, FFT

More information

Quantitative Assessment of Scattering Contributions in MeV-Industrial X-ray Computed Tomography

Quantitative Assessment of Scattering Contributions in MeV-Industrial X-ray Computed Tomography 11th European Conference on Non-Destructive Testing (ECNDT 2014), October 6-10, 2014, Prague, Czech Republic More Info at Open Access Database www.ndt.net/?id=16530 Quantitative Assessment of Scattering

More information

Chapter. Algebra techniques. Syllabus Content A Basic Mathematics 10% Basic algebraic techniques and the solution of equations.

Chapter. Algebra techniques. Syllabus Content A Basic Mathematics 10% Basic algebraic techniques and the solution of equations. Chapter 2 Algebra techniques Syllabus Content A Basic Mathematics 10% Basic algebraic techniques and the solution of equations. Page 1 2.1 What is algebra? In order to extend the usefulness of mathematical

More information

On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability Boundary Conditions

On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability Boundary Conditions Proceedings of the 3rd IASME/WSEAS Int. Conf. on FLUID DYNAMICS & AERODYNAMICS, Corfu, Greece, August -, 5 pp36-41 On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability

More information

Harmonizing at the borders

Harmonizing at the borders Land Survey Office LAND SURVEY OFFICE OF CZECH REPUBLIC Harmonizing at the borders Pavel Šidlichovský IGW/ISPIRE 2015; Lisabon 26.5.2015 State map series: HIC SUNT LEONES ( OR AQUILAS?) www.cuzk.cz 2 INSPIRE

More information

ELECTRICALLY CONDUCTIVE ADHESIVES MODIFIED USING IONS AND NANOPARTICLES. David BUŠEK, Ivana PILARČÍKOVÁ, Pavel MACH

ELECTRICALLY CONDUCTIVE ADHESIVES MODIFIED USING IONS AND NANOPARTICLES. David BUŠEK, Ivana PILARČÍKOVÁ, Pavel MACH ELECTRICALLY CONDUCTIVE ADHESIVES MODIFIED USING IONS AND NANOPARTICLES David BUŠEK, Ivana PILARČÍKOVÁ, Pavel MACH CTU-FEE - Technická 2, 166 27 Praha 6, Czech Republic, busekd1@fel.cvut.cz, pilarcik@fel.cvut.cz,

More information

Comp 11 Lectures. Mike Shah. July 26, Tufts University. Mike Shah (Tufts University) Comp 11 Lectures July 26, / 40

Comp 11 Lectures. Mike Shah. July 26, Tufts University. Mike Shah (Tufts University) Comp 11 Lectures July 26, / 40 Comp 11 Lectures Mike Shah Tufts University July 26, 2017 Mike Shah (Tufts University) Comp 11 Lectures July 26, 2017 1 / 40 Please do not distribute or host these slides without prior permission. Mike

More information

Chart 3 Data in Array

Chart 3 Data in Array Chart 3 Data in Array 3.1. How to Handle Data in Table Form 3.1.1 Create Matrix and Tables 1. Choose an input mode cell where you like to create a table. Next, choose Insert (I) - Table & Matrix (M) -

More information

Czech ARC Node Bartosz Dąbrowski. ALMA Regional Centre, Czech Republic

Czech ARC Node Bartosz Dąbrowski. ALMA Regional Centre, Czech Republic Bartosz Dąbrowski ALMA Regional Centre, Republic Toruń, 22 23 October 2013 The interface between ALMA and the astronomy community is provided by the three ALMA Regional Centres (ARCs), in Europe, North

More information

Global solar radiation: comparison of satellite and ground based observations

Global solar radiation: comparison of satellite and ground based observations Global solar radiation: comparison of satellite and ground based observations Petr Skalak 1,2, Piotr Struzik 3, Aleš Farda 2,1, Pavel Zahradníček 2,1, Petr Štěpánek 2,1 1) Czech Hydrometeorological Institute,

More information

EAS 535 Laboratory Exercise Weather Station Setup and Verification

EAS 535 Laboratory Exercise Weather Station Setup and Verification EAS 535 Laboratory Exercise Weather Station Setup and Verification Lab Objectives: In this lab exercise, you are going to examine and describe the error characteristics of several instruments, all purportedly

More information

Bayesian networks in Mastermind

Bayesian networks in Mastermind Bayesian networks in Mastermind Jiří Vomlel http://www.utia.cas.cz/vomlel/ Laboratory for Intelligent Systems Inst. of Inf. Theory and Automation University of Economics Academy of Sciences Ekonomická

More information

Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en

Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for enlargements with an arbitrary state space. We show in

More information

HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY

HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY Eva Matoušková 1, Martina Hůlková 1 and Jaroslav Šedina 1 1 Czech Technical University in Prague, Faculty of Civil Engineering, Department

More information

Active Integral Vibration Control of Elastic Bodies

Active Integral Vibration Control of Elastic Bodies Applied and Computational Mechanics 2 (2008) 379 388 Active Integral Vibration Control of Elastic Bodies M. Smrž a,m.valášek a, a Faculty of Mechanical Engineering, CTU in Prague, Karlovo nam. 13, 121

More information

About the different types of variables, How to identify them when doing your practical work.

About the different types of variables, How to identify them when doing your practical work. Learning Objectives You should learn : About the different types of variables, How to identify them when doing your practical work. Variables Variables are things that vary and change Variables In any

More information

ECE414/514 Electronics Packaging Spring 2012 Lecture 5 Electrical C: Transmission lines (Transmission line reflections) Lecture topics

ECE414/514 Electronics Packaging Spring 2012 Lecture 5 Electrical C: Transmission lines (Transmission line reflections) Lecture topics ECE414/514 Electronics Packaging Spring 2012 Lecture 5 Electrical C: Transmission lines (Transmission line reflections) James E. Morris Dept of Electrical & Computer Engineering Portland State University

More information

Computer simulation on homogeneity testing for weighted data sets used in HEP

Computer simulation on homogeneity testing for weighted data sets used in HEP Computer simulation on homogeneity testing for weighted data sets used in HEP Petr Bouř and Václav Kůs Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University

More information

Mathematical Nomenclature

Mathematical Nomenclature Mathematical Nomenclature Miloslav Čapek Department of Electromagnetic Field Czech Technical University in Prague, Czech Republic miloslav.capek@fel.cvut.cz Prague, Czech Republic November 6, 2018 Čapek,

More information

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...} WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not

More information

Spatial correlations in quantum walks with two particles

Spatial correlations in quantum walks with two particles Spatial correlations in quantum walks with two particles M. Štefaňák (1), S. M. Barnett 2, I. Jex (1) and T. Kiss (3) (1) Department of Physics, Faculty of Nuclear Sciences and Physical Engineering, Czech

More information

PHYSICS 122 Lab EXPERIMENT NO. 6 AC CIRCUITS

PHYSICS 122 Lab EXPERIMENT NO. 6 AC CIRCUITS PHYSICS 122 Lab EXPERIMENT NO. 6 AC CIRCUITS The first purpose of this laboratory is to observe voltages as a function of time in an RC circuit and compare it to its expected time behavior. In the second

More information

MAT 1302B Mathematical Methods II

MAT 1302B Mathematical Methods II MAT 1302B Mathematical Methods II Alistair Savage Mathematics and Statistics University of Ottawa Winter 2015 Lecture 19 Alistair Savage (uottawa) MAT 1302B Mathematical Methods II Winter 2015 Lecture

More information

3 rd Generation Approach to Video Compression for Multimedia

3 rd Generation Approach to Video Compression for Multimedia 3 rd Generation Approach to Video Compression for Multimedia Pavel Hanzlík, Petr Páta Dept. of Radioelectronics, Czech Technical University in Prague, Technická 2, 166 27, Praha 6, Czech Republic Hanzlip@feld.cvut.cz,

More information

E40M. Op Amps. M. Horowitz, J. Plummer, R. Howe 1

E40M. Op Amps. M. Horowitz, J. Plummer, R. Howe 1 E40M Op Amps M. Horowitz, J. Plummer, R. Howe 1 Reading A&L: Chapter 15, pp. 863-866. Reader, Chapter 8 Noninverting Amp http://www.electronics-tutorials.ws/opamp/opamp_3.html Inverting Amp http://www.electronics-tutorials.ws/opamp/opamp_2.html

More information

empowertm STUDENT SAMPLE ITEM BOOKLET Reading Grade 7

empowertm STUDENT SAMPLE ITEM BOOKLET Reading Grade 7 empowertm ME STUDENT SAMPLE ITEM BOOKLET Grade 7 Developed and published by Measured Progress, 100 Education Way, Dover, NH 03820. Copyright 2016. All rights reserved. No part of this publication may be

More information

AC : SOFTLAB VIRTUAL LABORATORY ENVIRONMENT. THERMODYNAMICS EXAMPLES

AC : SOFTLAB VIRTUAL LABORATORY ENVIRONMENT. THERMODYNAMICS EXAMPLES AC 2007-1912: SOFTLAB VIRTUAL LABORATORY ENVIRONMENT. THERMODYNAMICS EXAMPLES Gerald Rothberg, Stevens Institute of Technology Gerald Rothberg is a professor of physics and a professor of materials engineering

More information

COMS 6100 Class Notes

COMS 6100 Class Notes COMS 6100 Class Notes Daniel Solus September 20, 2016 1 General Remarks The Lecture notes submitted by the class have been very good. Integer division seemed to be a common oversight when working the Fortran

More information

PoS(Baldin ISHEPP XXII)065

PoS(Baldin ISHEPP XXII)065 Future usage of quasi-infinite depleted uranium target (BURAN) for benchmark studies 1, M. Suchopár for collaboration Energy plus Transmutation of RAW Nuclear Physics Institute of the ASCR, v. v. i. Řež

More information

Section 2.6 Solving Linear Inequalities

Section 2.6 Solving Linear Inequalities Section 2.6 Solving Linear Inequalities INTRODUCTION Solving an inequality is much like solving an equation; there are, though, some special circumstances of which you need to be aware. In solving an inequality

More information

Study skills for mathematicians

Study skills for mathematicians PART I Study skills for mathematicians CHAPTER 1 Sets and functions Everything starts somewhere, although many physicists disagree. Terry Pratchett, Hogfather, 1996 To think like a mathematician requires

More information

Hands- and minds-on electricity and magnetism

Hands- and minds-on electricity and magnetism Hands- and minds-on electricity and magnetism V. Koudelková Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The paper describes several interesting school

More information

Cross-section Measurements of (n,xn) Threshold Reactions

Cross-section Measurements of (n,xn) Threshold Reactions Nuclear Physics Institute, Academy of Sciences of Czech Republic Department of Nuclear Reactors, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague Cross-section

More information

Worksheet on Vector Fields and the Lie Bracket

Worksheet on Vector Fields and the Lie Bracket Worksheet on Vector Fields and the Lie Bracket Math 6456 Differential Geometry January 8, 2008 Let M be a differentiable manifold and T M := p M T p M Definition 8 A smooth vector field is a mapping w

More information

Column Statistics for: test1 Count: 108 Average: 33.3 Median: 33.0 Maximum: 49.0 Minimum: 12.0 Standard Deviation: 8.37

Column Statistics for: test1 Count: 108 Average: 33.3 Median: 33.0 Maximum: 49.0 Minimum: 12.0 Standard Deviation: 8.37 Test 1 Result: Section 1 Column Statistics for: test1 Count: 108 Average: 33.3 Median: 33.0 Maximum: 49.0 Minimum: 12.0 Standard Deviation: 8.37 1 Test 1 Result: Section 2 Column Statistics for: Test1

More information