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

Рассматривается двухкритериальная игра преследования-уклонения на плоскости одного преследователя против коалиции из двух игроков: уклоняющейся цели и защитника (MTD игра, от англ. Missile-Target-Defender game). Защитник, роль которого играет мобильная ложная цель, используется для отвлечения преследователя, позволяя истинной цели (в процессе отвлечения) максимизировать минимально возможную дистанцию преследователь-цель. Предполагается, что преследователь снабжен круговой зоной классификации целей радиуса R. Игра состоит в том, что преследователь минимизирует время, необходимое для сближения с одной из целей до расстояния, не превышающего R (R-встреча), а цели, действуя согласованно, максимизируют минимальное расстояние между преследователем и истинной целью. Игра продолжается до момента R-встречи преследователя с защитником. Решение игры в программных стратегиях известно. В работе показано, что расширение класса программных управлений до класса позиционных не улучшает качества управления. Доказывается существование равновесия по Нэшу.

Одной из важнейших задач в обеспечении качества программно-технических комплексов является процедура формирования требований к разрабатываемой или модифицируемой системе и последующая их верификация. Наиболее существенные ошибки совершаются на первых фазах жизненного цикла – это ошибки в определении требований, выборе архитектуры, высокоуровневом проектировании. Отказы критического по отношению к безопасности программного обеспечения могут нанести серьезный ущерб оборудованию или свойствам, а также привести к существенному ущербу окружающей среде или к человеческим жертвам. Увеличение требований к качеству программного обеспечения для систем важных для безопасности АЭС на всех этапах жизненного цикла связано с возрастанием сложности и функциональности программного обеспечения и привело к необходимости разработки подходов для обоснования как безопасности самих систем, так и входящего в их состав программного обеспечения. В статье рассматривается подход, основанный на построении “функций безопасности” выполнение которых в дальнейшем верифицируется. Данный подход используется при верификации программного обеспечения для систем верхнего уровня АСУ ТП и может быть применен для анализа отказоустойчивости, информационной и кибер- безопасности ПТК.

Одной из важнейших задач в обеспечении качества программно-технических комплексов является процедура формирования требований к разрабатываемой или модифицируемой системе и последующая их верификация. Наиболее существенные ошибки совершаются на первых фазах жизненного цикла – это ошибки в определении требований, выборе архитектуры, высокоуровневом проектировании. Отказы критического по отношению к безопасности программного обеспечения могут нанести серьезный ущерб оборудованию или свойствам, а также привести к существенному ущербу окружающей среде или к человеческим жертвам. Увеличение требований к качеству программного обеспечения для систем важных для безопасности АЭС на всех этапах жизненного цикла связано с возрастанием сложности и функциональности программного обеспечения и привело к необходимости разработки подходов для обоснования как безопасности самих систем, так и входящего в их состав программного обеспечения. В статье рассматривается подход, основанный на построении “функций безопасности” выполнение которых в дальнейшем верифицируется.

Предлагается распознавание аномалий сетевого трафика с использованием различных архитектур глубоких нейронных сетей. Проведен эксперимент по обнаружению DoS атак. Выявлены влияния комбинаций слоев нейронных сетей на характеристики точности. Новым является усиление классификации путем подкрепления входного вектора его кластерной оценкой.