Отрывок: Событие 3 является следствием события 2, поэтому его не рассматрива ем. Программа откажет в случае выполнения либо события 1, либо события 2. Вероятность отказа программы запишется в следующем виде: Р 0Тка за = Р1 + Р2 -Р Г Р 2 . Сумма (а+b) подчиняется нормальному закону распределения. Пусть (-е) и (+£.) левая и правая границы машинного нуля соответственно. Тогда Р2 = P(-£<1-logk(a+b)<+e) = P(-£+1
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Губайдуллин И. И. | ru |
dc.contributor.author | Фрид А. И. | ru |
dc.coverage.spatial | возможные ошибки | ru |
dc.coverage.spatial | системы управления | ru |
dc.coverage.spatial | молодежные научно-инновационные проекты | ru |
dc.coverage.spatial | метод оценки надежности | ru |
dc.coverage.spatial | инновационные научные разработки | ru |
dc.coverage.spatial | закон распределения исходных данных | ru |
dc.coverage.spatial | программное обеспечение | ru |
dc.creator | Губайдуллин И. И., Фрид А. И. | ru |
dc.date.issued | 2007 | ru |
dc.identifier | RU\НТБ СГАУ\481031 | ru |
dc.identifier.citation | Губайдуллин, И. И. Об одном методе оценки надежности программного обеспечения / И. И. Губайдуллин, А. И. Фрид // IX Королевские чтения : Всерос. молодеж. науч. конф. с междунар. участием, посвящ. 100-летию акад. С. П. Королева, 65-летию КуАИ-СГАУ и 50-летию со дня запуска первого искусств. спутника Земли : тез. докл., 1-3 окт. 2007 г. / Федер. агентство по образованию, Правительство Самар. обл., М-во образования и науки Самар. обл., Самар. науч. центр Рос. акад. наук, Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч.-произв. ракет.-косм. центр "ЦСКБ - Прогресс" ; [науч. ред. И. В. Белоконов]. - Самара : Изд-во СГАУ, 2007. - С. 280. | ru |
dc.language.iso | rus | ru |
dc.source | IX Королевские чтения : Всерос. молодеж. науч. конф. с междунар. участием, посвящ. 100-летию акад. С. П. Королева, 65-летию КуАИ-СГАУ и 50-летию со дня запуска первого искусств. спутника Земли : тез. докл., 1-3 окт. 2007 г. - Текст : электронный | ru |
dc.title | Об одном методе оценки надежности программного обеспечения | ru |
dc.type | Text | ru |
dc.citation.spage | 280 | ru |
dc.textpart | Событие 3 является следствием события 2, поэтому его не рассматрива ем. Программа откажет в случае выполнения либо события 1, либо события 2. Вероятность отказа программы запишется в следующем виде: Р 0Тка за = Р1 + Р2 -Р Г Р 2 . Сумма (а+b) подчиняется нормальному закону распределения. Пусть (-е) и (+£.) левая и правая границы машинного нуля соответственно. Тогда Р2 = P(-£<1-logk(a+b)<+e) = P(-£+1<logk(a+b)<+£+1) = P(k'e+1<a+b<k+£+1). Для расчета... | - |
Располагается в коллекциях: | Королевские чтения |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
978-5-7883-0531-8_2007-280.pdf | 90.75 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.