Составители:
Рубрика:
46
 çàêëþ÷åíèå îòìåòèì, ÷òî ïîñòðîåíèå ÔÌ ÿâëÿåòñÿ îñíîâîé íå
òîëüêî äëÿ ïîñòðîåíèÿ ìàòåìàòè÷åñêîé ìîäåëè ñèñòåì, íî è äëÿ
ïîñòðîåíèÿ ñîîòâåòñòâóþùèõ äåðåâüåâ ïðîòèâîðå÷èé (ÄÏ) è ò. ä. Ñîîò-
âåòñòâóþùèå èíòåðàêòèâíûå öèêëû ÄÖ ↔ ÄÔ ↔ ÄÏ ↔ ÄÊ ↔ ÄÝ
ïîçâîëÿþò óâåëè÷èòü ñòåïåíü ïîçíàíèÿ ñóùåñòâà ñèñòåìû êàê ñðåä-
ñòâà ðåàëèçàöèè ñèñòåìû, êîíêðåòèçèðîâàòü ñàìè öåëè è ïîäöåëè
ñèñòåìû, à òàêæå ïîâûñèòü ñòåïåíü àäåêâàòíîñòè ìîäåëè ñèñòåìû,
íåîáõîäèìîé äëÿ âûïîëíåíèÿ ïîñëåäóþùèõ ýòàïîâ â ÑÈ, â ÷àñòíî-
ñòè, äëÿ ñèíòåçà àëüòåðíàòèâíûõ âàðèàíòîâ ñèñòåìû.
Åñòåñòâåííî, ÷òî âûñîêèå ðàçìåðíîñòè çàäà÷ ÑÈ, íåîáõîäèìîñòü
âûïîëíåíèÿ âûøåóêàçàííûõ èòåðàòèâíûõ ïðîöåäóð äëÿ ìíîãèõ âà-
ðèàíòîâ ñèñòåì îáóñëàâëèâàþò áîëüøèå çàòðàòû òðóäà è âðåìåíè, è
â ýòèõ ñëó÷àÿõ âûðó÷àåò ôîðìèðóåìàÿ íàðÿäó ñ ÄÔ ñîîòâåòñòâóþ-
ùàÿ îïåðàòîðíàÿ ìîäåëü ñèñòåìû. Ïðè ðåàëèçàöèè ïîñëåäíåé â âèäå
ïðèêëàäíîãî ìàòåìàòè÷åñêîãî îáåñïå÷åíèÿ ÝÂÌ óäàåòñÿ ñ èñïîëüçî-
âàíèåì ÝÂÌ ñóùåñòâåííî ïîâûñèòü ýêîíîìè÷íîñòü ìåòîäîâ ÑÈ ïðè
ñîáëþäåíèè è äàæå ïîâûøåíèè ïðîöåäóð ÑÈ. Ïðè÷åì ñîâåðøåíñòâî-
âàíèå ìàòåìàòè÷åñêîãî îáåñïå÷åíèÿ, íàïðèìåð â ñèñòåìå àâòîìàòè-
çèðîâàííîãî ïðîåêòèðîâàíèÿ (ÑÀÏÐ), ðåøàåòñÿ íà îñíîâå èäåé è
ìåòîäîâ, ãðóïïèðóåìûõ ïî ñëåäóþùèì íàïðàâëåíèÿì.
Äåêîìïîçèöèÿ – äåëåíèå ìàòåìàòè÷åñêîé ìîäåëè èññëåäóåìîé ñè-
ñòåìû íà ÷àñòè è ðàçäåëüíûé àíàëèç ïîëó÷àþùèõñÿ ÷àñòåé. Îäíàêî
ðàçäåëüíûé àíàëèç ïðîèñõîäèò â óñëîâèÿõ ïðèíÿòèÿ óïðîùàþùèõ
ïðåäëîæåíèé î âçàèìíîì âëèÿíèè ÷àñòåé, ò. å. ñîïðîâîæäàåòñÿ óâå-
ëè÷åíèåì ïîãðåøíîñòåé ðàñ÷åòîâ. Äåêîìïîçèöèÿ ñîñòàâëÿåò îñíîâó
áëî÷íî-èåðàðõè÷åñêîãî ïîäõîäà ê ïðîåêòèðîâàíèþ. Ýòî íàïðàâëå-
íèå øèðîêî èñïîëüçóþò êàê â àâòîìàòèçèðîâàííûõ, òàê è â íåàâòî-
ìàòèçèðîâàííûõ ìåòîäàõ ïðîåêòèðîâàíèÿ.
Äèàêîïòèêà – íàïðàâëåíèå ÑÈ ñëîæíûõ ñèñòåì ïî ÷àñòÿì, îò-
ëè÷àþùååñÿ îò äåêîìïîçèöèè òåì, ÷òî ðàçäåëüíûé àíàëèç îñóùåñòâ-
ëÿåòñÿ áåç óïðîùàþùèõ ïðåäëîæåíèé î âëèÿíèè ÷àñòåé äðóã íà
äðóãà. Ýêîíîìè÷íîñòü äèàêîïòè÷åñêèõ ìåòîäîâ ñîèçìåðèìà ñ ýêîíî-
ìè÷íîñòüþ îáû÷íûõ äåêîìïîçèöèîííûõ ìåòîäîâ, à òî÷íîñòü âûøå.
Ó÷åò ðàçðåæåííîñòè ìàòðèöû – íàïðàâëåíèå ýêîíîìè÷íîé îðãà-
íèçàöèè îïåðàöèé íàä ðàçðåæåííûìè ìàòðèöàìè. Ìàòðèöó íàçûâà-
þò ðàçðåæåííîé, åñëè â íåé ïðåîáëàäàþò íóëåâûå ýëåìåíòû. Îòêàç
îò õðàíåíèÿ íóëåâûõ ýëåìåíòîâ è ðåàëèçàöèÿ àëãîðèòìîâ, â êîòî-
ðûõ èãíîðèðóþòñÿ àðèôìåòè÷åñêèå äåéñòâèÿ íàä íóëåâûìè ýëåìåíòà-
ìè, ìîãóò äàòü çíà÷èòåëüíóþ ýêîíîìèþ ìàøèíîé ïàìÿòè è âðåìåíè.
Ó÷åò ñîáûòèéíîñòè – íàïðàâëåíèå, íàçûâàåìîå òàêæå ó÷åòîì
âðåìåííîé ðàçðåæåííîñòè ìîäåëåé è îñíîâàííîå íà èñêëþ÷åíèè èç
Страницы
- « первая
- ‹ предыдущая
- …
- 44
- 45
- 46
- 47
- 48
- …
- следующая ›
- последняя »
