Оглавление секции
-
Titular: conf.univ.,dr. ABABII VICTOR
Descrierea cursului
Actualmente, sistemele de calcul, rețelele de calculatoare, rețelele informaţionale, sistemele Cloud Computing, cu arhitecturi orientate pe obiecte și servicii (SCOS), cunosc o dezvoltare rapidă atât sub aspectul complexităţii, siguranței în funcționare, performanţelor, cât şi al ariei de răspândire.
La nivelul activităţilor de elaborare şi realizare interesul evaluării indicatorilor QoS (Quality of Service) ale SCOS, aplicaţiilor de calcul concurrent tinde să crească în condiţiile sporirii complexităţii sistemelor de realizat şi implicit a riscului de a obţine produse insuficient adaptate destinaţiei şi cerinţelor de performanţă dorite. În mod asemănător – alegerea unui sistem de calcul, adecvat cerinţelor proprii unor clase de aplicaţii, presupune investigaţii preliminare privind modelarea, verificarea proprietăților comportamentale și a evaluării performanțelor SCOS în contextul viitor de realizat.
Scopul cursului “Evaluarea performanțelor“ reprezintă studierea și însuşirea practică a metodelor avansate de modelare, simulare vizuală, verificare a proprietăților comportamentale şi evaluare a performanţelor proceselor de calcul cu evenimente discrete ale sistemelor de calcul.
Obiectivele de bază ale acestui curs sunt:
- Studiul metodelor și formarea abilităților de construire a modelelor proceselor de calcul prin rețele Petri stocastice (RPGS) şi a tehnicilor de verificare a proprietăţilor comportamentale şi evaluare a performanţelor sistemelor de calcul (SC);
- Formarea abilităților de utilizare și aplicare în practică a pachetelor de programe CAD aferente pentru simularea vizuală și evaluare a indicatorilor de performanţă ai modelelor RPGS elaborate.
-
Să cunoască metodele şi tehnicile de bază necesare pentru construirea modelelor ce descriu funcţionarea sistemelor de calcul şi analiza lor.
Să cunoască natura temporizării stochastice şi să înţeleagă proprietăţile markoviene ale proceselor cu evenimente discrete în sistemele informatice şi a sistemelor de calcul cu prelucrare distribuită a datelor;
Să reproducă raţionamentele definirii operaţiilor descriptiv-logice pentru descrierea formală a fenomenelor comportării proceselor cu evenimente discrete în sistemele calcul, cum ar fi concurenţa, sincronizarea, conflictele, paralelism, excluderea mutuală, aşteptare etc;
Să cunoască şi să înţeleagă tehnicile hibride markoviene de modelare ale proceselor discret-continue, aplicabile la evaluarea performanţelor sistemelor de calcul şi a reţelelor de calculatoare.
Să aplice cunoştinţele teoretice despre formalismul reţelelor Petri stocastice la rezolvarea problemelor de modelare, verificare funcţională, validare şi evaluare a performanţelor sistemelor de calcul distribuite.
-
-
-
Студенты должныОтметить как выполненный
-
Студенты должныОтметить как выполненный
-
Студенты должныОтметить как выполненный
-
Студенты должныОтметить как выполненный
-
Студенты должныОтметить как выполненный
-
Студенты должныОтметить как выполненный
-
-
-
-
-
Студенты должныОтметить как выполненный
-
-