Seminar on
Applied Mathematics
PROGRAM
Utorak, 01.04.2008. u 14:15, Sala 305, MI SANU:
Jozef Kratica, Matematicki institut, Beograd
Mirjana Cangalovic, Vera Kovacevic-Vujcic, Fakultet organizacionih nauka
COMPUTING MINIMAL DOUBLY RESOLVING SETS OF GRAPHS
Abstract: In this talk we consider the problem of determining minimal doubly resolving sets (MDRSP) of graphs. We prove that the problem is NP-hard and give its integer linear programming formulation. The problem is solved by a genetic algorithm (GA) that uses binary encoding and standard genetic operators adapted to the problem. Experimental results include three sets of ORLIB test instances: crew scheduling, pseudo boolean and graph coloring. GA is also tested on theoretically challenging large-scale instances of hypercubes and Hamming graphs. Optimality of GA solutions on smaller size instances has been verified by total enumeration. For several larger instances optimality follows from the existing theoretical results. The GA results for MDRSP of hypercubes are used by a dynamic programming approach to obtain upper bounds for the metric dimension of large hypercubes up to $2^{90}$ nodes, that can not bedirectly handled by the computer.
Utorak, 08.04.2008. u 14:15, SALA 305, MI SANU:
Radomir
Jankovic, Racunarski fakultet, Beograd
PRISTUP RACUNARSKOJ SIMULACIJI SWARMINGA OKLOPNOG
BATALJONA
Sadrzaj: Swarming je taktika, pogodna i u napadu i u odbrani, koja se sve vise uzima u obzir u savremenom koncipiranju izvodjenja borbenih dejstava. Prilagodjenje postojecih oklopnih i mehanizovanih jedinica za primenu swarminga moglo bi da bude najbolja investicija u modernizaciji tehnicki slabije opremljenih armija. U radu se razmatra pristup simulaciji swarminga oklopnog bataljona koji brani teritoriju od pretnje brojcano i tehnicki nadmocnijih jedinica protivnika.
Utorak, 15.04.2008. u 14:15, sala 305, MI BG:
Dragan Radojevic,
Institut "Mihailo Pupin", Beograd
FAZI LOGIKA U SIREM SMISLU ZASNOVANA NA
INTERPOLATIVNOJ BULOVOJ ALGEBRI (IBA)
Sadrzaj: Fazi logika u sirem smislu obuhvata: teoriju fazi
skupova, fazi logiku (u uzem smislu) i fazi relacije. Zajednicko
za sve konvencionalne realizacije fazi logike u sirem smislu
je da se ne nalaze u Bulovom okviru - Bulova algebra nije njihova
algebra. Pokazuje se zasto je to tako i sta su prakticne
posledice i/ili nedostaci konvencionalnih pristupa.
Daju se osnove interpolativne Bulove algebre (IBA) - realno
vrednosne realizacije Bulove algebre. Ujedno se pokazuje kako je
moguce primenom IBA realizovati u Bulovom okviru fazi logiku u
sirem smislu, dakle u istom okviru u kome su: klasicna
logika, klasicna teorija skupova i klasicne relacije, ali sa
znatno bogatijom interpretacijom.
Utorak, 22.04.2008. u 14:15, sala 305, MI BG:
Prikazi medjunarodnih skupova u 2007. godini ICIAM 2007, MISTA 2007, ...
Sadrzaj: Ideja ovog sastanka je da se prikazu i analiziraju medjunarodni skupovi iz oblasti primenjene i industrijske matematike kojima su prisustvovali ucesnici seminara. Molimo sve ucesnike koji su voljni da uzmu ucesca u izlaganjima da se sto pre jave.
RUKOVODIOCI SEMINARA
Vera Kovačević-Vujčić
Milan Dražić