Programu ya kuhesabu uaminifu wa programu. Kuegemea kwa programu. Programu ya rejareja

Uhesabuji wa uaminifu wa mifumo ya kiufundi kwa kuzingatia urejesho

Njia za kuhesabu uaminifu wa mifumo ya kiufundi bila kuzingatia marejesho

Mambo yanayoathiri uaminifu wa mifumo ya kiufundi

Kuegemea kwa tata ya njia za kiufundi

Kuegemea kwa mchanganyiko wa njia za kiufundi (CTS) kuna athari kubwa zaidi juu ya kuegemea kwa NPP; kwa hivyo, kuegemea kwa NPP mara nyingi hutathminiwa kwa kuzingatia tu ugumu wa njia za kiufundi.

Vigezo vya kushindwa kwa vifaa vya kiufundi kawaida huanzishwa kwa mujibu wa mahitaji yaliyotajwa katika viwango, vipimo vya kiufundi au nyaraka zingine za kiufundi za magari haya. Kwa kuwa magari mengi yana madhumuni ya jumla ya viwanda, mahitaji yanawekwa bila kujali mifumo ambayo magari haya hufanya kazi. Vigezo vya kushindwa kwa gari havitegemei sifa za kitu kilichodhibitiwa na mahitaji ya ubora wa udhibiti.

Ili kuhesabu kuaminika kwa tata ya gari, viashiria vya kuaminika vinavyojadiliwa katika kifungu cha 1.3 vinatumiwa. na 1.6.

Kuegemea kwa NPP ngumu za kisasa inategemea mambo anuwai, uchunguzi tofauti na wa kina ambao ni muhimu, kwani bila kufunua asili ya kutofaulu ni ngumu kuchagua maeneo yanayofaa zaidi ya kazi ili kuhakikisha na kuboresha kuegemea kwa wote wawili. aina ya mtu binafsi ya vifaa vya kiufundi na NPP kwa ujumla.

Sababu zote nyingi zinazoathiri vifaa vya mifumo ngumu ya kiufundi kawaida huwekwa kulingana na upeo wao.

KWA yenye kujenga mambo ni pamoja na:

· uteuzi wa michoro ya kimuundo na kazi, mbinu za upunguzaji na udhibiti;

· uamuzi wa vifaa na vipengele;

· uteuzi wa modes na hali ya uendeshaji wa vipengele katika mfumo;

· ugawaji wa mahitaji ya uvumilivu juu ya sifa za kiufundi za vipengele;

· uteuzi wa mipangilio na ulinzi kwa vigezo vya teknolojia ya ufungaji;

· kuzingatia sifa za kisaikolojia za waendeshaji;

· maendeleo ya nyaraka za uendeshaji, nk.

KWA uzalishaji mambo ni pamoja na:

· udhibiti wa ubora unaoingia wa nyenzo na vipengele vilivyopokelewa kutoka kwa makampuni ya wasambazaji;

· shirika la mchakato wa kiteknolojia wa utengenezaji wa vifaa;

· udhibiti wa ubora wa bidhaa katika hatua zote za mchakato wa kiteknolojia;

· sifa za wazalishaji;

· uhakikisho wa ubora na udhibiti wa ufungaji na marekebisho ya vifaa vya mfumo;

· mazingira ya kazi katika uzalishaji, nk.

KWA inayofanya kazi Mambo ni pamoja na mambo ambayo yanaonekana nje ya wigo wa muundo na uzalishaji wa mfumo. Kulingana na hali ya athari zao kwenye mfumo, mambo ya uendeshaji yanaweza kugawanywa katika lengo(athari za mazingira ya nje) na subjective(athari za wafanyikazi wa huduma). Kwa upande wake, sababu za malengo zinaweza kugawanywa katika vikundi viwili: nje na ndani.

KWA mambo ya nje ni pamoja na athari zinazosababishwa na mazingira ya nje na hali ya uendeshaji. Hizi ni, kwanza kabisa, mambo ya hali ya hewa (joto, unyevu, mionzi ya jua, kasi ya upepo, ukungu, dhoruba za theluji, dhoruba za vumbi, nk), mvuto wa mitambo (vibration, mshtuko), mionzi ya umeme, uchokozi wa mazingira, nk. Mambo ya ndani huhusishwa na mabadiliko katika vigezo vya vitu na vifaa vya kimuundo: kuzeeka, kuvaa, kutu. Mabadiliko haya hutokea kwa muda chini ya ushawishi wa mambo ya nje. Kama sheria, mambo haya yote yanaathiri kuegemea kwa mifumo ya kiufundi kwa ujumla.

Chini ya subjective sababu za uendeshaji zinamaanisha:

· sifa na mafunzo ya wafanyakazi wa huduma;

· shirika na ubora wa matengenezo na matengenezo ya kawaida;

· njia na mbinu za kuandaa uendeshaji wa mifumo;

· kuandaa ukusanyaji na uchambuzi wa taarifa kuhusu uaminifu wa uendeshaji wa gari.

Hatua kuu za hesabu ya kuaminika. Kazi ya kuhesabu uaminifu wa mifumo ya kiufundi ya ndani ni kuamua viashiria vinavyoashiria uaminifu wao na kudumisha. Hesabu ina hatua zifuatazo:

a) uamuzi wa vigezo na aina za kushindwa kwa mfumo na muundo wa viashiria vya kuegemea vilivyohesabiwa;

b) kuchora mchoro wa kimuundo (wa mantiki) kulingana na uchambuzi wa utendaji wa mfumo, kwa kuzingatia upungufu, urejesho, ufuatiliaji wa huduma ya vitu, nk;

c) uteuzi wa njia ya kuhesabu kuegemea, kwa kuzingatia mifano iliyokubalika ya kuelezea michakato ya kufanya kazi na kupona;

d) kupata mfano wa jumla wa hisabati unaounganisha viashiria vya kuegemea vilivyowekwa na sifa za vipengele;

e) uteuzi wa data juu ya viashiria vya kuaminika vya vipengele;

f) kufanya mahesabu na kuchambua matokeo yaliyopatikana.

Maudhui ya hatua zilizoorodheshwa kwa kiasi kikubwa inategemea vigezo vilivyochaguliwa vya kushindwa na viashiria vya kuaminika vilivyohesabiwa vilivyojadiliwa hapo awali. Viashiria vya sifa zaidi vya kuegemea kwa gari ni pamoja na muda wa wastani wa kushindwa kwa mfumo, uwezekano wa operesheni yake isiyo na kushindwa kwa muda fulani, sababu ya upatikanaji, sababu ya utayari wa uendeshaji, na kigezo cha mtiririko wa kushindwa.

Viashiria vinavyofanana katika asili pia vinatumika kwa vipengele vya mfumo - njia za kiufundi kwa msaada wa mifumo ya ndani inatekelezwa. Idadi ya viashiria vinavyozingatiwa huongezeka ikiwa uwezekano wa mifumo inayofanya kazi na viashiria vya utendaji vilivyoharibika huchambuliwa, yaani, wakati wa kuzingatia kushindwa kwa taratibu (metrological) kwa vipengele.

Viashiria vinavyozingatiwa hutumiwa wote wakati wa kuunda mifumo na wakati wa uendeshaji wao.

Kuchora mchoro wa block, ambayo ni mchoro wa kimantiki wa kuhesabu kuegemea kwa mfumo na njia tofauti za kiufundi, inajumuisha vidokezo kadhaa ambavyo vinahitaji kujadiliwa kwa undani zaidi. Mpango wa muundo kwa kuhesabu uaminifu katika kesi ya jumla hutofautiana kwa kiasi kikubwa kutoka kwa mchoro wa kazi. Mchoro wa kuzuia kwa kuhesabu kuegemea ni onyesho la picha la vitu vya mfumo ambayo hukuruhusu kuamua bila kujua hali ya mfumo (inayofanya kazi au isiyoweza kufanya kazi) na serikali (inayofanya kazi au isiyoweza kufanya kazi) ya mambo yake.

Kwa mifumo ya multifunctional, kwa mfano, wasemaji, michoro za kuzuia vile zinaundwa kwa kila kazi; kwa kawaida huitwa michoro ya utendaji wa kutegemewa au michoro ya utendaji wa kutegemewa.

Wakati wa kuchora mchoro, vipengele vya mfumo vinaweza kushikamana katika mfululizo (Mchoro 2.2, a) au kwa sambamba (Mchoro 2.2, b) kulingana na ushawishi wao juu ya hali ya uendeshaji wa mfumo. Ikiwa kushindwa kwa kipengele, bila kujali kusudi lake, husababisha kushindwa kwa mfumo, basi kipengele kinaunganishwa katika mfululizo. Ikiwa kushindwa kwa mfumo hutokea wakati yote au sehemu ya aina moja ya vipengele inashindwa, basi vipengele vile vinaunganishwa kwa sambamba. Uunganisho wa serial wa vitu pia huitwa kuu, na unganisho sambamba huitwa chelezo.

Mchele. 2.2 Muunganisho wa vipengele vya mfumo:

a - mlolongo (msingi); b - sambamba (chelezo)

Kwa mifumo sawa ya ndani, michoro tofauti za miundo zinaweza kutengenezwa kulingana na kazi iliyochambuliwa ya mfumo, ikiwa ni multifunctional, na aina ya kushindwa.

Hivi sasa, kuna idadi ya miongozo ya kiufundi ambayo inadhibiti mbinu za uchambuzi za kuhesabu kuaminika kwa tata ya vifaa vya kiufundi vya NPP katika hatua ya kubuni. Lakini kwa anuwai ya njia zilizopo za kuhesabu kuegemea kwa mifumo, ya mwisho inaweza kugawanywa katika vikundi vitatu vinavyohusiana na mifumo:

Kwa muundo rahisi, kupunguzwa kwa uunganisho wa mfululizo-sambamba wa vipengele bila kuzingatia urejesho wao (tathmini ya viashiria vya utendaji bila kushindwa);

Kwa muundo tata ambao hauwezi kupunguzwa kwa uunganisho wa mfululizo-sambamba wa vipengele, vipengele vya mfumo hazirejeshwa (tathmini ya viashiria vya utendaji bila kushindwa);

Na vipengee vinavyoweza kurejeshwa, kwa sifuri na wakati wa mwisho wa uingizwaji (marejesho) ya kitu kilichoshindwa na kinachoweza kutumika (tathmini ya utendaji usio na kushindwa, kudumisha na viashiria ngumu).

Aina za njia za vikundi viwili vya kwanza hufanya kazi na viashiria vya kiasi cha kuegemea chini ya sheria yoyote ya usambazaji wa wakati kwa kutofaulu kwa vitu. Mbinu hizi ni pamoja na mbinu ya classical, kulingana na dhana za msingi na nadharia za nadharia ya uwezekano, na mbinu ya kimantiki-uwezekano. Aina za njia za kikundi cha tatu zimedhamiriwa na aina ya sheria za usambazaji wa wakati wa kutofaulu na kupona, na ugumu wa mfumo. Ya kuu ni pamoja na njia za uwezekano wa mpito na nguvu, kwa kutumia vifaa vya michakato ya Markov kwa wakati kamili na unaoendelea, na njia ya kutumia vifaa vya michakato ya nusu-Markov.

Kutumia njia iliyochaguliwa, kulingana na mchoro wa muundo wa mfumo, mifano ya uchambuzi imedhamiriwa ambayo inaunganisha viashiria vyake vya kuegemea na sifa za vitu na michakato yao ya matengenezo. Miundo ya uchanganuzi katika mfumo wa vitegemezi vya fomula ambavyo huunganisha idadi iliyoorodheshwa na ni rahisi kwa kufanya uchanganuzi wa kutegemewa inaweza kupatikana kwa mifumo rahisi kiasi kwa kuanzisha idadi ya mawazo ya kurahisisha katika maelezo ya hisabati ya sifa za mifumo na michakato. Kwa mifumo changamano inayoweza kurejeshwa, inayojumuisha mifumo midogo ya AS, viashirio vya kutegemewa mara nyingi huamuliwa kwa kutumia uundaji wa takwimu (simulizi).

Uteuzi wa sifa za kuaminika za vipengele vya mchoro wa miundo ya mifumo imejaa matatizo yaliyowekwa na mambo kadhaa. Hizi ni pamoja na utegemezi wa viashiria vya kuaminika juu ya hali ya uendeshaji, ambayo inaweza kutofautiana kwa kiasi kikubwa katika aina tofauti za uzalishaji, hivyo data ya pasipoti juu ya kuaminika haiwezi kuendana na maadili yao halisi. Kwa baadhi ya vipengele vinavyounda mfumo, viashiria hivi haviwezi kupatikana, kwa mfano, kwa valves za kufunga, waya na mistari ya mawasiliano ya bomba, nk Kwa viashiria vya kudumisha kifaa, data mara nyingi haipo. Katika suala hili, wakati wa kuchagua viashiria vya kuaminika kwa vipengele vya mfumo, ni muhimu kutumia data juu ya kuaminika kwa vifaa vingine vinavyofanana katika kubuni. .

Kutumia viashiria vya kuaminika vya vipengele, mifano ya hisabati inayotokana hutumiwa kuhesabu viashiria vya kuegemea vya mfumo, ambavyo vinaweza kufanywa kwa mikono au kwenye kompyuta kwa kutumia vifurushi sahihi vya programu.

Njia ya kawaida ya kutathmini uaminifu. Kwa kuwa wakati wa uunganisho kuu wa vipengele (tazama Mchoro 2.2, a) hali ya uendeshaji ya mfumo hutokea wakati majimbo ya uendeshaji ya vipengele vyote yanafanana, uwezekano wa hali hii ya mfumo imedhamiriwa na bidhaa ya uwezekano wa uendeshaji. majimbo ya vipengele vyote. Ikiwa mfumo unajumuisha P vipengele vilivyounganishwa katika mfululizo, kisha kwa uwezekano wa uendeshaji usio na kushindwa wa kila moja ya vipengele p i (t) uwezekano wa uendeshaji usio na kushindwa kwa mfumo

Wakati vipengele vinapounganishwa kwa sambamba na zinazotolewa kuwa uendeshaji wa moja ya vipengele vilivyounganishwa ni vya kutosha kwa mfumo wa uendeshaji, kushindwa kwa mfumo ni tukio la pamoja ambalo hutokea wakati vipengele vyote vilivyounganishwa vinashindwa. Ikiwa imeunganishwa kwa sambamba T vipengele (tazama Mchoro 2.2, b) na uwezekano wa kushindwa kwa kila mmoja q j(t) = 1-p j(t), basi uwezekano wa kushindwa kwa mfumo huu

. (2.2)

Ikiwa mchoro wa muundo wa kuegemea wa mfumo unajumuisha mfululizo na vipengele vilivyounganishwa vilivyounganishwa, basi kuaminika kwake kunaweza kuhesabiwa kwa kutumia (2.1), (2.2).

Kuamua thamani ya muda wa wastani wa mfumo wa kushindwa na viashiria vingine vya kuegemea, ni muhimu kujua sheria za usambazaji wa wakati wa uendeshaji usio na kushindwa wa vipengele (wakati wa kushindwa) wa mfumo. Kwa kuwa katika eneo la operesheni ya kawaida sheria ya kielelezo inaweza kukubalika kwa usahihi wa kuridhisha kama sheria ya usambazaji kwa wakati wa kutofaulu kwa utendaji wa vitu, basi kwa unganisho kuu la vitu, ikiwa usemi (2.1) unachukua fomu ifuatayo:

Wapi .

Kwa hivyo, pamoja na uunganisho kuu wa vipengele ambavyo vina sheria ya kielelezo cha usambazaji wa muda wa uendeshaji usio na kushindwa, sheria ya usambazaji wa wakati wa uendeshaji usio na kushindwa wa mfumo pia itakuwa kubwa, kwa mujibu wa hii tunayo:

; ; ; (2.4)

Na muunganisho wa chelezo T vipengele ambavyo vina sheria ya usambazaji wa kielelezo cha muda wa uendeshaji bila kushindwa, uwezekano wa kushindwa kwa kundi la vipengele vilivyounganishwa:

Ikiwa vipengele vyote vinaaminika sawa na , Hiyo

; .

Kwa hivyo, kwa muunganisho wa chelezo wa vipengee, sheria ya kielelezo ya usambazaji wa wakati wa operesheni isiyo na kushindwa haijahifadhiwa.

Mara nyingi, njia ya kuhesabu uaminifu iliyojadiliwa hapo juu haiwezi kutumika, kwani mzunguko wa kuaminika sio daima una uhusiano wa mfululizo wa vipengele.

Kuna aina kadhaa za njia ya classical ya kuhesabu uaminifu wa mifumo yenye muundo tata, ambayo baadhi yake itajadiliwa hapa chini kuhusiana na uchambuzi wa kuaminika kwa mzunguko wa daraja ulioonyeshwa kwenye Mtini. 2.3. (Mzunguko huu haujapunguzwa kwa uunganisho wa mfululizo-sambamba wa vipengele.) Kwa vipengele vyote vya mzunguko, uwezekano wa uendeshaji usio na kushindwa hujulikana. uk 1, uk 2, uk 3, uk 4, uk 5 na uwezekano unaolingana wa kushindwa kwa aina ya "mapumziko". q 1 , q 2 , q 3 , q 4, q 5 . Ni muhimu kuamua uwezekano wa mnyororo kati ya pointi A Na b mpango.

Mchele. 2.3 Mzunguko wa daraja kwa vipengele vya kuunganisha

Mbinu ya kuhesabu serikali. Hesabu ya kuegemea kwa mfumo wowote, bila kujali njia iliyotumiwa, inatanguliwa na uamuzi wa seti mbili za hali ya mambo yanayolingana na hali zinazoweza kufanya kazi na zisizoweza kutekelezwa za mfumo. Kila moja ya majimbo haya ina sifa ya seti ya vipengele ambavyo viko katika hali zinazoweza kufanya kazi na zisizoweza kufanya kazi. Kwa kuwa katika kesi ya kushindwa kwa kujitegemea uwezekano wa kila moja ya majimbo imedhamiriwa na bidhaa ya uwezekano wa vipengele kuwa katika majimbo yanayolingana, basi kwa idadi ya majimbo sawa na m, uwezekano wa hali ya uendeshaji ya mfumo.

; (2.6)

uwezekano wa kushindwa

, (2.7)

Wapi T - jumla ya idadi ya majimbo ya kufanya kazi, katika kila moja j-ambapo idadi ya vipengele vinavyoweza kutumika ni sawa na l, a nje ya utaratibu - k.

Hasara kubwa ya njia ya kuhesabu majimbo ni kwamba hata kwa muundo rahisi, matumizi yake yanahusishwa na mahesabu magumu.

Njia ya mtengano kuhusiana na kipengele maalum. Njia hii inategemea matumizi ya formula ya jumla ya uwezekano. Katika mfumo mgumu, kipengele maalum kinatambuliwa, majimbo yote yanayowezekana H i ambayo huunda kundi kamili, . Ikiwa hali ya mfumo uliochambuliwa A, basi uwezekano wake

. (2.8)

Jambo la pili katika (2.8) huamua uwezekano wa serikali A mradi kipengele maalum kiko katika jimbo Habari. Kuzingatia H i Hali ya th ya kipengele maalum kama kisicho na masharti huturuhusu kurahisisha mchoro wa muundo wa kuegemea na kuipunguza kwa unganisho la safu-sambamba la vitu.

Kwa hivyo, katika mzunguko wa daraja unaozingatiwa, kipengele cha 5 kinachaguliwa kama maalum na majimbo mawili iwezekanavyo (1 - uwepo na 2 - kutokuwepo kwa mzunguko) R{N 1 } =p 5; R{N 2 } =q 5 inaruhusu kutoka kwa mchoro wa block iliyotolewa kwenye Mtini. 2.3, ikiwa kipengele cha 5 kiko katika hali nzuri kabisa, endelea kwenye mzunguko ulioonyeshwa kwenye Mtini. 2.4, a. Ikiwa kipengele cha 5 kinashindwa, mchoro wa kuzuia una fomu iliyoonyeshwa kwenye Mtini. 2.4, b. Ikiwa hali A- uwepo wa mnyororo kati ya A Na b, basi kwa mujibu wa (2.1) na (2.2) tunayo:

Mchele. 2.4 Michoro ya miundo ya uunganisho wa daraja la vipengele vinavyolingana na: a - kuwepo kwa mzunguko katika kipengele cha 5; b - kutokuwepo kwa mnyororo katika kipengele cha 5

Ulinganisho wa njia zote mbili za kuhesabu kuegemea unaonyesha kuwa kutambua kipengele maalum na uchambuzi wa baadaye wa michoro za miundo iliyorahisishwa hupunguza sana mahesabu.

Njia ya njia ndogo na sehemu. Katika idadi ya matukio, kuchambua uaminifu wa mfumo mgumu, inatosha kuamua makadirio ya uaminifu wa mipaka kutoka juu na chini.

Wakati wa kutathmini uwezekano wa kufanya kazi bila kushindwa, seti za chini za vitu vinavyoweza kufanya kazi huamuliwa kutoka juu ( njia), kuhakikisha hali ya uendeshaji wa mfumo. Wakati wa kuunda njia, kwa kudhani kuwa vipengele vyote viko katika hali isiyofanya kazi, kwa kuhamisha vipengele kwa hali ya uendeshaji, huchagua chaguzi za kuunganisha vipengele vinavyohakikisha kuwepo kwa mzunguko.

Seti ya vipengele huunda njia ndogo ikiwa ukiondoa kipengele chochote kutoka kwa seti husababisha njia kushindwa. Inafuata kutoka kwa hili kwamba ndani ya njia moja vipengele viko kwenye uunganisho kuu, na njia zenyewe zimeunganishwa kwa sambamba. Kwa hivyo, kwa mzunguko wa daraja unaozingatiwa (Mchoro 2.3), seti ya njia ndogo hutolewa kwenye Mchoro. 2.5. Kwa kuwa kipengele sawa kinajumuishwa katika njia mbili zinazofanana, hesabu husababisha makadirio ya juu ya uendeshaji usio na kushindwa:

