Academic year 2010/11

У уводном делу предавања биће представљен појам електронске књиге, појавни облици, формати и уређаји за читање. Детаљније ће бити размотрени концепти важни за овај појам који су везани за процес читања. Слушаоцима ће бити презентована два уређаја базирана на технологији електронског мастила у циљу илустровања поменутих појмова. У истом циљу биће приказан кратак филм у трајању од 4 минута који демонстрира најновија достигнућа у развоју електронских књига. Слушаоци ће бити упознати са основним идејaма везаним за промене у процесу читања које изазивају електронске књиге. Предавање је замишљено као увод у тему електронских књига. Слушаоцима ће бити пружен релативно велики број основних информација важних за тему у циљу да их заинтересује за ову нову област и подстакне да сами прате њен динамичан развој.

Being a lazy pure functional language, Haskell is often considered unpractical and purely academic. After 5 years of using Haskell in production, we at Barclays Capital could not disagree more! From the talk you will find out why Haskell is an ideal language for describing complex financial contracts and analyzing them. Those who don't know much about Haskell will learn about its distinctive features and why they might use it for research or at work. Those experienced in Haskell will learn about our usage of Haskell in commercial settings and might even consider joining our team! We will also discuss some formal program verification challenges which arise in our work.

Predavanje obuhvata:

• kratak pregled najvažnijih pojmova i aktuelnih istraživačkih tema iz oblasti elektronski podržanog učenja (E-Learning, ili Technology Enhanced Learning, TEL), čime se kreira kontekst za dalji tok izlaganja
• osvrt na realnost – načine na koji se TEL danas stvarno koristi u svetu
• primere aktuelnih istraživačkih projekata u oblasti TEL kod nas i u svetu

U ovom predavanju će biti objašnjen problem semantičkih baza podataka i razlika izmedju njih i postojećih relacionih sistema. Biće predstavljena i implementacija ovakvog sistema pisana 'od nule', kao i ideje za prilagođavanje ovog koncepta verovatnosnom logičkom modelu.

Poslednjih godina, sa naglim razvojem semantičkih i društvenih mreža, znatno se menja slika o ulozi i prirodi baza podataka na kojima leže takve veb aplikacije. Pojam NoSQL baze podrazumeva širok spektar nekoliko kategorija nerelacionih baza podataka različitih namena. Među njima posebno mesto pripada graf-bazama kao segmentu koji predstavlja sponu između dobrih strana relacionih sistema i novih projektnih zahteva sa elementima uvođenja semantike i zaključivanja.

Фамилија ℱ ⊆ 2^[n] подскупова скупа [n] = {1, 2, …, n} је независна ако не садржи k + 1 ≥ 3 различитих скупова A₀, A₁, …, A_k таквих да је $A_0={\cup }_{i=1}^k{A}_i$. За n = 3 то је нпр. фамилија {{1}, {1, 2}, {1, 3}, {2, 3}}. Други пример је фамилија која се састоји од свих k-чланих подскупова скупа [n], за произвољно k, 1 ≤ k < n.

Нека је b_n величина највеће независне фамилије у 2^[n]. Непосредним израчунавањем добија се да је b_n = 1, 2, 4, 7, 13, 24 за n = 1, 2, 3, 4, 5, 6. Клајтман је 1976. године показао да је

где је

Једноставна конструкција показује да је b_n ≥ b′_n, где је $b_n^{\prime }={\sum }_{i=1}^{n-1}\left(\genfrac{}{}{0ex}{}{i}{\lceil i/2\rceil }\right)$, тј. и b′_n је доња граница за b_n. Испоставља се да је граница b′_n боља за непарне, а b″_n за парне n, n ≥ 11.

Semantičke tehnologije su budućnost veb-a. Semantički veb je baziran na ontologijama (u konceptualnom i strukturalnom smislu) i tehnologijama poput RDF-a, OWL-a, SPARQL-a, SWRL-a itd. (u smislu realizacije). U svom izlaganju pokusaću da dam prikaz tih tehnologija. Pored toga, daću i prikaz SeSaMe sistema (i ontologije uređaja koja je sastavni deo ovog projekta) kao primer koricenja OWL ontologije i rezonovanja, na osnovu pravila SWRL jezika, u modelovanju i implementaciji sistema pametne kuce.

Baza za pretraživanje podataka o terorizmu i organizovanom kriminalu (Terrorist and Organized Criminal Search Data Base) skraćeno TOC search, predstavlja dinamički sistem za unos i pretraživanje informacija o terorizmu i organizovanom kriminalu, na globalnom nivou. Osnovni cilj ove baze je da pomogne i olakša rad istraživanjima, analitičarima, studentima i svima ostalima u praćenju i proučavanju terorizma i organizovanog kriminala. Pored edukativne uloge, TOC search baza ima značajne primene i u praksi kao dodatna mera zaštite nacionalnih granica. Kao osnovni izvor podataka u bazi koriste se izveštaji prestižne instituticije za studije bezbednosti, Geogre C. Marchal centra, to doprinosi samom kvalitetu podataka u bazi. Pored izveštaja Geogre C. Marchal centra koriste se i ostali izvori podataka otvorenog i zatvorenog tipa.

Elektronsko poslovanje postaje sve dominantniji način poslovanja širom planete. Njegova ključna komponenta su tehnologije, koje su izvor svih njegovih prednosti i mana. Servis za bežično elektronsko plaćanje pristupa Internetu objedinio je nekoliko tehnologija u neuobičajeno, jednostavno i efikasno rešenje za bežično elektronsko poslovanje. Biće predstavljeni projektovanje sistema, detalji implementacije i upotreba na tržištu.

Дигитализација културне баштине све више узима маха. Тиме се отвара и расте проблем проналажења потребних дигиталних ресурса. Једно могуће решење је изградња јединственог регистра дигитализованих културних добара чиме би се омогућио преглед и претраживање великог броја ресурса на једном месту. Централизација података би објединила институције и појединце који дигитализују културна добра и тиме спречила дигитализацију истих добара више пута. У раду су разматране могућности које регистар пружа, као и различити проблеми који се јављају при његовој имплементацији. Представљени су концепти и карактеристике решења као и могућности за његову будућу примену у пракси.

Ovaj rad obrađuje metodu grananja i ograničavanja za rešavanje problema kombinatorne optimizacije i njenu primenu na rešavanje problema trgovačkog putnika. Prvi deo rada je posvećen detaljnoj obradi same metode, drugi deo opisuje problem trgovačkog putnika, dok je treći namenjen konkretnoj implementaciji metode za rešavanje problema trgovačkog putnika. Pri implementaciji korišćena je nestandardna formulacija problema, za dobijanje inicijalnog rešenja primenjena je heuristička metoda najbližeg suseda, a za rešavanje linearnih programa korišćen je third party softver GLPK.

Predstavljanje Grupe za automatsko rezonovanje (ARGO)

ARGO (Automated Reasoning GrOup) je Grupa za automatsko rezonovanje Matematičkog fakulteta u Beogradu. Oblast istraživanja grupe je automatsko rezonovanje, pre svega korišćenje procedura odlučivanja u sistemima za automatsko rezonovanje, iskazna zadovoljivost (SAT) i zadovoljivost u okviru teorija prvog reda (SMT), sistemi za rezonovanje u geometriji, strategije učenja procedura odlučivanja, fenomeni fazne promene i drugi problemi koji povezuju automatsko rezonovanje sa kompleksnošću, kriptografijom, ali i mašinskim učenjem i istraživanjem podataka.
U izlaganju će biti reči o tekućim istraživanjima u okviru Grupe za automatsko rezonovanje, o nedavno objavljenim radovima, kao i o projektima u koje su uključeni članovi grupe.

U radu su prikazani koncepti sistema za podršku odlučivanju i skladištenju podataka sa akcentom na proces integracije podataka. Takođe je prikazana primena navedenih koncepata u analizi transakcija izvršenih u okviru poslovne mreže Banke Poštanske Štedionice,a.d. u cilju njenog poboljšanja.

Kreditne kartice, potrošački i gotovinski krediti, pozajmice... su neizostavni deo savremenog načina života. U bankarstvu procena da li će svaki klijenta moći da vrati zadužena sredstva je jedan od ključnih faktora za opstanak na tražištu.
U ovom radu prikazane su metode za istraživanje podataka koje mogu da se primena u velikom broju različitih istraživanja u oblasti bankarstva. Jedno od istaživanja sprovedeno je u Banci Poštanskoj Štedionici sa ciljem da se identifikuje profil visokorizičnog klijenta u poslovanju sa dinarskim tekućim računima. Potencijalno visokorizičnim klijentima se ne bi odobrila sredstva banke, a sa ciljem da se smanji rizik u poslovanju i količina odobrenih a kasnije nenaplativih sredstava svede na minimum.

U radu je obrađen pojam multidimenzionalnosti podataka i načini njihove analize sa akcentom na OLAP tehnike. Prikazana je primena OLAP tehnika u analizi otplate duga klijenata Banke Poštanske štedionice a.d. Cilj je bio da se raspoloživi podaci prečiste i organizuju u specifične strukture, iz kojih korisnici mogu da interaktivno prave izveštaje tako što sami biraju skup podataka kao i način na koji će biti prikazan.

Fokus ovog izlaganja će biti na korisničkim, kao i pojedinim administratorskim alatima IBM Cognos 8 platforme za poslovnu inteligenciju. Alati će biti prikazani kroz primere na modulu ljudskih resursa poslovnog informacionog sistema. Pored prikaza samih alata, biće izložena i arhitekura platforme. Takođe, bice objašnjeno otkud potreba za razvijanjem i uvođenjem tehnologija za poslovnu inteligneciju pored već postojećih aplikacija za kreiranje izveštaja iz relacionih baza podataka.

