Tato diplomová práce pojednává o možnostech využití metod umělé inteligence a to využití evoluční syntézy struktur. V teoretické části diplomové práce budou uvedeny metody evoluční syntézy struktur, jejich popis a možnosti použití. Dále budou v teoretické části zpracovány evoluční algoritmy SOMA a diferenciální evoluce, které budou použity pro praktickou část diplomové práce. V praktické části je použita metoda analytické programování pro vyhledávání matematických vzorců trigonometrických identit. Součástí práce je také zpracování programu pro výukové účely zobrazující evoluci na nalezených identitách.
Annotation in English
This thesis discusses the possibilities of using artificial intelligence methods and structures using evolutionary synthesis. The theoretical part will be the methods of evolutionary synthesis structures, their descriptions and potential applications. There will also be treated in the theoretical part of the evolutionary algorithms and differential evolution of SOMA, which will be used for the practical part. The practical part of the analytical method used to find programming of mathematical formulas trigonometric identities. The work also developed a program for educational purposes showing the evolution of identities found.
Tato diplomová práce pojednává o možnostech využití metod umělé inteligence a to využití evoluční syntézy struktur. V teoretické části diplomové práce budou uvedeny metody evoluční syntézy struktur, jejich popis a možnosti použití. Dále budou v teoretické části zpracovány evoluční algoritmy SOMA a diferenciální evoluce, které budou použity pro praktickou část diplomové práce. V praktické části je použita metoda analytické programování pro vyhledávání matematických vzorců trigonometrických identit. Součástí práce je také zpracování programu pro výukové účely zobrazující evoluci na nalezených identitách.
Annotation in English
This thesis discusses the possibilities of using artificial intelligence methods and structures using evolutionary synthesis. The theoretical part will be the methods of evolutionary synthesis structures, their descriptions and potential applications. There will also be treated in the theoretical part of the evolutionary algorithms and differential evolution of SOMA, which will be used for the practical part. The practical part of the analytical method used to find programming of mathematical formulas trigonometric identities. The work also developed a program for educational purposes showing the evolution of identities found.
Seznamte se s problematikou evoluční syntézy struktur.
Seznamte se s nástrojem Analytické programování.
Pomocí Analytického programování nalezněte matematické vzorce pro trigonometrické identity.
Zpracujte pro výukové účely jednotlivé kroky hledání příslušných vzorců na několika příkladech.
Zpracujte závěr.
Research Plan
Seznamte se s problematikou evoluční syntézy struktur.
Seznamte se s nástrojem Analytické programování.
Pomocí Analytického programování nalezněte matematické vzorce pro trigonometrické identity.
Zpracujte pro výukové účely jednotlivé kroky hledání příslušných vzorců na několika příkladech.
Zpracujte závěr.
Recommended resources
ZELINKA, I., OPLATKOVÁ, Z., OŠMERA, P., ŠEDA, M., VČELAŘ, F. Evoluční výpočetní techniky - principy a aplikace. BEN - technická literatura, Praha, 2008, ISBN 80-7300-218-3.
ZELINKA, I., OPLATKOVÁ, Z., NOLLE, L., Boolean Symmetry Function Synthesis by Means of Arbitrary Evolutionary Algorithms-Comparative Study, International Journal of Simulation Systems, Science and Technology, Volume 6, Number 9, August 2005, pages 44 - 56, ISSN: 1473-8031, online http://ducati.doc.ntu.ac.uk/uksim/journal/Vol-6/No.9/cover.htm, ISSN: 1473-804x.
OPLATKOVÁ, Z.: Metaevolution - Synthesis of Optimization Algorithms by means of Symbolic Regression and Evolutionary Algorithms, Lambert-Publishing, 2009, ISBN 978-8383-1808-0.
KOZA J. R.: Genetic Programming: on the programming of computers by means of natural selection, The Bradford Book, MIT Press, UK, 1992, ISBN 0-262-11170-5.
O\'NEILL M., CONOR R.: Grammatical Evolution, Kluwer Academic Publishers, 2003, ISBN 1-4020-7444-1.
BANZHAF W. (ed.): Genetic Programming and Evolvable Machines, Vol. 7, Nr. 1, March, 2006, Springer, ISSN: 1389-2576.
Recommended resources
ZELINKA, I., OPLATKOVÁ, Z., OŠMERA, P., ŠEDA, M., VČELAŘ, F. Evoluční výpočetní techniky - principy a aplikace. BEN - technická literatura, Praha, 2008, ISBN 80-7300-218-3.
ZELINKA, I., OPLATKOVÁ, Z., NOLLE, L., Boolean Symmetry Function Synthesis by Means of Arbitrary Evolutionary Algorithms-Comparative Study, International Journal of Simulation Systems, Science and Technology, Volume 6, Number 9, August 2005, pages 44 - 56, ISSN: 1473-8031, online http://ducati.doc.ntu.ac.uk/uksim/journal/Vol-6/No.9/cover.htm, ISSN: 1473-804x.
OPLATKOVÁ, Z.: Metaevolution - Synthesis of Optimization Algorithms by means of Symbolic Regression and Evolutionary Algorithms, Lambert-Publishing, 2009, ISBN 978-8383-1808-0.
KOZA J. R.: Genetic Programming: on the programming of computers by means of natural selection, The Bradford Book, MIT Press, UK, 1992, ISBN 0-262-11170-5.
O\'NEILL M., CONOR R.: Grammatical Evolution, Kluwer Academic Publishers, 2003, ISBN 1-4020-7444-1.
BANZHAF W. (ed.): Genetic Programming and Evolvable Machines, Vol. 7, Nr. 1, March, 2006, Springer, ISSN: 1389-2576.