Wakati wa kuamua kiwango cha chini sehemu uteuzi wa idadi ya chini ya vipengele hufanyika, uhamisho ambao kutoka kwa hali ya uendeshaji hadi hali isiyofanya kazi husababisha kushindwa kwa mfumo. Kwa uteuzi sahihi wa vipengele vya sehemu, kurejesha vipengele vyovyote kwenye hali ya kufanya kazi hurejesha hali ya kazi ya mfumo. Kwa kuwa kushindwa kwa kila sehemu husababisha kushindwa kwa mfumo, wale wa kwanza wameunganishwa katika mfululizo. Ndani ya kila sehemu, vipengele vinaunganishwa kwa sambamba, kwa kuwa kwa mfumo wa kufanya kazi, hali ya kazi ya vipengele vyovyote vya sehemu hiyo ni ya kutosha.

Mchoro wa sehemu za chini za mzunguko wa daraja unaonyeshwa kwenye Mtini. 2.6. Kwa kuwa kipengele sawa kimejumuishwa katika sehemu mbili, makadirio yanayotokana ni makadirio ya chini:

Mchele. 2.5 Seti ya njia ndogo

Mchele. 2.6 Seti ya sehemu za chini zaidi

Kwa hivyo, wakati wa kuandaa njia na sehemu ndogo, mfumo wowote unabadilishwa kuwa muundo na uunganisho wa safu-sambamba au safu-sambamba ya vitu.

Njia ya Uwezekano wa Mpito. Na kazi za kiholela za usambazaji wa wakati wa operesheni na urejeshaji wa kutofaulu, kuegemea kwa mifumo inachambuliwa kwa kutofautisha wakati na kazi katika kila vipindi vyake vya uwezekano wa mpito wa mfumo kutoka jimbo moja kwenda lingine. Ikiwa maelekezo ya mabadiliko ya mfumo kutoka jimbo moja hadi jingine ni ya mara kwa mara na dhana ya kawaida, uhuru na utulivu wa mtiririko wa kushindwa, mfumo unaweza kuainishwa kama Mifumo ya Markov na wakati tofauti.

Mali tofauti Mifumo ya Markov ni kwamba uwezekano wa mpito wa mfumo kwa majimbo yoyote iwezekanavyo, idadi ambayo ni mdogo, inategemea tu hali ya awali na haitegemei yale yaliyotangulia.

Mchele. 2.7 Grafu ya hali yenye lebo ya mfumo unaorejeshwa

Kuegemea kwa mifumo kama hiyo inaelezewa na mfumo wa equations za algebra, idadi ambayo inalingana na idadi ya majimbo yanayowezekana ya mfumo. Ili kuzikusanya, grafu ya hali iliyoelekezwa hutumiwa, wima ambayo inalingana na hali zinazowezekana za mfumo, na kingo zinaonyesha mwelekeo na uwezekano wa mpito kutoka hali moja hadi nyingine.

Kwa mfano, hebu tuchambue kuegemea kwa mfumo wa ulinzi, ambao unaweza kuwa katika hali tatu: kengele ya kufanya kazi, ya uwongo na isiyo ya kufanya kazi, iliyoonyeshwa kwenye Mtini. 2.7 kwa mtiririko huo kwa namba 1, 2, 3. Kwa muda wa muda t kwa uwezekano uk 11 mfumo hudumisha hali ya kufanya kazi au kwa uwezekano uk 12 Na uk 13 huenda katika majimbo yasiyofanya kazi 2, 3. Wakati huo huo muda baada ya kengele ya uongo, mfumo na uwezekano uk 21 inarejeshwa na inarudi kwenye hali ya kazi 1. Wakati wa muda t mfumo unaweza kuokoa hali 2, uwezekano wa tukio hili ni r 22. Sawa na uwezekano r 33,r 31 sifa ya ubora wa kurejesha mfumo baada ya kushindwa kwake. Wakati wa kurejesha mifumo yote iliyoshindwa p 22 =p 33 =0, a p 21 =p 31 =1.

Uwezekano wa mfumo kuwa katika majimbo yoyote baada ya hapo i vipindi vya muda huamuliwa na mfumo ufuatao wa milinganyo ya aljebra:

(2.9)

Baada ya idadi yoyote ya vipindi uk 1 (i)+ uk 2 (i)+ uk 3 (i) = 1. Ili kutatua mfumo wa equations (2.9), ni muhimu kutaja usambazaji wa awali wa uwezekano kati ya majimbo ya mfumo. Wakati mfumo uko katika hali ya kufanya kazi wakati wa mwanzo wa wakati P 1 (0) =1, A P 2 (0) = P 3 (0) = 0.

Uwezekano wa kupata mfumo baada ya i vipindi vinavyoweza j imehesabiwa kwa formula:

P j (i)=M(0)M i D j ,(2.10)

Wapi M(0)=||P 1 (0)P 2 (0)P 3 (0)||- vector ya safu ya hali ya awali ya mfumo; M i-matrix ya mpito; Dj-vekta ya safu ya hali iliyochambuliwa. Ina zero na moja, ambayo inasimama mahali pa hali iliyochambuliwa. Kwa hivyo, ikiwa baada i vipindi, uwezekano wa mfumo kuwa katika hali ya kengele ya uwongo imedhamiriwa, basi

Matrix ya mpito inakusanywa moja kwa moja kutoka kwa grafu ya serikali. Kwa mfano unaozingatiwa, matrix ya mpito ina fomu ifuatayo:

. (2.11)

Matrix ya mpito ni ya mraba: idadi ya safu na safu ni sawa na idadi ya majimbo ya mfumo. Ili kuandika matrix, ni rahisi kutumia mbinu ifuatayo. Ikiwa nje ya tumbo tunaashiria kwa 1i, 2i, 3i hali ya mfumo baada ya i vipindi, na 1(i-1), 2(i-1), 3(i-1) majimbo yake ya awali, basi uwezekano wa mpito kutoka hali ya awali sambamba hadi hali moja au nyingine ya sasa ni kumbukumbu katika tumbo. Kwa hivyo, ikiwa hali ya awali 2(i-1), na mkondo 1 i, basi kwenye makutano ya safu na safu inayolingana tunaandika r 21. Kwa hivyo, safu mlalo za matrix ya mpito huamua uwezekano wa kudumisha hali fulani na kuiondoa katika majimbo mengine ya mfumo; jumla ya uwezekano huu ni sawa na moja.

Safu wima za matriki huwakilisha migawo ya milinganyo (2.9) katika Pj(i-1). Vigawo hivi huamua uwezekano wa mfumo kuwasili katika hali iliyochanganuliwa kutoka kwa zote zinazowezekana, ikiwa ni pamoja na ile inayochanganuliwa. Wakati wa kuzidisha matrices, upangaji wao upya katika (2.10) hauruhusiwi.

Kwa idadi kubwa ya vipindi, usambazaji wa uwezekano kati ya majimbo hautegemei hali ya awali na imedhamiriwa na mfumo wa milinganyo:

(2.12)

Wapi R 1, R 2, R 3- uwezekano wa kuzuia (mwisho) wa mfumo kuwa katika majimbo yanayolingana.

Kwa kuwa milinganyo (2.12) inategemea mstari, basi kuamua P 1 P 2, P 3 equation inatumika P 1 + P 2 + P 3 =1 na milinganyo miwili rahisi zaidi (2.12).

Mbinu ya mpito ya nguvu. Usambazaji wa kielelezo unaelezea kwa usahihi wa kuridhisha utendaji wa mifumo ya kiufundi na vipengele vyake katika eneo la operesheni ya kawaida. Matumizi ya usambazaji wa kielelezo kuelezea mchakato wa kurejesha inaruhusu, katika kesi ya kushindwa kwa kawaida kwa kujitegemea, kuwakilisha mifumo iliyochanganuliwa katika fomu. Mifumo ya Markov na wakati unaoendelea na utumie mfumo wa milinganyo ya mstari wa mpangilio wa kwanza ili kuchanganua kutegemewa kwao.

Usambazaji wa kielelezo huelezea michakato katika mifumo isiyo na historia ya hapo awali, kwani mabadiliko ya uwezekano wa kuwa katika hali fulani kwa muda. t inategemea tu muda wa muda wa muda.

Wacha tuchunguze kwa ufupi mbinu ya kuamua uwezekano wa majimbo ya mchakato wa Markov na wakati unaoendelea.

Wacha mfumo uwe katika baadhi ya majimbo, idadi ambayo ni ya mwisho (sawa na n) Nambari za Jimbo: 0, 1, 2, 3,…, n.

Ikiwa mfumo unaweza kuwa katika majimbo mawili tu - kufanya kazi na kupona, basi kupungua kwa uwezekano wa hali moja husababisha kuongezeka kwa uwezekano wa hali nyingine, kwani kwa wakati wowote kwa wakati. Po(t)+P 1 (t)=1. Katika Mtini. 2.8, na grafu iliyoelekezwa ya mpito ya mfumo kwa hali inayozingatiwa imewasilishwa. Hapa, hali 0 inalingana na uendeshaji, na hali 1 kwa kutofanya kazi (kufufua). Mabadiliko ya mfumo kutoka kwa hali ya kufanya kazi (0) hadi hali isiyofanya kazi (1) hufanyika chini ya ushawishi wa mtiririko wa kushindwa na kiwango cha kutofaulu, na mpito wa mfumo kutoka hali isiyofanya kazi (1) hadi hali ya kufanya kazi (0) hufanyika chini ushawishi wa mtiririko wa marejesho kwa nguvu ya kurejesha. Mpito wa mfumo kutoka hali 0 hadi 1 hutokea wakati wa kushindwa kwa kwanza.

Kwa hivyo, uwezekano wa kupata mifumo kwa sasa t+dt katika kila moja ya majimbo yanayozingatiwa yanahusishwa na uwezekano unaolingana:

(2.13)

Ulinganisho wa (2.13) na mfumo wa equations (2.9) unaonyesha kuwa katika mifumo ya Markov na wakati unaoendelea inalingana na uwezekano. ukurasa wa 11, ukr. 12, ukr. 22, uk 21 kwa kutumia ya zamani, mtu anaweza kuunda matrix ya mpito sawa na (2.11).

Mchele. 2.8 Grafu ya serikali ya mfumo unaorejeshwa:

a - na majimbo mawili; b - node ya grafu ya kiholela

Kwa sababu ya /dt=dPi(t)/dt, basi uwezekano wa kupata mfumo na wakati unaoendelea katika kila moja ya majimbo imedhamiriwa na mfumo ufuatao wa milinganyo ya mpangilio wa kwanza, inayoitwa mfumo. Kolmogorov-Chapman:

(2.14)

Katika hali ya jumla, idadi ya milinganyo ya kutofautisha imedhamiriwa na idadi ya majimbo yanayowezekana ya mfumo, ambayo (kama mifumo ya wakati tofauti) lazima iwe mdogo.

Wakati wa kuandika mfumo wa equations tofauti, orodha ya majimbo iwezekanavyo ya mfumo na grafu ya hali iliyoelekezwa sambamba, sawa na ile iliyoonyeshwa kwenye Mchoro 1, hukusanywa kwanza. 2.8. Kila moja ya wima inalingana na moja ya majimbo ya mfumo, na mwelekeo wa kingo imedhamiriwa na mwelekeo wa mpito. Kwa hivyo, mchoro wa serikali wa mfumo wa serikali mbili unaozingatiwa hapo juu kawaida huonyeshwa kwa fomu iliyoonyeshwa kwenye Mtini. 2.8, a. Kuitumia na mfumo wa hesabu za kutofautisha 2.14, mtu anaweza kuangalia kwa urahisi kanuni ya jumla ya kuandika equation ya kutofautisha kwa vertex ya kiholela. i(Mchoro 2.8, b), ambayo mfumo unaweza kutoka T vipeo na ambayo hupita katika moja na P vipeo:

(2.13)

Cheki kwa usahihi wa muundo wa mfumo wa milinganyo tofauti ni kwamba jumla ya pande za kulia za milinganyo ni sawa na sifuri.

Jumla ya kwanza upande wa kulia wa fomula (2.13) inaenea hadi kwa maadili hayo j, ambayo mpito wa moja kwa moja kutoka kwa hali iliyoshindwa hadi hali ya kufanya kazi inawezekana (yaani kwa ambayo ), na ya pili - kwa maadili hayo. j, ambayo mabadiliko ya moja kwa moja kutoka kwa hali ya uendeshaji hadi hali ya kushindwa inawezekana (yaani).

Mfumo wa hesabu za kutofautisha (2.13) hutatuliwa chini ya masharti ya awali ambayo yanabainisha uwezekano wa majimbo wakati wa mwanzo. t=0:

na kwa wakati wowote t hali ya kuhalalisha imeridhika:

Mfumo wa milinganyo (2.13) unaweza kupatikana moja kwa moja kutoka kwa muundo wa grafu ya hali iliyo na lebo ikiwa tutatumia sheria ifuatayo: kwa kila hali inayowezekana ya mfumo, equation imeandikwa, upande wa kushoto ambao , na upande wa kulia - maneno mengi kama mishale ya grafu inagusa hali hii. Ikiwa mshale umeelekezwa kwa hali fulani, basi nyongeza huwekwa mbele ya neno; ikiwa mshale umeelekezwa kutoka kwa hali fulani, minus imewekwa. Kila moja ya masharti yatakuwa sawa na bidhaa ya ukubwa wa mpito kutoka kwa hali fulani (au kwa hali fulani) na uwezekano wa hali ambayo mshale unatoka.

Suluhisho la mfumo wa equations (2.13) unafanywa kulingana na sheria zinazojulikana za kutatua mfumo wa equations tofauti. Walakini, inaweza kurahisishwa kwa kiasi kikubwa ikiwa tutazingatia kuwa mchakato unaozingatiwa ni mchakato wa Markov, ambao derivatives yake. inaweza kuchukuliwa sawa na sifuri (uwezekano wa majimbo haubadilika kwa wakati). Mfumo wa milinganyo tofauti (2.13) hubadilika kuwa mfumo wa milinganyo ya aljebra.

Nadharia ya kuegemea, dhana za kimsingi ambazo zimetambulishwa katika Sura. 1, ilitengenezwa ili kuelezea mifumo ya kiufundi, ikiwa ni pamoja na njia za kiufundi za AS. Kushindwa hutokea kutokana na uharibifu na kuzeeka kwa vipengele, na urejesho unahitaji ukarabati, marekebisho, uingizwaji wa vipengele au vifaa vya kiufundi. Uharibifu na kuzeeka sio tabia ya programu ya mfumo kwa ujumla au programu za kibinafsi. Hata hivyo, inawezekana kuhamisha baadhi ya dhana, masharti na mbinu za kuaminika kwa programu (wakati wa kukubali mkataba fulani wa mbinu hii).

Wakati wa kuendeleza programu, sababu kadhaa zinaweza kutokea ambazo husababisha makosa: kutokuelewana na mtayarishaji wa algorithm; maandalizi yasiyo sahihi ya muundo wa jumla wa programu na uunganisho wa programu; uchaguzi usio sahihi wa mbinu za ulinzi wa programu; makosa katika kuhamisha programu kwa vyombo vya habari, nk.

Urekebishaji wa programu hauwezi kuondoa makosa yote, kwani idadi ya mchanganyiko unaowezekana wa data ya pembejeo na majimbo ya mfumo wakati wa operesheni yake ni kubwa sana hivi kwamba karibu haiwezekani kuangalia mapema matawi yote yanayowezekana ya programu. Kwa hiyo, mtiririko wa wakati ambapo makosa ya programu yanaonekana wakati wa uendeshaji wa AS ni ya nasibu kwa asili: makosa yanaonekana kwa wakati wa nasibu wakati programu inafikia sehemu ambapo kuna hitilafu.

Kuna njia mbili za kuchagua viashiria vya kuaminika kwa programu. Kwa upande mmoja, inawezekana kutumia viashiria vya kuegemea vya kawaida, kama vile uwezekano wa kutokuwa na makosa kwa wakati. t; muda wa wastani kati ya makosa; wastani wa muda wa kurejesha programu baada ya kusitishwa kwa uendeshaji, nk Viashiria hivi vina sifa ya udhihirisho wa makosa ya programu kwa muda, kwa hiyo ni vyema kuzitumia kwa programu inayoendelea kutumika. Kwa programu ambazo hutumiwa mara kwa mara (ikiwa ni lazima), inawezekana kutumia viashiria kama vile uwezekano wa utekelezaji wa mafanikio wa programu moja, uwezekano kwamba programu hii itaweza kutatua tatizo la kiholela kutoka kwa mkondo wa matatizo halisi. .

Walakini, wakati wa kutumia dhana za nadharia ya kuegemea ya asili kwenye programu, mtu anapaswa kuzingatia sifa na tofauti za vitu hivi kutoka kwa mifumo ya kitamaduni ya kiufundi ambayo nadharia ya kuegemea ilitengenezwa hapo awali:

Dhana na mbinu za nadharia ya kutegemewa hazitumiki kwa aina zote za programu - zinaweza tu kutumika kwa programu inayofanya kazi kwa wakati halisi na kuingiliana moja kwa moja na mazingira ya nje;

Sababu kuu zinazoamua uaminifu wa programu ni kasoro na makosa ya kubuni na maendeleo, na uharibifu wa kimwili wa vipengele vya programu chini ya ushawishi wa nje ni wa umuhimu wa pili;

Uharibifu wa nadra wa vifaa vya programu na hitaji la uingizwaji wao wa mwili husababisha mabadiliko ya kimsingi katika dhana ya kutofaulu na kutofaulu kwa programu na mgawanyiko wao kulingana na muda wa kupona ukilinganisha na wakati wa kupumzika unaoruhusiwa kwa utendaji wa mfumo wa habari. ;

Kutotabirika kwa mahali, wakati na uwezekano wa kutokea kwa kasoro na makosa, pamoja na ugunduzi wao wa nadra wakati wa operesheni halisi ya programu inayoaminika vya kutosha, hairuhusu utumiaji mzuri wa njia za jadi za hesabu ya msingi ya viashiria vya kuegemea vya mifumo ngumu. kulenga maadili thabiti, yanayoweza kupimika ya vifaa vya msingi;

Mara tu hitilafu katika programu ikisahihishwa, hitilafu sawa haiwezi kurudiwa katika siku zijazo. Zaidi ya hayo, makosa yaliyotambuliwa katika programu ya mojawapo ya mifumo kadhaa sawa kawaida hurekebishwa katika mifumo yote kama hiyo. Mtiririko wa makosa ya programu sio ya kusimama, kwani makosa yanapotambuliwa, parameta yao ya mtiririko hupungua. Kushindwa kwa gari kwa sababu hiyo hiyo ni ya asili ya mara kwa mara; baada ya kurejeshwa, kushindwa sawa kwa hii na njia nyingine zinazofanana kwa sababu hiyo hiyo inaweza kutokea tena. Mtiririko wa kushindwa kwa gari katika hali ya kutosha, kwa takriban moja au nyingine, inaweza kudhaniwa kuwa ya stationary.

Kuzingatia vipengele vilivyoorodheshwa, kuelezea kuaminika kwa programu, viashiria maalum ambavyo ni maalum tu kwa programu na kutafakari hasa ubora wa utekelezaji wa programu inaweza kutumika. Viashiria hivi huturuhusu kutathmini sifa zifuatazo za programu zinazounda dhana ya "kutegemewa kwa programu":

1. Usahihi- mali ya tuli ya programu, iliyofafanuliwa kama kutokuwepo kwa makosa ndani yake. Usahihi wa programu unahakikishwa kwa kurekebisha (kuangalia) kwenye seti ya data ya chanzo iliyodhibitiwa na nyaraka.

2. Uendelevu- mali ya nguvu ya programu ambayo ina sifa ya uwezo wake wa kutoa matokeo sahihi chini ya vifaa, habari na mvuto wa ergatical. Kuna aina mbili za utulivu:

- uvumilivu- uwezo wa programu kuendelea na kazi yake na kutoa matokeo sahihi mbele ya mvuto ulioorodheshwa.

- uhafidhina- uwezo wa programu, mbele ya usumbufu ambao hauruhusu tatizo kutatuliwa kwa usahihi, kuhamisha mfumo wa kompyuta kwa hali ya kushindwa, ambayo utaratibu wa kuanzisha upya unaweza kufanywa kwa hasara ndogo. Uthabiti wa programu unahakikishwa na upungufu wa kimuundo, habari, muda na algorithmic.

Uainishaji wa kushindwa kwa programu. Programu ya kisasa ina sifa ya aina hizo za malfunctions kama kushindwa, kushindwa Na kosa la programu, ufafanuzi ambao ulitolewa katika aya ya 1.1. Kwa upande wake, kushindwa kwa programu hutokea:

- programu- kwa sababu ya makosa ambayo hayajagunduliwa katika programu ambayo hufanyika na mchanganyiko fulani wa data na maagizo ambayo yanahusiana na vipimo;

- habari- matokeo ya kazi yanapotoshwa kutokana na makosa katika data ya pembejeo;

- vifaa- kutokea kutokana na kushindwa mara kwa mara kwa njia za kiufundi na / au tukio la makosa katika mazingira ya uendeshaji (kushindwa);

- wenye nguvu- kutokea kwa sababu ya vitendo vibaya vya mtumiaji.

Wakati wa kuamua kuegemea kwa programu, kama sheria, kushindwa kwa programu tu kwa sababu ya uwepo wa makosa ambayo hayajatambuliwa katika programu huzingatiwa.

Hitilafu zinaweza kufanywa katika hatua zote za mzunguko wa maisha ya programu. Hebu tuangalie aina za makosa ya programu na mifano sambamba.

1. Taarifa mbaya ya tatizo.

2. Algorithm isiyo sahihi.

3. Hitilafu ya uchanganuzi (uhasibu usio kamili wa hali zinazoweza kutokea; makosa ya kimantiki).

4. Makosa ya semantic (kutokuelewana kwa utaratibu wa utekelezaji wa operator).

5. Makosa ya sintaksia (ukiukaji wa sheria zinazofafanuliwa na lugha ya programu).

6. Makosa wakati wa kufanya shughuli (nambari kubwa sana, kugawanya kwa sifuri, kuchukua mizizi ya mraba ya nambari hasi, nk).

7. Makosa katika data (uamuzi usiofanikiwa wa anuwai ya mabadiliko ya data).

8. Alama (alama zilizo karibu katika tahajia zimechanganywa, kwa mfano, nambari 1 na herufi. mimi,l).

9. Makosa ya I/O (usomaji usio sahihi wa data ya pembejeo, mpangilio usio sahihi wa fomati za data).

