Постановка проблемы. 
Использование скрытой марковской модели при синтезе стохастического алгоритма решения задачи

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

При принятии решений в условиях определенности используется критериальный подход, при котором оценивают каждую альтернативу с помощью критериев. Однако в настоящее время возросло значение решения задач, примерами которых могут быть разработка автономных сценариев (алгоритмов) для управления информационными ресурсами вычислительных систем [1] или для управления очередями заданий в кластере локальной сети с использованием Марковских процессов [2]. Характерное для данных примеров многофакторное влияние на переменные целевой функции алгоритма условий среды и управляющих воздействий ограничивает использование детерминированного подхода из-за редко встречающейся ситуации полной определенности последствий выбора, поскольку на практике чаще используются несколько различных критериев и крайне редко одна альтернатива является лучшей по каждому из них.

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

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