Ўқув йили қабулидаги Тошкент давлат техника университети магистратура мутахассисликлари руйхати

 
«ЭЛЕКТРОН ҚУРИЛМАЛАРНИ ИШОНЧЛИЛИГИ» фанининг мазмуни ва 
вазифаси 
Электрон асбобларини ишончлилигининг асосий тушунчалари. Электрон 
асбобларини ишончлилигини таъминлаш назарияси ва амалиѐтининг асосий тушунчалари. 
Ишончлиликни ошириш воситалари. Структурали, вақтли, ахборотли ва функционал 
захиралаш (резервирование). Электрон воситаларни ишончлилигини таъминлашда 
назоратни, тиклашни ва диагностиканинг ўрни.
Элементларнинг ишончлилиги. Захира киритилмаган ЭХВлар ва элементларининг 
ишончлилиги. Техник воситаларни ишончлилигини эҳтимоллик назарияси асосида 
тавсифлаш. Ишончлиликни эҳтимоллилик кўрсаткичларини тақсимлаш қонунлари. 
Тикланадиган ва тикланмайдиган ҳисоблаш тизимларининг ишончлилик кўрсаткичлари. 
Ишончлилик кўрсаткичларини баҳолаш ва ҳисоблаш усуллари. Комплексли кўрсаткичлар.
Структурали захиралаш. Структурали захиралаш: умумий, бўлинган, ўринбосувчи, 
мажоритар, сурилувчи захиралашлар; захира элементларининг ишлашига тартибларнинг 
таъсири, электрон қурилмаларнинг блокларини ишончлилигини ҳисоблашни аниқ 
усуллари, йиғим усули, тармоқланган структурали тизимларни ҳисоблашни таркибий 
усуллари, кесишмалар ва йўллар усули, мураккаб структурали ЭТларни ишончлилигини 
мантиқий эҳтимолли усуллар ѐрдамида ҳисоблаш.
Дастурларни ишончлилиги. Тизимларнинг ҳолатларини мураккаб Марков модели 
ѐрдамида тавсифлаш. Марков моделлари ѐрдамида захирали тизимларни ишончлилик 
кўрсаткичларини ҳисоблаш, заҳирали мураккаб ЭТларни ҳисоблаш усуллари, дастур 
таъминотининг ишончлилиги, дастурларни ишдан чиқиши тушунчалари, дастурларни 
ишончлилик моделлари, мисоллар, дастурларда структурали ортиқликни (избыточность) 
киритиш усуллари. Дастур таъминотини структурали тестлаш, мантиқий элементлар, 
функционал блоклар ва компьютер даражасида захиралашни ташкил қилишга мисоллар, 
Лагранж градиент усули. 
Бузилишга барқарор тизимларнинг ишончлилиги. Бузилишга барқарор тизимлар, 
бузилишга барқарор электрон қурилмаларни хоссалари ва мақсади, бузилишга барқарор 

---

112 
ЭТларнинг ишончлилиги, бузилишга барқарор ЭТларнинг ишлаб чиқиш мисоллари; 
TANDEN, STAR, SIFT тизимлари, оптимал захиралаш масалалари, бузилишга барқарор 
ЭТларда ресурсларни тақсимланиши, Лагранж усули, градиент усули. Замонавий электрон 
асбобларини бузилишга барқарорлигини ва ишончлилигини ошириш воситаларини 
ривожланиш келажаги.