Самостабилизация: различия между версиями

Операциональная интерпретация самостабилизации изображена на рис. 1. Часть (a) рисунка представляет собой неформальное представление поведения самостабилизирующейся системы, где по оси x отложено время, а по оси y – некоторая неформальная мера корректности. Кривая иллюстрирует траекторию движения системы через последовательность состояний во время выполнения. В начальном состоянии состояние системы некорректно; позже система входит в корректное состояние, затем возвращается в некорректное, а затем стабилизируется на неопределенный период, когда все состояния корректны. Этот период стабильности нарушается преходящим сбоем, который переводит систему в некорректное состояние, после чего повторяется описанный выше сценарий. Часть (b) рисунка иллюстрирует сценарий в терминах предикатов состояния. В рамке представлен предикат ''true'', который характеризует все возможные состояния. Предикат <math>\mathcal{C}</math> характеризует корректные состояния системы, а <math>\mathcal{L} \subset \mathcal{C}</math> представляет закрытый предикат ''правомерности''. Достижение состояния в <math>\mathcal{L}</math> соответствует вступлению в период стабильности в части (a). Пусть имеется алгоритм A с таким типом поведения. Мы говорим, что A самостабилизируется в <math>\mathcal{L}</math>; когда <math>\mathcal{L}</math> понимается неявно, это утверждение упрощается до выражения «A самостабилизируется».