Модели достоверности информации

Во множестве видов контроля, используемых для повышения достоверности, можно выделить два подмножества: внутриоперационные и послеоперационные виды контроля. В первое подмножество входят виды контроля, обеспечивающие повышение достоверности за счет обнаружения только тех искажений, которые вносятся на данной операции. Например, к данному подмножеству относится визуальный контроль /самоконтроль/ оператора при работе на видеотерминальном устройстве. Второе подмножество включает виды контроля, используемые для обнаружения тех искажений во входных, промежуточных и выходных сообщениях, которые вносятся не только на данной операции, но и на предшествующих.

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

Достоверность информации P_И, формируемой при реализации некоторого технологического процесса, операции которого не включают послеоперационных видов контроля, определяются следующим образом:

где В_i – достоверность /вероятность отсутствия ошибок/ информации после реализации i-й операции,

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

Рассмотрим модель надежности однократной операции преобразования с внутриоперационным контролем и исправлением путем повторения операции преобразования. Схема унифицированного алгоритма операции данного типа приведена на рисунке 4.I.

 

Рисунок 4.I - Схема унифицированного алгоритма однократной операции с

внутриоперационным контролем

 

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

Если информация искажена в блоке I, то в контролирующем блоке 2 с вероятностью К⁰ это обнаруживается, и блоком 3 управление передается первому блоку с целью повторения преобразования. С вероятностью К^’=I-K⁰ в контролирующем блоке не обнаруживается, что информация искажена, и данные выдаются на выход операции.

Вычислим вероятность того, что на выход операции будет выдана искаженная информация.

 

На входе блока 2 искаженная информация при первом проходе появляется с вероятностью и с вероятностью эта информация поступает на выход операции.

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

С вероятностью происходит третий прогон.

С вероятностью происходит искажение на третьем прогоне и т.д.

Полная вероятность поступления искаженных данных на выход операции равна

 

Так как , то данный ряд сводится, и сумма его членов равна

 

Вероятность того, что на выход операции не попадет искаженная информация, равна

 

 

Унифицированная схема алгоритма двукратной операции преобразования без прерываний с внутриоперационным контролем приведена на рисунке 4.2.

 

Рисунок 4.2 - Схема унифицированного алгоритма двукратной операции с внутриоперационным контролем

 

Нетрудно заметить, что если объединить блоки 1 и 2 на рис.II, то мы получим схему, идентичную ранее рассмотренной (рисунок 4.2). Следовательно, в данном случае мы можем воспользоваться ранее полученным результатом, если примем

и

где и - вероятность получения правильных результатов при первом и втором преобразовании;

и - вероятность искажения информации при первом и втором

преобразовании.

Т.е. вероятность того, что на выход двукратной операции не попадет искаженная информация, равна

Полученный результат можно распространить и на случай послеоперационного контроля. В данном случае и определяются следующим образом:

, ,

где вероятность того, что на выходе i - той операции не попадетискаженная информация;

вероятность искажения информации в результате реализации i – той операции;

подмножество операций, на которые распространяется послеоперационный контроль.

Тогда вероятность того, что на выход операции, содержащей послеоперационный контроль, не попадет искаженная информация, равна

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

В ряде случаев при определении достоверности может потребоваться уточнение моделей, например с учетом вероятности принятия истины за ошибку.

 

 

⇐ Предыдущая3456789101112Следующая ⇒

Поделиться:

Воспользуйтесь поиском по сайту: