Представление динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного продукта нечеткой логической системы классификации
Journal Title: Наука і техніка Повітряних Сил Збройних Сил України - Year 2018, Vol 10, Issue 4
Abstract
Процесс верификации программного обеспечения системы классификации воздушных объектов, при контроле воздушного пространства в нечеткой постановке, рассматривается как процесс исследования динамических взаимодействующих процессов. Утверждается, что традиционные подходы не позволяют с заданным качеством верифицировать программное обеспечение при решении задачи классификации воз-душных объектов в автоматизированных системах контроля воздушного пространства в заданной поста-новке. Цель статьи – формализация представления динамических взаимодействующих процессов в простран-стве состояний нечеткой раскрашенной сети Петри для верификации программного обеспечения нечеткой логической системы классификации воздушных объектов в автоматизированных системах контроля воздуш-ного пространства. Проанализированы основные работы в области теории и практики применения сетей Петри, использованные для исследования динамических взаимодействующих процессов в общем, и непосред-ственно для верификации программного обеспечения различных систем. Выдвинуты требования к сетям Петри для решения задач данного класса. Определены условия разрешенности при представлении взаимодей-ствующих процессов для различных случаев, которые отличаются количеством входных и (или) выходных переходов. Для описания компонентов модели верификации программного обеспечения системы классифика-ции воздушных объектов, представленных логикой предикатов, использована нечеткая раскрашенная сеть Петри (для логических операций И, ИЛИ, НЕ) и соответствующие функции принадлежности. Разработан-ный подход по представлению динамических взаимодействующих процессов в пространстве состояний не-четкой раскрашенной сетью Петри для верификации программного продукта нечеткой логической системы классификации является основой для разработки базы нечетких продукционных правил.
Authors and Affiliations
Олександр Тімочко
Keywords
Related Articles
- EP ID EP500462
- DOI 10.30748/nitps.2018.33.11
- Views 63
- Downloads 0
Алгоритм вибору раціональних проектних параметрів фенестрона
Проведено аналіз методів аеродинамічного проектування рульового гвинта в кільцевому каналі (фене-строна ) вертольота одногвинтової схеми у вигляді осьового вентилятора, виконаного за схемою робоче колесо, з розташованим...
Особливості процесу оборонного планування НАТО
В статті розглянуто зміст процесу оборонного планування НАТО (NATO Defence Planning Process, NDPP) та його основні етапи. При цьому докладно описано відповідні процедури та механізми, а також суб’єкти, що задіяні на різн...
Визначення показників ризиків виникнення нештатних ситуацій на техногенно-небезпечних об’єктах
На основі аналізу загроз, джерелом виникнення яких є такі техногенно-небезпечні об’єкти, як атомні електростанції і сховища зберігання небезпечних речовин, визначені рівні безпеки і показники ризиків виник-нення аварійни...
Рекомендації щодо створення міжвидових тактичних груп
Проведено аналіз сучасних науково-методичних підходів щодо визначення раціонального складу тактичних груп. Виявлено відсутність рекомендацій щодо створення організаційно-штатної структури військового формування, яке б зм...
Метод проектування системи управління життєвим циклом перспективної зенітної ракетної системи
У статті запропоновано нові підходи до управління життєвим циклом ЗРС. Робиться акцент на не-обхідності інтеграції СУЖЦ ЗРС з міжнародними стандартами системної інженерії, які визначають фо-рмування нової, визнаної індус...