Введение: Современные сложные технические системы часто бывают критически важными. Критичность обусловлена последствиями нарушения функционирования таких систем, не выполнением ими требуемого перечня функций и задач. Процесс контроля и управления такими системами осуществляется с использованием систем и сетей связи, которые становятся для них критичными. Возникает потребность в обеспечении устойчивого функционирования, как самих сложных технических систем, так и их систем управления, контроля, систем и сетей связи. В работе предложена методика обеспечения функциональной устойчивости системы связи, основой которой является процесс выявления и устранения в ней конфликтов, обусловленных отличием профиля функционирования и профиля процесса функционирования системы. Предложенная модель процесса функционирования системы связи позволяет на основе анализа интенсивностей воздействия дестабилизирующих факторов на систему, выявления конфликтов и их устранения, определить вероятность обеспечения функциональной устойчивости системы. Цель исследования: разработка методики обеспечения функциональной устойчивости системы связи в условиях воздействия дестабилизирующих факторов и возникновения конфликтов, а также модели процесса функционирования системы связи, позволяющей определять вероятность нахождения системы в функционально устойчивом состоянии. Методы теории графов и теории матриц, теории Марковских процессов. Результаты: предложена модель процесса функционирования системы связи в условиях воздействия дестабилизирующих факторов, позволяющая определять вероятность нарушения функционирования системы, разработана методика обеспечения функциональной устойчивости системы связи. Практическая значимость: результаты исследования могут быть использованы при проектировании и построении сложных технических систем, а также в системах поддержки принятия решений, контроля, связи и управления.
Предлагается подход к онтологическому описанию произвольной предметной области, основанный на применении концептов трёх типов: “Объекты”, “Свойства” и “Действия”. При этом различные аспекты представлений, используемые для описания знаний, предлагается частично упорядочивать свойством аппроксимации в функциональные слои, сегменты и области. Это должно позволить моделировать семантические особенности контекстно-зависимых знаний предметных областей, учитывать их изменения и уточнения при порождении решений. Это откроет возможности прогнозирования намерений и предотвращения реализации киберугроз критической информационной инфраструктуре.
В статье предложен подход к построению непротиворечивой теории синтеза сценариев упреждающего поведения в конфликте. Приведены доказательства непротиворечивости, разрешимости и модельной полноты теории частично упорядоченных гироматов с поуровневой координацией.
Предлагается метод обнаружения и устранения конфликтов или противоречий в базах данных, а также модификация метода для работы с базами знаний. Показано, что другие современные методы во избежание конфликтов также используют онтологии и иные средства для структурирования информации, но предназначены для работы только с данными или для разрешения семантических конфликтов. Предложенный метод основан на использовании онтологий конфликтов, устранение конфликтов происходит в автоматическом или в автоматизированном режиме. В сложных случаях логических противоречий применяется аннулирование онтологий или связей между сторонами конфликта.
Предлагается подход к построению системы верификации политик безопасности, предназначенной для обнаружения и разрешения конфликтов в спецификациях политик безопасности компьютерных сетей. Рассмотрена архитектура предлагаемой системы верификации политик безопасности. Представлены модели реализации двух модулей верификации: модуля, основанного на теории доказательств, с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели. Описана текущая реализация программного прототипа системы верификации.
Рассматривается проблема оперативного планирования движения воздушного транспорта в районе аэропорта при появлении захваченного самолета в данной области. В работе представляется проект многоагентной системы для разрешения конфликтных ситуаций в воздушном пространстве. В системе использовано представление воздушного пространства в области аэропорта в терминах сценарных баз знаний, механизм вывода которой был применен при построении плана движения отдельного самолета. Демонстрируются результаты работы реализованного прототипа данной многоагентной системы.
Рассматривается процедура корректировки траектории движения робототехнической платформы (РТП) на плоскости с целью снижения вероятности её поражения/обнаружения в поле конечного числа источников-репеллеров. Каждый из таких источников описан математической моделью некоторого фактора противодействия целостности или скрытности РТП. Указанная процедура основана, с одной стороны, на понятии характерной вероятностной функции системы источников-репеллеров, позволяющем оценивать степень влияния этих источников на движущуюся РТП. Из этого понятия вытекает используемая здесь в качестве показателя оптимизации целевой траектории вероятность её успешного прохождения. С другой стороны, эта процедура базируется на решении локальных оптимизационных задач, позволяющих корректировать отдельные участки исходной траектории с учетом нахождения в их окрестностях конкретных источниковрепеллеров с заданными параметрами. Каждый из таких источников характеризуется потенциалом, частотой воздействия, радиусом действия и параметрами спада поля. Корректировка траектории происходит итерационно и учитывает целевое значение вероятности прохождения. Основным ограничением на вариацию исходной траектории является максимально допустимое отклонение измененной траектории от исходной. Если такого ограничения нет, то задача может потерять смысл, поскольку тогда можно выделить область, охватывающую все препятствия и источники, и обойти её по периметру. Поэтому осуществляется поиск такого локального экстремума, который соответствует допустимой кривой в смысле указанного ограничения. Предлагаемая в настоящей работе итерационная процедура позволяет проводить поиск соответствующих локальных максимумов вероятности прохождения РТП в поле нескольких произвольно расположенных и ориентированных источников в некоторой окрестности исходной траектории. Вначале ставится и решается задача оптимизации траектории при условии движения в поле одного источника с областью действия в виде кругового сектора, затем полученный результат распространяется на случай нескольких аналогичных источников. Основной проблемой исследования является выбор общего вида функционала в каждой точке исходной кривой, а также его коэффициентов настройки. Показано, что выбор этих коэффициентов настройки есть адаптивная процедура, входными переменными которой являются характерные геометрические величины, описывающие текущую траекторию в поле источников. Для устранения осцилляций, возникающих вследствие локальности предлагаемой процедуры, применяются стандартные процедуры медианного сглаживания. Результаты моделирования показывают высокую эффективность предложенной процедуры для корректировки ранее спланированной траектории.
Рассматривается задача планирования движения мобильного робота в конфликтной среде, которая характеризуется наличием областей, препятствующих выполнению роботом поставленных задач. Дается обзор основных результатов планирования пути в конфликтных средах. Отдельное внимание уделяется подходам, основывающимся на функциях рисков и вероятностных методах. Рассматриваются конфликтные области, которые формируются точечными источниками, генерирующими в общем случае несимметричные поля непрерывного типа. Предлагается вероятностное описание таких полей, примерами которых являются вероятность обнаружения или поражения мобильного робота. В качестве характеристики поля вводится понятие характерной вероятности функции источника, которая позволяет оптимизировать движение робота в конфликтной среде. Показана связь характерной вероятности функции источника и функции риска, которая может быть использована для постановки и решения упрощенных оптимизационных задач. Разрабатывается алгоритм планирования пути мобильного робота, обеспечивающий заданную вероятность прохождения конфликтной среды. Получена верхняя оценка вероятности прохождения заданной среды при фиксированных граничных условиях. Предложена процедура оптимизации пути робота в конфликтной среде, которая характеризуется более высокой вычислительной эффективностью, достигаемой за счет ухода от поиска точного оптимального решения к субоптимальному. Предложенные алгоритмы реализованы в виде программного обеспечения симулятора группы наземных роботов и исследуются методами численного моделирования.
1 - 8 из 8 результатов