Main menu

Стохастическое программирование: оптимизация с вероятностными ограничениями (Chance-Constrained)

Традиционное стохастическое программирование опирается на сценарии и усреднение целевой функции, однако в некоторых критических отраслях, таких как ядерная энергетика, авиация или банковский риск-менеджмент, усреднение неприемлемо. Инженерам и финансистам требуется математическая гарантия того, что система выдержит экстремальные нагрузки с надежностью, близкой к абсолютной (например, 99.99 процентов). Для формулирования таких жестких требований в 1959 году Абрахам Чарнес и Уильям Купер разработали метод оптимизации с вероятностными ограничениями (Chance-Constrained Programming). Этот аппарат позволяет интегрировать статистическую надежность непосредственно в систему неравенств линейного или нелинейного программирования.

Подробнее

Теория массового обслуживания: сети поллинга (Polling Systems) и оптимизация циклического опроса

В современных телекоммуникационных сетях, производственных роботизированных ячейках и системах управления дорожным движением часто встречается ситуация, когда один единственный обслуживающий ресурс должен поочередно обходить несколько независимых очередей. В теории массового обслуживания такой класс математических моделей получил название сетей поллинга (Polling Systems) или систем с циклическим опросом. Главная аналитическая проблема здесь заключается в расчете задержек, возникающих не только из-за времени самого обслуживания заявок, но и из-за времени переключения сервера между различными очередями. Оптимизация порядка обхода и дисциплин обслуживания в таких системах критически важна для предотвращения фатальных перегрузок в локальных сетях (LAN).

Подробнее

Цепи Маркова с непрерывным временем (CTMC) и дифференциальные уравнения Колмогорова

Классические цепи Маркова оперируют дискретным временем, где система совершает скачки из состояния в состояние строго по тактам таймера. Однако физические процессы разрушения материалов, поступление вызовов на телефонную станцию или химические реакции происходят в непрерывном потоке времени. Для строгой математической формализации таких явлений исследование операций применяет аппарат цепей Маркова с непрерывным временем (Continuous-Time Markov Chains, CTMC). Переход от матриц переходных вероятностей к матрицам интенсивностей позволяет связать теорию вероятностей с мощнейшим аппаратом дифференциальных уравнений, превращая стохастический хаос в предсказуемые аналитические траектории.

Подробнее

Соц. сети