Нормативная система системно-объектного анализа и моделирования

работа поддержана грантами РФФИ 18-07-00355а, 18-07-00356а, 19-07-00290а и № 19-07-00111а, 19-29-01047мк.

Авторы

  • Александр Геннадиевич Жихарев Белгородский государственный национальный исследовательский университет
  • Сергей Игоревич Маторин ЗАО «СофтКоннект»
  • Владимир Владимирович Михелев Белгородский государственный национальный исследовательский университет

DOI:

https://doi.org/10.18413/2687-0932-2020-43-3-623-637

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

системно-объектный подход, формализация, элемент «Узел-Функция-Объект», дескрипционная логика ALCHOIQ(D), нормативная система, алфавитные узлы

Аннотация

В статье обсуждается возможность создания формально-семантической нормативной системы системно-объектного анализа и моделирования. Система рассматривается в рамках системно-объектного подхода в виде конструкции «Узел-Функция-Объект», формализуемой с помощью дескрипционной логики. Предложена классификация систем, которая использует классификацию потоков связей и узлов, входящую в концепцию системно-объектного подхода. Представлена концептуальная классификационная схема для системных компонент. Описаны её свойства, на ее
основе разрабатывается способ задания формального алфавита узлов связей систем, имеющего конкретное предметное содержание. Также представлены правила манипулирования получаемыми алфавитными символами. Обосновывается возможность и целесообразность построения нормативной системы, обладающей повышенными выразительными возможностями. Рассматривается пример использования формально-семантического алфавита системных элементов, демонстрирующий возможности упрощения процедуры графоаналитического моделирования сложной системы.

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

Александр Геннадиевич Жихарев , Белгородский государственный национальный исследовательский университет

кандидат технических наук, доцент кафедры информационно-телекоммуникационных систем
и технологий Белгородского государственного национального исследовательского университета,

г. Белгород, Россия

Сергей Игоревич Маторин , ЗАО «СофтКоннект»

доктор технических наук, профессор, заместитель генерального директора по науке и инновациям ЗАО «СофтКоннект»,

Белгород, Россия

Владимир Владимирович Михелев , Белгородский государственный национальный исследовательский университет

аспирант кафедры прикладной информатики и информационных технологий Белгородского
государственного национального исследовательского университета,

Белгород, Россия

Библиографические ссылки

Гильберт Д., Бернайс П. 1979. Основания математики. Том I. Логические исчисления и формализация арифметики. М.: Наука, 560.

Горский Д.П. 1990. О некотором способе введения понятий в «Капитале» Маркса. Сб. труд. междун. симпоз.: Исследования по логике научного познания. М.: Наука,. С.53–62.

Жихарев А.Г., Маторин С.И., Зайцева Н.О. 2015. Системно-объектный инструментарий для имитационного моделирования технологических процессов и транспортных потоков. Искусственный интеллект и принятие решений. № 4: 95–103.

Кондаков Н.И. 1975. Логический словарь-справочник. М.: Наука, 720.

Маслов С.Ю. 1986. Теория дедуктивных систем и ее применение. М.: «Радио и связь», 136.

Маторин С.И., Зимовец О.А., Щербинина Н.В., Сульженко Т.С. 2016. Концепция формализованной теории систем, основанной на подходе «Узел-Функция-Объект». Научные ведомости БелГУ. Серия Экономика. Информатика. 16 (237). 39: 159–166.

Маторин С.И., Жихарев А.Г., Игрунов К.К. 2018. Классификация систем как элементов «Узел-Функция-Объект». Научный результат. 3 (3): 15–27.

Мельников Г.П. 1978. Системология и языковые аспекты кибернетики. М.: Сов. радио, 368.

Михелев В.В., Маторин С.И. 2019. Формализация системно-объектного подхода с использованием дескрипционной логики. Научные ведомости БелГУ. Сер. Экономика. Информатика. 46 (2): 296–304.

Никаноров С.П. 1969. Системный анализ: этап развития методологии решения проблем в США. Вступ. статья в кн.: Оптнер С.Л. Системный анализ для решения деловых и промышленных проблем. Пер. с англ. М.: Советское радио, 7–45.

Петров Ю.А. 1977. Методологические вопросы анализа научного знания. М.: «Высш. школа», 224.

Степанов Ю.С. 1983. Семиотика. Под ред. Ю.С. Степанова. М.: Радуга, 640.

Теория систем и системный анализ: учебник. 2020. С.И. Маторин, А.Г. Жихарев, О.А. Зимовец и др.; под ред. С.И. Маторина. Москва; Берлин: Директмедиа Паблишинг, 509: Режим доступа: по подписке. URL: http://biblioclub.ru/index.php?page=book&id=574641 (дата обращения: 12.06.2020).

Abadi Martin and Luca Cardelli 1996. A Theory of Objects. New York: Springer-Verlag, 397.

Baader F., Calvanese D., McGuinness L., Nardi D. Patel-Schneider P. F. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 576.

Baader F., Sattler U. 1999. Expressive Number Restrictions in Description Logics. Journal of Logic and Computation. 9(3): 319–350.

Matorin S.I. 1998. Systems-Theoretic Investigation Of The Structure Of Categories. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 31 (2): 4–9.

Matorin S.I. 1998. Modelling Intelligent Understanding Of The Language Of Business Communication. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 31 (2): 47–58.

Matorin S., Popov S., Matorin V. 2005. Organization Simulation Technology in The Light Of a New “Unit-Function-Object” Approach. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 39 (1): 1–8.

Schmidt-Schauss M., Smolka G. 1991. Attributive concept descriptions with complements. Artificial Intelligence. 48 (1): 1–26.

Tessaris S. 2001. Questions and answers: Reasoning and querying in Description Logic (PhD Thesis). University of Manchester, 368.


Просмотров аннотации: 74

Опубликован

2020-11-02

Как цитировать

Жихарев , А. Г., Маторин , С. И., & Михелев , В. В. (2020). Нормативная система системно-объектного анализа и моделирования: работа поддержана грантами РФФИ 18-07-00355а, 18-07-00356а, 19-07-00290а и № 19-07-00111а, 19-29-01047мк. Экономика. Информатика, 43(3), 623-637. https://doi.org/10.18413/2687-0932-2020-43-3-623-637

Выпуск

Раздел

СИСТЕМНЫЙ АНАЛИЗ И УПРАВЛЕНИЕ

Наиболее читаемые статьи этого автора (авторов)