2015-05-06
422
Поскольку основными единицами процесса функционирования ЧМС являются функционеры (рабочий, логический, задержки), каждый из которых характеризуется своими безошибочностью, быстродействием и ритмичностью реализации, то каждому i -му функционеру ставится во взаимно однозначное соответствие кортеж соответствующих локальных характеристик (безошибочности – b 
; быстродействия – Мi (Т); ритмичности – Di (Т)):
b , Мi (Т), Di (Т) 
.
Значения локальных характеристик функционеров, реализуемых человеком-оператором во взаимодействии с соответствующими органами управления и средствами отображения информации, помещены в соответствующие эргономические (инженерно-психологические) справочники. Необходимые характеристики, отсутствующие в справочниках, можно также получить путем проведения специальных экспериментов или при проведении эргономической экспертизы.
Для вспомогательных ТФЕ кортежи характеристик имеют вид:
1) для ТФЕ функционального контроля
К 
, К 
, К 
, К 
, Мi (Т), Di (Т) ,
К 
– вероятность признания выполнения контролируемых основных ТФЕ правильным при фактически правильном их выполнении;
|
|
|
К 
– вероятность признания выполнения контролируемых основных ТФЕ неправильным при правильном их выполнении, так называемая. вероятность ложного забракования;
К 
– вероятность признания выполнения контролируемых основных ТФЕ неправильным при неправильном их выполнении, т.е. вероятность правильного распознавания ошибки;
К 
– вероятность признания выполнения контролируемых основных ТФЕ правильным при неправильном их выполнении, т.е. вероятность пропуска ошибки.
2) для ТФЕ диагностического контроля
П , П , П , П , Мi (Т), Di (Т) ,
П – вероятность признания техники исправной при фактической ее исправности;
П – вероятность признания техники неисправной при фактической ее исправности;
П – вероятность признания техники неисправной при фактической ее неисправности;
П – вероятность признания техники исправной при фактической ее неисправности.
