Search
Now showing items 1-10 of 11
Intesection types and resource control in the intuitionistic sequent lambda calculus
(University of Novi Sad, Faculty of Technical Science, 09-10-2013)
This thesis studies computational interpretations of the intuitionistic sequent calculus with implicit and explicit structural rules, with focus on the systems with intersection types. The contributions of the thesis are ...
Teorija realnog integrisanog merila harmonika
(University of Novi Sad, Faculty of Technical Science, 27-06-2013)
Jedan od najvažnijih parametara kvaliteta električne energije u distributivnoj mreži je harmonijski sastav naponskih i strujnih signala. U disertaciji je razmatrano integrisano merilo harmonika, na principu stohastičke ...
Mikrotalasni filtri sa više nezavisno kontrolisanih propusnih opsega realizovani u mikrostrip arhitekturi
(University of Novi Sad, Faculty of Technical Science, 15-11-2013)
Filtri predstavljaju nezaobilazan deo svakog mikrotalasnog uređaja. Skorašnji veoma brz razvoj bežičnih sistema pred mikrotalasne filtre postavlja nove zahteve kao što su visoke performanse, kompaktnost i rad na više ...
Metode transformacija šema baza podataka u obezbeđenju reinženjeringa informacionih sistema / Methods of Database Schema Transformations in Support of the Information System Reengineering Process
(University of Novi Sad, Faculty of Technical Science, 30-11-2013)
Cilj istraživanja realizovanih u ovom radu, bio je je da se formalno opišu mogući pristupi transformacijama različitih opisa baza podataka iz jednog modela podataka u drugi i praktično provere kroz njihovu implementaciju ...
Развој методе мерења протока ваздуха помоћу регулационе жалузине / Razvoj metode merenja protoka vazduha pomoću regulacione žaluzine
(University of Novi Sad, Faculty of Technical Science, 17-10-2013)
Предмет истраживања у оквиру докторске дисертације је развој методе и мерила запреминског протока ваздуха. Запремински проток ваздуха мерен је квадратном регулационом ATP (Air Torque Position) жалузином на посредан начин, ...
Razvoj metode za ocenu efikasnosti rada poljoprivrednih biogas postrojenja primenom fazi logike i ekspertskih sistema / Development of a method for assessing the efficiency of agriculturalbiogas plants using fuzzy logic and expert systems
(University of Novi Sad, Faculty of Technical Science, 23-09-2013)
Cilj ovog istraživanja bio je da se razvije metoda čijim korišćenjem može da se doprinese poboljšanju efikasnosti rada poljoprivrednih biogas postrojenja. Da bi se to ostvarilo, izabrani su odgovarajući kriterijumi i ...
Odnos energetske efikasnosti i pouzdanosti u bežičnim senzorskim mrežama / Energy-Efficiency and Reliability Trade-Off in Wireless Sensor Networks
(University of Novi Sad, Faculty of Technical Science, 24-10-2013)
U ovoj disertaciji je kvantitativno određen odnosa energetske efikasnosti i pouzdanosti u bežičnim senzorskim mrežama na fizičkom sloju i sloju kontrole pristupa medijumu. Pronađene su optimalne vrednosti ovog odnosa u ...
Концепције развоја универзалних зупчастих редуктора / Koncepcije razvoja univerzalnih zupčastih reduktora
(University of Novi Sad, Faculty of Technical Science, 03-07-2013)
Дат је детаљан преглед садашњих концепцијских решења и начина монтаже савремених универзалних зупчастих редуктора. Карактеристике ових решења анализиране су посредством јединичних и комплексних показатеља квалитета. Резултати ...
Моделирање и имплеметација убрзаног развоја електронске управе / Modeliranje i implemetacija ubrzanog razvoja elektronske uprave
(University of Novi Sad, Faculty of Technical Science, 05-02-2013)
Циљ - Циљ истраживања је да се дефинише модел развоја еУправе за регинални и локални ниво управе који ће омогућити да се, уз уважавање ограничења над инфраструктурним и финансијским ресурсима, смањи заостајање у односу на ...
Metode realizacije kontekstualnih platformi i kontekstualnih korisničkih sprega za primene u uređajima potrošačke elektonike / Methods of implementation of context-aware platforms and context-aware user interfaces for applications in consumer electronics
(University of Novi Sad, Faculty of Technical Science, 11-02-2013)
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 ...