Рассматривается открытая сеть массового обслуживания с делением и слиянием требований. При поступлении в сеть каждое требование разделяется на два фрагмента. Фрагменты требований обслуживаются в одноприборных системах обслуживания с неограниченной очередью, образующих ациклическую структуру рассматриваемой сети. После завершения обслуживания в сети фрагменты требований поступают в выделенную систему сборки требований, где требования собираются из своих фрагментов и покидают сеть. Предлагается приближенный метод вычисления математического ожидания длительности сборки требований и математического ожидания длительности пребывания требований в сети массового обслуживания с делением и слиянием требований при предположениях, что входящий в сеть поток требований является пуассоновским, а длительности обслуживания фрагментов требований являются экспоненциально распределенными случайными величинами. Для оценки точности приближенного метода вычисления соответствующих характеристик сети полученные результаты сравниваются с результатами имитационного моделирования сети. Предложенный метод может применяться при невысокой нагрузке сети массового обслуживания, функционирующей в стационарном режиме. Представленная сеть массового обслуживания может использоваться в качестве моделей современных многопроцессорных вычислительных систем, а также других систем с параллельным и распределённым принципом функционирования
Идентификаторы и классификаторы
- SCI
- Социология
Одним из способов оперативной обработки больших объемов мало связанной информации является разделение этой информации на части с дальнейшей их одновременной обработкой высокопроизводительными вычислительными системами. В качестве математических моделей систем параллельной или распределенной обработки информации для решения задач эффективного их использования часто используют системы и сети массового обслуживания с делением и слиянием требований или, как они называются в англоязычной литературе, «fork-join queueing systems». Поступая в такую систему, требование разделяется на фрагменты, которые затем занимают приборы и обслуживаются. Требование считается обслуженным, когда завершится обслуживание последнего из родственных фрагментов требования. Поэтому одним из основных результатов анализа систем fork-join с различной структурой и особенностями функционирования считается нахождение математического ожидания (м. о.) длительности пребывания требований в систем
Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.
Список литературы
1. Вишневский В.М., Теоретические основы проектирования компьютерных сетей, Техносфера, М., 2003, 512 с.
2. Карпенко О.С., Тананко И.Е., Рогачко Е.С., “Исследование имитационной модели открытой сети массового обслуживания с делением и слиянием требований”, Системы управления, информационные технологии и математическое моделирование, Материалы V Всероссийской научно-практической конференции с международным участием, ОмГТУ, Омск, 2023, 209-214.
3. Клименок В.И., “Характеристики производительности системы массового обслуживания с расщеплением запросов”, Информатика, 20:3 (2023), 50-60.
4. Осипов О.А., Тананко И.Е., “Сети массового обслуживания произвольной топологии с делением и слиянием требований: случай бесконечноприборных систем обслуживания”, Вестник Тверского государственного университета. Серия: Прикладная математика, 2017, № 4, 43-58. MathNet: vtpmk188
5. Цициашвили Г.Ш., Осипова М.А., “Стационарные потоки в ациклических сетях массового обслуживания”, Дальневосточный математический журнал, 2016, № 2, 223-228. MathNet: dvmg335
6. Enganti P., Rosenkrantz T., Sun L. et al., “ForkMV: Mean-and-variance estimation of fork-join queuing networks for datacenter applications”, IEEE Int. Conf. on Networking, Architecture and Storage (NAS-2022) (Philadelphia, PA, USA), 2022, 1-8. MathSciNet: 2573950
7. Flatto L., Hahn S., “Two parallel queues created by arrivals with two demands I”, SIAM Journal on Applied Mathematics, 44:5 (1984), 1041-1053. DOI: 10.1137/0144074 MathSciNet: 759714
8. Gorbunova A.V., Lebedev A.V., “Correlations of the sojourn times of subtasks in fork-join queueing systems with M/M/1-type subsystems”, Advances in Systems Science and Applications, 24:2 (2024), 1-18.
9. Gorbunova A.V., Lebedev A.V., “Nonlinear approximation of characteristics of a fork-join queueing system with Pareto service as a model of parallel structure of data processing”, Mathematics and Computers in Simulation, 214 (2023), 409-428. DOI: 10.1016/j.matcom.2023.07.029 EDN: USRKYX MathSciNet: 4628419
10. Gorbunova A.V., Lebedev A.V., “On estimating the characteristics of a fork-join queueing system with Poisson input and exponential service times”, Advances in Systems Science and Applications, 23:2 (2023), 99-114.
11. Kemper B., Mandjes M., “Mean sojourn times in two-queue fork-join systems: bounds and approximations”, OR Spectrum, 34:3 (2012), 723-742. DOI: 10.1007/s00291-010-0235-y EDN: DABRIH MathSciNet: 2947818
12. Ko S.S., Serfozo R., “Response times in M/M/s fork-join networks”, Advances in Applied Probability, 36:3 (2004), 854-871. DOI: 10.1239/aap/1093962238 MathSciNet: 2079918
13. Lemoine A.J., “Networks of queues - a survey of equilibrium analysis”, Management Science, 24:4 (1977), 464-481. DOI: 10.1287/mnsc.24.4.464 MathSciNet: 652283
14. Marin A., Rossi S., Sottana M., “Dynamic resource allocation in fork-join queues”, ACM Trans. on Modeling and Performance Evaluation of Computing Systems, 5:1 (2020), 3, 1-28. DOI: 10.1145/3372376
15. Nelson R., Tantawi A.N., “Approximate analysis of fork/join synchronization in parallel queues”, IEEE Trans. on Comp., 37:6 (1988), 739-743. DOI: 10.1109/12.2213
16. Nguyen M., Alesawi S., Li N. et al., “A black-box fork-join latency prediction model for data-intensive applications”, IEEE Trans. on Parallel and Distributed Systems, 31:9 (2020), 1983-2000. DOI: 10.1109/TPDS.2020.2982137 EDN: JPCFGL
17. Ozkan E., “Control of fork-join processing networks with multiple job types and parallel shared resources”, Mathematics of Operations Research, 47:2 (2022), 1310-1334. DOI: 10.1287/moor.2021.1170 EDN: UIRVFQ MathSciNet: 4435017
18. Raaijmakers Y., Borst S., Boxma O., “Fork-join and redundancy systems with heavy-tailed job sizes”, Queueing Systems, 103:1 (2023), 131-159. DOI: 10.1007/s11134-022-09856-6 MathSciNet: 4554137
19. Schol D., Vlasiou M., Zwart B., “Large fork-join queues with nearly deterministic arrival and service times”, Mathematics of Operations Research, 47:2 (2021), 1335-1364. DOI: 10.1287/moor.2021.1171 EDN: JPMXIZ MathSciNet: 4435018
20. Thomasian A., “Analysis of fork/join and related queueing systems”, ACM Computing Surveys, 47:2 (2014), 17, 1-71. DOI: 10.1145/2628913 MathSciNet: 2913942
21. Vishnevsky V.M., Klimenok V.I., Sokolov A.M. et al., “Investigation of the fork-join system with Markovian arrival process arrivals and phase-type service time distribution using machine learning methods”, Mathematics, 12:5 (2024), 659, 1-22. DOI: 10.3390/math12050659 MathSciNet: 4726033
Выпуск
Другие статьи выпуска
Описан программный комплекс MARLIN24, предназначенный для реализации адаптивного управления светофорными объектами. Цель разработки — оптимизация работы светофоров для сокращения суммарного времени пребывания транспортных средств в зоне действия оптических детекторов. Архитектура комплекса включает три ключевых модуля: модуль адаптивного управления, модуль имитационного моделирования транспортных потоков и модуль валидации, а также дополнительный модуль визуализации. В модуле адаптивного управления реализованы четыре подхода: фиксированный план; некоординированное подкрепленное обучение; координированное мультиагентное обучение с подкреплением; управление длительностью фаз с помощью MISO контроллера нечёткой логики (Multiple Input Single Output, MISO). Имитационное моделирование транспортных потоков для проверки результатов управления осуществляется посредством модуля микросимуляции на основе модели «разумный водитель» (Intelligent Driver Model, IDM). В модуле валидации для моделирования реалистичных показаний оптических датчиков, отражающих дорожную обстановку, используются копула-функции, принимающие на вход маргинальные распределения. Маргинальные распределения были получены на основе исторических данных об интенсивности движения за период 2019–2020 гг. Разработанный комплекс программ имитационного моделирования MARLIN24 позволяет исследовать и сравнивать между собой ряд моделей управления реальными участками дорожной сети г. Красноярска при различных условиях
Предлагается новый математический подход к оценке эффективности гибридных электроэнергетических установок, использующих альтернативный источник энергии совместно с центральной сетью электроснабжения, основанный на методах теории массового обслуживания и позволяющий учитывать стохастический характер природных процессов. В качестве математической модели гибридной энергетической системы, использующей альтернативную (непостоянную) энергию как один из источников электроэнергии, предлагается система массового обслуживания с двумя блоками приборов, один из которых имеет случайное время работы и ограниченную мощность. Исследуется трехмерный марковский случайный процесс. С помощью метода начальных моментов получены формулы стационарных характеристик системы. Выполнен численный анализ зависимости характеристик системы от входных параметров, а также представлен пример расчёта эффективности использования источника солнечной электроэнергии для бытовых нужд на основе реальных данных
Рассматривается актуальная проблема обнаружения нефти и нефтепродуктов на поверхности воды, имеющая решающее значение для экологического мониторинга водных ресурсов. Рост загрязнения водных объектов нефтепродуктами обусловливает необходимость разработки эффективных методов их обнаружения и оценки состояния экосистем. В данной работе представлена методика, основанная на исследовании спектров отраженного солнечного света, которая позволяет с высокой точностью обнаруживать нефтяные загрязнения. Авторами получены аналитические выражения для индексов коэффициентов спектральной яркости, которые в дальнейшем использованы в геоинформационных системах (ГИС). Эти показатели помогают в обработке и интерпретации данных, полученных с помощью дистанционного зондирования, значительно упрощая процесс мониторинга и анализа состояния водных объектов. Методика показала свою эффективность в различных условиях и может быть адаптирована для использования в режиме реального времени. Результаты исследования способствуют совершенствованию методов экологического контроля и обеспечивают более надежную защиту водных ресурсов от загрязнения. Кроме того, в исследовании рассматривается потенциальная интеграция этого метода с другими системами экологического мониторинга для повышения точности и эффективности обнаружения загрязнения. Благодаря этим усовершенствованиям, предлагаемая методика позволяет не только выявлять разливы нефти, но и помогает в управлении ими и снижении негативных последствий, связанных с разливами нефти
Представлена методика определения латентных параметров многоуровневой многофакторной регрессионной модели и способы использования модели на примере прогнозирования динамики показателей, отражающих функционирование сельскохозяйственного производства: урожайности зерновых культур и потребления кормовой пшеницы. Актуальность модели обусловлена возможностью применения в целях прогнозирования главного выходного показателя (первый уровень модели) и его промежуточных составляющих (последующие уровни модели). Выполнена обработка статистических данных, применен метод регрессионного анализа информации, выполнено построение графиков результатов моделирования с использованием MS Excel и среды разработки языка программирования Python. Модель строится на основании иерархической зависимости первого и последующих уровней, при которой входные данные выходного показателя группируются как индивидуальные или общие параметры линейных зависимостей промежуточных переменных. В результате апробации модели были получены данные урожайности зерновых культур в зависимости от типа подкормки удобрениями и соответствующие им доли площадей по данным Российской Федерации в целом и Ростовской области в частности; произведен прогноз урожайности на три года, приведено сравнение с результатами применения факторного анализа. В вопросе определения потребления кормовой пшеницы были получены данные объема чистого потребления пшеницы и объема пшеницы, перерабатываемой на комбикорм
Рассматривается задача прогнозирования динамики общественного мнения на лонгитюдных данных высокой гранулярности, добытых из социальной сети ВКонтакте. Данная задача была предложена участникам Хакатона «УБС Challenge’2024» как одного из досуговых мероприятий XX Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС), проводившейся в г. Новочеркасске в 2024 году. Настоящая работа посвящена подробному описанию проведенного Хакатона и решений, предложенных его участниками. Для выборки из
Продолжается описание проекта, представленного в статье “Проект системы распределения заказа внутри ассоциации производителей посредством множественных аукционов” // Управление большими системами. – 2024. – Вып. 112. Исследуется схема сетевого взаимодействия внутри ассоциации предприятий, занимающейся сборочным производством фиксированного набора изделий. Рассматривается производство, представленное в виде направленного ациклического графа, вершинам которого сопоставлены производимые участниками ассоциации комплектующие, причём для сборки деталей более низкого ранга используются детали, имеющие более высокий ранг. Взаимодействие базируется на системе множественных локальных аукционов, посредством которых производится распределение производства очередного заказа между предприятиями – членами ассоциации. Если в предыдущей работе дан краткий обзор проекта и очерчены проблемы, связанные с его реализацией, то в настоящей статье делается детальный разбор рассматриваемой схемы, предлагаются правила, которых рекомендуется придерживаться участникам схемы при выборе решений. Исследуется проблема рационального выбора участниками цен производимых изделий. В заключении указываются риски, связанные с реализацией проекта, и намечается план исследования эффективности схемы в режиме компьютерной имитации
Рассматривается задача реидентификации человека по изображениям, полученным из систем видеонаблюдения, с использованием признаков различной природы. В отличие от традиционных подходов, опирающихся на один биометрический фактор, предложена универсальная методика объединения признаков, полученных из разных источников информации. В основе метода лежит вероятностная модель, реализующая объединение признаков в пространстве решений по правилу байесовского вывода. Каждый признак рассматривается как наблюдение, аппроксимируемое нормальным распределением с параметрами, оцениваемыми по обучающим данным. Принятие решения осуществляется путём максимизации апостериорной вероятности принадлежности объекта к одной из известных личностей. В качестве средств извлечения признаков используются модели на основе архитектур с механизмами внимания, обеспечивающие устойчивость к искажениям. Проведено сравнение с методом линейного объединения признаков. Результаты экспериментов на открытом наборе данных демонстрируют повышение точности идентификации, устойчивость к частичному отсутствию данных и возможность количественной оценки степени достоверности принимаемого решения, что актуально для применения в системах обеспечения безопасности
Решен вариант задачи оптимальной расстановки воздушных судов (ВС) заданных типов на заданной сети авиалиний. Распределение ВС по авиалиниям является одной из узловых проблем, определяющей эффективность деятельности авиакомпании. Рассмотренная задача состоит в определении для каждой авиалинии недельного числа рейсов ВС, обеспечивающего максимальный экономический эффект от перевозки пассажиров. Новизна постановки задачи заключается в том, что уровни спроса на пассажирские перевозки приняты не полностью определёнными экспертно заданными нечёткими величинами, что соответствует этапу предварительного проектирования расписания. Оптимизация расстановки ВС по авиалиниям сформулирована как целочисленная задача математического программирования с нечётким критерием и чёткими ограничениями. Благодаря использованию приёма дефаззификации нечёткая задача сведена к обычной задаче математического программирования, решаемой имеющимися эффективными методами на базе доступного программного обеспечения. С использованием программного пакета IBM ILOG OPL получено решение модельных примеров задачи в нечёткой и «чёткой» постановках. Выполненное сравнение выявило существенные различия наиболее значимых результатов решения оптимизационной задачи в нечёткой и «чёткой» постановках, что свидетельствует о целесообразности учёта нечёткой неопределённости исходных данных
Целью исследования является разработка численной схемы с использованием итерационных методов решения систем уравнений для решения объемных задач акустики с неоднородным индексом рефракции. Приводится постановка задачи распространения акустических волн в виде объемного интегрального уравнения Фредгольма второго рода. Для дискретизации задачи с целью последующего численного решения использована структурированная объемная прямоугольная сетка. С использованием дискретизации постановка задачи сводится к дискретизированному оператору в виде системы уравнений с большим количеством неизвестных и матрицей оператора высокой размерности. Учитывая особенности интегральных ядер уравнения Гельмгольца в интегральной форме, приводятся численные методы решения систем уравнений с использованием модификаций матрично-векторного умножения тёплицевых матриц на вектор на основе быстрого дискретного преобразования Фурье. Продемонстрированы численные результаты работы комплекса программ моделирования распространения реализаций модели плоской волны в объемной среде с неоднородным индексом рефракции. Особое внимание уделяется возможности быстрого решения задач математической физики на структурированной сетке большой размерности, что позволит рассматривать особенности решения на сложных неоднородных границах, а также упростить аппроксимацию решения. В завершение будут сделаны выводы о качестве получаемых решений на различных примерах неоднородностей рассматриваемой объемной области
Излагаются результаты исследований, посвящённых свойству многоальтернативности строения и функционирования сложных биологических систем. Целью работы являются: обобщение этих результатов в виде эволюционной методологии многоальтернативного управления большими искусственными системами, выявление места этой методологии в ряду известных кибернетических принципов управления и определение её возможностей при практической реализации. Отмечено, что актуальность упомянутого обобщения определяется назревшей необходимостью систематизации различных направлений в рамках самой кибернетики как науки. Раскрыто кибернетическое основание методологии многоальтернативного управления, заключающееся в воспроизведении эволюционных механизмов живых систем, выходящих за рамки механизма естественного отбора и традиционно рассматриваемых как свойство многообразия этих систем. На основе анализа содержания указанных механизмов сформулированы достаточно простые принципы предлагаемой методологи: принцип разнообразия и разделения функций, принцип многоуровневости структуры и принцип модульности. Показан конструктивный характер этих принципов, непосредственно указывающий на методы и способы их практической реализации. Представлена обобщённая модель системы многоальтернативного управления, дано писание её функциональных узлов. Показана системообразующая роль методологии многоальтернативного управления по отношению к ряду базовых кибернетических принципов управления сложными объектами, заключающаяся в выявлении у этих принципов общего эволюционного содержания. Рассмотрены конкретные примеры применения методологии для синтеза систем управления различными объектами, и продемонстрирована её высокая результативность
Цифровая трансформация общества и производства постепенно вступает в стадию Индустрии 4.0, когда обслуживающая инфраструктура, в том числе и автоматизированные информационные системы юридически значимого электронного документооборота, будут способны адаптироваться под текущие условия обстановки. Однако современный этап развития таких систем характеризуется несовершенством терминологического аппарата и отождествлением объекта воздействия (электронного документа) с его бумажным прототипом, что приводит к ограничению их функциональных возможностей. Таким образом, существующая парадигма восприятия электронного документа не соответствует перспективному уровню развития автоматизированных информационных систем юридически значимого электронного документооборота в рамках концепции Индустрии 4.0. Цель работы – построение моделей электронного документа и описание метода обеспечения его целостности, позволяющего гарантировать достижение требуемого уровня защищенности автоматизированных информационных систем юридически значимого электронного документооборота, функционирующих в соответствии с положениями концепции Индустрии 4.0. Используемые методы: применение криптографических хэш-функций к компонентам (контенту и метаданным) электронного документа, результаты которых вычисляются по типу бинарного дерева Меркла в сочетании с технологией цепной записи данных. Результаты исследования: введено понятие «интегративный электронный документ», предложена новая структура электронного документа, что позволило сократить длительность его верификации и, как следствие, снизить риск реализации деструктивных воздействий на автоматизированную информационную систему
Представлено исследование сети массового обслуживания с неограниченным числом обслуживающих приборов в узлах сети и возможностью прерывания обслуживания. Такая модель может быть использована для описания функционирования абонентских сетей доступа, где заявка (подключённый абонент) в процессе обслуживания может перемещаться от одного узла сети к другому или покидать сеть, завершив или не завершив своё обслуживание. Предполагается, что переходы происходят независимо от состояния узлов. Исследование проводится с использованием метода асимптотического анализа при условии высокой интенсивности входящего потока. В рамках проведённого анализа установлено, что при стремлении интенсивности потока к бесконечности совместное стационарное распределение числа заявок в узлах сети приближается к многомерному нормальному распределению. Получены аналитические выражения для параметров этого распределения, таких как математические ожидания и элементы ковариационной матрицы. Проведены численные эксперименты, подтверждающие точность асимптотической аппроксимации. Определена область применимости полученных результатов в зависимости от параметров модели. Кроме того, в работе приведён пример решения задачи оптимизации функционирования исследуемой сети массового обслуживания, иллюстрирующий возможности практического применения разработанного подхода при анализе и управлении телекоммуникационными системами.
Представлено исследование сети массового обслуживания с неограниченным числом обслуживающих приборов в узлах сети и возможностью прерывания обслуживания. Такая модель может быть использована для описания функционирования абонентских сетей доступа, где заявка (подключённый абонент) в процессе обслуживания может перемещаться от одного узла сети к другому или покидать сеть, завершив или не завершив своё обслуживание. Предполагается, что переходы происходят независимо от состояния узлов. Исследование проводится с использованием метода асимптотического анализа при условии высокой интенсивности входящего потока. В рамках проведённого анализа установлено, что при стремлении интенсивности потока к бесконечности совместное стационарное распределение числа заявок в узлах сети приближается к многомерному нормальному распределению. Получены аналитические выражения для параметров этого распределения, таких как математические ожидания и элементы ковариационной матрицы. Проведены численные эксперименты, подтверждающие точность асимптотической аппроксимации. Определена область применимости полученных результатов в зависимости от параметров модели. Кроме того, в работе приведён пример решения задачи оптимизации функционирования исследуемой сети массового обслуживания, иллюстрирующий возможности практического применения разработанного подхода при анализе и управлении телекоммуникационными системами.
Рассматривается задача управления мнениями агентов, сформулированная в терминах приближения среднего поля для SCARDO-модели, построенного для случая социальной системы с модулярной сетевой структурой, гетерогенными уровнями активности агентов и персонализацией контента. В рамках модели управления специальная группа агентов, имитирующая ботов в реальных социальных медиа, воздействует на остальных агентов, с тем чтобы изменить их мнения в соответствии с интересами управляющего субъекта. Изучается наиболее простой для анализа случай двухэлементной азбуки мнений, в рамках которой существует только два возможных мнения (интерпретация – выборы в двухпартийной системе) и один тип агентов-неботов. Строится аналитическое решение задачи управления. Демонстрируется, что в зависимости от значений параметров модели может быть либо одна оптимальная стратегия управления, либо бесконечно много. При этом в случае, когда оптимальное управление единственно, оно должно быть устроено следующим образом: все социальные боты должны транслировать одно и то же мнение, а переключение распространяемого мнения может произойти не более одного раза лишь для некоторых конфигураций параметров. Полученные результаты сопровождаются примерами с реальными данными из онлайн плафтормы ВКонтакте
Статистика статьи
Статистика просмотров за 2026 год.
Издательство
- Издательство
- ИПУ РАН
- Регион
- Россия, Москва
- Почтовый адрес
- 117997, ГСП-7, г. Москва, Профсоюзная, 65
- Юр. адрес
- 117997, г. Москва, Профсоюзная, 65
- ФИО
- Новиков Дмитрий Александрович (дирек)
- E-mail адрес
- dan@ipu.ru
- Контактный телефон
- +7 (495) 3348910
- Сайт
- https://www.ipu.ru/