Seminar on Computer Science and Applied Mathematics
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.
Utorak, 7.04.2015. u 14:15h, Sala 301f, MI SANU:
Veljko Milutinovic, Elektrotehnicki fakultet, Univerzitet u Beogradu
FROM RATS AND WINEFLIES OVER HORSES AND CHICKEN TO ANTS AND EXADATA
Abstract: Science moved from rats to wineflies to accelerate the experimenting, then, for further acceleration, turned to supercomputers, i.e., multicores (Intel, horses), and manyflow (NVidia, chicken), but now the time has come for ants (dataflow), which will be able, for BigData, to achieve ExaData a decade before any controlflow, easily explainable via Feynman's principles.
Utorak, 14.04.2015. u 14:15h, Sala 301f, MI SANU:
NEMA SASTANKA SEMINARA ZBOG USKRSNJIH PRAZNIKA
Utorak, 21.04.2015. u 14:15h, Sala 301f, MI SANU:
Professor Sahra Sedighsarvestani, Missouri University of Science and Technology
TOWARDS QUANTITATIVE MODELING OF RELIABILITY FOR SUSTAINABLE CRITICAL INFRASTRUCTURE: CHALLENGES AND ADVANCES
Abstract: Critical infrastructure systems are increasingly reliant on cyber infrastructure that enables intelligent real-time control of physical components. This cyber infrastructure utilizes environmental and operational data to provide decision support intended to increase the efficacy and reliability of the physical system and facilitate mitigation of failure. Correctly implemented, the ultimate result of these efforts is more sustainable use of non-renewable resources and reduction of environmental impact. However, realistic imperfections such as corrupt sensor data, software errors, or communication outages can cause failure in an otherwise functional physical infrastructure, defying the purpose of intelligent control. As such, justifiable reliance on cyber-physical critical infrastructure is contingent on rigorous investigation of the effect of intelligent control, including modeling and simulation of failure propagation within the cyber-physical infrastructure. We discuss challenges in and recent advances towards development of quantitative models and accurate simulation methods for cyber-physical critical infrastructure systems, with focus on the reliability of smart grids and intelligent water distribution networks.
Short bio: Dr. Sahra Sedigh Sarvestani is an Associate Professor of Electrical and Computer Engineering and Computer Science and a Research Investigator with the Intelligent Systems Center at the Missouri University of Science and Technology. She received the B.S. degree from the Sharif University of Technology and the M.S. and Ph.D. degrees from Purdue University, all in electrical engineering. Her current research centers on development and modeling of dependable networks and systems, with focus on critical infrastructure. Her projects include research on dependability of the electric power grid, large-scale water distribution networks, and transportation infrastructures. Her past and present research sponsors include the US and Missouri Departments of Transportation, the Department of Education, the National Security Agency, and the EU FP7 Program on Smart Monitoring of Historic Structures. She is a Fellow of the National Academy of Engineering's Frontiers of Engineering Education Program. She held a Purdue Research Foundation Fellowship from 1996 to 2000. She is a member of HKN, IEEE, and ACM.
Utorak, 21.04.2015. u 15:15h, Sala 301f, MI SANU:
Professor Ali Hurson, Missouri University of Science and Technology
ENERGY-EFFICIENT ALGORITHMS FOR DATA RETRIEVAL FROM INDEXED PARALLEL BROADCAST CHANNELS
Abstract: Constraints on the energy, bandwidth, and connectivity
of mobile devices complicate the timely and reliable access to
public data. Energy is often the most stringent constraint,
necessitating techniques that facilitate operation in
energy-saving modes. Broadcasting, typically over parallel
channels, has proven to be an effective method for dissemination
of public data to mobile devices. However, the employment of
parallel channels introduces challenges associated with channel
switches and conflicts due to the concurrent accesses to multiple
data items that ultimately increase energy consumption and
response time. The detrimental effects on energy consumption and
response time can be alleviated by scheduling the retrieval of
data items in an order that reduces the number of passes over the
air channels and channel switches between the parallel channels.
This research, proposes several scheduling algorithms that achieve the aforementioned objectives. To further improve energy consumption and response time, the scope of our scheduling algorithms has been enhanced by replication of popular data items. The proposed scheduling algorithms, both with and without replication, have been simulated and simulation results are presented and analyzed. These results show that the proposed scheduling algorithms, compared to some heuristic based methods, have greater impact in reducing the energy consumption and response time. This reduction is shown to be more pronounced with replication of data items.
Index Terms: Algorithm/protocol design and analysis, energy management, query processing, ubiquitous computing, broadcasting
Short bio: A. R. Hurson is a professor of departments of Computer Science, and Electrical and Computer Engineering at Missouri S&T. For the period of 2008-20012 he served as the computer science department chair. Before joining Missouri S&T, he was a professor of Computer Science and Engineering department at The Pennsylvania State University. His research for the past 30 years has been supported by NSF, DARPA, Department of Education, Air Force, Office of Naval Research, NCR Corp., General Electric, IBM, Lockheed Martin, Penn State University, and Missouri S&T. He has published over 300 technical papers in areas including database systems, multidatabases, global information sharing processing, application of mobile agent technology, object oriented databases, Mobile and pervasive computing, computer architecture and cache memory, parallel and distributed processing, dataflow architectures, and VLSI algorithms. Professor Hurson has been active in various IEEE/ACM Conferences and has given tutorials on global information sharing, database management systems, supercomputer technology, data/knowledge-based systems, dataflow processing, scheduling and load balancing, parallel computing, and Pervasive computing. Currently, he is serving as an ACM distinguish lecturer, Editor-in-Chief Advances in computers, editor of The CSI Journal of Computer Science and Engineering, and editor of Computing Journal.
Utorak, 28.04.2015. u 14:15h, Sala 301f, MI SANU:
dr Vjekoslav Bobar, Uprava za zajednicke poslove republickih organa, Vlada Republike Srbije
INTEGRISANI FUZZY PRISTUP ZA RESAVANJE PROBLEMA IZBORA PONUDJACA U PROCESU ELEKTRONSKE JAVNE NABAVKE
Apstrakt: Cilj ovog rada jeste da ukaze na mogucnosti unapredjenja donosenja odluke o izboru ekonomski najprihvatljivijeg ponudjaca u procesu elektronske javne nabavke (e-nabavke) gde postoji veliki broj ponudjaca, a izbor najprihvatljivijeg izmedju njih vrsi se na osnovu veceg broja kvalitativnih i kvantitativnih kriterijuma. U ovom slucaju, unapredjenje izbora ponudjaca moze se izvrziti primenom integrisanog fuzzy pristupa gde se vrsi odredjivanje vrednosti pridruzenih izlaznih promenjivih koje odgovaraju tezinama kvalitativnih kriterijuma koje pripadaju fuzzy skupu putem defazifikacije, odnosno izbora jedne vrednosti izlazne kvalitativne promenjive uz kvantifikovanje iste i uporedjivanje sa kvantitativnim kriterijumima. Za primenu integrisanog fuzzy pristupa u radu je razvijen fuzzy sistem za podrsku odlucivanju (FSPO) Ciji su benefiti i efikasnost primene prikazani na resavanju slucaja javne nabavke u drzavnom organu Republike Srbije.