Tillförlitlighetsberäkning är ett förfarande för att bestämma värdena för objekttillförlitlighetsindikatorer med metoder baserade på deras beräkning baserad på referensdata om tillförlitligheten hos objektelement, på grundval av data om tillförlitligheten hos analoga objekt, data om materialegenskaper. och annan information tillgänglig vid beräkningstillfället.
Som ett resultat av beräkningen bestäms de kvantitativa värdena för tillförlitlighetsindikatorerna .
Behovet av att beräkna tillförlitligheten hos tekniska anordningar och system har funnits sedan de började användas av människor. Till exempel, i början av 1900 -talet , fanns det ett problem med att uppskatta den genomsnittliga brinntiden för gaslampor, och i mitten av 1930-talet , tack vare den svenska forskaren V. Weibulls arbete , problemet med att beskriva den genomsnittliga drifttiden för gaslampor. en elektronlampa innan den misslyckades ( Weibull distribution ) blev känd .
Ett exempel på sökandet efter metoder för att beräkna tillförlitlighet är historien om skapandet av V-1 och V-2 missilsystem av Wernher von Braun [1] . Vid den tiden arbetade den tyske matematikern Eric Pieruschka i Browns laboratorium , som bevisade att tillförlitligheten hos en raket är lika med produkten av tillförlitligheten hos alla komponenter, och inte tillförlitligheten hos det mest opålitliga elementet, som Brown trodde. Senare, tillsammans med Brown i mitten av 50-talet , arbetade den tyske ingenjören Robert Lusser ( engelska ) i USA , som formulerade de huvudsakliga teoretiska bestämmelserna i framtidsteorin om tillförlitlighet . Hans formel för att beräkna tillförlitligheten hos ett seriekopplat system blev känd som " Lussers lag " .
De första verken om beräkning av tillförlitlighet i Sovjetunionen inkluderar en artikel av ingenjören Yakub B. M. "Indikatorer och metoder för att beräkna tillförlitlighet i energisektorn", publicerad i tidskriften "Electricity" , nr 18, 1934, och en artikel av Professor Siforov V. Och " Om metoder för att beräkna tillförlitligheten hos system som innehåller ett stort antal element" ( Proceedings of the Academy of Sciences of the USSR . Department of Technical Sciences. No. 6, 1954) Oavsett tyska slutna verk forskare, i dessa artiklar beräknades tillförlitligheten hos system med seriell anslutning som en produkt av tillförlitlighetselement.
Den första monografin i Sovjetunionen om teori och beräkning av tillförlitlighet - boken av I. M. Malikov, A. M. Polovko , N. A. Romanov, P. A. Chukreev "Grundläggande av teorin och beräkningen av tillförlitlighet" (Leningrad, Sudpromgiz , 1959) .
Lösningen av tillförlitlighets- och säkerhetsfrågor för moderna strukturellt komplexa tekniska system och objekt utförs i alla skeden av livscykeln, från design och skapande, produktion, till drift, användning och bortskaffande. I det här fallet kan följande mål eftersträvas [2] :
Vid designstadiet av tekniska system utförs en designberäkning av tillförlitligheten.
Designtillförlitlighetsberäkning är en procedur för att bestämma värdena för objekttillförlitlighetsindikatorer vid designstadiet med hjälp av metoder baserade på deras beräkning från referens och andra data om tillförlitligheten hos objektelement som finns tillgängliga vid beräkningstillfället.
Designberäkningen av tillförlitlighet är en del av det obligatoriska arbetet för att säkerställa tillförlitligheten hos alla automatiserade system och utförs på grundval av kraven i reglerande och teknisk dokumentation (GOST 27.002-89, GOST 27.301-95, GOST 24.701-86) .
Vid test- och driftstadiet utförs tillförlitlighetsberäkningen för att bedöma de kvantitativa indikatorerna för det designade systemets tillförlitlighet.
Strukturella metoder är de viktigaste metoderna för att beräkna tillförlitlighetsindikatorer i processen att designa objekt som kan delas upp i element, vars tillförlitlighetsegenskaper är kända vid tidpunkten för beräkningarna eller kan bestämmas med andra metoder. Beräkningen av tillförlitlighetsindikatorer med strukturella metoder inkluderar i allmänhet:
Följande kan användas som strukturella diagram över tillförlitlighet:
I logisk-probabilistiska metoder (LPM) utförs det initiala uttalandet av problemet och konstruktionen av en fungerande modell av systemobjektet eller processen som studeras med strukturella och analytiska metoder för matematisk logik och beräkning av tillförlitlighetsindikatorer, överlevnads- och säkerhetsegenskaper utförs med hjälp av sannolikhetsteori .
LVM är en metod för att analysera strukturellt komplexa system, lösa systemproblem av organiserad komplexitet, utvärdera och analysera tillförlitlighet, säkerhet och risk för tekniska system. LCM är lämpliga för den initiala formaliserade formuleringen av problem i form av en strukturell beskrivning av de undersökta egenskaperna hos komplexa och högdimensionella system. I LVM har rutiner utvecklats för att omvandla de initiala strukturella modellerna till de önskade beräkningsmatematiska modellerna, vilket gör det möjligt att utföra deras algoritmisering och implementering på en dator.
Grundaren av LVM:s vetenskapliga och tekniska apparat och de tillämpade aspekterna av deras tillämpning, liksom grundaren och chefen för den vetenskapliga skolan, är professor I. A. Ryabinin .
Allmän logik-probabilistisk metodBehovet av att utvidga LPM till icke-monotona processer ledde till skapandet av en generell logisk-probabilistisk metod (GPM). I OLVM för beräkning av tillförlitlighet används apparaten för matematisk logik för den primära grafiska och analytiska beskrivningen av villkoren för implementering av funktioner av enskilda och grupper av element i det designade systemet, och metoderna för sannolikhetsteori och kombinatorik används att kvantifiera tillförlitligheten och/eller faran med att det designade systemet som helhet fungerar. För att använda OLVM bör speciella strukturella scheman för den funktionella integriteten hos systemen som studeras, logiska kriterier för deras funktion, probabilistiska och andra parametrar för elementen fastställas.
Den så kallade händelselogikmetoden är kärnan i formuleringen och lösningen av alla problem med modellering och beräkning av tillförlitligheten hos system som använder OLVM. Detta tillvägagångssätt möjliggör sekventiell implementering av följande fyra huvudsteg av GPRS:
I ett system med en sekventiell struktur leder felet i någon komponent till att systemet som helhet misslyckas.
Systemet med logiska ekvationer för ovanstående sekventiella system är:
Logisk hälsofunktion (lösning av ett system av logiska ekvationer):
Sannolikhet för felfri drift:
var är sannolikheten för felfri drift av komponenterna.
I allmänhet är sannolikheten för felfri drift av systemet lika med:
I ett system med en parallell struktur inträffar felet i systemet som helhet endast när alla element misslyckas.
Systemet av logiska ekvationer för det reducerade parallella systemet:
Logisk hälsofunktion (lösning av ett system av logiska ekvationer):
Sannolikhet för felfri drift:
I allmänhet är sannolikheten för felfri drift av systemet lika med:
Sannolikheten att i ett system som består av identiska (lika tillförlitliga) element fungerar exakt element utan att misslyckas, kan beräknas med formeln [4] :
,var
är sannolikheten för felfri drift av ett systemelement; är den binomiska koefficienten från till .Sannolikheten att i ett system som består av identiska och lika tillförlitliga element, inte mindre än element fungerar felfritt kan beräknas med formeln [4] :
Sannolikheten att i ett system som består av identiska och lika tillförlitliga element, inte mindre än element fungerar utan fel, kan uttryckas genom sannolikheterna för felfri drift av ett liknande system med lägre dimension [4] :
Mjukvaruverktyg utformade för att analysera och beräkna tillförlitlighet, tillgänglighet och underhållbarhet (i alfabetisk ordning) [5] [6] [7] [8] :
inhemsk utländsk