Upravni odbor Matematickog instituta SANU je na nedavnoj sednici doneo odluku da se dosadasnji Seminar za primenjenu matematiku, sada nazove Seminar za racunarstvo i primenjenu matematiku, a u cilju potenciranja znacaja racunarstva kao jedne od oblasti delatnosti Instituta. Istovremeno, Upravni odbor doneo je odluku o osnivanju Odeljenja za racunarstvo i primenjenu matematiku i vezao rad novog odeljenja za rad Seminara za racunarstvo i primenjenu matematiku.

U zelji da se ukljucimo u organizaciju ovogodisnje manifestacije M3 - Maj Mesec Matematike, predavanja u okviru Seminara bice popularna i preglednog karaktera. Ujedno vam skrecemo paznju na redovna desavanja M3 manifestacije o kojima se mozete obavestiti na Internet stranici http://m3.cpn.rs/. Kao i ranijih godina, bice organizovani izlozbe, predavanja, tribine, radionice, takmicenja i razne druge aktivnosti u vise gradova sirom Srbije. Molimo vas da uzmete aktivno ucesce u organizaciji i promociji ovog dogadjaja.

Utorak, 6.05.2014. u 14:15, Sala 301f, MI SANU:

NEMA PREDAVANJA

Rezime: Predavanje nece biti odrzano zbog Djurdjevdana.

Utorak, 13.05.2014. u 14:15h, Sala 301f, MI SANU:
dr Zivko Bojovic, dipl. ing., preduzece za telekomunikacije "Telekom Srbija" a.d.
RACUNARSKE MREZE SLEDECIH GENERACIJA - PRAVCI I IZAZOVI

Rezime: Nove racunarske mreze treba da omoguce rad po principu: "pristupi odakle zelis, kada zelis, sa cime zelis, a plati samo ono sto koristis". Omogucavaju prenos multimedijalnih sadrzaja preko javnog interneta koji "relaksira" granice izmedju operatora. Povecava se snaga smart telefona i implementiraju nove funkcionalnosti i komponente kako bi se priblizili klasicnim racunarima. Napredak vodi ugradnji ovih komponenti u vozila, stambene i poslovne objekte, aparate za domacinstvo, pa cak i u delove odece. U narednom periodu se ocekuje kvalitativno velik tehnoloski skok i u oblasti primene vestacke inteligencije u racunarskim mrezama gde se cine pokusaji da se ljudskim bicima dodeli nova dimenzija vezana za nadzor, kontrolu i upravljanje pojedinim telesnim funkcijama. U ovom popularnom predavanju bice dat kratak prikaz izazova i smernica u razvoju racunarskih mreza sledecih generacija.

Utorak, 20.05.2014. u 14:15h, Sala 301f, MI SANU:
Dusan Zorica, Matematicki institut SANU
UOPSTENJA TALASNE JEDNACINE U OKVIRU TEORIJE FRAKCIONOG RACUNA

Rezime: Klasicna talasna jednacina, u kojoj figurisu celobrojni parcijalni izvodi po prostornoj i vremenskoj koordinati, moze se zapisati u obliku sistema jednacina koji cine: jednacina kretanja, konstitutivna jednacina i mera deformacije. Kako je jednacina kretanja posledica drugog Njutnovog zakona, ona se ne uopstava. Konstitutivna jednacina opisuje odziv materijala na primenjenu silu i uopstavace se koriscenjem frakcionih izvoda, cime se dobijaju konstitutivne jednacine koje opisuju klasu linearnih viskoelasticnih materijala. Karakteristika ovakvih materijala je uticaj istorije deformacije na njenu trenutnu vrednost. Mera deformacije predstavlja vezu izmedju deformacije i pomeranja i, ukoliko se uopstava u okviru teorije frakcionog racuna, modelira sredine koje pokazuju svojstvo prostorne nelokalnosti. Sistem parcijalnih diferencijalnih jednacina celobrojnog i frakcionog reda, koji opisuje talasno kretanje, resavan je metodom Laplasove transformacije, a resenja su data u obliku konvolucije prinudne sile i jezgra resenja. Dati su i numericki primeri. Prikazani rezulati su dobijeni u saradnji sa akademikom Teodorom Atanackovicem, dr Markom Janevim, doc. dr Sanjom Konjik, doc. dr Ljubicom Oparnicom i akademikom Stevanom Pilipovicem.

Utorak, 27.05.2014. u 14:15h, Sala 301f, MI SANU:
Mladen Nikolic, Matematicki fakultet, Beograd
SAT RESAVACI - SISTEMI ZA PROVERU ZADOVOLJIVOSTI ISKAZNIH FORMULA

Rezime: Problem zadovoljivosti iskaznih formula (SAT problem) je jedan od centralnih problema teorijskog racunarstva. Pored vaznog mesta u teoriji slozenosti izracunavanja, koje mu pripada kao prvom dokazano NP kompletnom problemu, SAT problem ima i vazne prakticne primene u oblastima poput planiranja, rasporedjivanja i verifikacije hardvera i softvera. Prakticni znacaj ovog problema je inspirisao razvoj SAT resavaca - sistema za proveru zadovoljivosti iskaznih formula. U prethodnim decenijama ovi sistemi su do\v{z}iveli ogroman napredak i u mogucnosti su da provere zadovoljivost iskaznih formula koje opisuju prakticne probleme i sadrze desetine hiljada promenljivih i stotine hiljada klauza. U ovom izlaganju bice opisano funkcionisanje modernih SAT resavaca. Posebna paznja bice posvecena najpopularnijem sistemu pravila - CDCL sistemu, koji sluzi kao osnova najefikasnijih SAT resavaca.

RUKOVODIOCI SEMINARA

MI SANU
Vera Kovačević-Vujčić
Milan Dražić

FON
Zorica Bogdanovic
Marijana Despotovic-Zrakic

IEEE
Bozidar Radenkovic