|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
Game Portal in Cloud
Pečínka, Zdeněk ; Otrusina, Lubomír (referee) ; Škoda, Petr (advisor)
This thesis deals with the development of the gaming portal in Cloud designed for selected PaaS provider. Informs about the possibilities offered by cloud computing. Summarizes the advantages and disadvantages of PaaS providers. It pursues the design and the implementation of the application, focusing on its scalability and modularity. The result is the gaming portal providing games Tanks and Ships, which you can play against other users or against a computer controlled opponent. The solution contains the evaluation of the scalability of the critical components, based on the results of the stress tests.
|
|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
Investigation of stability of novel aroylhydrazone iron chelating agents in biological materials II.
Pečinka, Zdeněk ; Kovaříková, Petra (advisor) ; Kučera, Radim (referee)
59 8.Abstract High-performance liquid chromatography (HPLC) is one of the most frequently used separation technique for quantitative and qualitative evaluation of drugs. The present paper deals with optimization of the chromatographic conditions and its application to evaluating the stability of two novel iron chelators 2,6DHAF-INH and AHC-INH in rabbit plasma. The derivates were synthetized so as to increase stability of their hydrazone bond compared to their mother compound of salicylaldehyde isonicotinoyl hydrazone (SIH). The best differentiation of the two evaluated derivates, products of their decomposition and internal standard (SIH) was achieved by means of a chromatographic column with a reverse stationary phase LiChroCART HPLC - cartrige LiChrospher 100 RP - 18e (15µm) with a precolumn. The mobile phase for analysis of 2,6DHAF-INH was selected to be a mix of phosphate buffer (0.01 M aqueous solution NaH2PO4 . 2 H2O s 2 mM EDTA; pH 6.0) and methanol in 47:53(v/v) ratio. Detection at 300 nm wave length, flow 1.0 ml/min, column temperature 25 řC were used. The mobile phase for analysis of AHC-INH was selected to be a mix of phosphate buffer (0.01 M aqueous solution NaH2PO4 . 2 H2O s 2mM EDTA; pH 6.0) and methanol in 50:50(v/v) ratio. Detection at 325 nm wave length, flow 1.0 ml/min, column...
|
|
|
Game Portal in Cloud
Pečínka, Zdeněk ; Otrusina, Lubomír (referee) ; Škoda, Petr (advisor)
This thesis deals with the development of the gaming portal in Cloud designed for selected PaaS provider. Informs about the possibilities offered by cloud computing. Summarizes the advantages and disadvantages of PaaS providers. It pursues the design and the implementation of the application, focusing on its scalability and modularity. The result is the gaming portal providing games Tanks and Ships, which you can play against other users or against a computer controlled opponent. The solution contains the evaluation of the scalability of the critical components, based on the results of the stress tests.
|
guest ::
RSS feed.