Новотарский М. А. Алгебра процессов для имитационного моделирования сложных дискретных систем / М. А. Новотарский // Радіоелектроніка. Інформатика. Управління. - 2007. - № 2. - С. 79-86. - Библиогр.: 4 назв. - рус.Представлена алгебра процессов как инструмент для формального описания сложных дискретных систем. Рассмотрена структура множеств, на которых определены переменные и выражения алгебры процессов. Описаны синтаксические конструкции и семантические правила выполнения операций, позволяющие задавать формальное описание имитационных моделей с реальной рабочей нагрузкой. Для определения адекватности модели предложено использовать принципы эквивалентности, базирующиеся на конгруэнтности, строгом и слабом взаимном подобии. Індекс рубрикатора НБУВ: З813.12
Рубрики:
Шифр НБУВ: Ж16683 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|