О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами
Проблема повышения вероятности безотказной работы отказоустойчивых реконфигурируемых многопроцессорных систем управления сложными объектами возникает на этапе проектирования системы в случае, когда в результате расчета установлено, что необходимый уровень надежности не достигнут. Предложено решение...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/12843 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами / М. Романкевич, В.А. Романкевич, Мораведж Сейед Милад // Электронное моделирование. — 2010. — Т. 32, № 4. — С. 85-92. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860251008729350144 |
|---|---|
| author | Романкевич, М. Романкевич, В.А. Мораведж Сейед Милад |
| author_facet | Романкевич, М. Романкевич, В.А. Мораведж Сейед Милад |
| citation_txt | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами / М. Романкевич, В.А. Романкевич, Мораведж Сейед Милад // Электронное моделирование. — 2010. — Т. 32, № 4. — С. 85-92. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| description | Проблема повышения вероятности безотказной работы отказоустойчивых реконфигурируемых многопроцессорных систем управления сложными объектами возникает на этапе проектирования системы в случае, когда в результате расчета установлено, что необходимый уровень надежности не достигнут. Предложено решение проблемы путем организации устойчивости системы к некоторым отказам процессоров более высокой кратности. Описана методика определения допустимого множества векторов состояния отказоустойчивых многопроцессорных систем (ОМС), которые можно блокировать, используя резервы произ-водительности системы. Приведен алгоритм выбора множества векторов состояния ОМС, блокирование которых приводит к решению поставленной задачи.
Проблема підвищення ймовірності безвідмовної роботи відмовостійких реконфігуровних багатопроцесорних систем управління складними об’єктами виникає на етапі проектування системи у випадку, коли в результаті розрахунку встановлено, що необхідний рівень надійності не є досягнутим. Запропоновано вирішувати проблему шляхом орга-нізації стійкості системи до деяких відмов процесорів більш високої кратності. Описано методику визначення припустимої множини векторів стану відмовостійких багатопроце-сорних систем (ВБС), які можна блокувати, використовуючи резерви продуктивності сисеми. Наведено алгоритм вибору множини векторів стану ВБС, блокування яких приводить до розв’язання поставленої задачі.
A problem of raising probability of failure-free work of failure-resistant reconfigurable multiprocessor systems for control of complex object arises at the stage of the system designing in case when it is established by calculations that a necessary level of reliability has not been achieved. It is proposed to solve the problem by organizing the system resistance to some failures of processor of a higher multiplicity. A procedure of determining the admissible set of vectors of failure-resistant multiprocessor systems (FMS), which may be blocked using the system productivity reserves has been described. An algorithm of choice of a set of FMS state vectorswhich blocking leads to the solution of the set problem has been presented.
|
| first_indexed | 2025-12-07T18:43:34Z |
| format | Article |
| fulltext |
ÓÄÊ 519.74018
À. Ì. Ðîìàíêåâè÷, ä-ð òåõí. íàóê,
Â. À. Ðîìàíêåâè÷, êàíä. òåõí. íàóê,
Ìîðàâåäæ Ñåéåä Ìèëàä, àñïèðàíò (Èðàí)
Íàöèîíàëüíûé òåõíè÷åñêèé óí-ò Óêðàèíû «ÊÏÈ»
(Óêðàèíà, 03056, Êèåâ, ïðîñïåêò Ïîáåäû, 37
òåë. (044) 454-90-32, Å-mail: romankev@scs.ntu-kpi.kiev.ua)
Î ïîâûøåíèè íàäåæíîñòè ðåêîíôèãóðèðóåìûõ
îòêàçîóñòîé÷èâûõ ìíîãîïðîöåññîðíûõ ñèñòåì
óïðàâëåíèÿ ñëîæíûìè îáúåêòàìè
Ïðîáëåìà ïîâûøåíèÿ âåðîÿòíîñòè áåçîòêàçíîé ðàáîòû îòêàçîóñòîé÷èâûõ ðåêîíôèãóðèðóå-
ìûõ ìíîãîïðîöåññîðíûõ ñèñòåì óïðàâëåíèÿ ñëîæíûìè îáúåêòàìè âîçíèêàåò íà ýòàïå ïðîåê-
òèðîâàíèÿ ñèñòåìû â ñëó÷àå, êîãäà â ðåçóëüòàòå ðàñ÷åòà óñòàíîâëåíî, ÷òî íåîáõîäèìûé
óðîâåíü íàäåæíîñòè íå äîñòèãíóò. Ïðåäëîæåíî ðåøåíèå ïðîáëåìû ïóòåì îðãàíèçàöèè óñòîé-
÷èâîñòè ñèñòåìû ê íåêîòîðûì îòêàçàì ïðîöåññîðîâ áîëåå âûñîêîé êðàòíîñòè. Îïèñàíà
ìåòîäèêà îïðåäåëåíèÿ äîïóñòèìîãî ìíîæåñòâà âåêòîðîâ ñîñòîÿíèÿ îòêàçîóñòîé÷èâûõ ìíî-
ãîïðîöåññîðíûõ ñèñòåì (ÎÌÑ), êîòîðûå ìîæíî áëîêèðîâàòü, èñïîëüçóÿ ðåçåðâû ïðîèç-
âîäèòåëüíîñòè ñèñòåìû. Ïðèâåäåí àëãîðèòì âûáîðà ìíîæåñòâà âåêòîðîâ ñîñòîÿíèÿ ÎÌÑ,
áëîêèðîâàíèå êîòîðûõ ïðèâîäèò ê ðåøåíèþ ïîñòàâëåííîé çàäà÷è.
Ïðîáëåìà ï³äâèùåííÿ éìîâ³ðíîñò³ áåçâ³äìîâíî¿ ðîáîòè â³äìîâîñò³éêèõ ðåêîíô³ãóðîâíèõ
áàãàòîïðîöåñîðíèõ ñèñòåì óïðàâë³ííÿ ñêëàäíèìè îá’ºêòàìè âèíèêຠíà åòàï³ ïðîåê-
òóâàííÿ ñèñòåìè ó âèïàäêó, êîëè â ðåçóëüòàò³ ðîçðàõóíêó âñòàíîâëåíî, ùî íåîáõ³äíèé
ð³âåíü íàä³éíîñò³ íå º äîñÿãíóòèì. Çàïðîïîíîâàíî âèð³øóâàòè ïðîáëåìó øëÿõîì îðãà-
í³çàö³¿ ñò³éêîñò³ ñèñòåìè äî äåÿêèõ â³äìîâ ïðîöåñîð³â á³ëüø âèñîêî¿ êðàòíîñò³. Îïèñàíî
ìåòîäèêó âèçíà÷åííÿ ïðèïóñòèìî¿ ìíîæèíè âåêòîð³â ñòàíó â³äìîâîñò³éêèõ áàãàòîïðîöå-
ñîðíèõ ñèñòåì (ÂÁÑ), ÿê³ ìîæíà áëîêóâàòè, âèêîðèñòîâóþ÷è ðåçåðâè ïðîäóêòèâíîñò³ ñèñ-
òåìè. Íàâåäåíî àëãîðèòì âèáîðó ìíîæèíè âåêòîð³â ñòàíó ÂÁÑ, áëîêóâàííÿ ÿêèõ ïðèâîäèòü
äî ðîçâ’ÿçàííÿ ïîñòàâëåíî¿ çàäà÷³.
K ë þ ÷ å â û å ñ ë î â à: îòêàçîóñòîé÷èâûå ìíîãîïðîöåññîðíûå ñèñòåìû, ðåêîíôèãóðèðóå-
ìîñòü, íàäåæíîñòü, ïðîèçâîäèòåëüíîñòü.
Îäíèì èç âàæíåéøèõ ïàðàìåòðîâ ñèñòåì îáðàáîòêè èíôîðìàöèè ÿâëÿåòñÿ
íàäåæíîñòü, è òðåáîâàíèÿ ê íåé ïîñòîÿííî ðàñòóò. Ýòî ïðèâîäèò ê òîìó,
÷òî ñïåöèàëèñòàì âñå ÷àùå ïðèõîäèòñÿ ñòðîèòü îòêàçîóñòîé÷èâûå ìíîãî-
ïðîöåññîðíûå ñèñòåìû (ÎÌÑ), ÷òî ïîçâîëÿåò îäíîâðåìåííî ðåøàòü è
äðóãóþ âàæíåéøóþ çàäà÷ó — ïîâûøåíèå ïðîèçâîäèòåëüíîñòè ñèñòåìû.
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 4 85
Îòêàçîóñòîé÷èâûå ðåêîíôèãóðèðóåìûå ìíîãîïðîöåññîðíûå ñèñòåìû
ñïîñîáíû ñàìè ñåáÿ òåñòèðîâàòü, îáíàðóæèâàòü íåèñïðàâíûå ìîäóëè,
èñêëþ÷àòü èõ èç ðàáîòû, ðåêîíôèãóðèðîâàòüñÿ è ïðîäîëæàòü âûïîëíåíèå
âñåõ ôóíêöèé â ïîëíîì îáúåìå [1—3]. Ïîíÿòíî, ÷òî òàêèå ñèñòåìû
äîëæíû èìåòü êàê ñòðóêòóðíóþ, òàê è âðåìåííóþ èçáûòî÷íîñòü [4]. Ðàñ-
÷åò íàäåæíîñòè ÎÌÑ ïðåäñòàâëÿåò îïðåäåëåííûå òðóäíîñòè êàê òåîðåòè-
÷åñêèå, òàê è ïðàêòè÷åñêèå, ïîñêîëüêó ñòàíäàðòíûå ìåòîäû ðàñ÷åòà íà-
äåæíîñòè áåçûçáûòî÷íûõ ñèñòåì â äàííîì ñëó÷àå íåïðèãîäíû. Ýòî êà-
ñàåòñÿ, â ïåðâóþ î÷åðåäü, ñèñòåì óïðàâëåíèÿ, ïîñêîëüêó âû÷èñëèòåëüíûå
ìíîãîïðîöåññîðíûå ñèñòåìû, êàê ïðàâèëî, ÿâëÿþòñÿ îäíîðîäíûìè, è ðàñ-
÷åò èõ íàäåæíîñòè çíà÷èòåëüíî ïðîùå. ÎÌÑ óïðàâëåíèÿ ñëîæíûìè
îáúåêòàìè ñîñòîÿò èç íåñêîëüêèõ ïîäñèñòåì, êàæäàÿ èç êîòîðûõ èìååò
ñâîþ ñòåïåíü îòêàçîóñòîé÷èâîñòè, ðàçëè÷íîå ÷èñëî ïðîöåññîðîâ, îòëè-
÷àþùèõñÿ îäèí îò äðóãîãî êàê ïî ïðîèçâîäèòåëüíîñòè, òàê è ïî íàäåæ-
íîñòè, ðàçëè÷íûå øèíû è äð. ÎÌÑ, óñòîé÷èâóþ ê ëþáîìó îòêàçó ïðîöåñ-
ñîðîâ, êðàòíîñòü êîòîðîãî íå ïðåâûøàåò íåêîòîðîé ôèêñèðîâàííîé âåëè-
÷èíû m, íàçîâåì áàçîâîé è îáîçíà÷èì K (m, n), ãäå n — ÷èñëî ïðîöåññîðîâ
â ñèñòåìå.
Êàê áû íè áûë ñëîæåí ðàñ÷åò íàäåæíîñòè òàêèõ ñèñòåì, íà ýòàïå ïðî-
åêòèðîâàíèÿ îí âûïîëíÿåòñÿ, è åñëè íàäåæíîñòü îêàçûâàåòñÿ íåäîñòàòî÷-
íîé, ïðèõîäèòñÿ ïðèíèìàòü îïðåäåëåííûå ìåðû. Ïîä íàäåæíîñòüþ áóäåì
ïîíèìàòü îäèí èç âàæíåéøèõ åå ïàðàìåòðîâ — âåðîÿòíîñòü áåçîòêàçíîé
ðàáîòû çà îïðåäåëåííûé ïðîìåæóòîê âðåìåíè, êîòîðûé îáîçíà÷èì Ðá.ð .
Ïóòè ïîâûøåíèÿ íàäåæíîñòè ÎÌÑ. Ïîìèìî òðàäèöèîííûõ ìåòî-
äîâ ïîâûøåíèÿ íàäåæíîñòè (ñõåìíûå, êîíñòðóêòèâíûå, íà ýòàïàõ èçãîòîâ-
ëåíèÿ è ïðè ýêñïëóàòàöèè, ïðèìåíåíèå ïîìåõîóñòîé÷èâîãî êîäèðîâàíèÿ è
äð.) äëÿ ïîâûøåíèÿ íàäåæíîñòè îòêàçîóñòîé÷èâûõ ìíîãîïðîöåññîðíûõ ñèñ-
òåì îáÿçàòåëüíî òðåáóåòñÿ èñïîëüçîâàíèå ñòðóêòóðíîé è âðåìåííîé èçáûòî÷-
íîñòè. Ýòà çàäà÷à ìîæåò áûòü ðåøåíà íåñêîëüêèìè ñïîñîáàìè, ñðåäè êîòî-
ðûõ âûäåëèì ñëåäóþùèå:
1. Ïåðåõîä ê íîâîé àðõèòåêòóðå. Ýòî, áåçóñëîâíî, íàèáîëåå ðàäèêàëü-
íûé ïóòü, òðåáóþùèé îò ðàçðàáîò÷èêà ìàêñèìàëüíûõ óñèëèé.
2. Äîáàâëåíèå ê ïðåæíåé àðõèòåêòóðå îäíîãî èëè íåñêîëüêèõ ïðîöåñ-
ñîðîâ, ÷òî ìîæåò îáåñïå÷èòü
ïîâûøåíèå ñòåïåíè îòêàçîóñòîé÷èâîñòè, íàïðèìåð, äî óðîâíÿ m + 1;
óâåëè÷åíèå âåðîÿòíîñòè Ðá.ð ïðè òîì æå çíà÷åíèè m (íàïðèìåð, äóá-
ëèðîâàíèåì);
ïîâûøåíèå íàäåæíîñòè â ðåçóëüòàòå èñïîëüçîâàíèÿ ðàçëè÷íûõ ìåòî-
äîâ ñòðóêòóðíîé è âðåìåííîé èçáûòî÷íîñòè.
3. Çàìåíà îäíîãî èëè íåñêîëüêèõ ïðîöåññîðîâ ñ óëó÷øåíèåì èõ õà-
ðàêòåðèñòèê (óâåëè÷åíèåì âåðîÿòíîñòè áåçîòêàçíîé ðàáîòû, ïðîèçâîäè-
À. Ì. Ðîìàíêåâè÷, Â. À. Ðîìàíêåâè÷, Ìîðàâåäæ Ñåéåä Ìèëàä
86 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 4
òåëüíîñòè, îïòèìèçàöèè òåñòèðîâàíèÿ è ñàìîòåñòèðîâàíèÿ è äð.), ÷òî îáåñïå-
÷èâàåò ëèáî ïðÿìîå óâåëè÷åíèå Ðá.ð ñèñòåìû, ëèáî óâåëè÷åíèå âðåìåííîé
èçáûòî÷íîñòè è ñâÿçàííûå ñ ýòèì âîçìîæíîñòè.
4. Èñïîëüçîâàíèå âíóòðåííèõ ðåçåðâîâ (åñëè òàêîâûå èìåþòñÿ), â
÷àñòíîñòè îáåñïå÷åíèå óñòîé÷èâîñòè ê íåêîòîðûì îòêàçàì ïîâûøåííîé
êðàòíîñòè (ýòîò ïóòü íàèìåíåå òðóäîåìêèé).
5. Êîìáèíàöèÿ ïåðå÷èñëåííûõ ñïîñîáîâ.
Óâåëè÷åíèå Ðá.ð ÎÌÑ áëîêèðîâàíèåì íåêîòîðîãî ìíîæåñòâà âåê-
òîðîâ ñîñòîÿíèÿ ñèñòåìû. Î÷åâèäíî, áîëåå ïðèâëåêàòåëüíûì äëÿ ðàçðà-
áîò÷èêà ÿâëÿåòñÿ ÷åòâåðòûé ñïîñîá ïîâûøåíèÿ íàäåæíîñòè, íå ñâÿçàííûé
ñ èçìåíåíèåì ñòðóêòóðû ÎÌÑ. Ñóòü åãî â ñëåäóþùåì.
Ïóñòü âûïîëíåíà ðàçðàáîòêà áàçîâîé ÎÌÑ K (m, n) (óñòîé÷èâîé ê ëþ-
áûì m-êðàòíûì îòêàçàì èç n ïðîöåññîðîâ).  ðåçóëüòàòå ðàñ÷åòà âåðîÿò-
íîñòè Ðá.ð ëþáûì ìåòîäîì óñòàíîâëåíî, ÷òî îíà íåìíîãî ìåíüøå òðåáóå-
ìîé âåëè÷èíû. Åñëè çàïàñ ïðîèçâîäèòåëüíîñòè ïîçâîëÿåò, ìîæíî ñäåëàòü
ñèñòåìó óñòîé÷èâîé ê íåêîòîðîìó ìíîæåñòâó (m + 1)-êðàòíûõ îòêàçîâ.
Ïðè ýòîì ÎÌÑ ïðåòåðïåâàåò êà÷åñòâåííûå èçìåíåíèÿ — îíà ïåðåñòàåò
áûòü áàçîâîé. Ýòî âëå÷åò çà ñîáîé èçìåíåíèå îáùåé àðõèòåêòóðû ÎÌÑ, à
èìåííî èçìåíåíèå åå ïðîãðàììíîãî îáåñïå÷åíèÿ: óñëîæíÿåòñÿ ðåêîíôè-
ãóðèðîâàíèå ñèñòåìû. Ñëåäóåò çàìåòèòü, ÷òî ýòèì ñïîñîáîì ðàäèêàëüíîãî
óâåëè÷åíèÿ çíà÷åíèÿ Ðá.ð äîñòè÷ü íåâîçìîæíî. Îäíàêî åãî ïðåèìóùåñòâà
íåñîìíåííû. Ôàêòè÷åñêè ñóòü çàäà÷è ñâîäèòñÿ ê ïîèñêó íóæíîãî ìíî-
æåñòâà (m + 1)-êðàòíûõ îòêàçîâ.
Îñíîâíûå îáîçíà÷åíèÿ. Äëÿ ôîðìàëèçàöèè çàäà÷è ââåäåì ñëåäóþùèå
îïðåäåëåíèÿ è îáîçíà÷åíèÿ:
K (m, n) — ÎÌÑ, ñîäåðæàùàÿ n ïðîöåññîðîâ è óñòîé÷èâàÿ ê îòêàçàì íå
áîëåå m èç íèõ;
S — ïðîèçâîäèòåëüíîñòü ïðîåêòèðóåìîé ÎÌÑ, S si
i
n
�
�
�
1
;
si — ïðîèçâîäèòåëüíîñòü i-ãî ïðîöåññîðà;
S* — òðåáóåìàÿ ïðîèçâîäèòåëüíîñòü ÎÌÑ;
Ðá.ð — âåðîÿòíîñòü áåçîòêàçíîé ðàáîòû ÎÌÑ çà âðåìÿ t ñîãëàñíî
ðàñ÷åòó;
p x i( ) — âåðîÿòíîñòü áåçîòêàçíîé ðàáîòû i-ãî ïðîöåññîðà çà âðåìÿ t;
Pá.ð
* — òðåáóåìàÿ âåëè÷èíà Ðá.ð çà âðåìÿ t;
w — âåêòîð ñîñòîÿíèÿ ÎÌÑ;
� i — êîìïîíåíòà âåêòîðà, ñîîòâåòñòâóþùàÿ ñîñòîÿíèþ i-ãî ïðîöåñ-
ñîðà (0 — îòêàç, 1 — ðàáîòîñïîñîáíîñòü);
W — ìíîæåñòâî âåêòîðîâ ñîñòîÿíèÿ, ñîäåðæàùèõ m + 1 íóëåâóþ êîì-
ïîíåíòó;
Î ïîâûøåíèè íàäåæíîñòè ìíîãîïðîöåññîðíûõ ñèñòåì
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 4 87
Ws — ïîäìíîæåñòâî ìíîæåñòâà W âåêòîðîâ, êîòîðûå ìîæíî áëîêè-
ðîâàòü, èñõîäÿ èç S;
Wp — ïîäìíîæåñòâî ìíîæåñòâà WS âåêòîðîâ, êîòîðûå ñëåäóåò áëî-
êèðîâàòü;
Pw — âåðîÿòíîñòü ïîÿâëåíèÿ âåêòîðà w;
hi — ãðóïïà ïðîöåññîðîâ, èìåþùèõ îäèíàêîâûå çíà÷åíèÿ si, i = 1... r;
ai — ÷èñëî ïðîöåññîðîâ, âõîäÿùèõ â ãðóïïó hi;
Ai — âåêòîð, êîìïîíåíòàìè êîòîðîãî ÿâëÿþòñÿ íåêîòîðûå ÷èñëà a ai i
* � ;
A — ìíîæåñòâî âåêòîðîâ Ai, êîìïîíåíòû êîòîðûõ óäîâëåòâîðÿþò
îïðåäåëåííîìó óñëîâèþ.
Ôîðìàëüíàÿ ïîñòàíîâêà çàäà÷è. Îïèñàííóþ âûøå çàäà÷ó òåïåðü
ïðåäñòàâèì â ñëåäóþùåì âèäå: óâåëè÷èòü Ðá.ð ïðîåêòèðóåìîé ÎÌÑ íà
âåëè÷èíó �P P P� �á.ð
*
á.ð
áëîêèðîâàíèåì âåêòîðîâ íåêîòîðîãî ìíîæåñòâà
WP. Ïîä áëîêèðîâàíèåì âåêòîðà w áóäåì ïîíèìàòü îðãàíèçàöèþ ïðîäîë-
æåíèÿ ôóíêöèîíèðîâàíèÿ ÎÌÑ ïðè ïîÿâëåíèè îòêàçîâ m + 1 ïðîöåññîðîâ,
ñîîòâåòñòâóþùèõ íóëåâûì êîìïîíåíòàì âåêòîðà*.
Âåêòîðû, êîòîðûå ìîæíî áëîêèðîâàòü. Ïðåæäå ÷åì ðåøàòü ñôîð-
ìóëèðîâàííóþ çàäà÷ó, îïðåäåëèì, êàêèå âåêòîðû ñîñòîÿíèÿ ÎÌÑ w W� è
êàêîå èõ êîëè÷åñòâî ìîæíî áëîêèðîâàòü. Åñëè ìîæíî áëîêèðîâàòü ëþáîé
âåêòîð, òî, î÷åâèäíî, ñèñòåìà ìîæåò áûòü òðàíñôîðìèðîâàíà â (m + 1)
îòêàçîóñòîé÷èâóþ — K (m + 1, n). Åñëè íåëüçÿ áëîêèðîâàòü íè îäíîãî âåê-
òîðà, çíà÷èò, ÎÌÑ ðàáîòàåò íà ïðåäåëå ñâîèõ âîçìîæíîñòåé è ðàññìàò-
ðèâàåìûé ïîäõîä íåïðèìåíèì. Ñëåäîâàòåëüíî, áëîêèðîâàòü ìîæíî òàêîé
âåêòîð ñîñòîÿíèÿ ÎÌÑ, ïðè êîòîðîì ñóììàðíàÿ ïðîèçâîäèòåëüíîñòü ïðî-
öåññîðîâ, îñòàâøèõñÿ ðàáîòîñïîñîáíûìè, äîñòàòî÷íà äëÿ ðåøåíèÿ âñåõ
ôóíêöèîíàëüíûõ çàäà÷, ñòîÿùèõ ïåðåä ñèñòåìîé.
Ñîãëàñíî ïðèíÿòûì îáîçíà÷åíèÿì îïðåäåëèì ðåçåðâ ïðîèçâîäèòåëü-
íîñòè: �S S S� � * . Ðàñïîëîæèì ïðîöåññîðû ñèñòåìû â ïîðÿäêå âîçðàñòà-
íèÿ si. Ïðè ýòîì îáíàðóæèâàåòñÿ, ÷òî êàêèå-òî ïðîöåññîðû èìåþò îäèíà-
êîâóþ ïðîèçâîäèòåëüíîñòü. Îáúåäèíèì èõ â ãðóïïû. Ïóñòü ïîëó÷èëîñü r
ãðóïï, h1, h2, ... , hr, è â ãðóïïå hi èìååòñÿ ai ïðîöåññîðîâ ïðîèçâîäèòåëüíîñ-
òüþ si. Îáîçíà÷èì ÷åðåç Àq âåêòîð, êîìïîíåíòàìè êîòîðîãî ÿâëÿþòñÿ ÷èñ-
ëà ai
* , óäîâëåòâîðÿþùèå óñëîâèÿì
0 � �a ai i
* , a mi
i
r
*
�
� �
1
1.
(1)
À. Ì. Ðîìàíêåâè÷, Â. À. Ðîìàíêåâè÷, Ìîðàâåäæ Ñåéåä Ìèëàä
88 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 4
* ëèòåðàòóðå îïóáëèêîâàíî ìíîãî ðàáîò î k-out-of-n ñèñòåìàõ, ãäå òàê èëè èíà÷å èñ-
ïîëüçîâàíû âåêòîðû w W� . Îäíàêî ýòè ðàáîòû îòíîñÿòñÿ ê ðàñ÷åòó, à íå ê ïîâûøåíèþ
íàäåæíîñòè k-out-of-n ñèñòåì, âåêòîðû w íå âûáèðàþòñÿ, à çàäàíû, è ìåæäó íèìè
ïðåäïîëàãàåòñÿ íàëè÷èå îïðåäåëåííîé çàâèñèìîñòè (ôóíêöèîíàëüíîé èëè àëãîðèòìè-
÷åñêîé), ò.å. ïîñòàâëåííàÿ âûøå çàäà÷à îòñóòñòâóåò.
Ôàêòè÷åñêè ai
* — ýòî ÷èñëî ïðîöåññîðîâ èç ãðóïïû hi, ïðè÷åì ñîîòâåòñò-
âóþùèå èì êîìïîíåíòû âåêòîðà w W� ïðèíèìàþò íóëåâîå çíà÷åíèå.
Ñòðîèì íåêîòîðîå ìíîæåñòâî À âåêòîðîâ Aq, ïðè ýòîì A Aq � , åñëè
a s Si
i
r
i
*
�
� �
1
� .
(2)
Âåêòîð ñîñòîÿíèÿ w W� ìîæíî áëîêèðîâàòü (w WS� ) òîãäà è òîëüêî òîãäà,
êîãäà
S Sw
* . (3)
Çäåñü S sw i
i
n
i�
�
��
1
, ãäå� i — êîìïîíåíòû âåêòîðà w. Ôàêòè÷åñêè Sw ÿâëÿåò-
ñÿ ñóììàðíîé ïðîèçâîäèòåëüíîñòüþ ðàáîòîñïîñîáíûõ ïðîöåññîðîâ.
Ìîùíîñòü ìíîæåñòâà Ws çàïèøåì â âèäå
W Cs
A A
a
a
j
r
q
j
j�
� �
� �
*
1
.
(4)
Åñëè âåêòîð, ñîäåðæàùèé m + 1 íóëåâûõ êîìïîíåíò, ñîîòâåòñòâóþùèõ ïðî-
öåññîðàì ñ ìàêñèìàëüíûìè çíà÷åíèÿìè si, óäîâëåòâîðÿåò óñëîâèþ (3), ýòî
îçíà÷àåò, ÷òî ðåçåðâ ïðîèçâîäèòåëüíîñòè ïîçâîëÿåò áëîêèðîâàòü ëþáîé âåê-
òîð w W� , è, ñëåäîâàòåëüíî, ÎÌÑ ìîæåò ñòàòü K m n( , ) 1 áåç óâåëè÷åíèÿ
÷èñëà ïðîöåññîðîâ.  ÷àñòíîñòè, ýòî îòíîñèòñÿ ê ÎÌÑ K m n( , ) ñ îäèíàêî-
âûìè ïðîöåññîðàìè, ãäå äîñòóïíî áëîêèðîâàíèå äàæå îäíîãî âåêòîðà ñ m + 1
íóëåâîé êîìïîíåíòîé. Åñëè âåêòîð w W� ñ íóëåâûìè êîìïîíåíòàìè,
ñîîòâåòñòâóþùèìè ïðîöåññîðàì ñ ìèíèìàëüíûìè çíà÷åíèÿìè si, íå óäîâ-
ëåòâîðÿåò óñëîâèþ (3), òî ýòî îçíà÷àåò, ÷òî ê ïðîåêòèðóåìîé ÎÌÑ ðàñ-
ñìàòðèâàåìûé ïîäõîä íåïðèìåíèì. Ïîñëåäíåå ëåãêî ïðîâåðÿåòñÿ: ÎÌÑ
íå ïîääàåòñÿ ðàññìàòðèâàåìîé òðàíñôîðìàöèè, åñëè s Si
i
m
�
� �
1
1
� , ãäå i —
íîìåðà ïðîöåññîðîâ ñ íàèìåíüøèìè çíà÷åíèÿìè ïðîèçâîäèòåëüíîñòè. Â
òî æå âðåìÿ, ïîíÿòíî, ÷òî âñåãäà äîëæíî áûòü � S s j
j
m
�
�
1
, ãäå j — íîìåðà
ïðîöåññîðîâ ñ íàèáîëüøèìè çíà÷åíèÿìè ïðîèçâîäèòåëüíîñòè, èáî â ïðî-
òèâíîì ñëó÷àå ÎÌÑ íå áûëà áû óñòîé÷èâîé ê ëþáûì m-êðàòíûì îòêàçàì.
Ïðèìåð. Ïóñòü ðàçðàáàòûâàåìàÿ ÎÌÑ ñîäåðæèò 20 ïðîöåññîðîâ è
ÿâëÿåòñÿ áàçîâîé 2-îòêàçîóñòîé÷èâîé, ò.å. K (2, 20). Âîçíèêàåò íåîáõî-
äèìîñòü ïîâûñèòü åå íàäåæíîñòü áëîêèðîâàíèåì íåêîòîðîãî ìíîæåñòâà
âåêòîðîâ ñîñòîÿíèÿ ñ òðåìÿ íóëåâûìè êîìïîíåíòàìè.
Î ïîâûøåíèè íàäåæíîñòè ìíîãîïðîöåññîðíûõ ñèñòåì
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 4 89
Îïðåäåëèì ìîùíîñòü ìíîæåñòâà WS. Ïóñòü ïî âåëè÷èíå si ïðîöåññîðû
ðàçáèòû íà ÷åòûðå ãðóïïû h1, …, h4 (ïðåäïîëàãàåì, ÷òî ïðîèçâîäèòåëü-
íîñòü èçìåðÿåòñÿ â íåêîòîðûõ îòíîñèòåëüíûõ åäèíèöàõ):
h h h h
a
s
i
i
1 2 3 4
1 6 8 5
5 4 3 2
Ïóñòü ïðîèçâîäèòåëüíîñòü, íåîáõîäèìàÿ äëÿ ôóíêöèîíèðîâàíèÿ ÎÌÑ,
ñîñòàâëÿåò S* = 54. Ó÷èòûâàÿ, ÷òî S si
i
� �
�
�
1
20
63, íàõîäèì �S � � �63 54 9.
Ñòðîèì ìíîæåñòâî A âåêòîðîâ Aq :
a a a a
A
A
A
A
A
A
A
1 2 3 4
1
2
3
4
5
6
7
1 0 0 2
0 1 1 1
0 1 0 2
0 0 3 0
0 0 2 1
0 0 1 2
* * * *
0 0 0 3
Èõ êîìïîíåíòû ai
* óäîâëåòâîðÿþò, ñ îäíîé ñòîðîíû, óñëîâèÿì (1), à ñ
äðóãîé, — óñëîâèþ (2). Òåïåðü ñ ó÷åòîì (4) íàõîäèì ÷èñëî âåêòîðîâ w W� ,
êîòîðûå ìîæíî áëîêèðîâàòü:
W C C C C C CS �
�1 6 8 5 6 5 8 5965
2
5
2
8
3
8
2
5
2
5
3 .
Êàê âèäèì, âûáîð äîñòàòî÷íî âåëèê — áîëüøå ïîëîâèíû ìíîæåñòâà W
âåêòîðîâ ñ òðåìÿ íóëåâûìè êîìïîíåíòàìè: C 20
3 = 1140.
Âåêòîðû, êîòîðûå ñëåäóåò áëîêèðîâàòü. Èç ìíîæåñòâà Ws âûáåðåì
íåêîòîðîå ïîäìíîæåñòâî Wp âåêòîðîâ, êîòîðûå ñëåäóåò áëîêèðîâàòü:
w Wp� , P Pw
w Wp�
�
� . (5)
Âûáîð W Wp s� íå âñåãäà îäíîçíà÷åí. Ñëîæíîñòü ïðîáëåìû âûáîðà
ðàçðàáîò÷èê ìîæåò îöåíèòü ïî ôîðìóëå (4), ðóêîâîäñòâóÿñü îïðåäåëåí-
íûìè êðèòåðèÿìè. Ñðåäè íèõ íàèáîëåå ïðîñòûì è ïðàêòè÷åñêè âàæíûì
ÿâëÿåòñÿ êðèòåðèé ìèíèìóìà Wp .
 ýòîì ñëó÷àå ìîæíî ïîñòðîèòü ïîñëåäîâàòåëüíîñòü âåêòîðîâ èç Ws,