Viashiria vya ubora na uaminifu wa programu ya kisasa. Kundi la hati za kawaida hujitolea katika urasimishaji wa viashiria vya ubora wa programu, ambavyo vinaangazia sifa zinazofanya iwezekane kutathmini programu kutoka kwa mtazamo wa mtumiaji, msanidi programu na meneja wa mradi. Sifa 6 kuu za ubora wa programu zinapendekezwa, ambayo kila moja imefafanuliwa na tabia ndogo (21 kwa jumla):

1. Usawa wa kiutendaji- hii ni seti ya sifa zinazobainisha madhumuni, neno, na utendakazi wa kimsingi muhimu na wa kutosha wa programu, iliyobainishwa na vipimo vya kiufundi vya mteja au mtumiaji anayetarajiwa. Ufaafu wa kiutendaji umefafanuliwa kwa kina:

Kufaa kwa matumizi;

Usahihi;

Usalama;

Uwezo wa kuingiliana;

Kuzingatia viwango na sheria za muundo.

2. Kuegemea ni uwezo wa programu kutoa uwezekano mdogo wa kutofaulu wakati wa operesheni ya wakati halisi. Inapendekezwa kuashiria kuegemea:

Kiwango cha kukamilika (hakuna makosa);

Uvumilivu wa makosa;

Uwezo wa kuanza upya.

3. Kutumika ilivyoelezwa:

Kueleweka;

Uwezo wa kujifunza;

Urahisi wa kutumia.

Upungufu wa rasilimali;

Upungufu wa muda.

5. Kudumisha maelezo:

Urahisi kwa uchambuzi;

Kubadilika;

Utulivu;

Uthibitisho.

6. Kubebeka inapendekezwa kutafakari:

Kubadilika;

Muundo;

Kubadilishwa;

Utekelezekaji.

Viashiria vya kuegemea vya programu vinajumuisha viashiria vifuatavyo.

1. Uwezekano wa kosa la programu

(2.16)

Wapi n- idadi ya sehemu ndogo zinazowezekana za data ya pembejeo; p i- uwezekano wa kuchagua i-seti ndogo; y i- kubadilika kwa nguvu, y i=0 ikiwa matokeo ni kweli kwa i-seti ndogo; y i=1 ikiwa matokeo si sahihi.

Uamuzi wa takwimu wa uwezekano wa makosa

Wapi l- idadi ya vifaa vya pembejeo wakati wa majaribio ambayo kushindwa kulitokea.

2. Kitendaji cha kutegemewa kwa programu, kinachofafanuliwa kama uwezekano kwamba hitilafu ya programu ilitokea nje ya muda (0,t):

(2.18)

ambapo ni sehemu ya nasibu kwa wakati ambapo hitilafu ya programu ilitokea.

Mchakato wa hesabu wa nguvu wa usindikaji wa data, maandalizi ya kiotomatiki ya maamuzi na ukuzaji wa vitendo vya udhibiti;

Habari iliyokusanywa katika hifadhidata, inayoonyesha vitu vya mazingira ya nje na michakato yake ya usindikaji;

Nambari ya kitu cha programu zinazotekelezwa na kompyuta wakati wa uendeshaji wa programu;

Taarifa iliyotolewa kwa watumiaji na watendaji, ambayo ni matokeo ya usindikaji wa data ya awali na taarifa zilizokusanywa katika hifadhidata.

Vipengee vya programu hapo juu kwa namna fulani ni vitu vya hatari, ambavyo vinaathiriwa na mambo mbalimbali ya kudhoofisha, ambayo yanaweza kugawanywa katika ndani, asili katika vitu vya mazingira magumu vyenyewe, na ya nje, imedhamiriwa na mazingira ambayo vitu hivi hufanya kazi.

KWA mambo ya ndani ya kudhoofisha Kasoro zifuatazo za programu ni pamoja na:

Makosa ya mfumo wakati wa kuweka malengo na malengo ya uundaji wa programu, wakati wa kuunda mahitaji ya kazi na sifa za utatuzi wa shida, kuamua hali na vigezo vya mazingira ya nje ambayo programu inapaswa kutumika;

Makosa ya maendeleo ya algorithmic katika vipimo vya moja kwa moja vya kazi za programu, katika kuamua muundo na mwingiliano wa vipengele vya vifurushi vya programu, pamoja na wakati wa kutumia taarifa za database;

Makosa ya programu katika maandishi ya programu na maelezo ya data, na vile vile katika chanzo na hati zinazosababisha vipengele na programu kwa ujumla;

Ufanisi wa kutosha wa mbinu na njia za ulinzi wa uendeshaji wa programu na data kutoka kwa kushindwa na kushindwa na kuhakikisha uaminifu wa uendeshaji wa jopo la kudhibiti chini ya hali ya athari mbaya za random.

Mambo ya nje ya kuleta utulivu ni:

Makosa ya wafanyakazi wa uendeshaji na matengenezo wakati wa uendeshaji wa programu;

Upotoshaji katika njia za mawasiliano ya simu ya habari inayotoka kwa vyanzo vya nje na kupitishwa kwa watumiaji, pamoja na sifa za mtiririko wa habari za nje ambazo hazikubaliki kwa AS maalum;

Kushindwa na kushindwa katika vifaa vya kompyuta;

Mabadiliko katika muundo na usanidi wa tata ya vifaa vya NPP vinavyoingiliana zaidi ya mipaka iliyothibitishwa wakati wa majaribio au uthibitishaji na kuonyeshwa katika nyaraka za uendeshaji.

Soko la vifurushi vya programu (PC) hutoa idadi ya Kompyuta za kigeni na za ndani zinazoruhusu hesabu ya kiotomatiki ya kuaminika kwa mifumo ngumu ya kiufundi, pamoja na vifaa vya redio-elektroniki (REA) na bidhaa za umeme na redio (ERI).

Ya kawaida kati ya PC za kigeni ni: RELEX (Relex software Corporation, USA); Kundi la A.L.D.(Israel); Spectrum ya Hatari (Relcon AB, Sweden); ISOGRAPH (Uingereza).

Miongoni mwa PC za ndani ambazo hutumiwa katika idadi ya makampuni ya biashara: PC ASONIKA-K (MIEM-ASKsoft); PC ASM (PC kwa modeli ya kimuundo-mantiki ya kiotomatiki na hesabu ya kuegemea na usalama wa mifumo, OJSC "SPIK SZMA"); PC "Universal" (kwa kuhesabu uaminifu na usalama wa kazi wa vifaa vya kiufundi na mifumo, FSUE "VNII UP MPS ya Shirikisho la Urusi"); IMC KOK (taaluma ya uigaji wa chombo kwa ajili ya kutathmini ubora wa utendaji kazi wa mifumo ya habari, Shirikisho la Serikali ya Umoja wa Biashara "Taasisi ya Tatu ya Utafiti ya Wizara ya Ulinzi ya Shirikisho la Urusi"), nk Kuhesabu uaminifu wa REA na ERI, automatiska. mfumo wa habari wa kumbukumbu (ASRN) pia hutumiwa sana (Federal State Unitary Enterprise "22nd Central Research Institute ya Wizara ya Ulinzi ya Shirikisho la Urusi"), mfumo wa automatiska wa kuhesabu uaminifu wa ERI na REA (ASRN-2000, OJSC RNII "ELECTRONSTANDART"), ASRN-1 (kwa ERI na REA kwa madhumuni ya kiuchumi ya kitaifa, OJSC "RNII "ELECTRONSTANDART").

Hebu fikiria PC maarufu zaidi za kigeni na za ndani kutoka kwa mtazamo wa matumizi yao kwa kuhesabu uaminifu wa vifaa vya elektroniki.

PC Relex na Spectrum ya Hatari

PC Relex na Spectrum ya Hatari hukuruhusu kufanya uchambuzi wa kimantiki na wa uwezekano wa kuegemea na usalama wa mifumo ya kiufundi, kwa mfano, kuhesabu kuegemea kwa mifumo ya kisasa ya kudhibiti mchakato wa kiotomatiki (APCS), kuongeza hatari inayotengenezwa na mwanadamu na kuamua vigezo bora vya mfumo wa matengenezo kwa vitu vinavyoweza kuwa hatari. Programu ya Spectrum ya Hatari ilitumiwa zaidi katika uchanganuzi wa usalama wa uwezekano wa vifaa vya nguvu za nyuklia katika hatua ya muundo. Spectrum complex inatumika kwa zaidi ya 50% ya mitambo ya nyuklia duniani, imejumuishwa katika orodha ya zana za programu zilizoidhinishwa na Baraza la Uidhinishaji wa Zana za Programu ya Gosatomnadzor ya Urusi mwaka 2003. Relex na Risk Spectrum PC zinaweza hutumika kukokotoa uaminifu wa sio tu mifumo ya udhibiti au ya kiteknolojia, lakini pia bidhaa za kutengeneza zana, teknolojia ya kompyuta, usafiri na teknolojia ya ulinzi.

Muundo na hesabu ya viashiria vya kutegemewa na usalama vya mifumo ya kiufundi, inayotumika sana Ulaya na Marekani, inategemea mbinu za kimantiki zinazotumia miti ya matukio (ET) na miti ya kushindwa (FT) kama njia ya kuunda mifano ya usalama ya picha. (kuaminika). 1 na 2.

Mchele. 1. a) Kuegemea (usalama) mfano, iliyotolewa kwa kutumia kosa na mti wa tukio; b) mti wa makosa katika PC Relex

Mchele. 2. a) mti wa tukio katika mhariri wa DS; b) mti wa makosa katika kihariri KABLA ya Spectrum ya Hatari ya PC

Kutumia vifaa vya mantiki ya hisabati huturuhusu kurasimisha hali ya uendeshaji ya mifumo ngumu ya kiufundi na kuhesabu kuegemea kwao.

Ikiwa inaweza kubishana kuwa mfumo unaweza kufanya kazi ikiwa vitu vyake A na B vinaweza kufanya kazi, basi tunaweza kuhitimisha kuwa utendakazi wa mfumo (tukio C) na utendakazi wa vitu A na B (tukio A na tukio B) vimeunganishwa. kwa mlinganyo wa kimantiki wa utendakazi: C = AB. Hapa nukuu inatumiwa kuonyesha utendakazi wa kimantiki NA. Mlingano wa utendaji wa kimantiki wa kesi hii unaweza kuwakilishwa na mchoro wa muunganisho mfuatano wa vipengele A na B.

Kwa ujumla, mti wa tukio unaeleweka kama kielelezo cha picha ambacho kinaelezea mantiki ya ukuzaji wa anuwai anuwai za mchakato wa dharura unaosababishwa na tukio la kuanzisha linalozingatiwa. Mti wa makosa unaeleweka kama kielelezo cha kielelezo kinachoonyesha mantiki ya matukio yanayosababisha kushindwa kutekeleza kazi fulani (kushindwa) kwa mfumo kutokana na kutokea kwa michanganyiko mbalimbali ya hitilafu za vifaa na hitilafu za wafanyakazi (Mchoro 1a). DO inajumuisha vipengee vya picha ambavyo hutumika kuonyesha matukio ya kimsingi ya nasibu (matukio ya kimsingi) na waendeshaji mantiki. Kila mwendeshaji wa kimantiki wa algebra ya Boolean inalingana na kipengee maalum cha picha, ambacho huruhusu mtengano wa matukio changamano kuwa rahisi (ya msingi au ya msingi) (meza).

Jedwali. Orodha ya sampuli ya wima na matukio katika PC Relex

Moduli ya Relex PC DO hutumia viendeshaji vya kimantiki (vipeo) ambavyo vinazingatia utegemezi wa matukio, uhusiano wa wakati, na vipaumbele (Mchoro 1b). Inakuwezesha kuhesabu viashiria vifuatavyo: uwezekano wa kushindwa; kutokuwa tayari; parameter ya mtiririko wa kushindwa; wastani wa idadi ya kushindwa. Thamani za viashiria huhesabiwa kwa tukio la vertex na kwa kila moja ya kati. Kwa kila tukio lililochaguliwa, unaweza kuona na kuchanganua seti za sehemu za chini kabisa zinazolingana.

Katika PC ya Spectrum ya Hatari, DS imewasilishwa kwa namna ya jedwali iliyo na mstari wa kichwa, uwanja ulio na grafu ya wazi ya binary (mti wa tukio), safu kadhaa zilizo na sifa za hali ya mwisho ya kitu kilichopangwa, ambacho hugunduliwa wakati utekelezaji wa mlolongo wa dharura (Mchoro 2a). Kichwa cha safu ya 1 ya jedwali kinaonyesha uainishaji wa matukio ya awali. Vichwa vya safu wima inayofuata kutoka kushoto kwenda kulia vina majina na alama za matukio ya kati yanayolingana na utendakazi uliofanikiwa au usio na mafanikio wa kazi za usalama, hali ya kufanya kazi au iliyoshindwa ya mifumo ya usalama au vifaa vya mtu binafsi (vifaa na njia za kiufundi), vitendo sahihi au vibaya vya wafanyikazi. . Safu zinazoashiria majimbo ya mwisho (FS) zinaonyesha nambari zao, alama, aina (kwa mfano, FS na uharibifu wa msingi), uwezekano wa utekelezaji, kanuni za kimantiki zinazolingana na mlolongo huu wa dharura (EA).

Kwa msaada wa AP, chaguzi za maendeleo ya mchakato wa dharura zinaonyeshwa kwenye DS. Katika kesi hii, ajali inaeleweka kama mlolongo wa matukio yanayoongoza kwa hali fulani ya mwisho ya kitu, pamoja na tukio la awali la ajali, uanzishaji uliofanikiwa au usiofanikiwa wa mifumo ya usalama na vitendo vya wafanyikazi wakati wa ukuzaji wa ajali.

Kampuni nyingi za kigeni zinazojulikana zinafanya kazi na Relex PC (Relex Software Continental Europe GmbH, www.relex.com), kama vile LG, Boeng, Motorolla, Dell, Cessna, Siemens, Raytheon, HP, Honda, Samsung, CiscoSystems, Nokia. , EADS, 3M, NASA, Intel, GM, Kodak, AT&T, Philips, Pirelli, Quallcomm, Seagete, Emerson.

Relex reliability studio 2007 PC inajumuisha moduli mbalimbali za uchambuzi kwa ajili ya kutatua matatizo mbalimbali: kutabiri kuegemea (Reliability Prediction), kudumisha (Maintainability Prediction); njia za kushindwa, matokeo na uchambuzi muhimu (FMEA/FMECA); Uchambuzi wa Markov, uchambuzi wa takwimu (Uchambuzi wa Weibull), tathmini ya gharama ya maisha ya huduma ya vifaa (Gharama ya Mzunguko wa Maisha); pamoja na michoro ya kuzuia kuegemea (Mchoro wa Kizuizi cha Kuegemea); Mti Mbaya/Mti wa Tukio; mfumo wa taarifa kwa kushindwa, uchambuzi na vitendo vya kurekebisha, mfumo wa FRACAS (Uchambuzi wa Taarifa za Kushindwa na Mfumo wa Kitendo wa Kurekebisha); tathmini ya sababu za binadamu na mfumo wa uchambuzi wa hatari (Mambo ya Binadamu, Uchambuzi wa Hatari).

Moduli ya utabiri wa kutegemewa ina miundo ya kukokotoa viashirio vya kuegemea vya vipengele. Inajumuisha hifadhidata ya kina iliyo na sifa za uainishaji wa vipengele na sifa za kuaminika. Mahesabu hufanyika kwa mujibu wa viwango vifuatavyo: MIL-HDBK-217, Telcordia (Bellcore), TR-332, Prism, NSWC-98/LE1, CNET93, HRD5, GJB299.

Moduli ya uchanganuzi wa kudumisha hutekeleza masharti ya kiwango cha kusoma udumishaji wa mifumo - MIL-HDBK-472. Matatizo ya kutabiri matengenezo ya kuzuia yanatatuliwa.

Moduli ya kuchanganua aina, matokeo na umuhimu wa kushindwa inakidhi viwango vya MIL-STD-1629, SAE ARP 5580, n.k. Kufeli hatari huwekwa katika nafasi na kutathminiwa kulingana na vipaumbele vya hatari.

Moduli ya Kizuizi cha Kuegemea (RBD) hutumiwa kuchanganua mifumo ngumu isiyohitajika. Ina mbinu za uchanganuzi na uigaji wa Monte Carlo.

Moduli ya miti yenye makosa/miti ya tukio hukuruhusu kutekeleza taratibu za uchanganuzi wa kutoa na kufata uendelezaji wa kushindwa na matukio katika mfumo. Inatumika kwa uchambuzi wa kuaminika na usalama. Ina anuwai ya wima zinazofanya kazi kimantiki.

Moduli ya Relex PC Markov Modeling hukuruhusu kutumia michakato ambayo hutumiwa katika kuunda na kuchambua uaminifu wa mfumo. Mifano zilizotengenezwa kwa usaidizi wa kifaa hiki ni za nguvu na zinaonyesha hali muhimu za muda na vipengele vingine na tegemezi ambazo zinabainisha trajectory ya mabadiliko ya mfumo katika nafasi ya hali zinazowezekana zinazoundwa na kushindwa na kurejesha vipengele.

Moduli ya Relex Markov PC inatekeleza michakato ya Markov na seti tofauti ya majimbo na wakati unaoendelea, kwa kuzingatia vipengele vifuatavyo vya utendaji na upungufu wa mifumo: aina zisizokubaliana za kushindwa kwa vipengele; mlolongo wa kushindwa; mabadiliko katika viwango vya kushindwa kwa vipengele kulingana na matukio ambayo tayari yametokea (hasa, kiwango cha mzigo kwenye hifadhi); idadi ya timu za kurejesha (mdogo / ukomo); utaratibu wa kurejesha; vikwazo kwa sehemu za vipuri; ufanisi tofauti wa utendaji kazi katika majimbo tofauti ya mfumo na mapato (hasara) kwa mabadiliko ya majimbo. Viashiria vilivyohesabiwa: uwezekano wa kila hali; uwezekano wa operesheni bila kushindwa (kushindwa) kwa muda fulani, nk.

Moduli ya uchambuzi wa takwimu "Weibull" imeundwa kwa ajili ya usindikaji matokeo ya mtihani na uendeshaji. Ili kuelezea hitilafu za janga kwenye kiwango cha kutofaulu chenye umbo la beseni, kawaida, isiyo ya kawaida, usambazaji wa Weibull, n.k. hutumika sana. Kwa mfano, usambazaji wa Weibull, ambao ni mgawanyo wa thamani za chini zaidi, hutumiwa mara nyingi zaidi wakati wa kutabiri uwezekano wa uendeshaji usio na kushindwa na wastani wa muda kati ya kushindwa kwa muda fulani wa uendeshaji wa mfumo ulioundwa. mfumo tata wa kiufundi. Usambazaji wa Lognormal na Weibull huelezea kutofaulu kwa sifa za kipindi cha uzee kwa usawa.

Moduli ya uchanganuzi wa takwimu ya "Weibull" hutumia aina mbalimbali za usambazaji, ikiwa ni pamoja na kawaida, Weibull, isiyo ya kawaida, sare, kielelezo, Gumbel, Rayleigh, binomial, n.k. Uwasilishaji wa data na uchanganuzi wa madarasa yaliyochaguliwa ya usambazaji wa parametric hufanywa kwa kutumia "karatasi ya uwezekano. " njia. Juu yake, usambazaji uliochambuliwa unawakilishwa na mstari wa moja kwa moja, ambayo hutoa uwazi na inakuwezesha kutumia kwa kawaida njia zote za uchambuzi wa urekebishaji, hasa, kuangalia utoshelevu wa mfano na umuhimu wa coefficients regression (Fisher uchambuzi). Ili kukadiria vigezo vya usambazaji, seti kubwa ya njia hutolewa, kwa mfano, Hazen, Benard na marekebisho yao, makadirio ya binomial, njia ya wastani, njia ya juu ya uwezekano na marekebisho yake, nk.

Kwa kutumia moduli ya hesabu ya kiuchumi (LCC), gharama ya maisha ya huduma inatathminiwa katika hatua zote za uundaji, uendeshaji, na utupaji wa mfumo.

PC ASM

Kompyuta maarufu zaidi za ndani ni kifurushi cha programu cha modeli ya kimuundo-mantiki ya kiotomatiki (PC ASM). Msingi wa kinadharia ni njia ya jumla ya kimantiki ya uchambuzi wa mfumo, ambayo hutumia uwezo wote wa vifaa vya msingi vya kuiga algebra ya mantiki kwa msingi wa shughuli "NA", "AU", "NOT". Fomu ya uwakilishi wa muundo wa awali wa mfumo ni mchoro wa uadilifu wa kazi, ambayo inakuwezesha kuonyesha karibu aina zote zinazojulikana za mifano ya miundo ya mifumo. Mchanganyiko huu huzalisha kiotomati mifano ya uchanganuzi wa kuegemea na usalama wa mfumo na huhesabu uwezekano wa kufanya kazi bila kushindwa, wakati wa wastani wa kutofaulu, sababu ya upatikanaji, muda wa wastani kati ya kushindwa, wastani wa muda wa kurejesha, uwezekano wa kushindwa kwa mfumo kurejeshwa, uwezekano wa kushindwa. utayari wa mfumo mchanganyiko, pamoja na umuhimu na mchango wa vipengele kwa viashiria mbalimbali vya kuaminika kwa mfumo kwa ujumla. PC ASM pia inakuwezesha kuamua moja kwa moja njia fupi zaidi za uendeshaji wa mafanikio, sehemu za kushindwa kwa kiwango cha chini na mchanganyiko wao.

Ikumbukwe kwamba shida ya haraka ni maendeleo ya Kompyuta za ndani kwa modeli za kiotomatiki na hesabu ya viashiria vya tuli na vya nguvu vya kuegemea na usalama wa mifumo ngumu ya kiufundi, ambayo ni kwa sababu ya mahitaji ya tasnia inayoendelea katika uundaji wa vifaa vipya vya hali ya juu. michakato ya kiufundi na vifaa, haswa kwa vifaa vya uzalishaji hatari kwa madhumuni anuwai; ugumu wa lengo la kutumia PC za maendeleo ya kigeni kwa madhumuni haya - gharama kubwa, utegemezi wa teknolojia, matatizo ya mafunzo ya wafanyakazi.

