Быстродействия и ритмичности

В процессе использования ФС для формального описания ПФ ЧМС были выявлены типовые совокупности ТФЕ, которые очень часто встречаются при реализации человеком-оператором взаимодействий с ОУ и СОИ. Такие совокупности получили название типовых функциональных структур. К настоящему времени библиотека ТФС включает несколько десятков структур. Например, совокупность последовательно выполняемых рабочих ТФЕ (рис. 6.1); совокупность последовательно выполняемых рабочих ТФЕ с последующими диагностическим и функциональным контролями (рис. 5.2).

Для каждой ТФЕ, входящей в состав ТФС, из справочников (или другим путем) выбирают: b , М (Т), D (Т), К , П .

Рис. 6.1. Последовательно выполняемые рабочие ТФЕ

Рис. 6.2. Последовательно выполняемые рабочие ТФЕ с диагностическим и функциональным контролями

Используя методы теории вероятностей, топологический и другие можно получать расчетные формулы для вычисления значений эквивалентных показателей безошибочности – b , быстродействия – М (Т) и ритмичности – D (Т) для каждой ТФС.

Например, для последовательно выполняемых ТФЕ (рис. 5.1):

b = b ; b = 1 – b ; М (Т) = М_i (Т); D (Т) = D_i (Т).

Для последовательно выполняемых рабочих ТФЕ с диагностическим и функциональным контролями (рис. 5.2)

b = ,

b = 1 – b ; b = ,

где V() - вероятности исправности (неисправности) технических (программно-технических) средств.

Математическое ожидание времени выполнения ТФС равно сумме [ М (T_p) +M (T_д)] и [ М (T_p) +M (Т_к)], умноженной на математическое ожидание числа повторений ТФС M (L), т.е.

М (Т) = М (T_p) + M (T_д) + [ М (T_p) + M (T_д) + M (Т_к)]× M (L),

где M (L) = .

Аналогичным образом по приведенным ниже формулам можно определить дисперсию и, в случае необходимости, среднее квадратическое отклонение времени выполнения ТФС

D (Т)= D (T_p)+ D (T_д)+[ М (T_p)+ M (T_д)+ M (Т_к)]² D (L)+[ D (T_p)+ D (T_д)] M (L),

где D (L) = .