Зведений каталог бібліотек Харкова

 

ЕОМАлакел, Моханнад
    Моделі складних систем на базі алгебри процесів [Текст] : магістерська атестаційна робота, пояснювальна записка / кер. роботи проф. Горбачов В.О. ; ХНУРЕ, Кафедра Електронних обчислювальних машин. — Харків, 2014. — 107 с.


- Анотація:

В магістерській роботі розглядаються задачі, що виникають при дослідженні складних систем. В роботі аналізуються засоби опису складних систем, та засобів, які тільки зоглядаються. Такі засоби використовуються як на стадії функціонування, так і на стадії проектування з метою зменшення та виявлення помилок. Механізми опису складних систем використовуються в САПР, призначених для автоматичної розробки систем. ІНФОРМАЦІЙНА СИСТЕМА, ПРОЦЕС, ПОДІЯ, ОС, ГРАФ, РОЗПОДІЛЕННЯ РЕСУРСІВ, OR-МОДЕЛЬ, UML, АЛГЕБРА ПРОЦЕСІВ, CCS, LTS, БІСИМУЛЯЦІЯ. This paper consider methods of system description. It provides an analysis of the process at a high level of the problem. The paper discusses the currently existing methods, and their analysis are highlighted advantages and disadvantages. The possibility of using the theory of process algebra for resolving this problem. The methods of system description are used in CAD systems for thr creation of models INFORMATION SYSTEM, PROCESS, EVENT, OS, GRAPH, OR-MODEL, UML, PROCESS ALGEBRA, CCS, LTS, BISIMULATIO

- Теми документа

  • Дипломні роботи студентів ХНУРЕ // Дипломні роботи кафедри Електронно-обчислювальних машин (ЕОМ)
  • Дипломні роботи студентів ХНУРЕ // Магістерські атестаційні роботи кафедри ЕОМ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 1 Перейти на сайт