PC A.L.D. Kikundi

Kampuni A.L.D. Kikundi (Israel-USA, http://www.aldservice.com/) kinaunganisha kampuni mbili zinazobobea katika uga wa mfumo wa taarifa za vifaa na tathmini ya kutegemewa: SoHaR na FavoWeb (http://www.favoweb.com/).

Bidhaa ya programu ya FavoWeb ni mfumo madhubuti wa FRACAS (Uchambuzi wa Kuripoti Kushindwa na Mfumo wa Urekebishaji wa Kitendo) unaoendeshwa kwenye Mtandao. Kampuni nyingi za kigeni, kama vile Lockheed Martin, hutumia sana mfumo wa FRACAS.

Bidhaa ya programu ya FavoWeb inategemea uwezo wa kisasa wa teknolojia ya Intaneti na hutekeleza mzunguko kamili wa mbinu za FRACAS, ambao unatumika kwa bidhaa, huduma au mchakato wowote. Inaweza kutumika katika awamu yoyote ya mzunguko wa maisha: maendeleo, prototyping, uzalishaji, uendeshaji, matengenezo, udhibiti, kupima; katika sekta yoyote: anga, ulinzi, mawasiliano, umeme, dawa, magari, vyombo vya nyumbani.

Mfumo wa FRACAS hukuruhusu kuunda hifadhidata kwa kutafsiri data nyingi tofauti kuwa habari za ubora zilizoundwa. Ina utaratibu wa urekebishaji wenye nguvu: kusaidia kazi ya vikundi vya uchanganuzi wa kutofaulu/kasoro/vifaa, kuchanganua sababu za msingi za kushindwa, na kuondoa matatizo. Ina moduli ya Mtiririko wa Kazi ili kugeuza arifa ya kutofaulu na nambari za mfululizo kiotomatiki.

Mpango huo hutoa kazi mbalimbali, uwezo wa kutathmini na kuboresha uaminifu wa vifaa kwa njia ya ushirikiano wa karibu na mfumo wa uchambuzi wa Kamanda wa RAM (Mchoro 3). Kwa kuongezea, FavoWeb inajumuisha uwezo maalum wa kuanzisha na kuhesabu mabadiliko, vifaa na ufuatiliaji wa nambari za serial za bidhaa (CALS technologies).

Mchele. 3. Dirisha la mfumo wa uchambuzi wa uaminifu wa Kamanda wa RAM

Neno teknolojia za CALS (Upataji Unaoendelea na Usaidizi wa Mzunguko wa Maisha) hurejelea seti ya kanuni na teknolojia za usaidizi wa taarifa za mzunguko wa maisha ya bidhaa katika hatua zake zote. Analog ya lugha ya Kirusi ya CALS ni usaidizi wa habari kwa mzunguko wa maisha ya bidhaa (PIC). Hivi majuzi, pamoja na CALS, neno Usimamizi wa Mzunguko wa Maisha ya Bidhaa (PLM) pia limetumika nje ya nchi. Kipengele muhimu cha teknolojia za CALS ni usaidizi wa habari moja kwa moja kwa mchakato wa kuhesabu tathmini ya kuaminika ya mfumo wa kiufundi. Kamanda wa RAM hukuruhusu kuhesabu muda wa wastani kati ya kushindwa/kufeli muhimu (MTBF/ MTBCF), wastani wa muda wa kutengeneza (MTTR), wastani wa muda kati ya kushindwa (MTBMA), nk.

Mipangilio ya msingi ya FavoWeb inakuwezesha kuunda ripoti (usambazaji wa kasoro / kushindwa na orodha ya kushindwa / kasoro kulingana na vigezo vilivyoainishwa na mtumiaji); kufanya vitendo vya kurekebisha; jenga mti wa bidhaa; fanya kazi na maktaba/vitabu mbalimbali vya kumbukumbu; ina moduli ya msimamizi.

Katika Mtini. Mchoro wa 3 unaonyesha dirisha la mfumo wa uchambuzi wa kuegemea wa Kamanda wa RAM, ambayo inashughulikia anuwai nzima ya kazi za uhandisi zinazohusiana na kuegemea kwa mifumo ya elektroniki, umeme, mitambo na mifumo mingine. Inakuwezesha kutabiri kuaminika, upatikanaji na kudumisha aina mbalimbali za vifaa, usambazaji wa uwiano kati ya kuaminika na kudumisha; kudhibiti data juu ya kuegemea, kupatikana na kudumisha; kufanya uchambuzi wa kuaminika wa vifaa vilivyoundwa kwa kutumia njia ya Monte Carlo; kuboresha udhibiti wa hesabu wa vipuri.

Katika Mtini. Mchoro wa 3 unaonyesha mfano wa kuhesabu uaminifu wa REA. Kipengele hiki kinajumuisha kipokezi cha kipokezi (Communic), sehemu ya udhibiti (Udhibiti) na baraza la mawaziri la usakinishaji (Pedestal). Sehemu ya kubadili ya sehemu ya transceiver ni vipengele vya redio-elektroniki na mitambo: ICs, resistors, capacitors, photodetectors, kubadili. Vipengele vya mfumo ulioundwa ambao una kiwango cha juu zaidi cha kutofaulu huwekwa alama nyekundu, kama vile usambazaji wa umeme (PS), ambao una kiwango cha kutofaulu cha 8350 FIT na kiwango cha kutofaulu cha 700 FIT. Mchango mkubwa wa pili unafanywa na baraza la mawaziri lililowekwa (Pedestal), linalojumuisha antenna, motor ya mitambo na msaada (iliyoangaziwa kwa manjano).

Katika Mtini. Mchoro wa 4 unaonyesha uhariri wa sifa za kuaminika za aina ya CMOS IC 74HC04 katika njia mbalimbali za uendeshaji wa vifaa vya elektroniki vilivyoundwa: katika hali ya uendeshaji (ya kufanya kazi), katika hali ya kuhifadhi (kusubiri). Inachukuliwa kuwa IC itatumika katika vifaa vya elektroniki vinavyokusudiwa kwa hali ya chini ya uendeshaji (ishara ya mode - GF, joto la uendeshaji - 49.3 °C, gradient ya joto - Delta Temp 4.3 °C). Kwa hali fulani ya uendeshaji, kwa aina ya IC 74HC04, kiwango cha kushindwa kilichotabiriwa kulingana na kijitabu cha utabiri wa kutegemewa cha Telecordia Suala 1 kitakuwa FRp ≈ 32 FIT (1 FIT = 10 -4%/1000 h = 10 -9 1/h). Kwa kutumia saraka ya Telcordia, unaweza pia kuhariri muundo na sifa za kiteknolojia za IC. Kwa mfano, kutoka kwa kitabu cha marejeleo tunatoa habari kwamba aina ya IC 74NS04 inawakilisha familia maarufu ya saketi za kasi za juu za CMOS (analog ya nyumbani ni safu ya KR1564). Idadi ya valves - 6, nyumba - imefungwa. Kiwango cha kushindwa kwa IC 74HC04 kinaweza kutabiriwa kwa kutumia hati zingine za udhibiti wa kigeni (vitabu vya marejeleo): MIL-HDBK-217f, TR332 - Bellcore Issue 6, RDF 95 - French Telecom, UTE C 80810 (CNET 2000), HRD - British Telecom , GJB299 - Kiwango cha Kichina, IRPH93 - Italtel, ALCATEL, RADC 85-91, NPRD-95, NSWC-98. Katika Mtini. Mchoro wa 5a unaonyesha mchoro wa Pareto unaokuwezesha kuamua sehemu ya kiwango cha kushindwa kwa vipengele vya vifaa vya elektroniki vilivyoundwa katika kiwango cha jumla cha kushindwa. Utegemezi wa kiwango cha kushindwa kwa vifaa vya elektroniki kwenye joto (Mchoro 5b) na muda wa wastani kati ya kushindwa (Kielelezo 5c) pia huonyeshwa.

Uwezo wa moduli ya Kamanda wa RAM RBD kwa ajili ya kuhesabu uaminifu wa muundo ni kwa njia nyingi sawa na moduli ya Relex PC RBD. Hata hivyo, uwezo wa mwisho ni pana zaidi, kwani inakuwezesha kuzingatia mambo yafuatayo: aina ya uhifadhi (kudumu, uingizwaji, sliding); uwezekano na wakati wa kuunganishwa kwa mafanikio ya hifadhi; mzigo wa hifadhi; utaratibu wa udhihirisho wa kushindwa; mikakati mbalimbali ya kurejesha; Uwepo wa vipuri, matengenezo ya kuzuia na ukaguzi wa kiufundi.

Moduli ya Relex PC RBD hutatua matatizo ya kuegemea mojawapo: kuamua idadi ya vipengele vya hifadhi ambayo huongeza uaminifu / viashiria vya utendaji au kupunguza gharama ya mfumo; Kuamua vipindi vyema vya matengenezo ya kuzuia au ukaguzi wa kiufundi. Matokeo ya kazi yake ni hesabu ya viashiria vifuatavyo: uwezekano wa uendeshaji usio na kushindwa; wastani wa wakati wa kushindwa; viwango vya kushindwa kwa mfumo; kipengele cha upatikanaji (stationary/non-stationary); parameter ya mtiririko wa kushindwa; wastani wa idadi ya kushindwa; wastani wa muda kati ya kushindwa.

Kutumia moduli ya RBD Kamanda wa RAM, unaweza kuunda chaguzi mbalimbali (mizunguko ya kuegemea ya kazi) na viunganisho vya serial, sambamba na mfululizo-sambamba (K nje ya N) ya vipengele vya mfumo iliyoundwa, na pia kuchambua uaminifu wa mchoro wa kuzuia. chaguo kutumia uchambuzi wa takwimu kulingana na njia ya Monte Carlo. Moduli inakuwezesha kuweka kibinafsi kwa kila kizuizi: usambazaji wa viwango vya kushindwa - kielelezo, kawaida, isiyo ya kawaida, Weibull, Erlang, nk; muda wa maana kati ya kushindwa (MTBF, h); mzigo wa mzunguko wa kazi katika%; onyesha kiwango cha kudumisha (kikamilifu au sehemu) na ueleze ugawaji wa uwezekano na vigezo vyake kwa vitengo vinavyotengenezwa (kwa mfano, kwa usambazaji wa kielelezo, wakati kitengo kinarekebishwa kinaonyeshwa). Katika Mtini. Kielelezo cha 6 kinaonyesha makadirio ya uwezekano wa uendeshaji usio na kushindwa kwa mipango miwili ya kuaminika ya kazi, iliyojengwa chini ya dhana kwamba kushindwa kwa vipengele vya kitu kilichoundwa wakati wa saa elfu 100 za operesheni hutii usambazaji wa kielelezo, wakati vipengele vyote vilivyoshindwa vinaweza kurekebishwa kabisa.

Mfumo mdogo wa ASONIKA-K unaokua kwa mafanikio umewasilishwa kwenye soko la ndani (kulingana na watengenezaji, ASONIKA-K itakua programu tata, kwa hivyo katika siku zijazo tutaiita PC ASONIKA-K) - zana ya programu ya kutatua shida. uchambuzi na kuhakikisha kuegemea ndani ya mfumo wa muundo wa kompyuta wa vifaa vya elektroniki (Mchoro 7). Kwa mujibu wa uwezo wake, mfumo mdogo wa ASONIKA-K si duni kwa moduli za RBD za Kompyuta za kigeni za A.L.D. Kikundi (Kamanda wa RAM), Relex, Isograph, nk. Matumizi yake ni bora zaidi, kwani ASONIKA-K inakuwezesha kuhesabu uaminifu wa vifaa vya redio vya elektroniki vinavyozalishwa nchini Urusi, kulingana na data iliyotolewa katika vitabu vya kumbukumbu vya ndani "Kuegemea kwa umeme. bidhaa za redio", "Kuegemea kwa analogi za bidhaa za redio za kigeni." Inakidhi mahitaji ya tata ya viwango vya kijeshi "Moroz-6" kwa vifaa vya elektroniki kwa matumizi muhimu na kiwango cha MIL-HDBK-217 cha Marekani na kiwango cha Kichina GJB/z 299B.

Mchele. 7. PC ASONIKA-K. Mfumo wa kuhesabu uaminifu wa MF: a) mfano wa kuhesabu uaminifu wa REA; b) mfano wa uchambuzi wa kielelezo wa utegemezi wa kiwango cha kushindwa kwenye halijoto iliyoko

Kutumia ASONIKA-K PC inakuwezesha kutekeleza mbinu za kisasa za kubuni vifaa vya elektroniki kulingana na teknolojia za CALS. ASONIKA-K ni zana ya programu iliyoundwa katika teknolojia ya seva ya mteja. Hifadhidata (DB) ya sehemu ya seva ya PC ina habari inayoendelea kusasishwa juu ya kuegemea kwa bidhaa za elektroniki za ndani na nje, zilizojengwa kwa kanuni za kipekee ambazo hurahisisha sana kazi ya usimamizi wake, pamoja na: kuhariri data juu ya kuegemea kwa vifaa vya elektroniki. ; kuhariri mifano ya hisabati ya vyanzo vya nishati ya elektroniki; kuongeza madarasa mapya ya ERI. Ufuatao ni muundo wa kifurushi cha programu cha ASONIKA-K:

Hifadhidata ya sehemu ya mteja ya PC ina habari kuhusu vifaa vya elektroniki vilivyoundwa. Shirika hili la sehemu ya mteja hufanya iwezekanavyo kufanya mahesabu ya REA kwa sambamba kutoka kwa vituo kadhaa vya kazi. Sehemu ya mteja ya programu ina kichakataji cha picha na miingiliano na mifumo ya kuiga michakato ya kimwili na muundo wa muundo, ikiwa ni pamoja na ASONIKA-T, P-CAD 2001, ASONIKA-M, nk. Msingi wa hisabati wa Kompyuta yako una usambazaji wa kielelezo na wa DN kama modeli ya kutegemewa na inaweza kubadilishwa kwa muundo mwingine wowote wa kutegemewa. Inakuruhusu kukokotoa REA iliyo na hadi viwango vinne vya daraja la utenganishaji na kuwa na aina mbalimbali za upungufu. Matokeo ya hesabu yanaweza kuwasilishwa kwa maandishi na fomu ya picha.

PC ya ASONIKA-K hukuruhusu kufanya aina zifuatazo za uchambuzi wa hesabu za kuegemea (SRN, analog ya Kamanda wa RAM ya moduli ya RBD, Relex RBD, Isograph RBD): uchambuzi wa matokeo ya mahesabu ya kuegemea ya vifaa vya elektroniki, SRN ambayo ni uunganisho wa kiholela wa sehemu za vipengele (kama mti, hierarchical, nk. .) na uchambuzi wa matokeo ya hesabu ya vipengele, na uhusiano wa mfululizo.

Katika Mtini. 7a inatoa mfano wa kukokotoa uaminifu wa REA kwa kutumia ASONIKA-K PC. Vipengele vya vifaa vya elektroniki (bodi ya nguvu, ugavi wa umeme, nk) huonyeshwa, pamoja na matokeo ya kuhesabu sifa za kuaminika za kitu: uwezekano wa operesheni isiyo na kushindwa, kiwango cha kushindwa kwa uendeshaji, muda wa wastani wa kufanya kazi. kushindwa na mchango wa vipengele kwa kiwango cha jumla cha kushindwa. Kwa kuongeza, katika Mtini. Mchoro 7b unaonyesha mfano wa uchanganuzi wa picha wa utegemezi wa kiwango cha kushindwa kwenye halijoto iliyoko.

Matumizi ya ASONIKA-K PC inafanya uwezekano wa kuongeza kuegemea kwa vifaa vya elektroniki kwa kupunguza vipengele vyake (Mchoro 8). Katika Mtini. Kielelezo cha 8 kinaonyesha vikundi vya K01-K08 vilivyotengwa na kitu, maadili ya uwezekano wa operesheni isiyo na kushindwa, mgawo wa utayari na mgawo wa utayari wa kufanya kazi wa kitu kizima kwa ujumla.

Kushindwa kwa sehemu za vijenzi ni za ghafla na huwakilisha matukio huru; wakati wa kutofaulu ni kigezo cha nasibu kinachosambazwa kulingana na sheria ya kielelezo na kiwango cha kutofaulu mara kwa mara λ. Katika Mtini. Kielelezo cha 9 kinaonyesha kazi na wiani wa usambazaji wa muda kati ya kushindwa, pamoja na utegemezi wa kiwango cha kushindwa kwa vifaa vya elektroniki vilivyoundwa kwa kutumia uchambuzi wa graphical.

Kompyuta inakuwezesha kuhesabu kuegemea kwa kutumia aina mbalimbali za redundancy ya vipengele: sliding kusubiri moto, kusubiri moto na bila redundancy, na pia hutoa mbinu za ufuatiliaji wa utendaji wao (kuendelea / mara kwa mara). Katika Mtini. Mchoro wa 10 unaonyesha vipande vya faili za ripoti ya ASONIKA-K PC, yaani: hesabu ya kuaminika kwa sehemu za sehemu (Mchoro 10a), hesabu ya kuaminika kwa bidhaa ngumu (Mchoro 10b), ambayo huzalishwa katika muundo wa html.

Matarajio ya maendeleo ya PC ni maendeleo ya moduli mbili zaidi: mfumo wa uhasibu kwa ushawishi wa mambo ya nje juu ya sifa za kuaminika (Mchoro 11) na mfumo wa habari na kumbukumbu kwa sifa za kuaminika za msingi wa vipengele vya kisasa (ECB) ( Kielelezo 12).

Mchele. 11. PC ASONIKA-K. Mfumo wa kuchambua na uhasibu kwa ushawishi wa mambo ya nje juu ya kuegemea

Mchele. 12. PC ASONIKA-K. Mfumo wa habari na kumbukumbu juu ya sifa za kuaminika za vipengele vya kisasa vya elektroniki

Muhtasari

PC Relex, Spectrum ya Hatari na ASM hutekeleza darasa la mifano kwa ajili ya kutathmini viashiria vya kuaminika vya mifumo ya kiufundi - mfano wa mantiki-uwezekano. Inaweza kuitwa darasa la mifano ya takwimu, kwa vile huruhusu mtu kuhesabu viashiria vya kuegemea, usalama na ufanisi wa mifumo kwa wakati wa kiholela kwa wakati, kulingana na seti zinazowezekana za majimbo ya uendeshaji na yasiyo ya kazi ya vipengele vya mfumo.

Moduli za Kompyuta za kibinafsi A.L.D. Kikundi (Kamanda wa RAM), Relex, Isograph inaweza kutumika kwa hesabu ya kiotomatiki ya kuegemea kwa vifaa vya elektroniki vya ndani tu kwa msingi wa vifaa vya elektroniki vilivyoagizwa (au analogues zao za ndani), kuegemea ambayo hupimwa kwa kutumia vitabu vya kumbukumbu vya kigeni. Matumizi ya Kompyuta za kigeni yanahitaji watumiaji kufundishwa sana katika uwanja wa takwimu za hisabati na matumizi yake kwa matatizo ya nadharia ya kuaminika.

Kompyuta ya ASONIKA-K sio duni katika uwezo wa Kompyuta za kigeni na inaweza kupendekezwa kwa kuhesabu uaminifu wa vifaa vya kielektroniki vya nyumbani kulingana na vifaa vya elektroniki vilivyoagizwa na vya ndani. Faida kuu ni uwezo wa kufanya mahesabu ya kuaminika kwa kutumia vitabu vya kumbukumbu vya ndani "Kuegemea kwa Bidhaa za Redio ya Umeme" na kukidhi mahitaji ya seti ya "Moroz-6" ya viwango vya kijeshi kwa vifaa muhimu vya elektroniki. Utekelezaji wa dhana ya kisasa ya teknolojia za CALS hutoa msaada wa habari unaoendelea kuhusiana na kushindwa kwa uendeshaji wa vifaa vya elektroniki vya ndani.

Fasihi

http://www.axoft.ru
ChipNews. Habari za Mtaalam wa EDA. 2002. Nambari 10.
Tovuti ya kampuni ya ElekTrade-M. www.eltm.ru
http://www.favoweb.com/
http://www.riskspectrum.com
http://www.isograph.com
Mtaalamu wa EDA_6_52_55.pdf. Zhadnov V., Zhadnov I., Zamaraev S. et al. Uwezo mpya wa kifurushi cha programu cha ASONIKA-K
PC ASM. Njia za kutathmini kuegemea, usalama na hatari. http://www.szma.ru
Usimamizi wa ubora katika muundo wa vifaa vya redio-elektroniki vilivyojaa joto: Kitabu cha maandishi / Zhadnov V.V., Sarafonov A.V.M.: "Solon-press", 2004.

Ukubwa: px

Anza kuonyesha kutoka kwa ukurasa:

Nakala

1 # 06, Juni 2016 UDC Mapitio ya vifurushi vya programu kwa ajili ya kuhesabu uaminifu wa mifumo ya kiufundi Utangulizi Shalamov A.V., mwanafunzi wa bwana Russia, Moscow, MSTU. N.E. Bauman, Idara ya "Teknolojia ya Usanifu na Utengenezaji wa Vifaa vya Kielektroniki" Msimamizi wa kisayansi: Solovyov V.A., Profesa Mshiriki Russia, Moscow, MSTU aliyetajwa baada yake. N.E. Bauman, Idara ya "Teknolojia ya Kubuni na Uzalishaji wa Vifaa vya Kielektroniki" Hivi sasa, kuna suluhisho nyingi kwenye soko kwa mifumo ya hesabu ya kuaminika, ya kigeni na ya Kirusi. Mifumo maarufu zaidi ya kuhesabu uaminifu wa kigeni ni pamoja na yafuatayo: Relex, Spectrum ya Hatari, A.L.D., ISOgraph. Miongoni mwa mifumo ya Kirusi, mifumo ifuatayo inaweza kujulikana: Arbitr, ASM, ASONIKA-K. Baadhi ya mifumo hapo juu, pamoja na zana za kuhesabu vigezo vya kuegemea, huruhusu kutatua shida nyingi zinazohusiana za uhandisi. Ifuatayo, tutazingatia kwa undani zaidi vifurushi vya programu (PC) kutoka kwa mtazamo wa matumizi yao kwa kuhesabu uaminifu wa ERA. PC Relex na Risk Spectrum PC Relex na Spectrum ya Hatari hukuruhusu kufanya uchambuzi wa kimantiki wa kuegemea na usalama wa mifumo ya kiufundi, kwa mfano, kuhesabu kuegemea kwa mifumo ya kisasa ya udhibiti wa mchakato wa kiotomatiki, kuongeza hatari inayoletwa na mwanadamu na kuamua mojawapo. vigezo vya mfumo wa matengenezo kwa vitu vinavyoweza kuwa hatari. Programu ya Spectrum ya Hatari ilitumiwa zaidi katika uchanganuzi wa usalama wa uwezekano wa vifaa vya nguvu za nyuklia katika hatua ya muundo. Spectrum complex inatumika kwa zaidi ya 50% ya vinu vya nyuklia duniani na imejumuishwa katika orodha ya zana za programu zilizoidhinishwa na Baraza la Uthibitishaji.

