<p>U disertaciji je predstavljen pristup zasnovan na algoritmu mešovitog celobrojnog linearnog programiranja (MILP) za određivanje optimalnog broja, tipa i lokacije uređaja za automatizaciju distributivne mreže. Ugradnja različitih tipova nove opreme (daljinski kontrolisani reklozeri, sekcioneri i indikatori prolaska struje kvara) kao i relokacija postojeće opreme su istovremeno razmatrani. Prilikom određivanja optimalnog scenarija za automatizaciju, predloženi pristup uvažava troškove ispada potrošača/proizvođača usled trenutnih, kratkotrajnih i dugotrajnih ispada, najčešće korišćene pokazatelje pouzdanosti (SAIFI, SAIDI, MAIFI, i ASIDI) kao i troškove distributivnog preduzeća, asocirane uređajima za automatizaciju i ekipama koje su uključene u proces rešavanja prekida napajanja.<br />Dakle, osnovni cilj ove disertacije je, da se napravi model zasnovan na mešovitom celobrojnom linearnom programiranju koji će omogućiti određivanje najboljeg scenarija za automatizaciju distributivne mreže u slučajevima kada se ocena kvaliteta isporuke definiše preko pokazatelja pouzdanosti, preko troškova usled prekida napajanja ili kombinacijom ova dva pokazatelja.</p> / <p>The dissertation presents a mixed integer linear programming (MILP) based approach for determining the optimal number, type and location of automation devices to be installed in the network by considering different types of devices simultaneously (remotely controlled circuit breakers/reclosers, sectionalizing switches, remotely supervised fault passage indicators). Simultaneously, it determines the new (optimal) locations of the automation devices that already exist in the network. In determining the most effective network automation scenario, the proposed approach takes into account the outage cost of consumers/producers due to momentary, short-term, and long-term interruptions, the commonly used network reliability indices (SAIFI, SAIDI, MAIFI, and ASIDI) as well as the cost of automation devices and the cost of crews. It provides the best network automation scenario in distribution systems if the network reliability indices are used for measuring the distribution system reliability, if cost of interruptions is defined to all consumers/producers, and if both approaches (criteria) are used.</p>

<p>U okviru disertacije predstavljene su metode realizacije kontekstualnih platformi i kontekstualnih korisničkih sprega za uređaje potrošačke elektronike. Predloženi su algoritmi semantizacije konteksta i procene zauzetosti korisnika, arhitektura rešenja i rezultati evaluacije.</p><p>&nbsp;</p> / <p>In this dissertation methods of implementation of context-aware platforms and context-aware user interfaces for applications in consumer electronics are presented. The work includes the proposition of algorithms for context semantization and user availability estimation, architecture of the solution as well as the results of evaluation experiments.</p>

<p>Prevencija u osiguranju motornih vozila postaje permanentan proces, koji se usavršava i nadograđuje. Povećan rizik prevara u osiguranju zahteva automatizaciju procesa osiguranja i procene šteta na motornim vozilima, kao i modelovanje samog procesa uz određen nivo razmene podataka. Funkcionisanje celokupnog sistema zavisi od definisanja elemenata koji dovode do povećanog rizika prevara u osiguranju motornih vozila. Uspostavljanje procesa automatizacije će takve rizike umanjiti i ublažiti a ujedno povećati i obim osiguranja. Na bazi dobijenih podataka će biti omogućeno filtriranje i blagovremena automatska selekcija a sistem primenjiv u osiguranju.</p> / <p>Prevention in motor insurance becomes a permanent process, which is<br />improved and upgraded. Increased risk of fraud in insurance claims process<br />automation and security assessments of damage to motor vehicles, as well<br />as the modeling of the process with a certain level of data exchange. The<br />functioning of the entire system depends on the definition of the elements<br />that lead to an increased risk of fraud in motor insurance. Establishment of<br />process automation will reduce such risks and also increase insurance<br />coverage. Based on the obtained data will be able to filter and timely<br />automatic selection and the system will be able to be effective in insurance.</p>

<p>This thesis presents an approach for working with low level source code that enables automatic restructuring and raising the abstraction level of the programs. This makes it easier to understand the logic of the program, which in turn reduces the development time.The process in this thesis was designed to be flexible and consists of several independent tools. This makes the process easy to adapt as needed, while at the same time the developed tools can be used for other processes. There are usually two basic steps. First is the translation to WSL language, which has a great number of semantic preserving program transformations. The second step are the transformations of the translated WSL. Two tools were developed for translation: one that works with a subset of x86 assembly, and another that works with MicroJava bytecode. The result of the translation is a low level program in WSL.The primary goal of this thesis was to fully automate the selection of the transformations. This enables users with no domain&nbsp; knowledge to efficiently use this process as needed. At the same time, the flexibility of the process enables experienced users to adapt it as needed or integrate it into other processes. The automation was achieved with a <em>hill climbing </em>algorithm.Experiments that were run on several types of input programs showed that the results can be excellent. The fitness function used was a built-in metric that gives the &ldquo;weight&rdquo; of structures in a program. On input samples that had original high level source codes, the end result metrics of the translated and transformed programs were comparable. On some samples the result was even better than the originals, on some others they were somewhat more complex. When comparing with low level original source code, the end results was always significantly improved.</p> / <p>U okviru ove teze se predstavlja pristup radu sa programima niskog nivoa koji omogućava automatsko restrukturiranje i podizanje na vi&scaron;e nivoe. Samim tim postaje mnogo lak&scaron;e razumeti logiku programa &scaron;to smanjuje vreme razvoja.Proces je dizajniran tako da bude fleksibilan i sastoji se od vi&scaron;e nezavisnih alata. Samim tim je lako menjati proces po potrebi, ali i upotrebiti razvijene alate u drugim procesima. Tipično se mogu razlikovati dva glavna koraka. Prvi je prevođenje u jezik WSL,za koji postoji veliki broj transformacija programa koje očuvavaju semantiku. Drugi su transformacije u samom WSL-u. Za potrebe prevođenja su razvijena dva alata, jedan koji radi sa podskupom x86 asemblera i drugi koji radi sa MikroJava bajtk&ocirc;dom. Rezultat prevođenja je program niskog nivoa u WSL jeziku.Primarni cilj ovog istraživanja je bila potpuna automatizacija odabira transformacija, tako da i korisnici bez iskustva u radu sa sistemom mogu efikasno da primene ovaj proces za svoje potrebe. Sa druge strane zbog fleksibilnosti procesa, iskusni korisnici mogu lakoda ga pro&scaron;ire ili da ga integri&scaron;u u neki drugi već postojeći&nbsp;&nbsp; proces.Automatizacija je&nbsp; postignuta pretraživanjem usponom (eng. hill climbing).Eksperimenti vr&scaron;eni na nekoliko tipova ulaznih programa niskog nivoa su pokazali da rezultati mogu biti&nbsp; izuzetni. Za funkciju pogodnosti je kori&scaron;ćena ugrađena metrika koja daje &ldquo;težinu&rdquo; struktura u programu. Kod ulaza za koje je originalni izvorni k&ocirc;d bio dostupan, krajnje metrike najboljih varijanti prevedenih i transformisanih programa su bile na sličnom nivou. Neki primeri su bolji od originala, dok su drugi bili ne&scaron;to kompleksniji. Rezultati su uvek pokazivali značajna unapređenja u odnosu na originalni k&ocirc;d niskog nivoa.</p>

