![]() |
Сайт фан клуба ИГХТУ |
главная старница | Методичка 706 ИГХТУ
Существует идея //-го (одновременного) или последовательного во времени выполнения различных версий программ непосредственно в процессе эксплуатации. Если таких версий 2, то принято говорить о дуальном программировании. Если обнаружено расхождение в результатах, необходимо определить по к-л дополнительным критериям, какой из результатов правильный.
Дуальное и n-версионное программирование целесообразно использовать в том случае, если имеет место нагруженное резервирование вычислительной аппаратуры. Модифиционное дуальное программирование на ряду с достаточно точной, но сложной основной программой, использует менее точную, но простую резервную программу. Если при одинаковых исходных данных результаты отличаются на величину > допустимой, делается предположение о том, что отказала основная программа. В качестве правильного результата принимается результат, полученный при помощи резервной программы.
Обозначим погрешность I программы d1, а II – d2. Пусть вероятность отказа I программы – q1, II – q2. При независимости этих программ возможны следующие несовместные события: 1) обе программы работают безотказно p = 1 – q1 – q2 +q1q2 2) откажет основная программа, тогда: q01 = q1(1 – q2) = q1 – q1q2 3) отказ резервной программы q10 = q2(1 – q1) = q2 – q1q2 4) откажут основная и резервная программы q11 = q22 (погрешность d3) Следовательно, средняя погрешность не отказавшей системы из 2-х программ: В случае, когда имеется только основная программа: погрешность d1 вероятность отказа q1 Метод контрольных функций Наряду с вычислительной функцией по иной программе определяется некоторая функция, которая находится с основной, в некоторых соотношениях, которые называются контрольными соотношениями. Простейшим примером применения контрольных соотношений является вычисление функций sinx и cosx по отдельным соотношениям.
страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 | |
лекции по надежности | ||
методичка 706 | ||
методичка 824 | ||
методичка 825 | ||
Warning: in_array() expects parameter 2 to be array, null given in /home/p198609/www/bestlogistics.ru/2f41c03c6df35aa46f8d897a4eed7d02/sape.php on line 192 |