Standard Optimization Techniques

Slides:



Advertisements
Similar presentations
Fakultät für informatik informatik 12 technische universität dortmund Optimizations - Compilation for Embedded Processors - Peter Marwedel TU Dortmund.
Advertisements

fakultät für informatik informatik 12 technische universität dortmund Additional compiler optimizations Peter Marwedel TU Dortmund Informatik 12 Germany.
Evaluation and Validation
Fakultät für informatik informatik 12 technische universität dortmund Specifications and Modeling Peter Marwedel TU Dortmund, Informatik 12 Graphics: ©
Fakultät für informatik informatik 12 technische universität dortmund Standard Optimization Techniques Peter Marwedel Informatik 12 TU Dortmund Germany.
Technische universität dortmund fakultät für informatik informatik 12 Specifications and Modeling Peter Marwedel TU Dortmund, Informatik
fakultät für informatik informatik 12 technische universität dortmund Optimizations - Compilation for Embedded Processors - Peter Marwedel TU Dortmund.
Fakultät für informatik informatik 12 technische universität dortmund Classical scheduling algorithms for periodic systems Peter Marwedel TU Dortmund,
Computational Intelligence Winter Term 2009/10 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund.
ZEIT4700 – S1, 2014 Mathematical Modeling and Optimization School of Engineering and Information Technology.
Technische universität dortmund fakultät für informatik informatik 12 Specifications, Modeling, and Model of Computation Jian-Jia Chen (slides are based.
Constraint Optimization We are interested in the general non-linear programming problem like the following Find x which optimizes f(x) subject to gi(x)
Hardware/ Software Partitioning 2011 年 12 月 09 日 Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics: © Alexandra Nolte, Gesine Marwedel, 2003 These.
ECE-777 System Level Design and Automation Hardware/Software Co-design
Lecture 3 Linear Programming: Tutorial Simplex Method
1 1 Slide © 2008 Thomson South-Western. All Rights Reserved © 2011 Cengage Learning. All Rights Reserved. May not be scanned, copied or duplicated, or.
Mapping of Applications to Platforms Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics: © Alexandra Nolte, Gesine Marwedel, 2003 These slides.
- 1 -  P. Marwedel, Univ. Dortmund, Informatik 12, 05/06 Universität Dortmund Hardware/Software Codesign.
Spring, 2013C.-S. Shieh, EC, KUAS, Taiwan1 Heuristic Optimization Methods Pareto Multiobjective Optimization Patrick N. Ngatchou, Anahita Zarei, Warren.
Supply Chain Design Problem Tuukka Puranen Postgraduate Seminar in Information Technology Wednesday, March 26, 2009.
An Introduction to Black-Box Complexity
Artificial Intelligence Genetic Algorithms and Applications of Genetic Algorithms in Compilers Prasad A. Kulkarni.
D Nagesh Kumar, IIScOptimization Methods: M1L4 1 Introduction and Basic Concepts Classical and Advanced Techniques for Optimization.
Evolutionary Algorithms Guilherme Oliveira. What is it about ? Population based optimization algorithms Reproduction Mutation Recombination Selection.
1 1 Slides by John Loucks St. Edward’s University Modifications by A. Asef-Vaziri.
LP formulation of Economic Dispatch
Universität Dortmund  P. Marwedel, Univ. Dortmund, Informatik 12, 2003 Hardware/software partitioning  Functionality to be implemented in software.
Genetic Algorithms Overview Genetic Algorithms: a gentle introduction –What are GAs –How do they work/ Why? –Critical issues Use in Data Mining –GAs.
Optimization of thermal processes2007/2008 Optimization of thermal processes Maciej Marek Czestochowa University of Technology Institute of Thermal Machinery.
Ranga Rodrigo April 6, 2014 Most of the sides are from the Matlab tutorial. 1.
Optimization in Engineering Design Georgia Institute of Technology Systems Realization Laboratory Mixed Integer Problems Most optimization algorithms deal.
Deterministic Operations Research Models J. Paul Brooks Jill R. Hardin Department of Statistical Sciences and Operations Research November 28, 2006.
Chapter 7 Handling Constraints
Evaluation and Validation Peter Marwedel TU Dortmund, Informatik 12 Germany 2013 年 12 月 02 日 These slides use Microsoft clip arts. Microsoft copyright.
Computational Complexity Jang, HaYoung BioIntelligence Lab.
Derivative Free Optimization G.Anuradha. Contents Genetic Algorithm Simulated Annealing Random search method Downhill simplex method.
1 Max 8X 1 + 5X 2 (Weekly profit) subject to 2X 1 + 1X 2  1000 (Plastic) 3X 1 + 4X 2  2400 (Production Time) X 1 + X 2  700 (Total production) X 1.
Exact and heuristics algorithms
15.053Tuesday, April 9 Branch and Bound Handouts: Lecture Notes.
ZEIT4700 – S1, 2015 Mathematical Modeling and Optimization School of Engineering and Information Technology.
Optimization Problems
ZEIT4700 – S1, 2015 Mathematical Modeling and Optimization School of Engineering and Information Technology.
D Nagesh Kumar, IIScOptimization Methods: M8L5 1 Advanced Topics in Optimization Evolutionary Algorithms for Optimization and Search.
Local Search. Systematic versus local search u Systematic search  Breadth-first, depth-first, IDDFS, A*, IDA*, etc  Keep one or more paths in memory.
1 Autonomic Computer Systems Evolutionary Computation Pascal Paysan.
DEPARTMENT/SEMESTER ME VII Sem COURSE NAME Operation Research Manav Rachna College of Engg.
Genetic Algorithms An Evolutionary Approach to Problem Solving.
Genetic Algorithm. Outline Motivation Genetic algorithms An illustrative example Hypothesis space search.
Genetic (Evolutionary) Algorithms CEE 6410 David Rosenberg “Natural Selection or the Survival of the Fittest.” -- Charles Darwin.
ZEIT4700 – S1, 2016 Mathematical Modeling and Optimization School of Engineering and Information Technology.
CS4234 Optimiz(s)ation Algorithms L2 – Linear Programming.
Introduction to genetic algorithm
Optimization Problems
Integer Programming An integer linear program (ILP) is defined exactly as a linear program except that values of variables in a feasible solution have.
Digital Optimization Martynas Vaidelys.
Local Search Algorithms
Example: Applying EC to the TSP Problem
Genetic Algorithms overview
Example: Applying EC to the TSP Problem
Evaluation and Validation
Optimization Problems
Example: Applying EC to the TSP Problem
Heuristic Optimization Methods Pareto Multiobjective Optimization
Evolutionary Computation,
5.2.3 Optimization, Search and
EE368 Soft Computing Genetic Algorithms.
COSC 4368 Machine Learning Organization
Local Search Algorithms
Dr. Arslan Ornek DETERMINISTIC OPTIMIZATION MODELS
Presentation transcript:

Standard Optimization Techniques Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics: © Alexandra Nolte, Gesine Marwedel, 2003 2010/12/20 These slides use Microsoft clip arts. Microsoft copyright restrictions apply.

Structure of this course 2: Specification Design repository Design 3: ES-hardware 8: Test Application Knowledge 6: Application mapping 5: Evaluation & validation (energy, cost, performance, …) 7: Optimization 4: system software (RTOS, middleware, …) [“Appendix”: Standard Optimization Techniques Numbers denote sequence of chapters

Integer (linear) programming models Ingredients: Cost function Constraints Involving linear expressions of integer variables from a set X Cost function Constraints: ℕ ℝ Def.: The problem of minimizing (1) subject to the constraints (2) is called an integer (linear) programming (ILP) problem. If all xi are constrained to be either 0 or 1, the IP problem said to be a 0/1 integer (linear) programming problem.

Example C Optimal

Remarks on integer programming Maximizing the cost function: just set C‘=-C Integer programming is NP-complete. Running times depend exponentially on problem size, but problems of >1000 vars solvable with good solver (depending on the size and structure of the problem) The case of xi  ℝ is called linear programming (LP). Polynomial complexity, but most algorithms are exponential, in practice still faster than for ILP problems. The case of some xi  ℝ and some xi  ℕ is called mixed integer-linear programming. ILP/LP models good starting point for modeling, even if heuristics are used in the end. Solvers: lp_solve (public), CPLEX (commercial), …

Evolutionary Algorithms (1) Evolutionary Algorithms are based on the collective learning process within a population of individuals, each of which represents a search point in the space of potential solutions to a given problem. The population is arbitrarily initialized, and it evolves towards better and better regions of the search space by means of randomized processes of selection (which is deterministic in some algorithms), mutation, and recombination (which is completely omitted in some algorithmic realizations). [Bäck, Schwefel, 1993]

Evolutionary Algorithms (2) The environment (given aim of the search) delivers a quality information (fitness value) of the search points, and the selection process favours those individuals of higher fitness to reproduce more often than worse individuals. The recombination mechanism allows the mixing of parental information while passing it to their descendants, and mutation introduces innovation into the population [Bäck, Schwefel, 1993]

Evolutionary Algorithms Principles of Evolution  Cross-over  Selection  Mutation © Thiele

An Evolutionary Algorithm in Action max. y2 min. y1 hypothetical trade-off front © Thiele

A Generic Multiobjective EA population archive evaluate sample vary update truncate new population new archive © Thiele

Summary Integer (linear) programming Integer programming is NP-complete Linear programming is faster Good starting point even if solutions are generated with different techniques Simulated annealing Modeled after cooling of liquids Overcomes local minima Evolutionary algorithms Maintain set of solutions Include selection, mutation and recombination