Теория
Список личностей Вход Регистрация
О вычислении надёжности типирования можно прочитать здесь.
Локальну версию вычислительной программы можно скачать здесь.
Минимальный размер выборки для определения сходимости задан равным 50.
Расчёт надёжности типирования для трёх типировщиков выполняется путём решения системы уравнений:
X * Y + (1 – X) * (1 – Y) * 1 / F = A
Y * Z + (1 – Y) * (1 – Z) * 1 / F = B
Z * X + (1 – Z) * (1 – X) * 1 / F = C
X * Y * Z + (1 - X) * (1 - Y) * (1 - Z) / (F * F) = D
Где обозначены неизвестные (искомые) величины:
X - надёжность 1-го типировщика,
Y - надёжность 2-го типировщика,
Z - надёжность 3-го типировщика.
И известные (экспериментальные) величины:
A - сходимость 1-го и 2-го,
B - сходимость 2-го и 3-го,
C - сходимость 3-го и 1-го.
D - сходимость 1-го, 2-го и 3-го.
Решение данной системы выполняется численно.
Эта страница может быть доступна незарегистрированным пользователям.
|
Версии