Zana 2 za programu za Gosatomnadzor ya Urusi mwaka 2003 PC Relex na Spectrum ya Hatari inaweza kutumika kuhesabu uaminifu wa sio tu mifumo ya udhibiti au teknolojia, lakini pia bidhaa za kutengeneza vyombo katika teknolojia ya usafiri na ulinzi. Uundaji na ukokotoaji wa viashiria vya kutegemewa na usalama vya mifumo ya kiufundi, inayotumika sana Ulaya na Marekani, unatokana na mbinu za kimantiki-uwezekano zinazotumia miti ya matukio na miti ya kushindwa kama njia ya kuunda mifano ya kielelezo ya kutegemewa (Mchoro 1). Kutumia vifaa vya mantiki ya hisabati huturuhusu kurasimisha hali ya uendeshaji ya mifumo ngumu ya kiufundi na kuhesabu kuegemea kwao. Ikiwa inaweza kubishana kuwa mfumo unaweza kufanya kazi ikiwa vitu vyake A na B vinaweza kufanya kazi, basi tunaweza kuhitimisha kuwa utendakazi wa mfumo (tukio C) na utendakazi wa vitu A na B (tukio A na tukio B) vimeunganishwa. kwa mlinganyo wa kimantiki wa utendakazi: C = A B. Hapa nukuu inatumika kuonyesha utendakazi wa kimantiki NA. Mlinganyo wa kimantiki wa utendakazi wa kesi hii unaweza kuwakilishwa na mchoro wa muunganisho wa mfululizo wa vipengele A na B. Kwa ujumla, mti wa tukio unaeleweka kama kielelezo cha picha ambacho kinaelezea mantiki ya ukuzaji wa anuwai mbalimbali za mchakato wa dharura unaosababishwa na tukio la kuanzisha. Mti wa hitilafu ni mfano wa kielelezo unaoonyesha mantiki ya matukio yanayosababisha kushindwa kwa mfumo kutokana na michanganyiko mbalimbali ya hitilafu za vifaa na hitilafu za wafanyakazi. Mchele. 1. Mti mbaya katika Taarifa ya kisayansi na kiufundi ya Vijana ya Relex ya FS, ISSN

3 Mti wa makosa ni pamoja na vipengee vya picha vinavyoonyesha matukio ya kimsingi ya nasibu (matukio ya kimsingi) na waendeshaji mantiki. Kila mwendeshaji wa kimantiki wa algebra ya Boolean inalingana na kipengele maalum cha picha, ambayo inafanya uwezekano wa kutenganisha matukio magumu katika rahisi zaidi (ya msingi au ya msingi). Moduli ya mti wa hitilafu ya Kompyuta ya Relex hutumia viendeshaji vinavyobadilika kimantiki ambavyo vinazingatia utegemezi wa matukio, mahusiano ya muda na vipaumbele. Inakuwezesha kuhesabu viashiria vifuatavyo: uwezekano wa kushindwa, kutokuwepo, parameter ya mtiririko wa kushindwa, idadi ya wastani ya kushindwa. Thamani za viashiria huhesabiwa kwa tukio la vertex na kwa kila moja ya kati. Kwa kila tukio lililochaguliwa, unaweza kuona na kuchanganua seti za sehemu za chini kabisa zinazolingana. Katika PC ya Spectrum ya Hatari, mti wa tukio unawasilishwa kwa namna ya jedwali iliyo na mstari wa kichwa, uwanja ulio na grafu ya binary iliyo wazi, na safu kadhaa zilizo na sifa za hali ya mwisho ya kitu kilichopangwa, ambacho hugunduliwa wakati wa utekelezaji. ya mlolongo wa dharura (Kielelezo 2). Kichwa cha safu ya 1 ya jedwali kinaonyesha uainishaji wa matukio ya awali. Vichwa vya safu wima inayofuata kutoka kushoto kwenda kulia vina majina na alama za matukio ya kati yanayolingana na utendakazi uliofanikiwa au usio na mafanikio wa kazi za usalama, hali ya kufanya kazi au iliyoshindwa ya mifumo ya usalama au vifaa vya mtu binafsi (vifaa na njia za kiufundi), vitendo sahihi au vibaya vya wafanyikazi. . Safu zinazoashiria majimbo ya mwisho (FS) zinaonyesha nambari zao, alama, aina (kwa mfano, FS na uharibifu wa msingi), uwezekano wa utekelezaji, kanuni za kimantiki zinazolingana na mlolongo huu wa dharura (EA). Kwa msaada wa AP, chaguo kwa ajili ya maendeleo ya mchakato wa dharura huonyeshwa kwenye mti wa tukio. Katika kesi hii, ajali inaeleweka kama mlolongo wa matukio yanayoongoza kwa hali fulani ya mwisho ya kitu, pamoja na tukio la awali la ajali, uanzishaji uliofanikiwa au usiofanikiwa wa mifumo ya usalama na vitendo vya wafanyikazi wakati wa ukuzaji wa ajali. Kampuni nyingi za kigeni zinazojulikana zinafanya kazi na Relex PC: LG, Boeng, Motorolla, Dell, Cessna, Siemens, Raytheon, HP, Honda, Samsung, CiscoSystems, Nokia, EADS, 3M, NASA, Intel, GM, Kodak, AT&T, Philips. , Pirelli , Quallcomm, Seagete, Emerson. Studio ya kuegemea ya Relex 2007 PC inajumuisha moduli anuwai za uchambuzi za kutatua shida nyingi: kutabiri kuegemea, kudumisha,

4 uchambuzi wa aina, matokeo na umuhimu wa kushindwa, uchambuzi wa Markov, uchambuzi wa takwimu, tathmini ya gharama ya maisha ya huduma ya vifaa, pamoja na chati za kuaminika, miti ya makosa / tukio, mfumo wa taarifa ya kushindwa, uchambuzi na hatua za kurekebisha, mfumo wa FRACAS (Kushindwa). Uchambuzi wa Kuripoti na Mfumo wa Kitendo Urekebishaji), mfumo wa kutathmini mambo ya binadamu na uchanganuzi wa hatari. Mchele. 2. Binary mti wa matukio katika PC Spectrum Moduli ya utabiri wa kuaminika ina mifano ya kuhesabu viashiria vya kuaminika vya vipengele. Inajumuisha hifadhidata ya kina iliyo na sifa za uainishaji wa vipengele na sifa za kuaminika. Mahesabu hufanyika kwa mujibu wa viwango vifuatavyo: MIL-HDBK-217, Telcordia (Bellcore), TR-332, Prism, NSWC-98/LE1, CNET93, HRD5, GJB299. Moduli ya uchanganuzi wa udumishaji hutekeleza masharti ya kiwango cha kusoma udumishaji wa mifumo ya MIL-HDBK-472. Matatizo ya kutabiri matengenezo ya kuzuia yanatatuliwa. Moduli ya kuchanganua aina, matokeo na umuhimu wa kushindwa inakidhi viwango vya MIL-STD-1629, SAE ARP 5580, n.k. Kufeli hatari huwekwa katika nafasi na kutathminiwa kulingana na vipaumbele vya hatari. Moduli ya Kizuizi cha Kuegemea (RBD) hutumiwa kuchanganua mifumo ngumu isiyohitajika. Ina mbinu za uchanganuzi na uigaji wa Monte Carlo. Moduli ya miti yenye makosa/miti ya tukio hukuruhusu kutekeleza taratibu za uchanganuzi wa kupunguza na kufata kutokana na maendeleo ya kushindwa, Taarifa ya Vijana ya Sayansi na Kiufundi ya Bunge la Shirikisho, ISSN.

Matukio 5 katika mfumo. Inatumika kwa uchambuzi wa kuaminika na usalama. Ina anuwai ya wima zinazofanya kazi kimantiki. Moduli ya Relex PC Markov Modeling hukuruhusu kutumia michakato ambayo hutumiwa katika kuunda na kuchambua uaminifu wa mfumo. Mifano zilizotengenezwa kwa usaidizi wa kifaa hiki ni za nguvu na zinaonyesha hali muhimu za muda na vipengele vingine na tegemezi ambazo zinabainisha trajectory ya mabadiliko ya mfumo katika nafasi ya hali zinazowezekana zinazoundwa na kushindwa na kurejesha vipengele. Moduli ya Relex Markov PC inatekeleza michakato ya Markov na seti tofauti ya majimbo na wakati unaoendelea, kwa kuzingatia sifa zifuatazo za utendaji na upungufu wa mifumo: aina zisizoendana za kutofaulu kwa vitu, mlolongo wa kutofaulu, mabadiliko ya viwango vya kutofaulu kwa vitu. kulingana na matukio ambayo tayari yametokea (hasa, kiwango cha mzigo kwenye hifadhi), idadi ya timu za kurejesha (mdogo / ukomo), kipaumbele cha kurejesha, vikwazo vya vipuri, ufanisi tofauti wa uendeshaji katika majimbo tofauti ya mfumo. na mapato (hasara) kwa ajili ya mabadiliko ya majimbo. Viashiria vilivyohesabiwa: uwezekano wa kila hali, uwezekano wa operesheni isiyo na kushindwa (kushindwa) kwa muda fulani. Moduli ya uchambuzi wa takwimu "Weibull" imeundwa kwa ajili ya usindikaji matokeo ya mtihani na uendeshaji. Ili kuelezea hitilafu kubwa kwenye kiwango cha kutofaulu chenye umbo la beseni, ugawaji wa kawaida, usio wa kawaida na Weibull hutumiwa sana. Kwa mfano, usambazaji wa Weibull, ambao ni mgawanyo wa thamani za chini zaidi, hutumiwa mara nyingi wakati wa kutabiri uwezekano wa utendakazi bila kushindwa na wastani wa muda kati ya kushindwa kwa muda fulani wa uendeshaji wa mfumo changamano wa kiufundi unaoundwa. Usambazaji wa Lognormal na Weibull huelezea kutofaulu kwa sifa za kipindi cha uzee kwa usawa. Moduli ya uchanganuzi wa takwimu ya Weibull hutumia aina mbalimbali za usambazaji, ikiwa ni pamoja na kawaida, Weibull, isiyo ya kawaida, sare, kielelezo, Gumbel, Rayleigh, binomial na nyinginezo. Uwasilishaji na uchambuzi wa data kwa madarasa yaliyochaguliwa ya usambazaji wa parametric hufanyika kwa kutumia njia ya "karatasi ya uwezekano". Juu yake, usambazaji uliochambuliwa unawakilishwa na mstari wa moja kwa moja, ambayo hutoa uwazi na inakuwezesha kutumia kwa kawaida njia zote za uchambuzi wa urekebishaji, hasa, kuangalia utoshelevu wa mfano na umuhimu wa coefficients regression (Fisher uchambuzi). Ili kukadiria vigezo vya usambazaji, inapendekezwa

6 seti kubwa ya njia, kwa mfano, njia za Hazen, Benard na marekebisho yao, makadirio ya binomial, njia ya wastani, njia ya juu ya uwezekano na marekebisho yake. Kwa kutumia moduli ya hesabu ya kiuchumi, gharama ya maisha ya huduma inatathminiwa katika hatua zote za uumbaji, uendeshaji, na utupaji wa mfumo. PC ASM Maarufu zaidi ya Kompyuta za ndani ni programu tata ya muundo wa kiotomatiki wa kimuundo-mantiki (PC ASM). Msingi wa kinadharia ni njia ya jumla ya kimantiki ya uchambuzi wa mfumo, ambayo hutumia uwezo wote wa vifaa vya msingi vya kuiga algebra ya mantiki kwa msingi wa shughuli "NA", "AU", "NOT". Fomu ya uwakilishi wa muundo wa awali wa mfumo ni mchoro wa uadilifu wa kazi, ambayo inakuwezesha kuonyesha karibu aina zote zinazojulikana za mifano ya miundo ya mifumo. Mchanganyiko huu huzalisha kiotomati mifano ya uchanganuzi wa kuegemea na usalama wa mfumo na huhesabu uwezekano wa kufanya kazi bila kushindwa, wakati wa wastani wa kutofaulu, sababu ya upatikanaji, muda wa wastani kati ya kushindwa, wastani wa muda wa kurejesha, uwezekano wa kushindwa kwa mfumo kurejeshwa, uwezekano wa kushindwa. utayari wa mfumo mchanganyiko, pamoja na umuhimu na mchango wa vipengele kwa viashiria mbalimbali vya kuaminika kwa mfumo kwa ujumla. PC ASM pia inakuwezesha kuamua moja kwa moja njia fupi zaidi za uendeshaji wa mafanikio, sehemu za kushindwa kwa kiwango cha chini na mchanganyiko wao. Faida kuu za mifumo ya Kirusi juu ya kigeni ni gharama ya chini ya utekelezaji na usaidizi, kutokuwepo kwa utegemezi wa teknolojia na urahisi wa mafunzo ya wafanyakazi. PC ASONIKA-K Pia iliyotolewa kwenye soko la Kirusi ni mfumo wa ASONIKA-K, chombo cha programu cha kutatua matatizo ya uchambuzi na kuhakikisha kuegemea ndani ya mfumo wa muundo wa kompyuta wa vifaa vya elektroniki. Kwa mujibu wa uwezo wake, mfumo mdogo wa ASONIKA-K si duni kwa Kompyuta za A.L.D. za kigeni. Kundi, Relex, Isograph, nk Faida ni uwezo wa kutumia vipengele vilivyotengenezwa tayari vinavyozalishwa katika nchi hii, pamoja na viwango vya Kirusi, wakati wa kuhesabu. Inakidhi mahitaji ya tata ya viwango vya kijeshi "Moroz-6" kwa vifaa vya elektroniki kwa matumizi muhimu na kiwango cha MIL-HDBK-217 cha Marekani na kiwango cha Kichina GJB/z 299B. ASONIKA-K ni zana ya programu iliyoundwa katika teknolojia ya seva ya mteja. Hifadhidata ya seva ya Kompyuta ina Bulletin ya Vijana ya Sayansi na Kiufundi ya FS, ISSN

7 habari inayoendelea kusasishwa juu ya kuegemea kwa bidhaa za elektroniki za ndani na nje, zilizojengwa kwa kanuni za kipekee ambazo hurahisisha sana kazi ya usimamizi wake, pamoja na: kuhariri data juu ya kuegemea kwa vifaa vya elektroniki, kuhariri mifano ya hesabu ya vifaa vya elektroniki, na kuongeza madarasa mapya ya vifaa vya elektroniki. vipengele vya elektroniki. Kifurushi cha programu cha ASONIKA-K kinajumuisha mifumo ndogo ifuatayo: mfumo wa kuhesabu sifa za kuaminika za vifaa, mfumo wa kuhesabu viashiria vya kuegemea kwa bidhaa, mfumo wa uchambuzi wa matokeo, mfumo wa uhifadhi wa kumbukumbu wa mradi, mfumo wa usaidizi, mfumo wa matengenezo ya hifadhidata, usimamizi wa mtumiaji. mfumo, mfumo wa kuchambua na uhasibu kwa athari juu ya kuegemea kwa mambo ya nje, habari na mfumo wa kumbukumbu juu ya sifa za kuaminika za vifaa vya teknolojia ya kisasa ya kompyuta (SVT) na ERI. Hifadhidata ya sehemu ya mteja ya PC ina habari kuhusu vifaa vya elektroniki vilivyoundwa. Mchele. 3. Uchambuzi wa upungufu katika ASONIKA-K PC Shirika hili la sehemu ya mteja hufanya iwezekanavyo kufanya mahesabu ya REA sambamba kutoka kwa vituo kadhaa vya kazi. Sehemu ya mteja ya programu ina kichakataji cha picha na miingiliano na mifumo ya kuiga michakato ya kimwili na muundo wa muundo, ikiwa ni pamoja na ASONIKA-T, P-CAD 2001, ASONIKA-M, nk. Msingi wa hisabati wa Kompyuta una modeli ya kuaminika.

8 kielelezo na usambazaji wa DN na inaweza kubadilishwa kwa muundo mwingine wowote wa kutegemewa. Inakuruhusu kukokotoa REA iliyo na hadi viwango vinne vya daraja la utenganishaji na kuwa na aina mbalimbali za upungufu. Matokeo ya hesabu yanaweza kuwasilishwa kwa maandishi na fomu ya picha. PC ASONIKA-K inakuwezesha kufanya aina zifuatazo za uchambuzi wa mahesabu ya kuegemea: uchambuzi wa matokeo ya mahesabu ya kuaminika ya vifaa vya elektroniki, SRN ambayo ni uhusiano wa kiholela wa sehemu za sehemu (mti-kama, hierarchical) na uchambuzi wa matokeo ya hesabu ya vipengele na uhusiano wa serial. Matumizi ya ASONIKA-K PC inafanya uwezekano wa kuongeza uaminifu wa vifaa vya elektroniki kwa kupunguzwa kwa vipengele vyake. Kielelezo cha 3 kinaonyesha thamani za uwezekano wa kufanya kazi bila kushindwa, kipengele cha upatikanaji na kipengele cha utayari wa uendeshaji wa kituo kizima kwa ujumla. Kushindwa kwa sehemu za vijenzi ni za ghafla na huwakilisha matukio huru; wakati wa kutofaulu ni kigezo cha nasibu kinachosambazwa kulingana na sheria ya kielelezo na kiwango cha kutofaulu mara kwa mara λ. Kazi na wiani wa usambazaji wa MTBF, pamoja na utegemezi wa kiwango cha kushindwa kwa vifaa vya elektroniki vilivyoundwa kwa kutumia uchambuzi wa graphical, pia huonyeshwa. Kompyuta inakuwezesha kuhesabu kuegemea kwa kutumia aina mbalimbali za redundancy ya vipengele: sliding kusubiri moto, kusubiri moto na bila redundancy, na pia hutoa mbinu za ufuatiliaji wa utendaji wao (kuendelea / mara kwa mara). Katika siku zijazo, imepangwa kuongeza moduli mbili zaidi kwa PC: mfumo wa uhasibu kwa ushawishi wa mambo ya nje juu ya sifa za kuaminika na mfumo wa habari na kumbukumbu kwa sifa za kuaminika za msingi wa kipengele. Hitimisho PC Relex, Spectrum ya Hatari na ASM hutekeleza darasa la mifano kwa ajili ya kutathmini viashiria vya kuaminika vya mifumo ya kiufundi ya modeli za kimantiki-uwezekano. Inaweza kuitwa darasa la mifano ya takwimu, kwa vile huruhusu mtu kuhesabu viashiria vya kuegemea, usalama na ufanisi wa mifumo kwa wakati wa kiholela kwa wakati, kulingana na seti zinazowezekana za majimbo ya uendeshaji na yasiyo ya kazi ya vipengele vya mfumo. Moduli za Kompyuta za kibinafsi A.L.D. Kikundi (Kamanda wa RAM), Relex, Isograph inaweza kutumika kwa hesabu ya kiotomatiki ya kuaminika kwa vifaa vya elektroniki vya ndani tu kwa misingi ya vifaa vya elektroniki vilivyoagizwa, kuegemea ambayo ni tathmini kwa kutumia vitabu mbalimbali vya kumbukumbu za kigeni. Taarifa ya vijana ya kisayansi na kiufundi ya FS, ISSN

9 Matumizi ya Kompyuta za kigeni huhitaji watumiaji kupata mafunzo ya hali ya juu katika nyanja ya takwimu za hisabati na matumizi yake kwa matatizo ya nadharia ya kutegemewa. Kompyuta za Kirusi sio duni katika uwezo kwa Kompyuta za kigeni na zinaweza kupendekezwa kwa kuhesabu uaminifu wa vifaa vya elektroniki vya ndani kulingana na vifaa vya elektroniki vilivyoagizwa na vya ndani. Faida kuu ni uwezo wa kufanya mahesabu ya kuegemea kwa kutumia hifadhidata na viwango vya sehemu za ndani. Bibliografia. Stroganov A.V., Zhadnov V.K., Polessky S.M. Mapitio ya mifumo ya programu ya kuhesabu kuegemea kwa mifumo ngumu ya kiufundi / ed. D. D. Krasnova. M.: HSE, uk. . Tikhomirov M.V., Shalumov A.S. Kutathmini uaminifu na ubora wa RES / ed. M. V. Khokhlova. M.: Solon-press, p. . Shalumov A. S. Faida za AS kwa kuhakikisha kuaminika na ubora wa vifaa vya ASONIKA. M.: MIEM, uk. . Zatylkin A.V., Tankov G.V., Kochegarov I.I. Algorithmic na programu ya kuhesabu vigezo vya kuaminika vya RES / ed. S. P. Malukva. M.: PSU, uk.

Lomaev E.N., Demyokhin F.V., A.V. Fedorov, M.I. Lebedeva, A.V. Semerikov UHAKIKI WA SOFTWARE COMPLEXES KWA KUTATHMINI UADILIFU WA MIFUMO YA ULINZI WA MOTO WA MOTO MOTO NA USALAMA WA KITU Unaendelea

KUTUMIA Suluhisho za Ubora wa Windchill kwa Udhibiti wa Ubora na Uchambuzi wa Kuegemea Kuelewa Suluhisho la Ubora wa Windchill Ufumbuzi wa Ubora wa Windchill (zamani Relex) umeundwa kwa ajili ya

2 1. Malengo na malengo ya taaluma Madhumuni ya kusoma taaluma "Kuegemea kwa mifumo ya kiufundi na hatari ya mwanadamu" ni kutoa maarifa juu ya misingi ya kutathmini uaminifu wa mifumo ya kiufundi; tambulisha

