280 likes | 297 Vues
Learn about EOS, a system for single and multicriteria optimization, constraints, and solutions. Explore running EOS, methods like bicriterion, constraint tournament, and indiscernibility interval.
E N D
Osyczka Andrzej Krenich Stanislaw Habel Jacek Department of Mechanical Engineering, Cracow University of Technology, 31-864 Krakow, Al. Jana Pawla II 37, Poland email: osyczka@mech.pk.edu.pl, krenich@mech.pk.edu.pl, habel@mech.pk.edu.pl
Contents &Introduction &General description of EOS • Some methods from EOS • Bicriterion method • Constraint tournament method for single and multicriteria optimization • Indiscernibility interval method • Features of EOS • Running EOS • Applications examples • Spring design automation • Robot gripper mechanism design • Network optimization
Introduction Evolutionary Optimization System (EOS) is designed to solve single and multicriteria optimization problems for nonlinear programming problems, i.e. for the problems formulated as follows: find x* = [x1*, x2*, ..., xI*] which will satisfy the K inequality constraints g k (x) 0 for k = 1, 2, …, K(1) and the M equality constraints hm(x) = 0 for m = 1, 2, …, M(2) and optimizethe vector of objective functions: f(x*) = [f1(x), f2(x),...,fN(x)] (3) where: x = [x1,x2,...,xI] is the vector of decision variables, For single criterion optimization problems instead of the vector function f(x) we have the scalar function f(x) which is to be minimized. The system is coded in the ANSI C language.
Some methods from EOS - Bicriterion method The main idea of the proposed method consists in transforming the single criterion optimization problem into the bicriterion optimization problem with the following objective functions: • where: Gkis the Heaviside operator such that • Gk= -1 dla gk (x) 0,Gk= 0 dla gk (x) 0. f2(x) = f(x)- the objective function that is to be minimized The minimum of f1(x) is known and equals zero. The function f1(x) will achieve its minimum for any solution that is in the feasible region.
Some methods from EOS - Bicriterion method Sets of Pareto solutions for a numerical example
Some methods from EOS - Constraint Tournament Method for Single Criterion Optimization In this method the tournament between two chromosomes is carried out in the followingway: • If both chromosomes are not in the feasible region the one which is closer to the feasible region is taken to the next generation. The values of the objective function are not calculated for either of chromosomes. • If one chromosome is in the feasible region and the other one is out of the feasible region the one which is in the feasible region is taken to the next generation. The values of the objective function are not calculated for either chromosome. • If both chromosomes are in the feasible region, the values of the objective function are calculated for both chromosomes and the one, which has a better value of the objective function is taken to the next generation. • The constraint violation function can be evaluated as follows: where: Gk is the Heaveside operator such that Gk =0 for and Gk =1 for
The feasible domain 5 5 6 4 1 2 3 1 4 Some methods from EOS - Constraint Tournament Method for Single Criterion Optimization f(x5,t) < f(x6,t) Feasible solution
Some methods from EOS - Constraint Tournament Methodfor Multicriteria Optimization The feasible domain 5 5 6 4 1 2 3 6 1 4 Feasible solution
Some methods from EOS - Indiscernibility interval method The idea of the method consists in reducing the set of Pareto optimal solutions using indiscernibility interval method after running a certain number of generations. The steps of the method are as follows: Step 1.Set t = 1, where t is the number of the currently run generation. Step 2.Generate the set of Pareto optimal solutions using any evolutionary algorithm method. Step 3.Is the criterion for filtration the set of Pareto solutions satisfied? If yes, select the representative subset of Pareto solutions using theindiscernibility interval method and go to step 4. Otherwise, go straight to step 4. Step 4.Set t = t + 1 and if tT, where T is the assumed number of generations, go to step 2. Otherwise, terminate the calculations.
Some methods from EOS - Indiscernibility interval method Graphical illustration of the indiscernibility interval method
Features of EOS • For both single and multicriteria optimization methods the following models can be solved: • with continuous decision variables, • with integer decision variables, • with discrete decision variables, • with mixed continuous – integer decision variables, • with mixed continuous – discrete decision variables. • In EOS chromosomes can have: • binary representation, • real number representation, • Grey coding representation. • Crossover operations can be performed as follows: • one point crossover, • two point crossover, • variable point crossover. • Mutation operations can be performed as follows: • uniform mutation, • non-uniform mutation.
Applications examples 1) Spring design automation 2) Robot gripper mechanism design 3) Network optimization
x1 x2 x3 Examples of Spring Design Automation- Helical Spring Design The vector of decision variables is x1– wire diameter of the spring [mm] x2 – meancoil diameter of the spring [mm] x3 – length of the spring [mm] x4 – number of active coils [–] Scheme of the spring The objective function is the volume of the spring • shear stress constraint, • stiffness of the spring constraint, • clearance between coils constraint , • buckling constraint, • geometric constraints, The constraints are: The optimization model is considered a discrete type, with the following sets of possible values: X1 = {0.5, 0.63, 0.8,..., 6.3, 8.0, 10.0 }, X2 = {1,2,3,4,...,60,61,62,...,300}, X3 = {1,2,3,...,50,51,52,...,600}, X4 = {1.5,2.5,...,49.5}
The best results obtainedusing the automation design method Example no. 1 Results obtained using a general design procedure Example no.2 Material of the spring 45S 70S3 f(x) 84 989.59 100 023.18 Compression force P [N] 1850 580.8 x1 8.0 8.0 Stiffness of the spring s[N/mm]/Deflection of the spring d[mm] 20.55 x2 63.0 60.0 x3 159. 0 196. 0 62 x4 Type of the spring 7.5 Non running 9.5 running Helical Spring Design - Numerical Results Table 2. Results of automation of design of the spring: example1 Table 1. Input data of the spring design problem
Optimization model of the robot gripper b d z c a b F k a e f y F k l Vector of decision variables: x = [ a, b, c, e, f, l, ]T, where a, b, c, e, f, l, are dimensions of the gripper and is the angle between the elements b and c. • Constraints: • On the basis of the geometrical dependencies and dependencies between the forces several constraints are built and used. • They depend also on the stages of the optimization process. • Objective functions: • f1(x) - the difference between maximum and minimum griping forces for the assumed range of the gripper ends displacement, • f2(x) - the force transmission ratio between the gripper actuator and the gripper ends, • f3(x) - the shift transmission ratio between the gripper actuator and the gripper ends, • f4(x) - the length of all the elements of the gripper, • f5(x) - the maximal force in the joints, • f6(x) - the efficiency of the gripper mechanism.
Multistage process of the robot gripper optimization Ordering of the criteria: Stage 1: Constraints: The set of Pareto optimal solutions
Multistage process of the robot gripper optimization Stage 2: Constraints: The set of Pareto optimal solutions
Multistage process of the robot gripper optimization Stage 5: Constraints: The set of Pareto optimal solutions
Tabela 7.22. Przykładowe rozwiązania ze zbioru Pareto uzyskane w etapie 5 optymalizacji
Network optimization An example of network which has no Markow property An example of network which has Markow property
Osyczka Andrzej Krenich Stanislaw Habel Jacek Department of Mechanical Engineering Cracow University of Technology, 2002 Thank You for Your Attention