óïîðÿäî÷èâàÿ èõ ïî óáûâàíèþ âåëè÷èíû Pw. Ïîëàãàåì
P p xw i i
i
n
�
�
�~ ( )
1
,
À. Ì. Ðîìàíêåâè÷, Â. À. Ðîìàíêåâè÷, Ìîðàâåäæ Ñåéåä Ìèëàä
90 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 4
ãäå
~ ( )
( ), ,
( ),
p x
p x x w
p x
t i
t i i
t i
�
�
åñëè =1 â âåêòîðå
åñëè1 = 0 â âåêòîðåx wi .
�
�
�
Âåëè÷èíà P xt i( ) äîëæíà áûòü èçâåñòíà èëè ðàññ÷èòàíà ñòàíäàðòíûìè ìå-
òîäàìè ïðè èçâåñòíûõ âðåìåíè t è èíòåíñèâíîñòè îòêàçîâ �. Äàëåå âûáè-
ðàåì ìíîæåñòâî Wp äîáàâëåíèåì íà êàæäîì øàãå ïî îäíîìó âåêòîðó èç
ïîñëåäîâàòåëüíîñòè, íà÷èíàÿ ñ ïåðâîãî, ïîêà íå áóäåò äîñòèãíóòî ðà-
âåíñòâî ïî óñëîâèþ (5). Îäíàêî ìîãóò áûòü è äðóãèå êðèòåðèè, òðåáóþùèå
îòäåëüíîãî èññëåäîâàíèÿ, íàïðèìåð ñëîæíîñòü îðãàíèçàöèè ðåêîíôèãó-
ðèðîâàíèÿ ñèñòåìû, íåîáõîäèìîãî äëÿ áëîêèðîâàíèÿ òîãî èëè èíîãî âåê-
òîðà. Êðèòåðèåì ìîæåò áûòü òàêæå ñëîæíîñòü ìîäåëè (íàïðèìåð, GL-ìîäå-
ëè [5]) ïîâåäåíèÿ ÎÌÑ â ïîòîêå îòêàçîâ, ïîëó÷àåìàÿ ïîñëå åå òðàíñ-
ôîðìàöèè, ñâÿçàííîé ñ áëîêèðîâàíèåì âåêòîðîâ èç Wp. Åñëè ðàñ÷åò Pá.ð
âûïîëíåí íà îñíîâå ñòàòèñòè÷åñêèõ ýêñïåðèìåíòîâ ñ ïîäîáíîé ìîäåëüþ
[6], òî åå óñëîæíåíèå ìîæåò ïîâëèÿòü íà òî÷íîñòü ðàñ÷åòà.
Àëãîðèòì ðåøåíèÿ ïîñòàâëåííîé çàäà÷è.
1. Ðàñïðåäåëÿåì ïðîöåññîðû ïðîåêòèðóåìîé ÎÌÑ ïî ãðóïïàì h1,
h2, …, hr. Â êàæäóþ ãðóïïó âõîäèò ai ïðîöåññîðîâ, èìåþùèõ îäèíàêîâóþ
ïðîèçâîäèòåëüíîñòü si.
2. Ñòðîèì ìíîæåñòâî A âåêòîðîâ A a a aq r� ( , ,..., )* * *
1 2 , ãäå 0 � �a ai i
* ,
ïðè ýòîì A Aq � , åñëè
a s Si
r
i
*
1
� � � .
3. Îïðåäåëÿåì ìíîæåñòâî Ws âåêòîðîâ ñîñòîÿíèÿ ÎÌÑ, êîòîðûå ìîæ-
íî áëîêèðîâàòü, ó÷èòûâàÿ, ÷òî w WS� , åñëè
S s Sw i
i
n
i�
�
��
1
* ,
ãäå � i — êîìïîíåíòû âåêòîðà w W� .
4. Îïðåäåëÿåì ìîùíîñòü ìíîæåñòâà Ws ïî (4).
5. Èñïîëüçóÿ îïðåäåëåííûé êðèòåðèé è íåðàâåíñòâî (5), âûáèðàåì èç
ìíîæåñòâà Ws ïîäìíîæåñòâî Wp âåêòîðîâ, êîòîðûå äåéñòâèòåëüíî íàäî
áëîêèðîâàòü.
6. Åñëè ñóììà âåðîÿòíîñòåé âåêòîðîâ ìíîæåñòâà Ws îêàçûâàåòñÿ íå-
äîñòàòî÷íîé äëÿ óâåëè÷åíèÿ Pá.ð íà � P, ðåêîìåíäóåòñÿ âûáðàòü îäèí èç
óïîìÿíóòûõ âûøå ïóòåé ïîâûøåíèÿ íàäåæíîñòè, âûïîëíèòü íîâûé ðàñ-
÷åò Pá.ð ïðîåêòà è ïåðåéòè ê ï. 1.
Î ïîâûøåíèè íàäåæíîñòè ìíîãîïðîöåññîðíûõ ñèñòåì
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 4 91
Âûâîä. Áëîêèðîâàíèå íåêîòîðîãî ìíîæåñòâà âåêòîðîâ ñîñòîÿíèÿ ñèñ-
òåìû ñ ïîâûøåííîé êðàòíîñòüþ îòêàçîâ ïîâûøàåò íàäåæíîñòü ÎÌÑ áåç
èçìåíåíèÿ åå ñòðóêòóðû è ìíîæåñòâà ïðîöåññîðîâ.
A problem of raising probability of failure-free work of failure-resistant reconfigurable multi-
processor systems for control of complex object arises at the stage of the system designing in case
when it is established by calculations that a necessary level of reliability has not been achieved. It is
proposed to solve the problem by organizing the system resistance to some failures of processor of a
higher multiplicity. A procedure of determining the admissible set of vectors of failure-resistant
multiprocessor systems (FMS), which may be blocked using the system productivity reserves has
been described. An algorithm of choice of a set of FMS state vectors which blocking leads to the solu-
tion of the set problem has been presented.
1. Ìíîãîâåðñèîííûå ñèñòåìû, òåõíîëîãèè, ïðîåêòû / Â. Ñ. Õàð÷åíêî, Â. ß. Æèõàðåâ,
Â. Ì. Èëþøêî, Í. Â. Íå÷èïîðóê. — Õàðüêîâ : Íàöèîíàëüíûé Àýðîêîñìè÷åñêèé óí-ò
«Õàðüêîâñêèé àâèàöèîííûé èí-ò», 2003. — 486 ñ.
2. Èûóäó Ê. À. Íàäåæíîñòü, êîíòðîëü è äèàãíîñòèêà âû÷èñëèòåëüíûõ ìàøèí è ñèñòåì. —
Ì. : Âûñøàÿ øêîëà, 1989. — 216 ñ.
3. Êàëÿåâ È. À., Ëåâèí È. È., Ñåìåðíèêîâ Å. À., Øìîéëîâ Â. È. Ðåêîíôèãóðèðóåìûå
ìóëüòèêîíâåéåðíûå âû÷èñëèòåëüíûå ñòðóêòóðû / Ïîä îáù. ðåä. È. À. Êàëÿåâà. —
Ðîñòîâ/Ä : Èçä-âî ÞÍÖ ÐÀÍ, 2008. — 320 ñ.
4. ×åðêåñîâ Ã. Í. Íàäåæíîñòü òåõíè÷åñêèõ ñèñòåì ñ âðåìåííîé èçáûòî÷íîñòüþ. — Ì. :
Ñîâ. Ðàäèî, 1974. — 296 ñ.
5. Ðîìàíêåâè÷ Â. À., Ïîòàïîâà Å. Ð., Áàõòàðè Õåäàÿòîëëàõ. Èåðàðõè÷åñêàÿ ìîäåëü
ïîâåäåíèÿ ÎÌÑ â ïîòîêå îòêàçîâ // Ýëåêòðîí. ìîäåëèðîâàíèå. — 2008. — 30, ¹ 4. —
Ñ. 75—84.
6. Ãðîëü Â. Â., Ðîìàíêåâè÷ Â. À., Ôåñåíþê À. Ï. Îá îöåíêå ïîãðåøíîñòè ðàñ÷åòà íàäåæ-
íîñòè îòêàçîóñòîé÷èâûõ ìíîãîïðîöåññîðíûõ ñèñòåì // Ðàä³îåëåêòðîíí³ ³ êîìï’þ-
òåðí³ ñèñòåìè. — 2009. — ¹ 5. — Ñ. 56—59
Ïîñòóïèëà 12.02.10;
ïîñëå äîðàáîòêè 29.03.10
ÐÎÌÀÍÊÅÂÈ× Àëåêñåé Ìèõàéëîâè÷, ä-ð òåõí. íàóê, ïðîôåññîð êàôåäðû ñïåöèàëèçèðîâàííûõ
êîìïüþòåðíûõ ñèñòåì Íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà Óêðàèíû «ÊÏÈ».  1961 ã.
îêîí÷èë Êèåâñêèé ïîëèòåõíè÷åñêèé èí-ò. Îáëàñòü íàó÷íûõ èññëåäîâàíèé — ñàìîïðîâåðÿåìûå
ñõåìû, ïñåâäîñëó÷àéíîå òåñòèðîâàíèå öèôðîâîé àïïàðàòóðû, îòêàçîóñòîé÷èâûå ìíîãîïðîöåñ-
ñîðíûå ñèñòåìû.
ÐÎÌÀÍÊÅÂÈ× Âèòàëèé Àëåêñååâè÷, êàíä. òåõí. íàóê, äîöåíò êàôåäðû ñïåöèàëèçèðîâàííûõ
êîìïüþòåðíûõ ñèñòåì Íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà Óêðàèíû «ÊÏÈ», êîòîðûé
îêîí÷èë â 1996 ã. Îáëàñòü íàó÷íûõ èññëåäîâàíèé — ìîäåëè ïîâåäåíèÿ îòêàçîóñòîé÷èâûõ ìíîãî-
ïðîöåññîðíûõ ñèñòåì â ïîòîêå îòêàçîâ, ìåòîäû ïîâûøåíèÿ íàäeæíîñòè òàêèõ ñèñòåì.
ÌÎÐÀÂÅÄÆ Ñåéåä Ìèëàä — àñïèðàíò êàôåäðû ñïåöèàëèçèðîâàííûõ êîìïüþòåðíûõ ñèñòåì
Íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà Óêðàèíû «ÊÏÈ», êîòîðûé îêîí÷èë â 2009 ã. Îáëàñòü
íàó÷íûõ èññëåäîâàíèé — íàäeæíîñòü îòêàçîóñòîé÷èâûõ ìíîãîïðîöåññîðíûõ ñèñòåì.
À. Ì. Ðîìàíêåâè÷, Â. À. Ðîìàíêåâè÷, Ìîðàâåäæ Ñåéåä Ìèëàä
92 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 4
<<
/ASCII85EncodePages false
/AllowTransparency false
/AutoPositionEPSFiles true
/AutoRotatePages /None
/Binding /Left
/CalGrayProfile (Dot Gain 20%)
/CalRGBProfile (sRGB IEC61966-2.1)
/CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2)
/sRGBProfile (sRGB IEC61966-2.1)
/CannotEmbedFontPolicy /Error
/CompatibilityLevel 1.4
/CompressObjects /Tags
/CompressPages true
/ConvertImagesToIndexed true
/PassThroughJPEGImages true
/CreateJDFFile false
/CreateJobTicket false
/DefaultRenderingIntent /Default
/DetectBlends true
/DetectCurves 0.0000
/ColorConversionStrategy /CMYK
/DoThumbnails false
/EmbedAllFonts true
/EmbedOpenType false
/ParseICCProfilesInComments true
/EmbedJobOptions true
/DSCReportingLevel 0
/EmitDSCWarnings false
/EndPage -1
/ImageMemory 1048576
/LockDistillerParams false
/MaxSubsetPct 100
/Optimize true
/OPM 1
/ParseDSCComments true
/ParseDSCCommentsForDocInfo true
/PreserveCopyPage true
/PreserveDICMYKValues true
/PreserveEPSInfo true
/PreserveFlatness true
/PreserveHalftoneInfo false
/PreserveOPIComments true
/PreserveOverprintSettings true
/StartPage 1
/SubsetFonts true
/TransferFunctionInfo /Apply
/UCRandBGInfo /Preserve
/UsePrologue false
/ColorSettingsFile ()
/AlwaysEmbed [ true
]
/NeverEmbed [ true
]
/AntiAliasColorImages false
/CropColorImages true
/ColorImageMinResolution 300
/ColorImageMinResolutionPolicy /OK
/DownsampleColorImages true
/ColorImageDownsampleType /Bicubic
/ColorImageResolution 300
/ColorImageDepth -1
/ColorImageMinDownsampleDepth 1
/ColorImageDownsampleThreshold 1.50000
/EncodeColorImages true
/ColorImageFilter /DCTEncode
/AutoFilterColorImages true
/ColorImageAutoFilterStrategy /JPEG
/ColorACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/ColorImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000ColorACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000ColorImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasGrayImages false
/CropGrayImages true
/GrayImageMinResolution 300
/GrayImageMinResolutionPolicy /OK
/DownsampleGrayImages true
/GrayImageDownsampleType /Bicubic
/GrayImageResolution 300
/GrayImageDepth -1
/GrayImageMinDownsampleDepth 2
/GrayImageDownsampleThreshold 1.50000
/EncodeGrayImages true
/GrayImageFilter /DCTEncode
/AutoFilterGrayImages true
/GrayImageAutoFilterStrategy /JPEG
/GrayACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/GrayImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000GrayACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000GrayImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasMonoImages false
/CropMonoImages true
/MonoImageMinResolution 1200
/MonoImageMinResolutionPolicy /OK
/DownsampleMonoImages true
/MonoImageDownsampleType /Bicubic
/MonoImageResolution 1200
/MonoImageDepth -1
/MonoImageDownsampleThreshold 1.50000
/EncodeMonoImages true
/MonoImageFilter /CCITTFaxEncode
/MonoImageDict <<
/K -1
>>
/AllowPSXObjects false
/CheckCompliance [
/None
]
/PDFX1aCheck false
/PDFX3Check false
/PDFXCompliantPDFOnly false
/PDFXNoTrimBoxError true
/PDFXTrimBoxToMediaBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXSetBleedBoxToMediaBox true
/PDFXBleedBoxToTrimBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXOutputIntentProfile ()
/PDFXOutputConditionIdentifier ()
/PDFXOutputCondition ()
/PDFXRegistryName ()
/PDFXTrapped /False
/Description <<
/CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
/CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
/DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
/DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>
/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
/FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
/ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e>
/JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002>
/KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
/NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
/NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e>
/PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
/SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
/SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>
/ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.)
>>
/Namespace [
(Adobe)
(Common)
(1.0)
]
/OtherNamespaces [
<<
/AsReaderSpreads false
/CropImagesToFrames true
/ErrorControl /WarnAndContinue
/FlattenerIgnoreSpreadOverrides false
/IncludeGuidesGrids false
/IncludeNonPrinting false
/IncludeSlug false
/Namespace [
(Adobe)
(InDesign)
(4.0)
]
/OmitPlacedBitmaps false
/OmitPlacedEPS false
/OmitPlacedPDF false
/SimulateOverprint /Legacy
>>
<<
/AddBleedMarks false
/AddColorBars false
/AddCropMarks false
/AddPageInfo false
/AddRegMarks false
/ConvertColors /ConvertToCMYK
/DestinationProfileName ()
/DestinationProfileSelector /DocumentCMYK
/Downsample16BitImages true
/FlattenerPreset <<
/PresetSelector /MediumResolution
>>
/FormElements false
/GenerateStructure false
/IncludeBookmarks false
/IncludeHyperlinks false
/IncludeInteractive false
/IncludeLayers false
/IncludeProfiles false
/MultimediaHandling /UseObjectSettings
/Namespace [
(Adobe)
(CreativeSuite)
(2.0)
]
/PDFXOutputIntentProfileSelector /DocumentCMYK
/PreserveEditing true
/UntaggedCMYKHandling /LeaveUntagged
/UntaggedRGBHandling /UseDocumentProfile
/UseDocumentBleed false
>>
]
>> setdistillerparams
<<
/HWResolution [2400 2400]
/PageSize [612.000 792.000]
>> setpagedevice
|
| id | nasplib_isofts_kiev_ua-123456789-12843 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-12-07T18:43:34Z |
| publishDate | 2010 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| record_format | dspace |
| spelling | Романкевич, М. Романкевич, В.А. Мораведж Сейед Милад 2010-10-25T09:27:41Z 2010-10-25T09:27:41Z 2010 О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами / М. Романкевич, В.А. Романкевич, Мораведж Сейед Милад // Электронное моделирование. — 2010. — Т. 32, № 4. — С. 85-92. — Бібліогр.: 6 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/12843 519.74018 Проблема повышения вероятности безотказной работы отказоустойчивых реконфигурируемых многопроцессорных систем управления сложными объектами возникает на этапе проектирования системы в случае, когда в результате расчета установлено, что необходимый уровень надежности не достигнут. Предложено решение проблемы путем организации устойчивости системы к некоторым отказам процессоров более высокой кратности. Описана методика определения допустимого множества векторов состояния отказоустойчивых многопроцессорных систем (ОМС), которые можно блокировать, используя резервы произ-водительности системы. Приведен алгоритм выбора множества векторов состояния ОМС, блокирование которых приводит к решению поставленной задачи. Проблема підвищення ймовірності безвідмовної роботи відмовостійких реконфігуровних багатопроцесорних систем управління складними об’єктами виникає на етапі проектування системи у випадку, коли в результаті розрахунку встановлено, що необхідний рівень надійності не є досягнутим. Запропоновано вирішувати проблему шляхом орга-нізації стійкості системи до деяких відмов процесорів більш високої кратності. Описано методику визначення припустимої множини векторів стану відмовостійких багатопроце-сорних систем (ВБС), які можна блокувати, використовуючи резерви продуктивності сисеми. Наведено алгоритм вибору множини векторів стану ВБС, блокування яких приводить до розв’язання поставленої задачі. A problem of raising probability of failure-free work of failure-resistant reconfigurable multiprocessor systems for control of complex object arises at the stage of the system designing in case when it is established by calculations that a necessary level of reliability has not been achieved. It is proposed to solve the problem by organizing the system resistance to some failures of processor of a higher multiplicity. A procedure of determining the admissible set of vectors of failure-resistant multiprocessor systems (FMS), which may be blocked using the system productivity reserves has been described. An algorithm of choice of a set of FMS state vectorswhich blocking leads to the solution of the set problem has been presented. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Точность, надежность, диагностика О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами Article published earlier |
| spellingShingle | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами Романкевич, М. Романкевич, В.А. Мораведж Сейед Милад Точность, надежность, диагностика |
| title | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| title_full | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| title_fullStr | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| title_full_unstemmed | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| title_short | О повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| title_sort | о повышении надежности реконфигурируемых отказоустойчивых многопроцессорных систем управления сложными объектами |
| topic | Точность, надежность, диагностика |
| topic_facet | Точность, надежность, диагностика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/12843 |
| work_keys_str_mv | AT romankevičm opovyšeniinadežnostirekonfiguriruemyhotkazoustoičivyhmnogoprocessornyhsistemupravleniâsložnymiobʺektami AT romankevičva opovyšeniinadežnostirekonfiguriruemyhotkazoustoičivyhmnogoprocessornyhsistemupravleniâsložnymiobʺektami AT moravedžseiedmilad opovyšeniinadežnostirekonfiguriruemyhotkazoustoičivyhmnogoprocessornyhsistemupravleniâsložnymiobʺektami |