Résumé de section

  • 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.