1. Наука
  2. Видання
  3. Наука і техніка Повітряних Сил Збройних Сил України
  4. 4(33)'2018
  5. Представление динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного продукта нечеткой логической системы классификации

Представление динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного продукта нечеткой логической системы классификации

А.А. Тимочко
УДК 519.179.2 : 004.415.5 : 351.814.33
Мова статті: російська
Анотації на мовах:


Анотація: Процесс верификации программного обеспечения системы классификации воздушных объектов, при контроле воздушного пространства в нечеткой постановке, рассматривается как процесс исследования динамических взаимодействующих процессов. Утверждается, что традиционные подходы не позволяют с заданным качеством верифицировать программное обеспечение при решении задачи классификации воз-душных объектов в автоматизированных системах контроля воздушного пространства в заданной поста-новке. Цель статьи – формализация представления динамических взаимодействующих процессов в простран-стве состояний нечеткой раскрашенной сети Петри для верификации программного обеспечения нечеткой логической системы классификации воздушных объектов в автоматизированных системах контроля воздуш-ного пространства. Проанализированы основные работы в области теории и практики применения сетей Петри, использованные для исследования динамических взаимодействующих процессов в общем, и непосред-ственно для верификации программного обеспечения различных систем. Выдвинуты требования к сетям Петри для решения задач данного класса. Определены условия разрешенности при представлении взаимодей-ствующих процессов для различных случаев, которые отличаются количеством входных и (или) выходных переходов. Для описания компонентов модели верификации программного обеспечения системы классифика-ции воздушных объектов, представленных логикой предикатов, использована нечеткая раскрашенная сеть Петри (для логических операций И, ИЛИ, НЕ) и соответствующие функции принадлежности. Разработан-ный подход по представлению динамических взаимодействующих процессов в пространстве состояний не-четкой раскрашенной сетью Петри для верификации программного продукта нечеткой логической системы классификации является основой для разработки базы нечетких продукционных правил.


Ключові слова: программное обеспечение, верификация, классификация, воздушный объект, взаимо-действующий процесс, нечеткая раскрашенная сеть Петри
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Тимочко А. А. Представление динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного продукта нечеткой логической системы классификации / А.А. Тимочко  // Наука і техніка Повітряних Сил Збройних Сил України. – 2018. – № 4(33). – С. 83-89. https://doi.org/10.30748/nitps.2018.33.11.