Системно-лингвистический подход к проектированию формальных моделей исследуемой предметной области на основе категорий диалектики и теоретико-множественных методов

Авторы

  • Геннадий Григорьевич Куликов ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)
  • Таисия Павловна Злобина ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)
  • Сергей Федорович Бабак ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)
  • Дмитрий Геннадьевич Шамиданов ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)

Ключевые слова:

системный подход; теория категорий; принцип причинности; терминальные метаязыки

Аннотация

Рассматривается системно-лингвистический подход к проектированию формальных моделей исследуемой предметной области (ПО) на основе категорий диалектики и теоретико-множественных методов. Показано, что данный подход позволяет повысить степень структурной адекватности модели за счёт выявления и более полного описания причинно-следственных связей.

Биографии авторов

Геннадий Григорьевич Куликов, ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)

проф. каф. автоматизированных систем управления. Дипл. инж. по автом. машиностроения (УАИ, 1971). Д-р техн. наук по сист. анализу, авт. управлению и тепл. двигателям (УАИ, 1989). Иссл. в обл. АСУ и упр. сил. установками ЛА.

Таисия Павловна Злобина, ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)

канд. фил. наук, доц. каф. АСУ. Иссл. в обл. категорий диалектики.

Сергей Федорович Бабак, ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)

доц. каф. АСУ. Дипл. инж. (УАИ, 1970). Канд. техн. наук (УАИ, 1978).

Дмитрий Геннадьевич Шамиданов, ФГБОУ ВО «Уфимский государственный авиационный технический университет» (УГАТУ)

асп. каф. АСУ. Дипл. информатик-экономист (УГАТУ, 2014). Готовит дис. вобл. инф.-поисковых систем

Загрузки

Опубликован

2017-20-06

Выпуск

Том 21 № 2 (76) (2017): Вестник УГАТУ

Раздел

ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