U ovom radu je prikazan genetski algoritam (GA) za rešavanje grafovskog problema minimalne energetske povezanosti (SMET). Prostor za primenu ovakvog algoritma je vrlo širok, prevashodno u mrežama bežičnih senzora. Dokazano je da ovaj problem pripada grupi NP kompletnih problema. Uzimajući u obzir polja primene rešavača ovakvog problema, neegzaktni načini rešavanja, sa suboptimalnim rešenjima, predstavljaju značajan doprinos u realnim aplikacijama. U literaturi se spominju i približni algoritmi zasnovani na rešavanju problema minimalnog povezujućeg stabla sa garantovanim koeficijentom kvaliteta, no postoje i egzaktni metodi koji su bazirani na različitim formulacijama linearnog programiranja i pretrazi sa odsecanjem. Predstavljeni su rezultati koji predstavljaju optimalna rešenja u slučajevima uporedivih manjih dimenzija, ali su predstavljena i rešenja za slučajeve dosta većih dimenzija.

U radu je opisan dizajn i implementacija podsistema za nastavničke beleške u okviru informacionog sistema StudInfo. Informacioni sistem StudInfo predstavlja veb aplikaciju koja omogućava redovan rad studentske službe, podršku nastavnog procesa i praćenje studentskih aktivnosti na više fakulteta Univerziteta u Beogradu. Podsistem za nastavničke beleške je implementiran sa ciljem da se olakša i unapredi vođenje nastavnih aktivnosti vezanih za kurseve i studente. Nastavnicima je omogućeno postavljanje, menjanje, brisanje i pregledanje beleški uz kurseve i studente u čijoj nastavi učestvuju. Prilikom implementacije korišćeni su: relacioni sistem za upravljanje bazom podataka DB2 IBM za čuvanje podataka, Java Server Pages (JSP) tehnologija za dinamičko generisanje veb strana, čiji sadržaj zavisi od zahteva koji je klijent poslao veb serveru i Hibernate za preslikavanje podataka između relacione baze podataka i klasa u objektno-orijentisanom jeziku Java.

Tema ovog rada su alati koji su deo velike familije proizvoda, Oracle Fusion Middleware 11g: Oracle Forms Developer i Oracle Reports Builder, i njihova primena u razvoju informacionih sistema. Ovi alati omogućavaju programerima da na jednostavan način razvijaju kompleksne aplikacije. Cilj rada je upoznavanje sa funkcijama ovih alata, kreiranjem modula koji su deo takvih aplikacija, kao i njihovim povezivanjem u jedinstvenu celinu. Poslednji deo rada je kratko upoznavanje sa modulom Kadrovska evidencija informacionog sistema Avizo, koji je zaštićeni robni znak preduzeća Saga Infotech.

Kupovina na Internetu pomoću kreditnih kartica je jedan od najvažnijih postojećih vidova elektronske trgovine. Sistemi za ovu vrstu kupovine treba da ispune dvije osnovne klase zahtjeva, zahtjeve sigurnosti i zahtjeve lakoće koriš¡ćenja. U osnovi svakog ovakvog sistema leže kriptografski protokoli, čija je sigurnost stoga ključna za sigurnost kompletnog sistema. U ovom izlaganju, dajemo kratak pregled osobina nekoliko postojećih sistema, a zatim i prijedlog novog sistema nazvanog IPS. Razmotrićemo i postojeće metode verifikacije sigurnosti kriptografskih protokola, te predstaviti metod upotrijebljen za verifikaciju IPS protokola.

Razmatra se Burous-Vilerova transformacija, odnosno problem leksikografskog sortiranja ciklicnih permutacija zadate niske, kao i primena te transformacije u okviru algoritma za kompresiju podataka.

Intenzivan razvoj računarstva od polovine XX veka doprineo je razvoju uređaja i algoritama koji za osnovni cilj imaju grafički prikaz i vizualizaciju sveta koji nas okružuje. Jedan od najstarijih i najpoznatijih algoritama računarske grafike je rejtrejsing algoritam koji rešava problem globalnog osvetljenja i omogudava kreiranje foto-realističnih prikaza trodimenzionih scena. Koristedi parametre scene poput geometrijskog opisa objekata prisutnih u sceni, parametre materijala i osvetljenja, rejtrejsing algoritam izračunava koji su objekti vidljivi za posmatrača u sceni, kao i višestruke interakcije svetlosti sa datim objektima, simulirajudi komplikovane fizičke reakcije iz stvarnog sveta. S druge strane, hiperbolički prostor je intrigantna geometrijska struktura koja se često kosi sa našom intuicijom, po prirodi euklidskom. U nameri da kreiramo alat za vizualizaciju hiperboličkog prostora i ispitivanje njegovih osobina, razvili smo verziju rejtrejsing algoritma u hiperboličkom prostoru koja nije do sada postojala. U ovom predavanju iznedemo detalje o razvijenom algoritmu, određenim problemima sa kojima smo se susreli, predloženim rešenjima i ostvarenim rezultatima.