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.
Anotace v angličtině
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.
Anotace v angličtině
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.
Zásady pro vypracování
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.
Seznam doporučené literatury
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.
Seznam doporučené literatury
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.
Přílohy volně vložené
1 CD-ROM
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Diplomant prezentoval výsledky své práce. Po prezentaci a seznámení s posudky došlo k diskuzi, kde diplomant zodpověděl všechny dotazy. Dotazy byly následující: \n
Proč byly ukládány pouze zajímavé identity, když může být aplikace nasazena do výuky a myslím si, že by demonstrace mohla probíhat na jakýchkoli nalezených identitách. (Mgr. Kotyrba) \n
V kterém předmětu předpokládáte použití vaší práce? (doc. Bakošová) \n
Můžete si přidávat jakékoliv funkce? (doc. Adámek) \n
Můžete to nyní přímo přidat do kódu? (prof. Olehla) \n