The report examines the challenges of developing software systems (SS) under conditions of technical, technological, cognitive, and mental uncertainty: gaps between software lifecycle (SLC) stages, team misalignment, and complexities in designing interactions. The goal is to develop methodological principles for interface planning (IP) to coordinate SLC processes with system functionality. The IP methodology integrates conceptual design, human resources, functional solutions, and user interface elements. The outcome is a software solution enabling incremental functional expansion while maintaining the system's adaptability to change.

В данной статье рассматривается проблема вмешательства злоумышленника в работу технологической (в т. ч. автоматизированной) системы путем подмены устройства нижнего уровня (датчика, счетчика) или его сигнала. Приводится краткая справка о существующих методах выявления подмены устройств. В качестве решения проблемы предлагается производить опознавание устройства на основе сравнения некоторых текущих параметров его аналогового сигнала с эталонными, собранными заблаговременно. Набор таких параметров представляет собой аналоговый отпечаток устройства. Подробно описан алгоритм создания аналогового отпечатка; для наглядности алгоритм также представлен в виде блок-схемы. Рассмотрено применение алгоритма для целей опознавания датчиков в лабораторных условиях (с использованием специально созданного испытательного стенда).

Разработана теория и методология построения систем устойчивого развития транспорта на основе экономии используемых природных ресурсов и уменьшения загрязнения окружающей среды. Управление этими системами обеспечивают организационные механизмы устойчивого развития транспорта, включающие цифровые процедуры прогнозирования с обучением, планирования, распределения ресурсов и стимулирования.

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

Статья посвящена исследованию вопроса об устойчивости положения частичного равновесия, т.е. равновесия не по всем, а по некоторым переменным, относительно малого изменения входных параметров в динамической модели типа Аллена. Модель типа Аллена описывается автономной системой дифференциальных уравнений и является обобщением общеизвестной модели Лотки – Вольтерры межвидового взаимодействия, или модели «хищник – жертва». В отличие от упомянутой модели, в модели типа Аллена правая часть системы дифференциальных уравнений определяется разностью двух отображений, которые могут иметь произвольный вид. Положение частичного равновесия в этой модели представлено как точка совпадения двух отображений. Для исследования устойчивости положения частичного равновесия предлагается использовать результаты теории накрывающих отображений и точек совпадения. При выполнении достаточных условий существования положения равновесия отображение предложения в динамической модели типа Аллена является накрывающим, а отображение спроса удовлетворяет условию Липшица. С помощью теоремы об устойчивости точек совпадения двух отображений, одно из которых является накрывающим, а другое удовлетворяет условию Липшица, доказана устойчивость положения частичного равновесия в условиях выполнения достаточных условий его существования.