Search results for "rezolūcija"

showing 3 items of 3 documents

Zvaigžņotā Debess: 2006/07, Ziema

2006

Latvijas Zinātnes padome, Latvijas Universitāte

Kosmiskais transporta kuģis „Orion”Ventspils Starptautiskais radioastronomijas centrsKrustvārdu mīklaReliktā starojuma pētījumiKārļa Kaufmaņa stipendiātiASTRONET un NOT sanāksme ViļņāSAS XXVI Ģenerālās Asamblejas Izglītības sesijaNobela prēmija fizikā 2006Plutons Erīda [Pundurplanētas]Sudrabainie mākoņi - novērojumiZvaigžņotā debess ziemāCitplanētu sistēmasŽurnāls "Zvaigžņotā debess"Plastmasas kosmosa kuģis uz MarsuLatvijas Zinātņu akadēmijas Observatorija - bibliogrāfijaMarsa biedrībaSaules sistēmaNolikums par Latvijas Zinātņu akadēmijas Artura Balklava balvuStarptautiskās Astronomijas Savienības 26. Kopsapulces Rezolūcijas (4.-6.)Aktīvā un adaptīvā optikaIlga DaubeLatvijas atklātā fizikas olimpiādeVenēras virsmaNatālija CimahovičaAstronomiskās parādības - 2007Planētas un pundurplanētas - definīcijaMartins Počobuts Ēģiptes zodiaksValsts emeritētie zinātniekiOļesja SmirnovaPlanētu redzamības kompleksā diagramma 2007Arturs BarzdisKoipera joslaStarptautiskās Astronomijas Savienības XXVI Ģenerālā Asambleja PrāgāMatemātikas olimpiāde - uzdevumu atrisinājumi
researchProduct

Efektīva tīmekļa lietotņu izstrāde augstas izšķirtspējas monitoru sienām

2016

Strauji pieaugot datu apjomiem, arvien vairāk var izjust nepieciešamību attēlot datu sakarības uz lielākiem ekrāniem, piemēram, uz augstas izšķirtspējas monitoru sienām. Mēģinot izmantot ar tīmekļa tehnoloģijām veidotus rīkus uz monitoru sienas, tika konstatēta veiktspējas pasliktināšanās. Lai noskaidrotu veiktspējas krituma cēloņus, ir izpētīti tīmekļa tehnoloģiju darbības principi, tehnoloģiju izmantošanas labās prakses, kā arī tīmekļa pārlūku iekšējā uzbūve. Balstoties uz iegūtajām zināšanām, ir izveidots tīmekļa risinājumu testēšanas rīks un daļēji realizēta testēšanas stratēģija ar mērķi atrast sistēmu konfigurācijas, tehnoloģiju un pārlūku specifisko optimizāciju optimālas kombinācija…

monitoru sienapārlūku dzinisDatorzinātnetīmekļa tehnoloģijasaugstā rezolūcija
researchProduct

Rezolūcijas teorijas lietojums pirmās kārtas loģikā

2015

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…

unifikācijarezolūcijaMatemātikapirmās kārtas loģikaHerbranda teorēma
researchProduct