Kulygin V.N., Zhadnov I.V., Polessky S.N., Tsyganov P.A. MPANGO WA KUHESABU VIASHIRIA VYA UTEKELEVU WA MODULI ZA KIELEKTRONIKI (mfumo wa ASONIKA-K-SCH) UDC 621.396.6, 621.8.019.8 Mpango wa kukokotoa viashirio vya kuegemea.

2.8. Uhesabuji wa uaminifu wa mfumo na ulinzi 2.8.1. Maelezo ya tatizo Kuna mfumo unaojumuisha kitu cha kiufundi na mfumo wa kulinda kitu kutokana na matokeo ya kushindwa kwa vipengele vyake. Kama mfano wa hii

Mhadhara.1. Dhana ya mchoro wa muundo wa kuaminika. Vitu vyote vya kiufundi vinajumuisha vipengele. Vipengele vinaweza kuunganishwa kimwili kwa kila mmoja kwa njia mbalimbali. Kwa picha wazi ya viunganisho

Tran Dong Hung (Vietnam) (Chuo cha Huduma ya Moto ya Jimbo la Wizara ya Hali ya Dharura ya Urusi, barua pepe: [barua pepe imelindwa]) TEKNOLOJIA YA KUTATHMINI UHAKIKA WA MIFUMO YA UDHIBITI WA ULINZI WA MOTO KIOTOmatiki.

WIZARA YA AFYA YA SHIRIKISHO LA URUSI VOLGOGRAD STATE MEDICAL UNIVERSITY IDARA YA MIFUMO YA BIOTEKNICAL NA TEKNOLOJIA KAZI ZA UHAKIKI, USALAMA NA UTEKELEZAJI.

WIZARA YA ELIMU NA SAYANSI YA TAASISI YA ELIMU YA JUU YA SERIKALI YA SERIKALI YA JUU “CHUO KIKUU CHA AEROSPACE CHA JIMBO LA SAMARA, KITWACHO JINA LA MWANASOMI S.P. MALKIA

Zhadnov V.V., Polessky S.N. TATHMINI YA UBUNIFU WA UAMINIFU WA MIFUMO YA UHANDISI WA REDIO PAMOJA Mwelekeo wa sasa wa maendeleo ya mifumo ya uhandisi wa redio (RTS) una sifa ya ongezeko la kazi zinazofanywa.

UDC 656.56: 68.3 SHEVCHENKO D. N. Mgombea wa Sayansi ya Ufundi, Profesa Mshiriki (BelSUT) UCHAMBUZI WA MTI ULIOSHINDWA MKUBWA Makala ilitolewa na Daktari wa Sayansi ya Ufundi, Prof. Bochkov K. A. Utangulizi Uchambuzi wa Mti Mbaya FTA ni mojawapo ya

1. Malengo na malengo ya taaluma Madhumuni ya kusoma taaluma "Kuaminika kwa mifumo ya kiufundi na hatari ya mwanadamu" ni kutoa maarifa juu ya misingi ya kutathmini uaminifu wa mifumo ya kiufundi; anzisha nadharia

Programu ya kazi imeundwa kwa mujibu wa kiwango cha elimu cha serikali cha elimu ya juu ya kitaaluma katika uwanja wa wataalam wa mafunzo 3001 "Mifumo ya habari na teknolojia".

Utumiaji wa uundaji wa muundo wa kiotomatiki kwa hesabu ya muundo wa kuegemea kwa mfumo wa kudhibiti kiotomatiki A.S. Mozhaev, M.S. Skvortsov, A.V. Strukov /JSC "SPIK SZMA", St. Petersburg/ Utangulizi Hesabu ya kutegemewa

KARATASI YA KICHWA Programu imeundwa kwa msingi wa kiwango cha elimu cha serikali ya shirikisho cha elimu ya juu (kiwango cha mafunzo ya wafanyikazi waliohitimu sana) katika uwanja wa mafunzo 06/13/01

1 TEKNOLOJIA YA UUJILI WA KIOTOMATIKI WA MUUNDO-MANtiki KATIKA HESABU ZA MIUNDO YA UTEKELEZAJI WA MIFUMO Nozik A.A. OJSC "Kampuni Maalum ya Uhandisi "SEVZAPMONTAZHAVTOMATIKA" Muhtasari.

Kuegemea kwa muundo. Nadharia na mazoezi Antonov A.V., Plyaskin A.V., Tataev Kh.N. KUHUSU SUALA LA KUHESABU UADILIFU WA MIUNDO ILIYOHIFADHIWA KUZINGATIA UZEE WA VIPENGELE Makala inazungumzia suala la ukokotoaji.

ALORIMU ZA AVOMAZIZED SRUURNO-LOICHESOO MFANO WA UAMINIFU NA USALAMA WA SRUURNO-COMPLEX SYSTEMS Mozhaeva IA, Nozik AA, Strukov AV JSC "SPI SZMA", St. Petersburg, E-mal: fo@zmacom Muhtasari Unazingatiwa.

SOFTWARE COMPLEX KWA MFANO WA KIOTOMATIKI NA UHESABU WA UAMINIFU NA USALAMA WA APCS KATIKA HATUA YA KUBUNI Nozik A.A., Mozhaev A.S., Potapychev S.N., Skvortsov M.S. Chaguo ni haki na kuamua

Wizara ya Elimu na Sayansi ya Shirikisho la Urusi Taasisi ya Kielimu ya Bajeti ya Jimbo la Shirikisho la Elimu ya Kitaalam ya Juu "Perm National Research Polytechnic

Programu hiyo imeundwa kwa msingi wa kiwango cha elimu ya serikali ya shirikisho ya elimu ya juu (kiwango cha mafunzo ya wafanyikazi waliohitimu sana) kwa mwelekeo wa mafunzo 06/27/01 "Usimamizi.

WIZARA YA UCHUKUZI YA SHIRIKISHO LA URUSI TAASISI YA ELIMU YA ELIMU YA TAALUMA YA JUU SHULE YA JUU YA NDEGE YA SHIRIKISHO LA URUSI (TAASISI)

Hotuba ya 3 3.1. Dhana ya mtiririko wa kushindwa na marejesho Kitu kinachoweza kurejeshwa ni kitu ambacho urejesho wa hali ya uendeshaji baada ya kushindwa hutolewa katika nyaraka za udhibiti na kiufundi.

Jaribio juu ya mada "Kuegemea kwa IC" #num 1 Kuegemea ni: 1) mali ya kitu ili kudumisha hali ya kufanya kazi kwa wakati wote wa operesheni; 2) mali ya kitu ili kuendelea kufanya kazi

TOLEO LA TATU, ILIYOREKEBISHWA NA KUONGEZA MOSCOW "NISHATI" 1977 Kitabu hiki kimejikita katika masuala ya kutegemewa kwa mifumo ya kiotomatiki. Vipengele vya tathmini ya kuaminika na hesabu vinaelezwa. Uangalifu mkubwa

1. MALENGO YA UWEZA WA NIDHAMU. Malengo ya kusimamia taaluma ni: kufahamisha wanafunzi na dhana za kimsingi na ufafanuzi kutoka kwa nadharia ya kuegemea, viashiria vya kuegemea vya mifumo ya usambazaji wa umeme (SES)

Wakala wa Shirikisho wa Elimu Chuo Kikuu cha Jimbo la Tomsk cha Usanifu na Uhandisi wa Kiraia UAMINIFU WA MIFUMO YA KIUFUNDI NA Mwongozo wa HATARI INAYOTOLEWA NA BINADAMU kwa kazi huru ya wanafunzi.

Programu hiyo imeundwa kwa msingi wa kiwango cha elimu ya serikali ya shirikisho ya elimu ya juu (kiwango cha mafunzo ya wafanyikazi waliohitimu sana) kwa mwelekeo wa mafunzo 01.06.01 "Hisabati"

Upungufu V. Maandishi ya hotuba Utangulizi Tatizo la uchambuzi na kuhakikisha kuegemea linahusishwa na hatua zote za kuundwa kwa kompyuta na kipindi chote cha matumizi yao ya vitendo katika Wizara ya Hali ya Dharura. Seti ya matukio

K. Kapoor, L. Lamberson UTEKELEZAJI NA MIFUMO DESIGN Tafsiri kutoka Kiingereza na E. G. KOVALENKO, iliyohaririwa na Dr. Tech. sayansi, Prof. I. A. USHAKOVA Nyumba ya uchapishaji "Mir" Moscow 1980 Yaliyomo Dibaji

GOST 24.701-86 Kikundi P87 KIWANGO CHA INTERSTATE Mfumo uliounganishwa wa viwango vya mifumo ya udhibiti wa kiotomatiki UAMINIFU WA MIFUMO YA KUDHIBITI KIOTOmatiki Masharti ya msingi

Mfano. Kuegemea kwa mfumo wa usambazaji wa umeme Kielelezo 1 kinaonyesha mchoro wa awali wa kazi (grafu ya uunganisho na mizunguko) ya mfumo wa usambazaji wa umeme (SES) wa shida inayojulikana 35 ya I.A. Ryabinin, ambayo

Serikali ya Shirikisho la Urusi Jimbo la Shirikisho la Taasisi ya Elimu ya Elimu ya Juu ya Elimu ya Juu "Chuo Kikuu cha Utafiti cha Taifa "Shule ya Juu ya Uchumi"

1 MUHADHARA 3. Matatizo ya kutegemewa kwa usambazaji wa nishati Nadharia ya kutegemewa hutumika kama msingi wa kisayansi wa shughuli za maabara, idara, ofisi na vikundi vya kutegemewa katika biashara, katika muundo, utafiti na maendeleo.

TATHMINI, UTABIRI NA USIMAMIZI WA TABIA ZA RASILIMALI ZA KIFAA CHA NPP Antonov A.V., Dagaev A.V. Taasisi ya Obninsk ya Nishati ya Nyuklia, Urusi Hivi sasa, idadi ya vitengo vya nguvu za nyuklia

Nadharia ya kuegemea ni tawi la hisabati inayotumika ambayo njia hutengenezwa ili kuhakikisha utendaji mzuri wa bidhaa. Kuegemea kwa maana pana ya neno inahusu uwezo wa kifaa cha kiufundi

WATENDAJI 2 Mhandisi mkuu wa programu LLC "NTC SZMA" Mtaalamu anayeongoza wa JSC "SPIK SZMA" Mtayarishaji programu anayeongoza LLC "NTC SZMA" Mozhaeva I.A. Strukov A.V. Kiselev A.V. 3 YALIYOMO UTANGULIZI... 5 1 MAELEZO

Serikali ya Shirikisho la Urusi Jimbo la Shirikisho la Taasisi ya Elimu ya Elimu ya Juu ya Elimu ya Juu "Chuo Kikuu cha Utafiti cha Taifa "Shule ya Juu ya Uchumi"

Wizara ya Kilimo ya Shirikisho la Urusi Taasisi ya Kielimu ya Jimbo la Shirikisho la Elimu ya Juu ya Taaluma "Chuo Kikuu cha Uhandisi wa Kilimo cha Jimbo la Moscow kilichoitwa baada ya V.P. Goryachkin" Kitivo cha Idara ya Elimu ya Mawasiliano "Urekebishaji wa Mashine na Kuegemea"

MATUMIZI YA Msuluhishi wa PC KWA KUTATUA MATATIZO YA UCHAMBUZI WA KIOTOMATIKI WA UTEKELEZAJI WA MIFUMO YA UFUNGAJI WA NGUVU YA nyuklia ya MELI I. V. Kudinovich, N. V. Shklyarov, A. A. Nozik, A. V. Strukov (St. Petersburg)

Uigaji wa athari nasibu Katika mifumo ya uigaji kwa kutumia mbinu za uigaji, umakini mkubwa hulipwa kwa kuzingatia vipengele na athari kwenye mfumo. Ili kuzirasimisha tunatumia

MUHADHARA. Sifa za kimsingi za takwimu za viashiria vya kuegemea HII Kifaa cha hisabati cha nadharia ya kuegemea kinategemea mbinu za uwezekano-kinadharia, kwani mchakato wenyewe.

Hotuba ya 6 61 michakato ya Markov katika kuhesabu kuegemea kwa vitu visivyohitajika kurejeshwa Sifa kuu za mifumo inayoweza kurejeshwa ikilinganishwa na ile isiyoweza kurejeshwa ni kubwa.

Wizara ya Elimu ya Jamhuri ya Belarus Taasisi ya Elimu "Chuo Kikuu cha Habari na Radioelectronics cha Jimbo la Belarusi" IMETHIBITISHWA na Mkuu wa Kitivo cha Elimu na Sayansi A.V. Mpango wa KAZI wa Budnik kwa taaluma ya kitaaluma "Kuegemea

WAKALA WA SHIRIKISHO LA ELIMU IDARA YA UFUNDI YA JIMBO LA UKHTA IDARA YA USALAMA WA VIWANDA NA ULINZI WA MAZINGIRA UWAMINIFU WA MIFUMO YA KIUFUNDI NA HATARI ZA KITEKNOLOJIA.

Kuiga kushindwa kwa ghafla kwa msingi wa sheria ya kuegemea kielelezo Kama ilivyoelezwa hapo awali, sababu ya kushindwa kwa ghafla haihusiani na mabadiliko katika hali ya kitu kwa muda,

Barinov S.A., Tsekhmistrov A.V. 2.2 Mwanafunzi wa Chuo cha Kijeshi cha Logistiki na Usaidizi wa Kiufundi aliyepewa jina la Jenerali wa Jeshi A.V. Khruleva, St. Petersburg HESABU YA VIASHIRIA VYA UAMINIFU WA BIDHAA ZA ROCKET NA ARTILLERY

2 Upeo wa Yaliyomo... 5 2 Marejeleo ya udhibiti... 5 3 Sheria na ufafanuzi... 6 4 Uteuzi na muhtasari... 7 5 Madhumuni na malengo ya tathmini ya kutegemewa... 8 6 Wajibu... 8 7 Masharti ya jumla ...

SHIRIKISHO LA SHIRIKA LA Usafiri wa Anga TAASISI YA SHIRIKISHO YA ELIMU YA ELIMU YA TAALUMA YA JUU CHUO KIKUU CHA UFUNDI CHA JIMBO LA MOSCOW CHA CIVIL AVIATION (MSTU GA)

1 Hotuba ya 5. Viashiria vya kuegemea Viashirio vya kuegemea vya IT vinabainisha sifa muhimu za mifumo kama vile uendeshaji usio na kushindwa, ustahimilivu, uvumilivu wa makosa, udumishaji, uthabiti, uimara.

Uchambuzi wa mifano ya utabiri wa kutegemewa kwa programu T. Khunov Chuo Kikuu cha Kitaifa cha Utafiti cha Shule ya Juu ya Uchumi MIEM [barua pepe imelindwa] Muhtasari Karatasi hii inatoa uchanganuzi wa mifano ya kutabiri uaminifu wa programu

Malengo na Malengo ya Taaluma "Kuegemea kwa Magari yenye kusudi maalum" ni taaluma ya mzunguko wa kitaaluma katika mafunzo ya wahandisi katika "Magari" maalum.

Wasifu: "Mbinu za hisabati na ala za uchumi" Sehemu ya I. Misingi ya nadharia ya uwezekano na takwimu za hisabati 1. Ufafanuzi wa takwimu na classical wa uwezekano. Dhana ya nasibu

Ufa: UGATU, 202 T. 6, 8 (53. P. 67 72 V. E. Gvozdev, M. A. Abdrafikov TAKWIMU MALI ZA KUJIAMINI MAKADIRIO YA MAADILI YA MPAKA WA TABIA ZA KUTEGEMEA UDC 68.5 kwa Ibara ya kujiamini

Chaguo la jaribio la kikundi cha mawasiliano katika taaluma "Kuegemea kwa mifumo ya kiufundi na hatari inayotengenezwa na mwanadamu." Kama matokeo ya operesheni, idadi ya data ya takwimu ilipatikana juu ya kuegemea kwa isiyoweza kurekebishwa

WAKALA WA SHIRIKISHO LA USAFIRI WA RELI BAJETI YA SHIRIKISHO LA SERIKALI TAASISI YA ELIMU YA JUU YA TAALUMA "CHUO KIKUU CHA MAWASILIANO CHA JIMBO LA MOSCOW"

UDC 004.94, 519.2 A.Yu. Rusin, M. Abdulhamed (Chuo Kikuu cha Ufundi cha Jimbo la Tver; barua pepe: [barua pepe imelindwa]) UCHAKATO WA HABARI KATIKA MFUMO WA KUPIMA VIFAA VYA KIWANDA KWA AJILI YA UAMINIFU.

Hotuba ya 8 8.1. Sheria za usambazaji wa viashiria vya kuaminika Kushindwa katika mifumo ya automatisering ya reli na telemechanics hutokea chini ya ushawishi wa mambo mbalimbali. Kwa kuwa kila sababu kwa zamu

UDC 59.873 Algorithm na mbinu ya kuchambua uaminifu wa gari la kupambana V. O. Karasev, mwanafunzi wa Urusi, 05005, Moscow, MSTU. N.E. Bauman, Msimamizi wa kisayansi wa Idara ya Habari na Mifumo ya Udhibiti:

Hotuba ya 4. Viashiria vya msingi vya kiasi cha kuaminika kwa mifumo ya kiufundi Kusudi: Kuzingatia viashiria kuu vya kiasi cha kuegemea Muda: masaa 4. Maswali: 1. Viashiria vya kutathmini sifa za kiufundi

UDC 681.3 A.I. Ryzhenko, E.I. Ryzhenko, D.V. Kolesnichenko Uamuzi wa kuegemea kwa bidhaa za kiufundi zisizoweza kurekebishwa za Chuo Kikuu cha Kitaifa cha Anga kilichopewa jina lake. HAPANA. Zhukovsky "KhaI"

7627 UDC 62-192 KUHUSU SUALA LA TATHMINI YA RASILIMALI YA MIFUMO YA UFUNDI N.V. Taasisi ya Lubkov ya Matatizo ya Usimamizi. V.A. Trapeznikov RAS Urusi, 117997, Moscow, Profsoyuznaya st., 65 E-mail: [barua pepe imelindwa] Maneno muhimu:

1 Programu hiyo imeundwa kwa msingi wa kiwango cha elimu cha serikali ya shirikisho ya elimu ya juu (kiwango cha mafunzo ya wafanyikazi waliohitimu sana) katika uwanja wa mafunzo 06/13/01 "Umeme

Kuegemea kwa muundo. Nadharia na mazoezi Tkachev O.A. UCHAMBUZI WA UTHABITI WA MITANDAO YENYE VIPENGELE VITAMBULISHI Mitindo ya uchanganuzi inapendekezwa ambayo inaruhusu mtu kupata misemo ya kubainisha.

Utangulizi

Maelezo ya eneo la somo

1 mfano wa Schumann

2 Mills mfano

3 mfano wa Djelinski-Moranda

4 Mfano wa Lipov

5 Taarifa ya tatizo

Teknolojia ya maendeleo ya maombi

1 Suluhisho la algorithm

2. Mpangilio wa Maombi

2.1 Mpangilio wa programu. Muundo wa Schumann (taboUkurasa1)

2.2 Mpangilio wa programu. Muundo wa Dzelinski-Moranda(tabUkurasa3)

2.3 Mpangilio wa Programu. Muundo wa vinu(tabUkurasa5)

2.4 Mpangilio wa Programu. Muundo wa Lipov(taboUkurasa4)

3 Maelezo ya programu

3.5 Kuhifadhi matokeo

Mwongozo wa mtumiaji

Hitimisho

Insha

Mpango wa kuhesabu uaminifu wa programu

Maneno muhimu:kuegemea, mifano, ufanisi, programu, Schumann, Mills, Moranda, Lipov.

Lengo la kazi:Ubunifu na uundaji wa mpango wa kubainisha kutegemewa kwa programu chini ya majaribio kwa kutumia miundo mbalimbali kwa kutumia lugha ya C# na VisualStudio 2013.

Lengo la utafiti:mifano ya kuaminika ya programu

Mada ya masomo:Programu katika lugha ya C#

Utangulizi

Sababu kama vile "kuegemea kwa programu" imekuwa ikicheza kila wakati, inacheza na itachukua jukumu muhimu katika ukuzaji wa bidhaa yoyote ya programu.

"Kuegemea kwa programu" ni nini? Jibu ni rahisi sana - hii ni mali ya mfumo wa kufanya kazi maalum, kudumisha kwa muda maadili ya viashiria vya uendeshaji vilivyowekwa ndani ya mipaka maalum inayolingana na njia na masharti maalum ya utekelezaji.

Kila msanidi anajitahidi kufanya programu yake iwe ya kuaminika, yenye ufanisi na isiyo na shida iwezekanavyo. Kwa bahati mbaya, kwa sasa haiwezekani kuwatenga kabisa ukweli wa kutofaulu au kosa, ingawa kazi inafanywa katika mwelekeo huu kila siku.

Lakini, inaonekana inawezekana kuhesabu uwezekano wa makosa yanayotokea katika programu kama matokeo ya kuipima kwenye mifano mbalimbali ya hisabati ya kuaminika. Ili kujua jinsi programu inavyoaminika, lazima ijaribiwe zaidi ya mara moja.

Kwa mujibu wa lengo, kazi zifuatazo ziliundwa:

) Fanya uchambuzi wa somo katika eneo hilo

) Tengeneza programu muhimu

) Fanya utekelezaji wa programu

) Jaribu programu

) Kuamua ufanisi wa programu iliyotengenezwa

) Rekodi na uchanganue matokeo

Kitu cha utafiti ni njia ya kuhesabu gharama ya maendeleo ya programu.

Mada ya utafiti ni programu kwenye jukwaa la VisualStudio katika C#.

Katika kiwango cha kimataifa cha ISO 9126:1991, kutegemewa kunaangaziwa kama mojawapo ya sifa kuu za ubora wa programu. Kamusi ya kawaida ya maneno ya programu kama uwezo wa mfumo au sehemu kufanya kazi zinazohitajika chini ya hali maalum kwa muda maalum.

