|
Искусственный интеллект и принятие решений, 2012, выпуск 1, страницы 57–64
(Mi iipr422)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Моделирование и управление
Интеграция средств формализации графоаналитических моделей “Узел-Функция-Объект”
О. А. Зимовец, С. И. Маторин Белгородский государственный национальный исследовательский университет
Аннотация:
Рассматривается новый метод формального описания систем в терминах “Узел”, “Функция”, “Объект”, который основан на сравнительном исследовании и интеграции алгебраических средств теории паттернов Гренандера и исчисления процессов Милнера. С помощью предложенного метода формализуются процедуры декомпозиции и агрегации графоаналитических моделей “Узел-Функция-Объект”.
Ключевые слова:
подход “Узел-Функция-Объект”, теория паттернов, исчисление процессов, формализация графических элементов, интерфейсная декомпозиция, операции на функциях.
Образец цитирования:
О. А. Зимовец, С. И. Маторин, “Интеграция средств формализации графоаналитических моделей “Узел-Функция-Объект””, Искусственный интеллект и принятие решений, 2012, № 1, 57–64; Scientific and Technical Information Processing, 40:6 (2013), 396–402
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr422 https://www.mathnet.ru/rus/iipr/y2012/i1/p57
|
|