0000000000652513
AUTHOR
Aigars Valainis
Rezolūcijas teorijas lietojums pirmās kārtas loģikā
Darbā tiek aplūkota rezolūciju metode, kas balstās pierādījumā no pretējā. Pieradījumā no pretējā tiek parādīts, ka pierādāmās formulas noliegums noved pie pretrunām ar aksiomu sistēmu. Šī darba mērķis ir sniegt rezolūciju metodes teorētisku pamatojumu un implementēt rezolūciju metodi datorprogrammas veidā. Darbā sniegts pirmās kārtas loģikas valodas apraksts, definēts loģisko seku jēdziens, aplūkoti rezolūciju metodei nepieciešamie formulu pārveidojumi, pieradīta Herbranda teorēma, aplūkota pirmās kārtas loģikas formulu unifikācija, formulēti vienkāršākie rezolūciju metodes paņēmieni un sniegts teorētiskais pamatojums to lietošanai. Darbs uzrakstīts latviešu valodā, tajā ir 179 lappuses, 1…
Straumes mērījumi un piekrastes hidrodinamikas modelēšana Liepājas ostas apkārtnē
Darbs satur straumes mērījumu, kas veikti ar akustisko Doplera straumes profilētāju (ADCP) pie Liepājas ostas 2006. gada rudenī, analīzi. Mērījumi tika veikti krasta aizsardzības inženierprojekta ietvaros. Tie izdarīti mazā dziļumā (5-10 m) un spēcīgas viļņošanas apstākļos. No novērojumu sērijām tika iegūtā straumes ātruma vidējā vērtība, kas tālāk pētīta ar progresējošo vektoru diagrammu palīdzību. Tas atļauj novērtēt straumes gan vispārīgo raksturu, gan nozīmīgus notikumus: cilpas un straumes virziena maiņu mainīga ūdenslīmeņa, vai kustīgu viļņu maksimumu dēļ. Mērījumu analīzē izmantots Baltijas jūras operacionālais modelis, un atsevišķu novēroto parādību modelēšanā lietots lokālais hidro…
Automaton (Semi)groups (Basic Concepts)
In this paper, we give an introduction to basic concepts of automaton semigroups. While we must note that this paper does not contain new results, it is focused on extended introduction in the subject and detailed examples.
Rīgas jūras līča fizikālo parametru vertikālā sadalījuma modelēšana
Darbs satur matemātiskā modeļa, kas izveidots Rīgas jūras līča temperatūras un sāļuma vertikālā sadalījuma aprēķinam, aprakstu. Modelis ir balstīts uz siltuma, masas un turbulences kinētiskās enerģijas bilanci augšējā kvazi-homogēnajā slāni, tas ietver ledus veidošanās modeli, ņem vērā apmaiņas procesus ar atmosfēru, ūdens apmaiņu Baltijas jūru un upju noteci. Darbā veikta modeļa kalibrācija ar temperatūras un sāļuma novērojumu datiem laika periodā no 1972. līdz 2008. gadam. Modelis pielietots lai veiktu Rīgas jūras līča fizikālo parametru aprēķinu atbilstoši patreizējam klimatam un novērtētu to izmaiņas atbilstoši klimata izmaiņu prognozēm nākotnē. Darbs uzrakstīts latviešu valodā, tajā ir…