«Ўзбекистон темир йўллари» акционерлик жамияти тошкент темир йўл муҳандислари институти «Темир йўл транспортида автоматика ва телемеханика» кафедраси «автоматика ва телемеханика тизимларининг ишончлиги ва харакат хавфсизлиги»

8 — Маъруза Тузилмавий зазрфалашнинг самарадорлигини баҳолаш ва назорат қилиш

• Тузилмавий заҳиралашнинг самарадорлигини баҳолаш ва назорат қилиш учун ишончлилик модели тузилишидан фойдаланилади.
• Ишончлиликни кетма — кетликдаги модели кетма —кет уланган, икки ва ундан куп функционал элементлардан таркиб топган тизимни ифодалайди. Бундай моделнинг афзаллиги ишлаш

кобилиятининг шарти хисобланади. Битта элемент ишдан чикариши билан тизим носоз холатга утади.

• кобилиятининг шарти хисобланади. Битта элемент ишдан чикариши билан тизим носоз холатга утади.
• Тасодифий ходисалар эхтимолини купайтириш назариясига асосланиб, ишончлиликнинг кетма — кетликдаги модели бузилмасдан ишлаш эхтимолининг хосиласига тенг.
• п та элементдан таркиб топган ишончлилик моделининг оддий кетма — кетлиги куйидаги расмда тасвирланган:

Ишончлиликнинг параллел модели параллел уланган икки ва ундан куп мустакил элемент функционал элементлардан иборат тизимни ифодалайди. Модел ишлаш шарти — факатгина битта элемент ишлаш кобилиятига эга булса хам тизим ишини давом эттиришидир. Бунга асосланиб ва ходиса эхтимолларини купайтириш назариясидан фойдаланиб, куйидаги коида шаклланади: ишончлиликни параллел моделини бузилиш эхтимоли унинг алокида элементларини бузилиш эхтимолининг хосиласига тенг.

• Ишончлиликнинг параллел модели параллел уланган икки ва ундан куп мустакил элемент функционал элементлардан иборат тизимни ифодалайди. Модел ишлаш шарти — факатгина битта элемент ишлаш кобилиятига эга булса хам тизим ишини давом эттиришидир. Бунга асосланиб ва ходиса эхтимолларини купайтириш назариясидан фойдаланиб, куйидаги коида шаклланади: ишончлиликни параллел моделини бузилиш эхтимоли унинг алокида элементларини бузилиш эхтимолининг хосиласига тенг.
• m та элементдан иборат ишончлиликни параллел моделининг тузилмавий схемаси куйидаги расмда тасвирланган:

D(t)қ1/l2

• D(t)қ1/l2
• s(t)қ1/l га тенг.
• Ишончлилик ҳисоби. Ишончлиликнинг асосий ҳисоби
• Математик мантиқдан фойдаланиш билан ишончлилик ҳисоби
• Математик мантиқ тузилмани ишлаш қобилияти шартларини шакллантириш ва ишончлилик ҳисобига формула олиш учун ишлатилади.
• Агар А ёки В ҳақиқий бўлса, С ҳам ҳақиқий бўлади. Унда С ўзаро дизъюнкция мантиқий операцияси орқали ифодаланган А ва В га тенг:
• Сқ A v B
• сқa v b(1)
• Дизъюнкциянинг мантиқий операцияси а ва б элементларини параллел уланган схемаси орқали ифодаланади:
• 2) Қурилма ҳақида ҳам шундўй дейиш мумкин. Агар а ва б элемент иш қобилиятига эга бўлса, қурилма ҳам иш қобилиятига эга бўлади. Мантиқий кўриниш
• cқ a ^ b(2)
• Конъюкциянинг мантиқий операцияси а ва б элеметларини кетма-кет уланган схемаси орқали ифодаланади: