DESIGNED BY MIXWEBTEMPLATES


Теория

[Список личностей]   


О вычислении надёжности типирования можно прочитать [здесь]
Локальну версию вычислительной программы можно скачать [здесь]

Минимальный размер выборки для определения сходимости задан равным 35.
При расчёте учитываются только версии высказанные типировщиками за последние 2 год(а).

Расчёт надёжности типирования для трёх типировщиков выполняется путём решения системы уравнений:

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-го.

Решение данной системы выполняется численно.