Professional Documents
Culture Documents
Kursevi Doktorske
Kursevi Doktorske
SIGNALI I SISTEMI
Signali, sistemi i transformacije, od teroijskih matematikih osnova do praktine
realizacije kolima i softverski realizovanim algoritmima. Metode analize signala i sistema
sa primenama u filtriranju, obradi signala, komunikacijama i automatskom upravljanju.
Razmatrane teme obuhvataju konvoluciju, spektralne transformacije, algoritme za
njihovo izra?unavanje, metode odabiranja i diskretne obrade signala.
SIGNALS AND SYSTEMS
Signals, systems, and transforms, from theoretical mathematical foundations to practical
implementation in circuit and computer algorithms.Fundamentals of signal and system
analysis with applications in filtering, signal processing, communications, and automatic
control. Topics include convolution, spectral transforms, sampling and discrete signal
processing.
SOFTVERSKE ARHITEKTURE ORIJENTISANE KA SERVISIM A
Modeliranje, projektovanje i realizacija arhitektura orijentisanih ka servisima (SOAService Oriented Architecture). Kreiranje agilnih SOA aplikacija koje se mogu viestruko
koristiti. Automatizacija poslovnih procesa njihovim preslikavanjem na arhitekturu.
Orkestriranje servisa i procesa korienjem jezika BPEL (Business Process Execution
LISTA II
METODE NAUNOG ISTRAIVANJA
Pribavljanje naunih informcija. Izvori naunih informacija. Pouzdanost naunih
informacija. Korienje literature. Bibliografske baze. Metode istraivanja. Organizacija
nunog rada. Sistematizacija i prezentiranje rezultata. Pisanje naunog rada. Kriterijumi
za procenjivanje vrednosti naunog rada. Osnove naunog publikovanja.
SCIENTIFIC RESEARCH METHODS
...
PROJEKTOVANJE I ANLIZA PARALELNIH ALGORITAM A
Paralelni algoritmi za matrina izraunavanja (transpozicija, inverzija, LU
dekompozicija, mnoenje matrica, mnoenje matrice i vektora). Paralelni algoritmi za
reavanje sistema linearnih jednaina. Paralelni algoritmi za FFT. Paralelni algoritmi za
grafovske probleme (nalaenje najkraeg puta, tranzitivno zatvaranje, nalaenje
minimalnog sprenog stabla).
DESIGN AND ANALYSIS OF PARALLEL ALGORITHMS
Parallel algorithms for matrix operations (transposition, matrix inversion, LU
decomposition, matrix multiplication, matrix-vector multiplication). Parallel algorithms
for solving systems of linear equations. Parallel FFT, Parallel algorithms in graph theory
(shortest path, all-pairs shortest paths, transitive closure, minimal spanning trees).
TEORIJA RAUNARSTVa
Formalna definicija, opis i osobine sistema u kojima postoji komunikacija. PI-kalkulus,
kao najire prihvaen model sistema i programiskih modela za mobilne sisteme.
Tjuringove maine formalna definicija i varijante. Uvod u teoriju rekurzije.
Markovljevi algoritmi i granice izracunljivosti.
BIO INFORMATIKa
Ovaj kurs pokriva odabrane algoritme koji se koriste u bioinformatici. Usmeren je na
izgradjivanje prakticnih sposobnosti studenta za razvoj bioinformatickog softvera,
ukljucujuci: pregled postojecih javno raspolozivih banki podataka i softverskih alata iz
ove oblasti, softverske arhitekture za smestanje i cuvanje podataka, i algoritme za
pretrazivanje i ekstrakciju informacije.
INTELIGENTNI INFORMACIONI SISTEMI
Web kao platforma je jedan od danas najatraktivnijih izazova u
racunarstvu i informatici. Za razliku od tradicionalne vestacke
inteligencije, gde je oslonac inteligencije u algoritmima, Inteligentni
Informacioni Sistemi postizu inteligenciju kroz jedinstvo i saradnju
velikog (cesto i ogromnog) broja ljudi koriteci tehnologiju u formi Weba
kao platforme. Ovaj kurs pokriva opste konceptualne pretpostavke,
domen strategije, poslovne aspekte, matematicke osnove, i neke
socioloske osnove. Neki od trenutno aktuelnih termina koji se odnose
na ovu oblast su Web 2.0, Semanticki Web, Socijalne Mreze, Wiki,
Kolaborativno Tagovanje, Identitet, Mikroformati, RSS. NAPOMENA: Do
trenutka startovanja ovog kursa moze se ocekivati nestajanje ili izmena
nabrojanih termina ili pojavljivanje novih termina, te se ova lista
svakako ne treba smatrati za konacnu i referentnu.
TEORIJA IGARA
Osnovni pojmovi u Teoriji igara. Kratak pregled istorije Teorije igara. Matematika
osnova Teorije igara. Klasifikacija igara. Igre ansi i igre strategije. Kooperativne i
nekooperativne igre. Igre sa kombinovanim motivima. Strategije igre. Heuristike.
Rezultat igre. Evaluacione funkcije. Igre sa kompletnim informacijama. Matrica
isplativosti. MiniMax teorema. Stablo odluivanja. Modeli za predstavljanje stabla u
raunaru. Pojam kompleksnosti i kombinatorne eksplozije. Metode za prevazilaenje
problema kompleksnosti. Metoda heuristikog seenja stabla odluivanja. Metoda
iscrpljivanja stabla. Inteligentna obrada stabla. Osnovne i napredne metode u proraunu
stabla odluivanja. Alfa-Beta algoritam. Null-Move algoritam. Tretiranje logikih igara
primenom procedura iz osnovne Teorije igara. Definicija aha kao igre. Kompjuterski ah
- teorija i praksa.
THEORY OF GAMES
The basic concepts of the Theory of games. The brief summary of the history of the
Theory of games. The mathematical basis of the Theory. The classification of the games.
The games of chances and the games of strategies. Cooperative and no cooperative
games. Mixed-motive games. The strategy of the game. The heuristics. The result of the
game. Evaluation functions. The complete information game. The value matrix. MinMax
theorem. The decision tree. The models for computer tree representation. The notion of
the complexity and combinational explosion. The method for exceeds the complexity
problem. The forward and backward pruning method. The brute force method. The smart
tree computing. The basic and advance search techniques. Alfa-Beta algorithm. NullMove algorithm. The logic games based on general theory of games. The definition of
the game of chess. Computer chess theory and practice.
ALGORITMI I ARHITEKTURE SPECIJALIZOVANIH
RAUNARSKIH SISTEMA
Tipini DSP algoritmi. Prezentacija algoritama. Metode za preslikavanje DSP algoritama
u hardver posebne namene. Vremensko usklaivanje. Savijanje i razvijanje arhitektura.
Sistolike arhitekture. Tehnike kompromisa i njihova primena kod hardverskih
akceleratora za digitalnu obradu signala. Upravljanje potronjom. Analiza potronje,
redukcija, procena. Procesori za digitalnu obradu signala. Arhitekture, primeri. Procesori
za mobilne i beine komunikacije. Procesori za obradu multimedijalnih podataka.
ISTOVREMENO PROJEKTOVANJE HARDVERA I SOFTVERA
Uvod. Pregled tehnika projektovanja VLSI sistema. Pregled sredstava za podrku
projektovanju. Metodologija istovremenog projektovanja hardvera i softvera. Analiza
zahteva. Opis sistema. Raspodela zadataka. Modeliranje. Zajednika sinteza hardverinterfejs-softver. Integracija sistema. Zajednika simulacija. Povratak na raspodelu
zadataka po potrebi. Primer istovremeno projektovanje zasnovan na metodi brzog
prototipa. Testiranje.
RAUNARSKA ARITMETIKA
Brojevi i predstavljanje. Redundantni brojni sistemi. RNS aritmetika, osnovni metodi
sabiranja. Napredne tehnike brzog sabiranja. Problem sabiranja vie operanada.
Mnoenje u razliitim brojnim sistemima. Mnoaka polja i stabla. Napredne tehnike
mnoenja. Deljenje. Deljenje u razliitim brojnim sistemima. Napredne tehnike.
Aritmetika visoke preciznosti. Greke i upravljanje grekama. Tabelarna aritmetika.
Visoko protone aritmetike jedinice. Aritmetika kola sa niskom potronjom.Visokopouzdana aritmetika kola.
SISTEMI VISOKE POUZDANOSTI
Analiza potreba za sistemima visoke pouzdanosti . Pouzdanost, dostupnost, bezbednost,
performanse, odrivost, testabilnost. Osnovne definicije. Modeli otkaza. Modeli greaka.
Redundantnost i tehnike za postizanje visoke pouzdanosti. Hardverska redundantnost
(pasivna, aktivna, hibridna). Informaciona redundantnost (parnost, m od n, duplikacija,
sume za proveru, ...). Vremenska redundantnost. Softverska redundantnost (provera
konzistentnosti, provera funkcionalnosti, N-version programiranje).
INTEGRACIJA INFORMACIJA
Problem integracije informacija. Interoperabilnost heterogenih sistema. Tehnike
integracije informacija midlleware, medijacija i ontologije. Midlleware tehnologije
CORBA, DCOM. Standardne eme i renici, tehnologije struktuiranja podataka.
Medijacija informacija i medijatori. Reformulacija upita za dinamiku integraciju
informacija. Notacija i modeli struktuiranje podataka kao to su XML i RDF. Semantiki
Web i Web servisi. Integracija semantike i ontologije. Primene: ugraena logistika,
elektronsko poslovanje, arhitektura i zdravstvo. Velike baze podataka na web-u i
mogunost projektovanja potpuno integrisanog semantikog web-a, s osvrtom na Web
namenjen bazama podataka.
INFORMATION INTEGRATION
Information integration problem. Interoperability among heterogeneous systems.
Information integration techniques - middleware, mediation and ontologies. Middleware
technologies CORBA, DCOM. Standard schemas and vocabularies, data structuring
technology. Information mediation and mediators. Query reformulation for dynamic
information integration. Notations and models for structured data such as XML and RDF.
Semantic Web and Semantic Web Services. Semantic integration and ontologies.
Applications such as incorporate logistics, e-commerce, civil engineering, and health
care. Semantic Web. Large-scale datawebs and prospects for building a fully integrated
semantic web, essentially a world wide web for databases.
techniques in virtual reality. Efficiency and complexity of graphics algorithms. Objectoriented graphics. Graphics and human perception.
UPRAVLJANJE KVALITETOM SOFTVERA
Primena standarda u procesu razvoja softvera. Standardi za upravljanje kvalitetom.
Upravljanje kvalitetom tokom ivotnog ciklusa softvera. Upravljanje zahtevima.
Upravljanje konfiguracijom. Dokumentovanje softvera. Planiranje softverskog projekta.
Razvoj plana kvaliteta. Testiranje i validacija softvera. Korektivne i preventivne akcije u
upravljanju kvalitetom softvera. Metrike kvaliteta softvera. CASE alati i njihov uticaj na
kvalitet softvera.
SOFTWARE QUALITY MANAGEMENT
Using standards in software development process. Quality management standards.
Quality management during software life cycle.
Requirements management.
Configuration management. Software documentation. Software project planning. Quality
plan development. Software testing and validation. Corrective and preventive actions in
software quality menagement. Software quality metrics. CASE tools and software
quality.
NAPREDNE TEME U GEOGRAFSKIM INFORMACIONIM SISTEMIM A
ADVANCED TOPICS IN GIS
Spatial Data Acquisition and Integration, Distributed Computing, Extensions to
Geographic Representation, Cognition of Geographic Information, GIS ontologies,
Interoperability of Geographic Information, Scale, Spatial Statistics and Spatial Analysis
in a GIS Environment, the Future of the Spatial Information Infrastructure, Uncertainty in
Spatial Data and GIS-Based Analyses, Geo-spatial data analysis and mathematic
modeling in GIS, Digital Elevation Models and terrain analysis, Graphical User
Interfaces (GUIs) for environmental modeling with GIS, Geographic Visualization.
INTEGRACIJA GIS I GPS SISTEMA
Osnovni koncepti GIS sistema. Osnovni koncepti GPS sistema. Komercijalna primena
GIS-GPS integracije. Inteligentni transportni sistemi. GIS-GPS map-matching.
Korienje digitalnog modela terena kod GPS navigacije vozila. Greke GPS sistema.
Predvianje GPS tanosti korienjem map-matching tehnike. Tehnike korekcije
greaka GPS sistema.
GIS-GPS INTEGRATION
GIS - Basic principles. GPS - Basic principles. Commercial applications that integrate
GIS and GPS. Intelligent transport systems. GIS-GPS map-matching. Digital terrain
model usage for GPS vehicle navigation. GPS accuracy. GPS accuracy estimation using
map-matching techniques. Techniques for GPS errors corrections.
Integracija informacija
Information Integration
Problem integracije informacija. Interoperabilnost heterogenih sistema. Tehnike
integracije informacija midlleware, medijacija i ontologije. Midlleware tehnologije
CORBA, DCOM. Standardne eme i renici, tehnologije struktuiranja podataka.
Medijacija informacija i medijatori. Reformulacija upita za dinamiku integraciju
informacija. Notacija i modeli struktuiranje podataka kao to su XML i RDF. Semantiki
Web i Web servisi. Integracija semantike i ontologije. Primene: ugraena logistika,
elektronsko poslovanje, arhitektura i zdravstvo. Velike baze podataka na web-u i
mogunost projektovanja potpuno integrisanog semantikog web-a, s osvrtom na Web
namenjen bazama podataka.
Information integration problem. Interoperability among heterogeneous systems.
Information integration techniques - middleware, mediation and ontologies. Middleware
technologies CORBA, DCOM. Standard schemas and vocabularies, data structuring
technology. Information mediation and mediators. Query reformulation for dynamic
information integration. Notations and models for structured data such as XML and RDF.
Semantic Web and Semantic Web Services. Semantic integration and ontologies.
Applications such as incorporate logistics, e-commerce, civil engineering, and health
care. Semantic Web. Large-scale datawebs and prospects for building a fully integrated
semantic web, essentially a world wide web for databases.