Рассмотрен метод построения модели минимального обобщенного алгоритма из частных моделей. Частные модели алгоритмов записываются в языке регулярных схем системных моделей. Используя систему аксиом тождественно-эквивалентных преобразований алгоритмов в регулярных схемах системных моделей, выносят за скобки общие эквивалентные части алгоритмов и получаем минимизированную системную модель. Такие операции позволяют строить системные модели из частных моделей структурного и событийного характера. Системные модели позволяют произвести анализ проектируемой технической системы методом системного моделирования.

  Повний текст PDF - 308.35 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"