Tatizo la kuaminika kwa programu yenyewe ina angalau vipengele viwili: kuhakikisha na kutathmini (kupima) kuaminika. Karibu maandiko yote yanayopatikana yanajitolea kwa kipengele cha kwanza, na suala la kutathmini uaminifu wa programu za kompyuta haijasoma vya kutosha. Wakati huo huo, ni dhahiri kwamba kutegemewa kwa programu ni muhimu zaidi kuliko sifa zake za jadi kama vile muda wa utekelezaji au kiasi kinachohitajika cha RAM, lakini bado hakuna kipimo cha kiasi kinachokubalika cha kutegemewa kwa programu.

Miundo ya kutegemewa ya programu imegawanywa katika uchambuzi na majaribio. Miundo ya uchanganuzi hufanya iwezekane kukokotoa viashiria vya kiasi cha kutegemewa kulingana na data juu ya tabia ya programu wakati wa mchakato wa majaribio. Mifano ya majaribio inategemea uchambuzi wa vipengele vya kimuundo vya programu.

Mifano za uchambuzi zinawasilishwa katika makundi mawili: nguvu na tuli. Katika mifano ya nguvu, tabia ya programu (tukio la kushindwa) inazingatiwa kwa muda. Ikiwa vipindi vya kila kushindwa vimeandikwa, picha inayoendelea ya tukio la kushindwa kwa muda hupatikana. Ni idadi tu ya kutofaulu kwa kipindi cha muda kiholela inaweza kurekodiwa. Katika kesi hii, tabia ya programu inaweza kuwakilishwa tu kwa pointi tofauti.

1. Maelezo ya eneo la somo

.1 Mfano wa Schumann

Mfano wa Schumann unategemea vigezo kadhaa:

¾ idadi ya jumla ya maagizo katika programu ya lugha ya mashine ni mara kwa mara;

¾ mwanzoni mwa vipimo vya mkusanyiko, idadi ya makosa ni sawa na thamani fulani ya mara kwa mara, na makosa yanaporekebishwa, huwa ndogo. Wakati wa kupima programu, hakuna makosa mapya yanayoletwa;

¾ makosa yanaweza kutofautishwa hapo awali; jumla ya makosa yaliyosahihishwa yanaweza kutumika kuhukumu yaliyobaki;

¾ kiwango cha kushindwa kwa programu ni sawia na idadi ya makosa ya mabaki.

Inachukuliwa kuwa kabla ya kuanza kwa majaribio (yaani kwa sasa t =0) kuna makosa ya M. Wakati wa majaribio τ inagunduliwa ε1( t ) makosa kwa kila amri katika lugha ya mashine.

Kisha idadi maalum ya makosa kwa maelekezo ya mashine iliyobaki kwenye mfumo baada ya muda wa kupima τ, sawa:

ambapo mimi ni jumla ya idadi ya maelekezo ya mashine, ambayo inadhaniwa kuwa mara kwa mara wakati wa awamu ya kupima.

Inachukuliwa kuwa thamani ya kazi ya idadi ya makosa Z(t) inalingana na idadi ya makosa iliyobaki kwenye programu baada ya muda uliotumika kwenye majaribio. τ .

Z (t) = C * ε2 (τ),

ambapo C ni mara kwa mara fulani, t ni wakati wa uendeshaji wa programu bila kushindwa.

Kisha, ikiwa wakati wa uendeshaji wa programu bila kushindwa t huhesabiwa kutoka kwa uhakika t = 0, na τ inabaki kuwa sawa, kitendakazi cha kutegemewa, au uwezekano wa kufanya kazi bila kushindwa katika muda kutoka 0 hadi t, ni sawa na

Tunahitaji kupata thamani ya awali ya hitilafu M na mgawo wa uwiano C. Hizi zisizojulikana zinakadiriwa kwa kufanya jaribio la utendaji kazi katika pointi mbili kwenye mhimili wa utatuzi wa utatuzi. t a na t ndani, iliyochaguliwa ili ε1( t a )<ε1(t d).

Wakati wa mchakato wa kupima, taarifa hukusanywa kuhusu muda na idadi ya makosa kwenye kila kukimbia, i.e. jumla ya muda wa majaribio τ inajumuisha wakati wa kila kukimbia:

τ = τ1 + τ2 + τ3 + … + τn .

Kwa kudhani kuwa kiwango cha makosa ni mara kwa mara na sawa na λ, inaweza kuhesabiwa kama idadi ya makosa kwa wakati wa kitengo,

Kisha

Kuwa na data ya sehemu mbili tofauti za majaribio t a na t c, tunaweza kulinganisha milinganyo (3) na τa Na tb:

Kutoka kwa mahusiano (6) na (7) tunapata paramu isiyojulikana C na M:

Mfano 1 .

Programu ina mistari 2,000 ya amri, ambayo, kabla ya operesheni (baada ya kipindi cha kurekebisha), mistari 15 ya amri ina makosa. Baada ya siku 20 za operesheni, hitilafu 1 iligunduliwa. Pata muda wa wastani wa uendeshaji usio na hitilafu wa programu na kiwango cha kushindwa kwa programu na mgawo wa uwiano sawa na 0.7.

I=2000=15=20=1=0.7

E 1(t)=0.0005 2(t)=0.007(t)=0.906649 Jumatano =204,0816

λ=0.0049 - kiwango cha kushindwa

Mfano 2.

Kwa kutumia masharti ya mfano 1, tambua uwezekano wa uendeshaji bila hitilafu wa programu kwa siku 90.

I= 2000= 15= 90= 1= 0.7(t)= 0.643393

Mfano 3 .

Tambua idadi ya awali ya makosa iwezekanavyo katika programu iliyo na mistari 2,000 ya amri, ikiwa wakati wa siku 60 za kwanza za uendeshaji makosa 2 yaligunduliwa, na kwa siku 40 zifuatazo kosa moja liligunduliwa. Bainisha T0- muda wa wastani wa uendeshaji usio na hitilafu unaofanana na vipindi vya kwanza na vya pili vya uendeshaji wa programu na mgawo wa uwiano.

Mimi = 2000 1= siku 60 2= siku 100 1= makosa 2 2= makosa 3 0= 30,333333

λ 1= 0,033333

λ 2= 0,03= 6,6666671(t 1)= 0,0012(t 2)= 0,0015= 12

L 2/L 1= 0,9

1.2 Mills mfano

Algorithm ya majaribio ya Schumann Mills

Matumizi ya mfano huu yanaonyesha haja ya "kuziba" programu kwa bandia kabla ya kuanza kupima, i.e. ingiza makosa kadhaa yanayojulikana ndani yake. Makosa huletwa kwa nasibu na kurekodiwa kwenye kumbukumbu ya makosa ya bandia. Mtaalamu wa upimaji hajui idadi au asili ya makosa yaliyoletwa hadi viashiria vya kuaminika vikaguliwe kwa kutumia modeli ya Mills. Inachukuliwa kuwa makosa yote (ya asili na yaliyoletwa bandia) yana uwezekano sawa wa kupatikana wakati wa majaribio.

Kwa kupima programu kwa muda fulani, takwimu kuhusu makosa hukusanywa. Wakati wa tathmini ya kuaminika kwa kutumia itifaki ya makosa ya bandia, makosa yote yanagawanywa kuwa ya asili na ya bandia. Uhusiano huo, unaoitwa formula ya Mills,

Hufanya uwezekano wa kukadiria idadi ya awali ya makosa katika programu N. Hapa S ni idadi ya makosa yaliyoletwa kwa njia ya bandia; n - idadi ya makosa yaliyopatikana; V ni idadi ya makosa ya bandia yaliyogunduliwa wakati wa tathmini.

1.3 Mfano wa Dzelinski-Moranda

Jambo kuu ambalo modeli inategemea ni kwamba katika mchakato wa upimaji wa programu, thamani ya vipindi vya wakati wa kupima kati ya ugunduzi wa makosa mawili ina usambazaji wa kielelezo na kiwango cha kutofaulu sawia na idadi ya makosa ambayo bado hayajatambuliwa. . Kila kosa lililogunduliwa limeondolewa, idadi ya makosa iliyobaki imepunguzwa na moja.

Kazi ya wiani wa usambazaji wa wakati wa kugundua kosa la i-th, iliyohesabiwa kutoka wakati wa kugundua kosa la (i - 1) -th, ina fomu.

Kiwango cha kutofaulu kiko wapi, ambacho kinalingana na idadi ya makosa katika programu ambayo bado hayajatambuliwa:

Ambapo N ni idadi ya makosa yaliyopo kwenye programu; C ni mgawo wa uwiano.

Thamani zinazowezekana zaidi za N na C zimedhamiriwa kulingana na data iliyopatikana wakati wa majaribio. Ili kufanya hivyo, rekodi muda wa utekelezaji wa programu hadi kushindwa ijayo t1,t2,t3,…,tk. Thamani za N na C zinaweza kupatikana kwa kutatua mfumo wa equations

Ili kupata maadili ya nambari λ , unahitaji kubadilisha N na C kwa thamani zao zinazowezekana N na C. Kwa kuhesabu thamani za K kwa kutumia fomula (5) na kuzibadilisha kuwa usemi (4), unaweza kuamua uwezekano wa operesheni isiyo na kushindwa kwa vipindi tofauti vya wakati.

1.4 Mfano wa Lipov

Lipov alirekebisha modeli ya Mills kwa kuzingatia uwezekano wa kugundua kosa wakati wa kutumia idadi tofauti ya majaribio. Ikiwa tutafanya dhana sawa na mfano wa Mills, i.e. makosa ya kibinafsi na ya bandia yana uwezekano sawa wa kupatikana, basi uwezekano wa kugundua makosa ya n mwenyewe na V.

Ambapo m ni idadi ya majaribio yaliyotumika, q ni uwezekano wa kugundua kosa katika kila jaribio la m, linalokokotolewa na fomula.

S ni jumla ya idadi ya makosa yaliyoletwa kiholela; N ni idadi ya makosa ya asili yaliyopo kwenye programu kabla ya majaribio kuanza.

.5 Taarifa ya tatizo

Jina la programu: Mpango wa kukokotoa utegemezi wa programu.

Kusudi la maendeleo: Kulingana na data iliyoingia na mtumiaji, hesabu viashiria kuu vya kuaminika kwa bidhaa ya programu.

Data ya pembejeo imeingizwa katika nyanja maalum. Baada ya kusindika data, programu inaonyesha matokeo katika nyanja zinazofaa za pato.

Ili programu ifanye kazi kwa usahihi, sehemu zote lazima zijazwe. Kwa chaguo-msingi, baadhi ya mifano ina mgawo wa uwiano wa mara kwa mara.

Ili kutekeleza programu hii, tunatumia lugha ya programu ya C# kwenye jukwaa la Visual Studio.

Mahitaji ya mfumo wa kompyuta:

) Mfumo wa uendeshaji Windows 7 au toleo jipya zaidi.

) Nafasi ya bure ya diski kuu: 5MB au zaidi.

) Upatikanaji wa Mfumo wa Mtandao 4.0 au zaidi.

) RAM: 128MB na zaidi.

) Kinanda na kipanya.

2. Teknolojia ya maendeleo ya maombi

.1 Algorithm ya suluhisho

Mwanzoni mwa utekelezaji wa programu, fomu inaonekana ambapo mtumiaji anaulizwa kujaza sehemu zinazofaa na data muhimu kwa hesabu.

Mwanzoni mwa utekelezaji wa programu, ukamilifu na usahihi wa data iliyoingia huangaliwa. Ikiwa data ya mtumiaji haipiti uthibitishaji, arifa inayolingana itaonyeshwa.

Baada ya kupitisha hundi kwa usahihi na ukamilifu, programu huanza kufanya mahesabu. Programu inasoma data iliyojazwa katika nyanja maalum na hufanya mahesabu kwa kutumia fomula.

Baada ya hayo, matokeo yanaonyeshwa kwenye madirisha maalum yaliyowekwa, na utekelezaji wa programu huacha.

.2.1 Mpangilio wa programu. Muundo wa Schumann (taboUkurasa1)

menuStrip1 - inaonyesha orodha ya menyu iliyo na vitu "Hifadhi matokeo" na "Toka"

tabPage1 - kichupo cha kipengee cha tabControl1, kilicho na vipengele: lebo49 - 54, lebo63 - 67, lebo 61, lebo59, lebo48, lebo62, lebo58, maandishiBox14 - 19, groupBox4

lebo52 - inachukua thamani ya maandishi "Amri mistari katika programu"

lebo51 - inachukua thamani ya maandishi "Mistari iliyo na kosa"

lebo50 - inakubali thamani ya maandishi "Siku za kazi"

lebo49 - inachukua thamani ya maandishi "Makosa wakati wa operesheni"

lebo58 - inakubali thamani ya maandishi "data ya awali"

lebo54 - inakubali thamani ya maandishi "Matokeo ya Mwisho"

lebo61 - inakubali thamani iliyofupishwa "KSP"

lebo60 - inakubali thamani iliyofupishwa "ССО"

lebo59 - inakubali thamani iliyofupishwa "DR"

lebo48 - inakubali thamani iliyofupishwa "OVR"

lebo62 - inakubali thamani iliyofupishwa "KP"

maandishiBox17 - hupata thamani ya data ya mtumiaji iliyoingizwa kwenye safu ya "Amri ya mstari kwenye programu"

textBox15 - hupata thamani ya data iliyoingia ya mtumiaji katika safu ya "Mistari iliyo na makosa".

textBox16 - hupata thamani ya data iliyoingia ya mtumiaji katika safu ya "Siku za kazi".

textBox14 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu ya "Makosa wakati wa operesheni".

textBox18 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu ya "Proportional Coefficient", thamani ya chaguo-msingi ni "1".

textBox19 - hutumikia kuonyesha matokeo ya mahesabu yaliyofanywa kwa kutumia formula ya Schumann.

button5 - inakubali thamani ya maandishi "Futa", na pia inafuta sehemu zote kwenye kizuizi hiki

2.2.2 Mpangilio wa programu. Muundo wa Dzelinski-Moranda(tabUkurasa3)

tabPage3 - ina makundi yote ya vitu, kama vile label41-42, label45-46, label73-69, label19-14, textBox4, button3, textBox13-10, groupBox3.

lebo41 - inachukua thamani ya maandishi "Idadi ya makosa yaliyopatikana hapo awali kwenye programu.

lebo42 - inakubali thamani ya maandishi "Mgawo wa Uwiano"

lebo45 - inachukua thamani ya maandishi "Idadi ya makosa baada ya muda"

lebo46 - inachukua thamani ya maandishi "wakati wa kugundua makosa i"

lebo73 - inakubali thamani ya maandishi "Matokeo"

lebo69 - inakubali thamani ya maandishi "data ya awali"

lebo72 - inakubali thamani iliyofupishwa "CHOPNVP"

lebo71 - inakubali thamani iliyofupishwa "KP"

lebo70 - inakubali thamani iliyofupishwa "KOSV"

lebo15 - inakubali thamani iliyofupishwa "BOO"

lebo14 - inachukua thamani ya maandishi "matokeo ya mwisho"

Lebo ya vipengele19 - lebo16 huchukua thamani sawa za maandishi "null"

maandishiBox10 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Idadi ya makosa yaliyopatikana hapo awali kwenye programu"

textBox12 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu ya "Proportional Coefficient".

textBox11 - hupata thamani ya data iliyoingia ya mtumiaji katika safu ya "Idadi ya makosa baada ya muda".

textBox13 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu ya "Muda wa kugundua makosa".

textBox4 - hutumikia kuonyesha matokeo ya mahesabu yaliyofanywa kwa kutumia formula ya Dzelinsky-Moranda.

button3 - inakubali thamani ya maandishi "Futa", na pia inafuta sehemu zote kwenye kizuizi hiki

2.2.3 Mpangilio wa programu. Muundo wa vinu(tabUkurasa5)

tabPage5 - ina makundi ya vitu, label9-1, textBox3-1, groupBox1, button1, label13, label44.

lebo2 - inachukua thamani ya maandishi "Idadi ya makosa yaliyoletwa bandia"

lebo3 - inachukua thamani ya maandishi "Idadi ya makosa yako mwenyewe yaliyopatikana"

lebo4 - inachukua thamani ya maandishi "Idadi ya makosa ya bandia yaliyogunduliwa na wakati wa tathmini"

lebo5 - inakubali thamani ya maandishi "Matokeo"

lebo9 - inakubali thamani ya maandishi "data ya awali"

lebo13 - inachukua thamani ya maandishi "matokeo ya mwisho"

lebo6 - inakubali thamani iliyofupishwa "KIVO"

lebo7 - inachukua thamani iliyofupishwa "CHONO"

lebo8 - inakubali thamani iliyofupishwa "CHOKMOIO"

lebo10 - hapo awali hupokea dhamana tupu, na kisha inapokea maadili ya safu "Idadi ya makosa yaliyoletwa bandia"

lebo11 - hapo awali hupokea dhamana tupu, na kisha inapokea maadili ya safu "Idadi ya makosa yako yaliyopatikana"

lebo12 - hapo awali hupokea dhamana tupu, na kisha inapokea maadili ya safu "Idadi ya makosa ya bandia yaliyogunduliwa na wakati wa tathmini"

lebo44 - inapokea na kuonyesha matokeo ya hesabu kwa kutumia formula ya Mills

button1 - inachukua thamani ya maandishi "Futa" na pia kufuta sehemu zote kwenye kizuizi hiki.

textBox1 - -hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Idadi ya makosa yaliyoletwa kwa uwongo"

textBox2 - hupata thamani ya data iliyoingia ya mtumiaji kwenye safu "Idadi ya makosa yako mwenyewe yaliyopatikana"

textBox3 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Idadi ya makosa ya bandia yaliyogunduliwa na wakati wa tathmini"

2.2.4 Mpangilio wa Maombi. Muundo wa Lipov(taboUkurasa4)

tabPage4 - ina vikundi vya vitu, lebo78-74, lebo84-97, lebo82, groupBox5, kifungo4.

lebo74 - inachukua thamani ya maandishi "Idadi ya majaribio yaliyotumika"

lebo76 - inachukua thamani ya maandishi "Jumla ya idadi ya makosa yaliyoletwa bandia

lebo77 - inachukua thamani ya maandishi "Idadi ya makosa mwenyewe kabla ya kupima

lebo78 - inachukua thamani ya maandishi "Idadi ya makosa iliyoletwa na mwisho wa majaribio

lebo86 - inakubali thamani ya maandishi "Matokeo"

lebo82 - inakubali thamani ya maandishi "data ya awali"

lebo90 - inakubali thamani ya maandishi "Matokeo ya Mwisho"

lebo91 - inachukua thamani ya maandishi "Uwezekano wa kugundua kosa wakati wa kutumia nambari tofauti m ya majaribio"

lebo92 - inapokea na kuonyesha matokeo ya mahesabu kwa kutumia formula ya Lipov, thamani ya awali ni "null"

lebo85 - inakubali thamani iliyofupishwa "KIT"

lebo84 - inakubali thamani iliyofupishwa "OKIVO"

lebo87 - inakubali thamani iliyofupishwa "KSODNT"

lebo88 - inakubali thamani iliyofupishwa "QUOKT"

lebo89 - inakubali thamani iliyofupishwa "KSOKT"

textBox20 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu ya "Idadi ya vipimo vilivyotumika".

maandishiBox22 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Jumla ya idadi ya makosa ya bandia iliyoingia"

textBox23 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Idadi ya makosa mwenyewe kabla ya kupima"

textBox24 - hupata thamani ya data ya mtumiaji iliyoingia kwenye safu "Idadi ya makosa yaliyoletwa na mwisho wa kupima"

maandishiBox21 - hupata thamani ya data ya mtumiaji iliyoingizwa kwenye safu "Idadi ya makosa mwenyewe mwishoni mwa majaribio"

button4 - inachukua thamani ya maandishi "Futa" na pia kufuta sehemu zote kwenye kizuizi hiki.

2.3 Maelezo ya programu

.3.1 kichupoUkurasa1

Darasa Hierarkia

kwa kutumia.System.Collections.Generic;System.ComponentModel;System.Data;System.Kuchora;System.Linq;System.Text;System.Windows.Forms;System.IO;

Vipengele vilivyotumika:;;;;;;

Kitufe cha kidhibiti5_Bonyeza(mtumaji wa kitu, EventArgs e)

Kuna chaguo la kukokotoa kwenye kichupo hiki

Chaguo za kukokotoa za Suman hufanya hesabu kwa kutumia fomula ya Schumann na kupitisha matokeo kwa kitu kinacholingana cha matokeo, kama inavyoonyeshwa kwenye Mchoro 1.1

((textBox20. Text == "")

)(textBox22.Text == "")

)(textBox23.Text == "")

)(textBox21.Text == "")

)(textBox24.Text == "")

MessageBox.Onyesha("Ingiza thamani ya nambari!");

Unaweza kuona matokeo ya kazi kwenye Mchoro 1.2

Mchoro 1.2 Kuhesabu kwa kutumia modeli ya Schumann

2.3.2 kichupoUkurasa3

Daraja la DarajaMfumo;Mkusanyiko.Wa.Jenerali;Mfano.wa.Kijenzi.Mfumo;Data.ya.Mfumo;Mchoro.wa.Mfumo;Mfumo.Linq;Maandishi.ya.Mfumo;Mfumo.Windows.Fomu;

kutumia System.IO;

Vipengele vilivyotumika:

Kitufe cha kidhibiti3_Bonyeza(mtumaji wa kitu, EventArgs e)

Kichupo hiki pia kina kitendakazi kimoja

Kazi ya Moranda huhesabu kwa kutumia fomula ya Dzelinski-Moranda na kuonyesha matokeo

utupu wa umma Moranda(EventArgs e_Moranda)

