Содержание № 6, 2025 г.

Калянов Г. Н. Проблематика и перспективы развития теории бизнес-процессов (с. 3-23)

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

Ключевые слова: модель бизнес-процесса, визуальный язык, семантика, прагматика, инжиниринг процесса, верификация, параллелизм. 

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

Ключевые слова: относительная вычислимость, сепарабельность, счётная база, точечные простран­ства, абстрактная топология, аппроксимационный подход, бэровская непрерывность, непрерывность на подпространствах.

Тремба А. А. Конструктивное D-разбиение для двух линейно входящих в полином параметров. Ч. 1. Описание границ областей D-разбиения (с. 39-57)

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

Ключевые слова: конструктивное D-разбиение, локализация корней, дробно-рациональные кривые, локализованное D-разбиение.

Гребенков Д. И., Козлова А. А., Лемтюжникова Д. В., Новиков Д. А. Модели утомления и отдыха при научении. Ч. 2. Моторные и когнитивные навыки (с. 58-79)

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

Ключевые слова: опыт, итеративное научение, кривая научения, математическое моделирование, утомление, отдых, освоение, забывание, эксперимент.

Семенков К. В., Абдулова Е. А., Жарко Е. Ф., Промыслов В. Г. Оптимизация распределения задач между беспилотными транспортными средствами с учетом потребления энергии (с. 80-96)

Аннотация. Рассматривается актуальная задача обеспечения готовности беспилотных транспортных средств (агентов) в динамической технической системе (ДТС) в интеллектуальной транспортной среде. Исследуется проблема неравномерного распределения нагрузки между агентами и, как следствие, неэффективного расходования энергии, что сокращает общее время функционирования системы. Для решения проблемы предлагаются оптимизационная модель, включающая в себя целевую функцию, позволяющую максимизировать время работы всей ДТС, и набор ограничений, учитывающих доступную энергию каждого агента. Ключевой аспект модели – обеспечение равномерного распределения энергетической нагрузки между всеми агентами. Для решения задачи оптимизации модель использует алгоритм выполнимости булевых формул CP-SAT с целочисленными ограничениями. В ходе экспериментальной работы с алгоритмом CP-SAT было обнаружено интересное явление: существует корреляция между шагом дискретизации времени (интервалом, за который алгоритм ищет приемлемое решение) и временем работы оптимизационной программы, что позволило предложить эвристический метод изменения шага дискретизации. Основное внимание в исследовании уделено проверке работоспособности предложенной модели и алгоритма оптимизации в условиях реальных, подверженных внешним возмущениям, роботизированных транспортных систем. Модель испытана и показала работоспособность как на программных примерах с полностью известными параметрами системы, так и на реальном стенде, где параметры системы находятся под воздействием возмущений. 

Ключевые слова: динамическая техническая система, готовность, оптимизация, распределение энергоресурсов, беспилотное транспортное средство, безопасность. 

Восемнадцатая международная конференция «Управление развитием крупномасштабных систем» MLSD’2025 (с. 97-105)

печатная версия (PDF)

электронная версия (PDF)

Опубликовано 24 декабря 2025 г.