РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000197994<.>)
Загальна кількість знайдених документів : 1

Нестеренко Б. Б. 
Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б. Б. Нестеренко, М. А. Новотарский // Электрон. моделирование. - 2008. - 30, № 1. - С. 3-18. - Библиогр.: 7 назв. - рус.

Рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены основные понятия поведенческой эквивалентности моделей, представленных маркированными системами с переходами. Дано определение и изложены основные свойства строгого взаимного подобия моделей. На основании полученных свойств разработаны прямой и ускоренный алгоритмы определения строгого взаимного подобия.


Індекс рубрикатора НБУВ: З813.14

Рубрики:

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського