Výpočet spolehlivosti je postup pro stanovení hodnot ukazatelů spolehlivosti objektů pomocí metod založených na jejich výpočtu na základě referenčních údajů o spolehlivosti prvků objektu, na základě údajů o spolehlivosti analogových objektů, údajů o vlastnostech materiálů a další informace dostupné v době výpočtu.
Výsledkem výpočtu jsou kvantitativní hodnoty ukazatelů spolehlivosti .
Potřeba vypočítat spolehlivost technických zařízení a systémů existuje od počátku jejich používání lidmi. Například na počátku 20. století byl problém odhadnout průměrnou dobu hoření plynových lamp a v polovině 30. let 20. století díky práci švédského vědce V. Weibulla problém popsat průměrnou provozní dobu proslavila se elektronová lampa před jejím selháním ( Weibullova distribuce ).
Příkladem hledání metod pro výpočet spolehlivosti je historie vzniku raketových systémů V-1 a V-2 Wernherem von Braunem [1] . V té době pracoval v Brownově laboratoři německý matematik Eric Pieruschka , který dokázal, že spolehlivost rakety se rovná součinu spolehlivosti všech součástí, a nikoli spolehlivosti nejnespolehlivějšího prvku, jak Brown věřil. Později spolu s Brownem v polovině 50. let působil v USA německý inženýr Robert Lusser ( anglicky ) , který formuloval hlavní teoretická ustanovení budoucí teorie spolehlivosti . Jeho vzorec pro výpočet spolehlivosti sériově zapojeného systému se stal známým jako " Lusserův zákon " .
Mezi první práce o výpočtu spolehlivosti v Sovětském svazu patří článek inženýra Yakuba B. M. „Indikátory a metody výpočtu spolehlivosti v energetickém sektoru“, publikovaný v časopise „Electricity“ , č. 18, 1934, a článek Profesor Siforov V. A " O metodách výpočtu spolehlivosti systémů obsahujících velké množství prvků" ( Sborník Akademie věd SSSR . Katedra technických věd. č. 6, 1954) Bez ohledu na uzavřené práce něm. vědci, v těchto článcích byla spolehlivost systémů se sériovým připojením vypočtena jako součin prvků spolehlivosti.
První monografie v SSSR o teorii a výpočtu spolehlivosti - kniha I. M. Malikova, A. M. Polovka , N. A. Romanova, P. A. Chukreeva "Základy teorie a výpočtu spolehlivosti" (Leningrad, Sudpromgiz , 1959) .
Řešení otázek spolehlivosti a bezpečnosti moderních konstrukčně složitých technických systémů a objektů probíhá ve všech fázích životního cyklu, od návrhu a tvorby, výroby, až po provoz, používání a likvidaci. V tomto případě lze sledovat následující cíle [2] :
Ve fázi návrhu technických systémů se provádí návrhový výpočet spolehlivosti.
Výpočet spolehlivosti návrhu je postup pro stanovení hodnot ukazatelů spolehlivosti objektu ve fázi návrhu pomocí metod založených na jejich výpočtu z referenčních a dalších údajů o spolehlivosti prvků objektu dostupných v době výpočtu.
Konstrukční výpočet spolehlivosti je součástí povinné práce k zajištění spolehlivosti jakéhokoli automatizovaného systému a je prováděn na základě požadavků regulační a technické dokumentace (GOST 27.002-89, GOST 27.301-95, GOST 24.701-86) .
Ve fázi testování a provozu se provádí výpočet spolehlivosti pro posouzení kvantitativních ukazatelů spolehlivosti navrženého systému.
Strukturální metody jsou hlavními metodami pro výpočet ukazatelů spolehlivosti v procesu navrhování objektů, které lze dezagregovat na prvky, jejichž charakteristiky spolehlivosti jsou v době výpočtů známé nebo mohou být určeny jinými metodami. Výpočet ukazatelů spolehlivosti strukturálními metodami obecně zahrnuje:
Jako strukturální diagramy spolehlivosti lze použít následující:
V logicko-pravděpodobnostních metodách (LPM) se prvotní vyjádření problému a konstrukce funkčního modelu zkoumaného systémového objektu nebo procesu provádí strukturálními a analytickými prostředky matematické logiky a výpočtem ukazatelů spolehlivosti, vlastnosti přežití a bezpečnosti se provádí pomocí teorie pravděpodobnosti .
LVM je metodika pro analýzu strukturálně složitých systémů, řešení systémových problémů organizované složitosti, hodnocení a analýzu spolehlivosti, bezpečnosti a rizik technických systémů. LCM jsou vhodné pro prvotní formalizovanou formulaci problémů v podobě strukturního popisu zkoumaných vlastností fungování složitých a vysokorozměrných systémů. V LVM byly vyvinuty postupy pro převod výchozích strukturálních modelů na požadované výpočtové matematické modely, což umožňuje provádět jejich algoritmizaci a implementaci na počítači.
Zakladatelem vědeckého a technického aparátu LVM a aplikačních aspektů jejich aplikace, stejně jako zakladatelem a vedoucím vědecké školy, je profesor I. A. Ryabinin .
Obecná logicko-pravděpodobnostní metodaPotřeba rozšířit LPM na nemonotonické procesy vedla k vytvoření obecné logicko-pravděpodobnostní metody (GPM). V OLVM pro výpočet spolehlivosti se využívá aparát matematické logiky pro primární grafický a analytický popis podmínek pro realizaci funkcí jednotlivci a skupinami prvků v navrženém systému a jsou využívány metody teorie pravděpodobnosti a kombinatoriky . kvantifikovat spolehlivost a/nebo nebezpečnost fungování navrženého systému jako celku. Pro použití OLVM by měla být stanovena speciální strukturální schémata funkční integrity studovaných systémů, logická kritéria pro jejich fungování, pravděpodobnostní a další parametry prvků.
Takzvaný event-logický přístup je jádrem formulace a řešení všech problémů modelování a výpočtu spolehlivosti systémů využívajících OLVM. Tento přístup umožňuje sekvenční implementaci následujících čtyř hlavních fází GPRS:
V systému se sekvenční strukturou vede selhání jakékoli součásti k selhání systému jako celku.
Systém logických rovnic pro výše uvedený sekvenční systém je:
Logická zdravotní funkce (řešení soustavy logických rovnic):
Pravděpodobnost bezporuchového provozu:
kde jsou pravděpodobnosti bezporuchového provozu součástí.
Obecně se pravděpodobnost bezporuchového provozu systému rovná:
V systému s paralelní strukturou dochází k selhání systému jako celku pouze tehdy, když selžou všechny prvky.
Systém logických rovnic pro redukovaný paralelní systém:
Logická zdravotní funkce (řešení soustavy logických rovnic):
Pravděpodobnost bezporuchového provozu:
Obecně se pravděpodobnost bezporuchového provozu systému rovná:
Pravděpodobnost, že v systému sestávajícím z identických (stejně spolehlivých) prvků fungují přesně prvky bezchybně, lze vypočítat podle vzorce [4] :
,kde
je pravděpodobnost bezporuchového provozu prvku systému; je binomický koeficient od do .Pravděpodobnost, že v systému sestávajícím z identických a stejně spolehlivých prvků bezchybně funguje ne méně než prvků, lze vypočítat podle vzorce [4] :
Pravděpodobnost, že v systému sestávajícím z identických a stejně spolehlivých prvků neméně než prvků pracuje bez poruchy, lze vyjádřit pravděpodobnostmi bezporuchového provozu podobného systému nižší dimenze [4] :
Softwarové nástroje určené k analýze a výpočtu spolehlivosti, dostupnosti a udržovatelnosti (v abecedním pořadí) [5] [6] [7] [8] :
domácí zahraniční, cizí