|
|
Characterization of selected vegetable oils for application in food
Podloučková, Michaela ; Gross, Michal (referee) ; Vítová, Eva (advisor)
This bachelor thesis deals with the characterization of selected types of nut oils made from almonds, walnuts, and hazelnuts. These oils were cold pressed, and they are available on the regular market. The theoretical part deals with the characterization of individual types of nuts and nut oils. The experimental part deals with the comparison of oils in terms of profile and content of volatile substances and fatty acids. The volatile compounds were identified by gas chromatography with mass spectrometry in conjunction with solid phase microextraction. Ten substances, mainly alcohols, were identified in the nut samples. Most substances were found in hazelnut. A total of 44 volatile substances were found in oil samples, mostly in walnut oil. The main substances were aldehydes and alcohols. Fatty acids in free and bound form were converted to methyl esters by acid esterification with methanolic boron trifluoride solution as catalyst. Fatty acids were identified by gas chromatography with flame ionization detection. Unsaturated fatty acids, mainly oleic (almond, hazelnut) and linoleic (walnut) acids, were present in large quantities in the samples.
|
|
|
Characterization of selected vegetable oils for application in food
Podloučková, Michaela ; Gross, Michal (referee) ; Vítová, Eva (advisor)
This bachelor thesis deals with the characterization of selected types of nut oils made from almonds, walnuts, and hazelnuts. These oils were cold pressed, and they are available on the regular market. The theoretical part deals with the characterization of individual types of nuts and nut oils. The experimental part deals with the comparison of oils in terms of profile and content of volatile substances and fatty acids. The volatile compounds were identified by gas chromatography with mass spectrometry in conjunction with solid phase microextraction. Ten substances, mainly alcohols, were identified in the nut samples. Most substances were found in hazelnut. A total of 44 volatile substances were found in oil samples, mostly in walnut oil. The main substances were aldehydes and alcohols. Fatty acids in free and bound form were converted to methyl esters by acid esterification with methanolic boron trifluoride solution as catalyst. Fatty acids were identified by gas chromatography with flame ionization detection. Unsaturated fatty acids, mainly oleic (almond, hazelnut) and linoleic (walnut) acids, were present in large quantities in the samples.
|
|
|
Proving by finite automata
Fišer, Jan ; Holub, Štěpán (advisor) ; Chvalovský, Karel (referee)
In 2016, Hamoon Mousavi published Walnut which is a program that implements automated theorem proving of propositions about automatic sequences. The main purpose of this thesis was to show the theoretical functi- onality of Walnut on the basis of the relation between automatic sequences and Presburger (resp. B¨uchi) arithmetic that is a decidable theory. Another goal was to describe adequately how the decision procedure of Walnut really works, and finally, to show the practical use of Walnut on several particular problems. One of these particular problems that are solved in the thesis is computation of the critical exponent of the Rudin-Shapiro sequence - this exercise was presented as an open problem in a book of 2003 (however, this exercise does not belong among open problems any more since Shallit proved in 2011 that the critical exponent is computable for all automatic sequences.) The last chapter itself can be also used as a brief manual for newcomers to Walnut that want to use this program for their own applications. 1
|
guest ::
