Search
Now showing items 1-10 of 11
Intesection types and resource control in the intuitionistic sequent lambda calculus
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 03-07-2013)
Дат је детаљан преглед садашњих концепцијских решења и начина монтаже савремених универзалних зупчастих редуктора. Карактеристике ових решења анализиране су посредством јединичних и комплексних показатеља квалитета. Резултати ...
Моделирање и имплеметација убрзаног развоја електронске управе / Modeliranje i implemetacija ubrzanog razvoja elektronske uprave
(Универзитет у Новом Саду, Факултет техничких наука, 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
(Универзитет у Новом Саду, Факултет техничких наука, 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 ...