((textBox11. Text == "")

(.Onyesha("Ingiza idadi ya makosa baada ya muda!", "Jelinski-Moranda Model");

)(textBox13.Text == "")

(.Onyesha("Ingiza muda wa kutambua makosa ya i!", "Mfano wa Djelinski-Moranda");

)(textBox12.Text == "")

(.Onyesha("Ingiza kipengele cha uwiano!", "Mfano wa Djelinski-Moranda");

)(textBox10.Text == "")

(.Onyesha("Ingiza idadi ya makosa yaliyopatikana awali kwenye programu!", "Mfano wa Djelinski-Moranda");

)t10;(!int.TryParse(textBox10.Text, out t10))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t12;(!int.TryParse(textBox12.Text, out t12))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t13;(!int.TryParse(textBox13.Text, out t13))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t11;(!int.TryParse(textBox11.Text, out t11))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

(.Onyesha("Hitilafu:" + ex.Message);

)lambda, C, N, i, P,t;= Double.Parse(textBox10.Text);= Double.Parse(textBox12.Text);= Double.Parse(textBox11.Text);= Double.Parse(textBox13. Maandishi);= C * (N - i + 1);= lambda * Math.Exp(lambda * (-1) * t);

textBox4.Text = "Kitendaji cha usambazaji wa wiani wa wakati wa kugundua kosa la i-th, lililohesabiwa tangu wakati wa kugundua:" + P. ToString();

lebo16.Text = N. ToString();.Text = C. ToString();.Text = i.ToString();.Text = t.ToString();

Matokeo ya kazi yanaonekana kwenye Mchoro 1.3

Mchoro 1.3 Matokeo ya mahesabu kwa kutumia mfano wa Dzelinski-Moranda

2.3.3 kichupoUkurasa5

Vipengele vilivyotumika:;;;;;;

Kitufe cha kidhibiti1_Bonyeza(mtumaji wa kitu, EventArgs e)

Kuna chaguo la kukokotoa kwenye kichupo hiki

Chaguo za kukokotoa za Mills hukokotoa kwa kutumia fomula ya Mills na kuonyesha matokeo

Miundo ya utupu ya umma (EventArgs e_Mills)

((textBox1.Text == "")

(.Onyesha("Ingiza nambari ya makosa yaliyoletwa kisanii!", "Mfano wa Mills");

)(textBox2.Text == "")

(.Onyesha("Ingiza nambari ya makosa yako mwenyewe iliyopatikana!", "Mfano wa Mills");

)(textBox13.Text == "")

(.Onyesha("Ingiza idadi ya makosa ya bandia yaliyogunduliwa wakati wa tathmini!", "Mfano wa Mills");

)t1;(!int.TryParse(textBox1.Text, out t1))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t2;(!int.TryParse(textBox2.Text, out t2))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t3;(!int.TryParse(textBox3.Text, out t3))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

(.Onyesha("Hitilafu:" + ex.Message);

)S, n, V, N;= Double.Parse(textBox1.Text);= Double.Parse(textBox2.Text);= Double.Parse(textBox3.Text);

N = (S * n) / V;.Text = "Nambari ya awali ya makosa katika programu ni:" + N. ToString ();

lebo10.Text = S. ToString();.Text = n.ToString();

lebo12.Text = V. ToString();

Matokeo ya hesabu kwa kutumia fomula ya Mills yanaonekana wazi kwenye Mchoro 1.4

2.3.4 kichupoUkurasa4

Daraja la DarajaMfumo;Mkusanyiko.Wa.Jenerali;Mfano.Kipengele.Mfumo;Data.ya.Mfumo;Mchoro.wa.Mfumo;Linq;Maandishi.ya.Mfumo;Mfumo.Windows.Fomu;Mfumo.IO;

Vipengele vilivyotumika:;;;;;;

Kitufe cha kidhibiti4_Bonyeza (mtumaji wa kitu, EventArgs e)

Kuna chaguo la kukokotoa kwenye kichupo hiki

Kazi ya Lipov hufanya mahesabu kwa kutumia formula ya Lipov na inaonyesha matokeo

utupu wa umma Lipov(EventArgs e_Lipov)

((textBox20. Text == "")

(.Onyesha("Ingiza idadi ya majaribio ya kutumia!", "Mfano wa Lipov");

)(textBox22.Text == "")

(.Onyesha("Ingiza jumla ya idadi ya makosa yaliyoletwa kisanii!", "Lipov Model");

)(textBox23.Text == "")

(.Onyesha("Ingiza nambari ya makosa yako mwenyewe kabla ya kujaribu!", "Lipov Model");

(.Onyesha("Ingiza nambari ya makosa yako mwenyewe hadi mwisho wa jaribio!", "Lipov Model");

)(textBox24.Text == "")

(.Onyesha("Ingiza idadi ya makosa iliyoletwa na mwisho wa majaribio!", "Lipov Model");

// Angalia maadili yaliyoingizwa t20;

ikiwa (!int.TryParse(textBox20.Text, out t20))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t21;(!int.TryParse(textBox21.Text, out t21))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t22;(!int.TryParse(textBox22.Text, out t22))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t24;(!int.TryParse(textBox24.Text, out t24))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

int t23;(!int.TryParse(textBox23.Text, out t23))

MessageBox.Onyesha("Ingiza thamani ya nambari!");

(.Onyesha("Hitilafu:" + ex.Message);

)m, q, S, N, n, V;= Double.Parse(textBox20.Text);= Double.Parse(textBox22.Text);= Double.Parse(textBox23.Text);= Double.Parse(textBox21. Maandishi);= Changanua Mara mbili(TextBox24.Text);= (n + V) / n;Q = (m / (n + V)) * Hesabu.Pow(n + V, q) * Hesabu.Pow(m) - n - V, 1 - q) * ((N / n) * (S / V) / ((N + S) / (n + V)));.Nakala = Q. ToString();.Text = m.ToString();.Text = S. ToString();.Text = N. ToString();.Text = V. ToString();.Text = n.ToString();

(.Onyesha("Maadili yameingizwa ambayo matokeo yake ni hasi!", "Lipov Model");

2.3.5 Kuhifadhi matokeo

Kidhibiti cha tukio cha ToolStripMenu kinatumika kuhifadhi matokeo.

Baada ya kufanya mahesabu kwa kutumia mifano iliyopendekezwa hapo juu, mtumiaji anaweza kuokoa matokeo yake.

Mchoro 1.6 Kuchagua njia ya kuhifadhi

Na baada ya kudhibitisha uhifadhi, arifa ya operesheni iliyofanikiwa:

Kielelezo 1.7. Arifa ya kuokoa mafanikio.

3.Mwongozo wa mtumiaji

Ili programu ifanye kazi kwa usahihi, lazima ujaze mifano yote inayotolewa kwenye programu.

Baadhi ya vigezo ni static na kubadilisha yao inaweza kusababisha uendeshaji sahihi wa programu.

Wakati wa kuhifadhi, programu inapeana jina moja kwa moja kwa faili katika muundo wa "Matokeo No." + nambari isiyo ya kawaida kutoka 0 hadi 9999. Unaweza pia kuweka jina lako la kuokoa.

Ikiwa utaingiza vigezo visivyo sahihi kwa hesabu, unaweza kupata matokeo mabaya.

Ili kuhesabu na kupata matokeo, bofya kitufe cha "Mahesabu".

Hitimisho

Lugha ya programu ya C# kulingana na Visual Studio ina uwezo wa kutekeleza zana zote muhimu za kuhesabu uaminifu wa programu.

Wakati wa kukamilisha kazi, ujuzi wa kupanga programu na kufanya kazi kwa fomula za hisabati ziliboreshwa. Mpango uliotengenezwa unaonyesha wazi utekelezaji wa mifano 4 ya kuamua uaminifu wa programu. Faida kuu ya programu ni kwamba inaweza kufanya mahesabu kwa kutumia mifano 4 wakati huo huo.

Ripoti ya maabara juu ya mada:

Miundo ya Kuegemea ya Programu

1 . Mfano wa Schumann ni msingi wa mawazo yafuatayo:

idadi ya jumla ya maagizo katika programu ya lugha ya mashine ni mara kwa mara;

mwanzoni mwa vipimo vya mkusanyiko, idadi ya makosa ni sawa na thamani fulani ya mara kwa mara, na makosa yanaporekebishwa, huwa ndogo. Wakati wa kupima programu, hakuna makosa mapya yanayoletwa;

makosa yanaweza kutofautishwa hapo awali; jumla ya makosa yaliyosahihishwa yanaweza kutumika kuhukumu yaliyobaki;

kiwango cha kushindwa kwa programu ni sawia na idadi ya makosa ya mabaki.

Inachukuliwa kuwa kabla ya majaribio kuanza (yaani kwa sasa =0) kuna makosa ya M. Wakati wa majaribio τ, ε 1 () hitilafu hugunduliwa kwa kila maagizo ya lugha ya mashine.

Halafu nambari maalum ya makosa kwa maagizo ya mashine moja iliyobaki kwenye mfumo baada ya wakati wa kujaribu $ \ t $ ni sawa na:

ambapo mimi ni jumla ya idadi ya maelekezo ya mashine, ambayo inadhaniwa kuwa mara kwa mara wakati wa awamu ya kupima.

Inachukuliwa kuwa thamani ya kazi ya idadi ya makosa Z(t) ni sawia na idadi ya makosa iliyobaki katika programu baada ya muda τ kutumika katika kupima.

Z (t) = C * ε 2 (τ),

ambapo C ni mara kwa mara fulani, t ni wakati wa uendeshaji wa programu bila kushindwa.

Kisha, ikiwa wakati wa uendeshaji wa programu bila kushindwa t huhesabiwa kutoka kwa uhakika t = 0, na τ inabakia fasta, kazi ya kuegemea, au uwezekano wa operesheni isiyo na kushindwa katika muda kutoka 0 hadi t, ni sawa na

Tunahitaji kupata thamani ya awali ya makosa M na mgawo wa uwiano C. Hizi zisizojulikana zinakadiriwa kwa kufanya jaribio la utendaji katika sehemu mbili za mhimili wa utatuzi wa kutofautiana  a na  b, uliochaguliwa ili ε 1 ( a)

Wakati wa mchakato wa kupima, taarifa hukusanywa kuhusu muda na idadi ya makosa kwenye kila kukimbia, i.e. Jumla ya muda wa majaribio τ ni jumla ya muda wa kila kukimbia:

τ = τ 1 + τ 2 + τ 3 + … + τ n.

Kwa kudhani kuwa kiwango cha makosa ni mara kwa mara na sawa na λ, tunaweza kuhesabu kama idadi ya makosa kwa kila wakati wa kitengo,

ambapo A i ni idadi ya makosa kwenye i -th kukimbia.

Kisha
. (5)

Kwa kuwa na data ya nyakati mbili tofauti za majaribio  a na  b, tunaweza kulinganisha milinganyo (3) ya τ a na τ b:

(6)

(7)

Kutoka kwa mahusiano (6) na (7) tunapata paramu isiyojulikana C na M:

(8)

(9)

Baada ya kupokea zisizojulikana M * na C *, tunaweza kuhesabu kuegemea kwa programu kwa kutumia formula (2).

Mfano 1.

Programu ina mistari 2,000 ya amri, ambayo, kabla ya operesheni (baada ya kipindi cha kurekebisha), mistari 15 ya amri ina makosa. Baada ya
Siku 20 za operesheni, hitilafu 1 imegunduliwa. Pata muda wa wastani wa uendeshaji usio na hitilafu wa programu na kiwango cha kushindwa kwa programu na mgawo wa uwiano sawa na 0.7.





		Kiwango cha Kushindwa

Mfano 2.

Kwa kutumia masharti ya mfano 1, tambua uwezekano wa uendeshaji bila hitilafu wa programu kwa siku 90.

Mfano 3.

Tambua idadi ya awali ya makosa iwezekanavyo katika programu iliyo na mistari 2,000 ya amri, ikiwa wakati wa siku 60 za kwanza za uendeshaji makosa 2 yaligunduliwa, na kwa siku 40 zifuatazo kosa moja liligunduliwa. Bainisha T 0 - muda wa wastani wa uendeshaji usio na hitilafu unaolingana na kipindi cha kwanza na cha pili cha uendeshaji wa programu na mgawo wa uwiano.







Viwango vya kushindwa:

2. Mfano wa Mills. Wacha igunduliwe wakati wa majaribio n makosa ya awali na v kutoka S makosa yaliyotawanyika. Kisha makadirio N- idadi ya awali ya makosa katika programu itakuwa

Sehemu ya pili ya modeli inahusiana na kujaribu nadharia ya kujieleza na kupima N.

Fikiria kesi wakati programu ina KWA makosa yako mwenyewe na makosa ya S yaliyotawanyika. Tutajaribu programu hadi tupate makosa yote yaliyotawanyika. Wakati huo huo, idadi ya makosa ya chanzo hugunduliwa hukusanywa na kuhifadhiwa. Ifuatayo, makadirio ya kuegemea ya mfano huhesabiwa:

(11)

kama uwezekano kwamba programu ina makosa ya K.

Thamani ya C ni kipimo cha kujiamini katika kielelezo na inaonyesha uwezekano wa jinsi thamani ya N inavyopatikana kwa usahihi. Mahusiano haya mawili yanayohusiana huunda mfano wa hitilafu muhimu: ya kwanza inatabiri idadi inayowezekana ya makosa yaliyopo kwenye programu, na ya pili inatumika kuanzisha kiwango cha kujiamini kwa utabiri.

Fomula ya kukokotoa C katika hali ambapo si makosa yote yaliyotawanyika kwa njia isiyo halali hubadilishwa kwa njia ambayo tathmini inaweza kufanywa baada ya makosa ya v (vS) kugunduliwa:

1
(12)

ambapo nambari na denominata ya fomula ya n  KWA ni mgawo wa binomial.

Mfano 4.

Wacha tufikirie kuwa programu ina makosa 3 ya asili. Wacha tuanzishe makosa 6 zaidi bila mpangilio.

Wakati wa majaribio tuligundua:

1) makosa 6 yaliyotawanyika na makosa 2 mwenyewe;

2) makosa 5 kutoka kwa waliotawanyika na 2 wenyewe;

3) makosa 5 kutoka kwa waliotawanyika na 4 wenyewe.

Pata kuegemea kwa kutumia mfano wa Mills-S.

osh - mwenyewe

osh - nasibu

kulingana na formula (12)

3. Mfano rahisi wa angavu. Kutumia modeli hii kunajumuisha majaribio ya vikundi viwili vya watayarishaji programu (au watayarishaji programu wawili kulingana na saizi ya programu) kwa kujitegemea, kwa kutumia seti za majaribio huru. Wakati wa majaribio, kila kikundi hurekodi makosa yote inayopata.

Acha kundi la kwanza ligundue makosa ya n 1, la pili n 2, n 12 ni idadi ya makosa yaliyogunduliwa na kundi la kwanza na la pili.

Wacha tuonyeshe kwa N idadi isiyojulikana ya makosa yaliyopo kwenye programu kabla ya majaribio kuanza. Kisha ufanisi wa upimaji wa kila kikundi unaweza kuamuliwa kama

Ufanisi wa majaribio unaweza kufasiriwa kama uwezekano kwamba mdudu atapatikana. Kwa hivyo, tunaweza kudhani kwamba kikundi cha kwanza kinatambua kosa katika programu na uwezekano, pili - kwa uwezekano. Kisha uwezekano p 12 kwamba kosa litagunduliwa na vikundi vyote viwili unaweza kuchukuliwa sawa na . Kwa upande mwingine, kwa kuwa vikundi vinafanya kazi kwa kujitegemea, basi p 12 = p 1 p 2. Tunapata:

Kuanzia hapa tunapata makisio ya idadi ya awali ya makosa ya programu:

Mfano 5.

Katika mchakato wa kupima programu, kikundi cha 1 kilipata makosa 15, kikundi cha 2 kilipata makosa 25, kulikuwa na makosa 5. Kuamua kuaminika kwa kutumia mfano rahisi wa angavu.

4. Mfano wa Corcoran

Utumiaji wa mfano unahitaji maarifa ya viashiria vifuatavyo:

mfano una uwezekano tofauti wa kutofaulu kwa vyanzo anuwai vya makosa na, ipasavyo, uwezekano tofauti wa kusahihisha;

mfano hutumia vigezo kama matokeo ya vipimo vya N tu ambavyo makosa ya N i ya aina ya i-th yanazingatiwa;

ugunduzi wa hitilafu ya aina ya i-th wakati wa majaribio ya N inaonekana kwa uwezekano a i .

Kiashiria cha kiwango cha kuegemea R kinahesabiwa kwa kutumia fomula ifuatayo:

ambapo N 0 ni idadi ya majaribio yasiyo na kushindwa (au yasiyofanikiwa) yaliyofanywa katika mfululizo wa majaribio ya N, k ni idadi inayojulikana ya aina za makosa, a i ni uwezekano wa kutambua kosa la aina ya i-th wakati wa kupima,

Y i - uwezekano wa makosa, kwa N i > 0, Y i = a i, kwa N i = 0, Y i = 0.

Mfano 6.

Majaribio 100 ya mpango huo yalifanywa. Vipimo 20 kati ya 100 havikufaulu, na katika visa vilivyobaki data ifuatayo ilipatikana:

Aina ya hitilafu	Uwezekano wa makosa a i
1. Makosa ya kuhesabu
2. Makosa ya kimantiki
3. Makosa ya I/O
4. Makosa ya upotoshaji wa data
5. Makosa ya kuoanisha
6. Makosa ya ufafanuzi wa data
7. Makosa katika hifadhidata

Tathmini kuegemea kwa kutumia mfano wa Corcoran.

Data ya awali:

Mfano 7. Majaribio 100 ya mpango huo yalifanywa. Vipimo 20 kati ya 100 havikufaulu, na katika visa vilivyobaki data ifuatayo ilipatikana:

Aina ya makosa, i	Uwezekano wa hitilafu kutokea. a i	Idadi ya makosa N i wakati wa kupima





			utoaji. Kulakov. Udhibiti wa ubora programu utoaji. Kwa maandalizi ya... Uundaji wa mfumo otomatiki ili kuboresha mchakato wa uundaji kuaminika programu utoaji katika lugha ya JAVA Mtihani >> Tatizo kutegemewa programu utoaji ina vipengele viwili: usalama na tathmini kutegemewa. Kwa utoaji kutegemewa programu zinazopendekezwa... NA MIUNDO INAYOTUMIWA. Hali ya ndani mifano mfumo unaotengenezwa unaelezwa na taarifa kuhusu... Kutegemewa programu chombo kama bidhaa ya teknolojia ya programu. Muktadha wa kihistoria na kijamii wa programu Muhtasari >> Historia Sababu kuu ya makosa ya maendeleo programu fedha. Mfano tafsiri na vyanzo vya makosa. Akili... kazi ya usanifu? Fasihi kwa muhadhara 6. 6.1. G. Myers. Kuegemea programu utoaji. - M.: Mir, 1980. - P. 78-91. 6.2. E.W. ... Vyeti na kutegemewa programu utoaji Muhtasari >> Sayansi ya kompyuta, programu Mtumiaji, i.e. programu kosa si mali asili programu utoaji. Uwepo wa makosa ... njia za kuwazuia. Mifano kutegemewa Uainishaji wa Programu mifano kutegemewa Kielelezo cha Programu mfano (mfano Schumann) Msururu umeanzishwa... Programu usalama makampuni ya biashara Muhtasari >> Sayansi ya Kompyuta ... programu utoaji; ufungaji na usanidi wa vifaa na programu utoaji; kuanzisha mfumo kwa ujumla; mafunzo; marudio programu utoaji...na habari na mifano, kushiriki katika... mifumo ni kutegemewa, scalability, ...

Siri yangu

Programu ya kuhesabu uaminifu wa programu. Kuegemea kwa programu. Programu ya rejareja

PC Relex na Spectrum ya Hatari

PC ASM

PC A.L.D. Kikundi

Muhtasari

Fasihi

Nakala

Uundaji wa mfumo otomatiki ili kuboresha mchakato wa uundaji kuaminika programu utoaji katika lugha ya JAVA

Kutegemewa programu chombo kama bidhaa ya teknolojia ya programu. Muktadha wa kihistoria na kijamii wa programu

Vyeti na kutegemewa programu utoaji

Programu usalama makampuni ya biashara

Tunapendekeza

Azimio, ulinzi wa kuonyesha

Simu mahiri ya nje ya barabara teXet X-dereva: kuogelea na matango, kuendesha "Boomer" ya saba na Mawasiliano na vihisi zaidi.

Dhibiti orodha yako ya anwani zilizozuiwa katika Viber

Saa za elektroniki za USSR Kutoka kwa saa "kwa ujumla" hadi saa "haswa"

Jinsi ya kuingiza akaunti yako ya kibinafsi ya megaphone kutoka kwa kompyuta, simu na kompyuta kibao Mchanganyiko wa kuingiza akaunti yako ya kibinafsi ya megaphone

Kuweka upya Nenosiri la Msimamizi wa Mac OS

Jinsi ya kuja na nenosiri kali na iwe rahisi kukumbuka

Studio ya Ubunifu ya YouTube: ni nini, jinsi ya kuingia na jinsi ya kufanya kazi

Kuongeza hisia kwa blogu ya WordPress bila programu-jalizi

Vitendaji vipya vya kufanya kazi na masharti Mpangilio wa kamba katika upangaji wa 1s

Kazi za usuli: vipengele, uwezo, mipangilio Jinsi ya kulemaza utekelezaji wa kazi za usuli 1c

Mbinu ya kuzindua na mwonekano wa kiolesura

Maagizo ya uendeshaji ya LG, mfano LCS500UR LG maagizo ya uendeshaji wa redio ya gari

Sasisho la LG g4 kwa android 6

Jinsi ya kujua mfano wako wa mbali - njia za haraka na zilizothibitishwa Jinsi ya kuamua mfano wako wa kibodi

Agizo la kupanga lililowekwa kwa hifadhidata ni tofauti na lile la mfumo

Pakua ugani wa muziki wa VK kwa Yandex

Mapato kwa uondoaji wa pesa papo hapo bila uwekezaji

Kupata Root Acer Liquid e700 Acer liquid e700 firmware 1 20

Kuweka upya kiwanda kwa Alcatel, kuweka upya nenosiri Kusasisha programu yako

Azimio, ulinzi wa kuonyesha

Simu mahiri ya nje ya barabara teXet X-dereva: kuogelea na matango, kuendesha "Boomer" ya saba na Mawasiliano na vihisi zaidi.

Dhibiti orodha yako ya anwani zilizozuiwa katika Viber

Saa za elektroniki za USSR Kutoka kwa saa "kwa ujumla" hadi saa "haswa"

Jinsi ya kuingiza akaunti yako ya kibinafsi ya megaphone kutoka kwa kompyuta, simu na kompyuta kibao Mchanganyiko wa kuingiza akaunti yako ya kibinafsi ya megaphone