<p>Аутоматизована картографска генерализација је од великог значаја у картографији, а правих решења још увек нема. Картографска ге&shy; нерализација полигона и категоријских карата представља веома комплексан проблем, а предложена решења налазе се углавном на концептуалном нивоу. Метода представљена у овој докторској ди&shy;сертацији представља општи приступ аутоматизованој картограф&shy;ској генерализацији категоријских карата применом ГИС софтвера. Као резултат смањења размера, неки од полигона postaju исувише мали да би били приказани у циљаном размеру тако да се морају уклонити, а њихово место ће заузети нека друга појава. Највећи изазов представља смањење семантичких грешака и минимизирање промене удела класа полигона тако да карта више одговара реалности на терену. То је остварено груписањем полигона исте класе, тако што се врши њихово измештање и стапање. На овај начин,одређени број малих полигона који би били елиминисани постају полигони са довољном површином. Други начин&nbsp;&nbsp; мањења грешака је стапање полигона, који имају недовољну површину, са већим полигонима који су им тематски слични. Такође је представљена и метода за&nbsp; откривање и елиминисање уских делова полигона. Све ове методе моrу бити искоришћене за израду било које категориј&shy;ске карте (нпр. климатске, педолошке, карте употребе земљишта, земљишног покривача, геолошке карте итд.) на основу дигиталног модела предела. Посебан софтвер је развијен за измештање градив&shy;них ћелија полигона ипи прецизније њихових центара. Додатни програм је&nbsp; аправљен за решавање проблема уских коридора код полигона. Модел&nbsp;&nbsp; удруживања је направљен у QGIS-y, а модел ста&shy;пања у PostGIS-y, слободном&nbsp;&nbsp; софтверу, отвореног кода. Резултати показују да је изабрани приступ успешан.</p> / <p>Automatizovana kartografska generalizacija je od velikog značaja u kartografiji, a pravih rešenja još uvek nema. Kartografska ge&shy; neralizacija poligona i kategorijskih karata predstavlja veoma kompleksan problem, a predložena rešenja nalaze se uglavnom na konceptualnom nivou. Metoda predstavljena u ovoj doktorskoj di&shy;sertaciji predstavlja opšti pristup automatizovanoj kartograf&shy;skoj generalizaciji kategorijskih karata primenom GIS softvera. Kao rezultat smanjenja razmera, neki od poligona postaju isuviše mali da bi bili prikazani u ciljanom razmeru tako da se moraju ukloniti, a njihovo mesto će zauzeti neka druga pojava. Najveći izazov predstavlja smanjenje semantičkih grešaka i minimiziranje promene udela klasa poligona tako da karta više odgovara realnosti na terenu. To je ostvareno grupisanjem poligona iste klase, tako što se vrši njihovo izmeštanje i stapanje. Na ovaj način,određeni broj malih poligona koji bi bili eliminisani postaju poligoni sa dovoljnom površinom. Drugi način&nbsp;&nbsp; manjenja grešaka je stapanje poligona, koji imaju nedovoljnu površinu, sa većim poligonima koji su im tematski slični. Takođe je predstavljena i metoda za&nbsp; otkrivanje i eliminisanje uskih delova poligona. Sve ove metode moru biti iskorišćene za izradu bilo koje kategorij&shy;ske karte (npr. klimatske, pedološke, karte upotrebe zemljišta, zemljišnog pokrivača, geološke karte itd.) na osnovu digitalnog modela predela. Poseban softver je razvijen za izmeštanje gradiv&shy;nih ćelija poligona ipi preciznije njihovih centara. Dodatni program je&nbsp; apravljen za rešavanje problema uskih koridora kod poligona. Model&nbsp;&nbsp; udruživanja je napravljen u QGIS-y, a model sta&shy;panja u PostGIS-y, slobodnom&nbsp;&nbsp; softveru, otvorenog koda. Rezultati pokazuju da je izabrani pristup uspešan.</p> / <p>Automated cartographic geпeralizatioп is of great importaпce iп cartography апd real solutioпs are still lackiпg. Cartographic geп&shy;eralizatioп of polygoпs апd categorical maps is а high complexity problem апd solutioпs for it аге maiпly proposed оп а coпceptual level. The method iпtroduced iп this PhD thesis preseпts а geпeral approach to automated cartographic geпeralizatioп of categorical maps usiпg GIS software. As а coпsequeпce of scale reductioп some of the polygoпs аге becomiпg too small for the target scale апd must bе removed, so the other feature takes its place оп the map. The biggest challeпge was to Lesseп semaпtic errors апd miп&shy; imize the chaпge of share of feature classes so the map better correspoпds to the reality оп the grouпd. This is achieved bу group-iпg polygoпs of the same class bу displaciпg апd mergiпg them. lп this way the пumber of small polygoпs which should bе elimiпated become опеs with sufficieпt агеа. The other way of lesseпiпg errors are mergiпg polygoпs with iпsufficieпt area with а larger adjaceпt objects that&nbsp; is thematically similar. The method for detectiпg апd elimiпatiпg пarrow sectioпs of polygoпs are also proposed.All those methods could bе used for deriviпg апу categorical map (e.g. climate, soil, laпd use, laпd cover, geological map etc.) from digital laпdscape model. Specific software is developed for displaciпg polygoпs structural cells or more precisely their ceпters. The other software is made for dealiпg with polygoп пarrow sectioпs. The aggregatioп model is desigпed iп QGIS апd the mergiпg model is desigпed iп PostGIS, both free апd ореп source software. The results show that the choseп approach is successful.</p>