Алг формир рекомендац при планир инф обмена ... Балашов (2007) (Лекции 2014-2015), страница 3
Описание файла
Файл "Алг формир рекомендац при планир инф обмена ... Балашов (2007)" внутри архива находится в следующих папках: Лекции 2014-2015, Дополнительные материалы. PDF-файл из архива "Лекции 2014-2015", который расположен в категории "". Всё это находится в предмете "(иус рв) архитектура управляющих систем реального времени" из 10 семестр (2 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 3 страницы из PDF
ëıÂχ ÓÒÌÓ‚ÌÓ„Ó ˆËÍ·‡Î„ÓËÚχ ‚Íβ˜‡ÂÚ ÒÎÂ‰Û˛˘Ë ¯‡„Ë:1) Xcur := INIT;2) ‚˚˜ËÒÎËÚ¸ Á̇˜ÂÌË CompA (Xcur FIX), ÔÓÒÚÓË‚ ‡ÒÔËÒ‡ÌË ÔË ÔÓÏÓ˘Ë ‡Î„ÓËÚχ A;3) ÂÒÎË CompA (Xcur FIX), ÚÓ success := true;resX := Xcur; Á‡‚¯ËÚ¸ ‡·ÓÚÛ;4) ‚˚ÔÓÎÌËÚ¸ ˝‚ËÒÚ˘ÂÒÍÛ˛ Ôӈ‰ÛÛchoose_changes ‰Îfl ‚˚·Ó‡ ËÁÏÂÌÂÌËfl Á̇˜ÂÌËÈÚ·ӂ‡ÌËÈ;5) ÂÒÎË choose_changes Á‡‚¯‡Î‡Ò¸ ÌÂÛÒÔ¯ÌÓ, ÚÓ success := false;Á‡‚¯ËÚ¸ ‡·ÓÚÛ;6) ËÁÏÂÌËÚ¸ ̇·Ó Xcur ‚ ÒÓÓÚ‚ÂÚÒÚ‚ËË Ò ÂÁÛθڇÚÓÏ ‚˚ÔÓÎÌÂÌÌÓÈ Ì‡ ¯‡„ 4 Ôӈ‰Û˚choose_changes;7) ÔÂÂÈÚË Í ¯‡„Û 2.èӈ‰ۇ ‚˚·Ó‡ ËÁÏÂÌÂÌËÈ.
èӈ‰ۇchoose_changes ‚˚ÔÓÎÌflÂÚ ˝‚ËÒÚ˘ÂÒÍËÈ ‚˚·ÓÚ·ӂ‡ÌËfl, Á̇˜ÂÌË ÍÓÚÓÓ„Ó ÒΉÛÂÚ ËÁÏÂÌËÚ¸ ‚ÒÚÓÓÌÛ ÓÒ··ÎÂÌËfl, ‡ Ú‡ÍÊ ‚˚˜ËÒÎflÂÚ ËÁÏÂÌÂÌËÂÁ̇˜ÂÌËfl Ú·ӂ‡ÌËfl. èËÏÂÌflÂχfl ‚ Ôӈ‰Û ˝‚ËÒÚË͇ ËÒÔÓθÁÛÂÚ ÒӷˇÂÏÛ˛ ÔË ÔÓÒÚÓÂÌˡÒÔËÒ‡ÌËfl ÒÚ‡ÚËÒÚËÍÛ ÔÓ Ì‡Û¯ÂÌ˲ Ú·ӂ‡ÌËÈ ÍËÌÙÓχˆËÓÌÌÓÏÛ Ó·ÏÂÌÛ ‡·ÓÚ‡ÏË, ÍÓÚÓ˚ ÔË‚˚ÔÓÎÌÂÌËË ‡Î„ÓËÚχ A Ì ۉ‡ÎÓÒ¸ ‚Íβ˜ËÚ¸ ‚‡ÒÔËÒ‡ÌËÂ.èË ÔÓÒÚÓÂÌËË ‡ÒÔËÒ‡ÌËfl ‰Îfl Í‡Ê‰Ó„Ó Ú·ӂ‡ÌËfl Ri Í ËÌÙÓχˆËÓÌÌÓÏÛ Ó·ÏÂÌÛ (i = 1..NR)‚˚˜ËÒÎflÂÚÒfl Á̇˜ÂÌË viol(Ri) – χÍÒËχθÌÓ ̇ۯÂÌË Ú·ӂ‡ÌËfl Ri.
å‡ÍÒËÏÛÏ ·ÂÂÚÒfl ÔÓÏÌÓÊÂÒÚ‚Û U Ì‚Íβ˜ÂÌÌ˚ı ‚ ‡ÒÔËÒ‡ÌË ‡·ÓÚ.Xres : Xres [ P ∧ CompA (Xres FIX).ok ( R i, u ) – init i ,viol(Ri) = maxu∈UÇÓÁÏÓÊÌÓÒÚ¸ ÌÂÛÒÔ¯ÌÓ„Ó Á‡‚¯ÂÌËfl ‡·ÓÚ˚ ‡Î„ÓËÚχ Ò‚flÁ‡Ì‡ Ò ÚÂÏ, ˜ÚÓ:ÏÌÓÊÂÒÚ‚Ó P ÏÓÊÂÚ Ì ÒÓ‰Âʇڸ ÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ;‚ ÒÎÛ˜‡Â ÒÛ˘ÂÒÚ‚Ó‚‡ÌËfl ‚ P ÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ ‡Î„ÓËÚÏ ÏÓÊÂÚ Â„Ó ÌÂӷ̇ÛÊËÚ¸ ‚ Ò‚flÁË Ò ÌÂÔÓÎÌÓÚÓÈ Ó·ıÓ‰‡ P.åËÌËÏËÁËÛÂÏ˚È ÍËÚÂËÈ: Cost (X)ìÒÎÓ‚Ëfl Á‡‚¯ÂÌËfl. Ä΄ÓËÚÏ Á‡‚¯‡ÂÚÒflÔË ‚˚ÔÓÎÌÂÌËË ıÓÚfl ·˚ Ó‰ÌÓ„Ó ËÁ ÒÎÂ‰Û˛˘ËıÛÒÎÓ‚ËÈ:̇ȉÂÌ ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ (ÛÒÔ¯ÌÓ Á‡‚¯ÂÌËÂ);‚ ıӉ ÔÓËÒ͇ ¯ÂÌËfl ‰ÓÒÚË„ÌÛÚ Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ LIM.ÖÒÎË ‰ÓÒÚË„ÌÛÚ Ì‡·Ó LIM Ë ÓÌ fl‚ÎflÂÚÒfl ÒÓ‚ÏÂÒÚËÏ˚Ï, ÚÓ ‡Î„ÓËÚÏ Á‡‚¯‡ÂÚÒfl ÛÒÔ¯ÌÓ.„‰Â ok(Ri, u) – ̇˷ÓΠ·ÎËÁÍÓÂ Í initi Á̇˜ÂÌËÂÚ·ӂ‡ÌËfl Ri, ÔË ÍÓÚÓÓÏ Ì‡Û¯ÂÌËfl ˝ÚÓ„Ó Ú·ӂ‡ÌËfl ‡·ÓÚÓÈ u ÔË ÔÓÔ˚Ú͠ ‚Íβ˜ÂÌËfl ‚‡ÒÔËÒ‡ÌË Ì ÔÓËÁÓ¯ÎÓ ·˚.
Ç ÔÓˆÂÒÒ ‡·ÓÚ˚‡Î„ÓËÚχ Ô·ÌËÓ‚‡ÌËfl ÏÓÊÂÚ ·˚Ú¸ ‚˚ÔÓÎÌÂÌÓÌÂÒÍÓθÍÓ ÌÂÛÒÔ¯Ì˚ı ÔÓÔ˚ÚÓÍ ‚Íβ˜ÂÌËfl ‚‡ÒÔËÒ‡ÌË ‡·ÓÚ˚ u, ÍÓÚÓ˚Ï ÒÓÓÚ‚ÂÚÒÚ‚Û˛Ú‡ÁÌ˚ Á̇˜ÂÌËfl ok(Ri, u); ËÁ ÌËı Ú‡ÍÊ ‚˚·Ë‡ÂÚÒfl χÍÒËχθÌÓÂ.Ç Ô˂‰ÂÌÌÓÈ ÌËÊ ÒıÂÏ Ôӈ‰Û˚chjsse_changes ˝‚ËÒÚ˘ÂÒÍËÈ ‚˚·Ó ËÁÏÂÌflÂÏÓ„ÓÚ·ӂ‡ÌËfl ‚˚ÔÓÎÌflÂÚÒfl ̇ ¯‡„ 3. Ç [13] ‡ÒÒÏÓÚÂÌ˚ ‰Û„Ë ‚‡Ë‡ÌÚ˚ ˝‚ËÒÚËÍ ‰Îfl ‚˚·Ó‡ËÁÏÂÌflÂÏÓ„Ó Ú·ӂ‡ÌËfl.
ùÍÒÔÂËÏÂÌڇθÌÓ ËÒÒΉӂ‡ÌË ̇ ‰‡ÌÌ˚ı ÔÓ Â‡Î¸ÌÓÈ ÇëêÇ ÔÓ͇Á‡ÎÓ, ˜ÚÓ ‡Î„ÓËÚÏ Ì‡ ÓÒÌÓ‚Â Ô‰·„‡ÂÏÓÈ ˝‚ËÒÚËÍË Ô‚ÓÒıÓ‰ËÚ ˝ÚË ‚‡Ë‡ÌÚ˚ ÔÓ Á̇˜ÂÌ˲ ÏËÌËÏËÁËÛÂÏÓ„Ó ÍËÚÂËfl.curàáÇÖëíàü êÄç. íÖéêàü à ëàëíÖåõ ìèêÄÇãÖçàü ‹ 6 2007ÄãÉéêàíåõ îéêåàêéÇÄçàü êÖäéåÖçÑÄñàâ èêà èãÄçàêéÇÄçààëıÂχ Ôӈ‰Û˚ chjsse_changes ÒÎÂ‰Û˛˘‡fl:1) ÒÙÓÏËÓ‚‡Ú¸ ÏÌÓÊÂÒÚ‚Ó CAND Ú·ӂ‡ÌËÈ͇̉ˉ‡ÚÓ‚ ̇ ËÁÏÂÌÂÌËÂ, ‚Íβ˜Ë‚ ‚ CAND Ú·ӂ‡ÌËfl Ri, ËÁÏÂÌÂÌË ÍÓÚÓ˚ ‰ÓÔÛÒÚËÏÓ Ë ‚ÓÁÏÓÊcurÌÓ ‰‡Î¸ÌÂȯ ÓÒ··ÎÂÌË (Ú.Â.
x i limi);2) ÂÒÎË CAND = [, Á‡‚¯ËÚ¸ Ôӈ‰ÛÛ ÌÂÛÒÔ¯ÌÓ;3) ‚˚·‡Ú¸ ‰Îfl ËÁÏÂÌÂÌËfl Ú·ӂ‡ÌË Ri ËÁCAND, Ëϲ˘Â ̇ËÏÂ̸¯Â ÔÓ CAND ÓÚ΢ÌÓÂÓÚ ÌÛÎfl Á̇˜ÂÌË viol(Ri)*creli/|limi – initi| ; ÂÒÎË ‰Îfl‚ÒÂı Ú·ӂ‡ÌËÈ ËÁ CAND Ú‡ÍÓ Á̇˜ÂÌË ‡‚ÌÓ 0,‚˚·‡Ú¸ ‰Îfl ËÁÏÂÌÂÌËfl Ú·ӂ‡ÌË Ri, Ëϲ˘ÂÂ̇ËÏÂ̸¯Â Á̇˜ÂÌË ‚ÂÒÓ‚Ó„Ó ÍÓ˝ÙÙˈËÂÌÚ‡creli (Ú‡ÍÓÈ ‚˚·Ó ÏÓÊÂÚ ·˚Ú¸ ҉·Ì, ̇ÔËÏÂ,ÂÒÎË ÔË ÔÓÒÚÓÂÌËË ‡ÒÔËÒ‡ÌËfl ·˚ÎË Ì‡Û¯ÂÌ˚ÚÓθÍÓ Ú Ú·ӂ‡ÌËfl, ËÁÏÂÌÂÌË ÍÓÚÓ˚ı Ì ‡Ácur¯ÂÌÓ ËÎË ‰Îfl ÍÓÚÓ˚ı x i = limi);4) ‚˚˜ËÒÎËÚ¸ ËÁÏÂÌÂÌË ‰Îfl Á̇˜ÂÌËfl ‚˚·‡ÌÌÓ„Ó Ú·ӂ‡ÌËfl Ri ÔÓ ÙÓÏÛÎÂcurincr i = min ( lim i – x i, d cos t* lim i – init i /crel i );5) ÂÒÎË Ri ‰ÓÔÛÒ͇ÂÚ ÚÓθÍÓ ˆÂÎÓ˜ËÒÎÂÌÌ˚ÂÁ̇˜ÂÌËfl, ÓÍÛ„ÎËÚ¸ incri ‚‚Âı;6) Á‡‚¯ËÚ¸ Ôӈ‰ÛÛ ÛÒÔ¯ÌÓ.é·ÓÒÌÓ‚‡ÌË Á‡‚¯ËÏÓÒÚË ‡Î„ÓËÚχ.
èӈ‰ۇ chjsse_chnges ÔË Í‡Ê‰ÓÏ ‚˚ÁÓ‚Â ÛÒڇ̇‚ÎË‚‡ÂÚ ‰Îfl ‚˚·‡ÌÌÓ„Ó Ú·ӂ‡ÌËfl ËÁÏÂÌÂÌË ÌÂÏÂ̸¯ÂÂ, ˜ÂÏ dcoct*|limi – initi|/creli. àÒÍβ˜ÂÌËÂÒÓÒÚ‡‚ÎflÂÚ ËÁÏÂÌÂÌËÂ, ‰Ó‚Ó‰fl˘Â Á̇˜ÂÌË Ri ‰Ólimi. ä‡Ê‰Ó ËÁÏÂÌÂÌË Ú·ӂ‡ÌËfl Ri ÔË·ÎËʇÂÚ Â„Ó Á̇˜ÂÌËÂ Í limi, ÔÓÒΠ‰ÓÒÚËÊÂÌËfl ÍÓÚÓÓ„Ó‰‡Î¸ÌÂȯ ËÁÏÂÌÂÌË Ú·ӂ‡ÌËfl Ri Ì ÔÓËÁ‚Ó‰ËÚÒfl. ëΉӂ‡ÚÂθÌÓ, ‡Î„ÓËÚÏ Á‡‚¯ËÚÒfl Ì·ÓΠ˜ÂÏ Á‡∑i = 1.. NRcrel-------------i- ËÚ‡ˆËÈ.d cos t3.2. Ä Î „ Ó Ë Ú Ï Ò Ô Ó Ò Î Â ‰ Ó ‚ ‡ Ú Â Î ¸ Ì ˚ Ï Ò Û Ê Â Ì Ë Â Ï Ó · Î ‡ Ò Ú Ë Ô Ó Ë Ò Í ‡. èÛÒÚ¸Á‡‰‡Ì ÌÂÍÓÚÓ˚È ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ Í ËÌÙÓχˆËÓÌÌÓÏÛ Ó·ÏÂÌÛ, ÎÂʇ˘Ëı ‚‰Ë‡Ô‡ÁÓ̇ı ‰ÓÔÛÒÚËÏÓ„Ó ËÁÏÂÌÂÌËfl. ùÚÓÚ Ì‡·Ó ÏÓÊÂÚ ·˚Ú¸ ‰‡ÎÂÍËÏ ÓÚ ÓÔÚËχθÌÓ„Ó ÔÓ ÍËÚÂ˲ÏËÌËχθÌÓÒÚË Cost(X) – ̇ÔËÏ ̇·Ó LIM*.èÛÒÚ¸ C – ÌÂÍÓÚÓ‡fl ÍÓÌÒÚ‡ÌÚ‡. ǂ‰ÂÏ Ó·ÓÁ̇˜ÂÌË ‰Îfl ÏÌÓÊÂÒÚ‚‡ ̇·ÓÓ‚ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ, ̇ ÍÓÚÓ˚ı Cost(X) ÏÂ̸¯Â ë: P(C) == {Y ∈ P|Cost(Y) < C}.
è˂‰ÂÌÌ˚È ‚ ‰‡ÌÌÓÏ ‡Á‰ÂΠ‡Î„ÓËÚÏ ÔÓÎÛ˜‡ÂÚ ‚ ͇˜ÂÒڂ ̇˜‡Î¸ÌÓ„Ó ÔË·ÎËÊÂÌËfl ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ Ë ‚˚ÔÓÎÌflÂÚ ËÚ‡ÚË‚Ì˚È ÔÂÂıÓ‰ Í ÒÓ‚ÏÂÒÚËÏ˚Ï Ì‡·Ó‡Ï, Ëϲ˘ËÏ ÏÂ̸¯Ë Á̇˜ÂÌËfl Cost(X).ç‡ Í‡Ê‰ÓÈ i-È ËÚ‡ˆËË ‡Î„ÓËÚÏ ÔÓ‚Ó‰ËÚ ÔÓËÒÍÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ Xi ̇ÏÌÓÊÂÒÚ‚Â P(Ci), „‰Â Ci – ÍÓÌÒÚ‡ÌÚ‡, ÙËÍÒËÓ‚‡Ì-81̇fl ‰Îfl ÚÂÍÛ˘ÂÈ ËÚ‡ˆËË. ç‡È‰fl Xi, ‡Î„ÓËÚÏÔÓ‰ÓÎʇÂÚ ÒÛÊÂÌË ӷ·ÒÚË ÔÓËÒ͇, ËÒÔÓθÁÛfl̇ (i + 1)-È ËÚ‡ˆËË ‚ ͇˜ÂÒÚ‚Â Ci+1 Á̇˜ÂÌËÂCost(Xi), ÏÂ̸¯ÂÂ, ˜ÂÏ Ci.ÇıÓ‰Ì˚ ‰‡ÌÌ˚Â:‚ıÓ‰Ì˚ ‰‡ÌÌ˚ Á‡‰‡˜Ë ÙÓÏËÓ‚‡ÌËfl ÂÍÓÏẨ‡ˆËÈ (ÒÏ. ‡Á‰. 2.1);dcost – ÏËÌËχθÌÓ ‰ÓÔÛÒÚËÏÓ ËÁÏÂÌÂÌËÂCost(X) ̇ ͇ʉÓÈ ËÚ‡ˆËË ‡Î„ÓËÚχ;̇˜‡Î¸ÌÓ ÔË·ÎËÊÂÌË – ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·ÓÚ·ӂ‡ÌËÈ Xsrc;Nest – ˜ËÒÎÓ Ì‡·ÓÓ‚-͇̉ˉ‡ÚÓ‚, Ó·‡·‡Ú˚‚‡ÂÏ˚ı ̇ ͇ʉÓÈ ËÚ‡ˆËË.Ç˚ıÓ‰Ì˚ ‰‡ÌÌ˚Â.
ç‡·Ó ‚˚ıÓ‰Ì˚ı ‰‡ÌÌ˚ı‡Î„ÓËÚχ ‚Íβ˜‡ÂÚ ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ Xres : Xres ∈ P ∧ CompA (Xres FIX).Ä΄ÓËÚÏ ‚Ò„‰‡ Á‡‚¯‡ÂÚÒfl ÛÒÔ¯ÌÓ, ÔÓ˝ÚÓÏÛÔËÁÌ‡Í ÛÒÔ¯ÌÓÒÚË Á‡‚¯ÂÌËfl ‚ ÒÓÒÚ‡‚ ‚˚ıÓ‰Ì˚ı ‰‡ÌÌ˚ı Ì ‚ıÓ‰ËÚ.åËÌËÏËÁËÛÂÏ˚È ÍËÚÂËÈ: Cost(X).ìÒÎÓ‚Ëfl Á‡‚¯ÂÌËfl. Ä΄ÓËÚÏ Á‡‚¯‡ÂÚÒfl,ÂÒÎË Ì‡ Ә‰ÌÓÈ i-È ËÚ‡ˆËË Ì ۉ‡ÎÓÒ¸ ÔÓÎÛ˜ËÚ¸ ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Xi, ‰Îfl ÍÓÚÓÓ„Ó ‚˚ÔÓÎÌÂÌÓ ÛÒÎÓ‚Ë (Cost(Xi – 1) – Cost(Xi) ≥ dcost).éÒÌÓ‚ÌÓÈ ˆËÍÎ ‡Î„ÓËÚχ. ǂ‰ÂÏ Ó·ÓÁ̇˜ÂÌËfl:i – ÌÓÏ ËÚ‡ˆËË ‡Î„ÓËÚχ;Ci – ÔÓÎÓÊËÚÂθ̇fl ÍÓÌÒÚ‡ÌÚ‡, ̇ i-È ËÚ‡ˆËËÓÔ‰ÂÎfl˛˘‡fl ÏÌÓÊÂÒÚ‚Ó ÔÓËÒ͇ ¯ÂÌËÈ P(Ci);find_estimates(C, N) – Ôӈ‰ۇ, ÔÓÎÛ˜‡˛˘‡fl N‡Á΢Ì˚ı ̇·ÓÓ‚ Ú·ӂ‡ÌËÈ ËÁ ÏÌÓÊÂÒÚ‚‡ P(C);refin_compatible(X) – Ôӈ‰ۇ ̇ԇ‚ÎÂÌÌÓ„ÓÔÓËÒ͇, Ô‚Ӊfl˘‡fl Á‡‰‡ÌÌ˚È ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ X ‚ ‰Û„ÓÈ ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·Ó Y ÒÓ Á̇˜ÂÌËÂÏ Cost(Y), ÏÂ̸¯ËÏ, ˜ÂÏCost(X);find_compatible(X, C) – Ôӈ‰ۇ ̇ԇ‚ÎÂÌÌÓ„Ó ÔÓËÒ͇, Ô‚Ӊfl˘‡fl Á‡‰‡ÌÌ˚È ÌÂÒÓ‚ÏÂÒÚËÏ˚È̇·Ó Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ X ‚ ÒÓ‚ÏÂÒÚËÏ˚È Ì‡·ÓY ÒÓ Á̇˜ÂÌËÂÏ Cost(Y), Ì Ô‚˚¯‡˛˘ËÏ C.чΠÔ˂‰ÂÌ˚ ÓÒÌÓ‚Ì˚ ÔË̈ËÔ˚ ‡·ÓÚ˚˝ÚËı Ôӈ‰Û.ëıÂχ ÓÒÌÓ‚ÌÓ„Ó ˆËÍ· ‡Î„ÓËÚχ ÒÎÂ‰Û˛˘‡fl:1)‚˚ÔÓÎÌËÚ¸ËÌˈˇÎËÁ‡ˆË˛:X0 :=:= refine_comhatible(Xsrc); i := 12) Ó„‡Ì˘ËÚ¸ ӷ·ÒÚ¸ ÔÓËÒ͇ ¯ÂÌËÈ: Ci :=:= Cost(Xi – 1);3) ÔÓÎÛ˜ËÚ¸ ÏÌÓÊÂÒÚ‚Ó Ì‡·ÓÓ‚-͇̉ˉ‡ÚÓ‚:SETi := find_estimates(Ci, Nest);4) ‚˚‰ÂÎËÚ¸ ‚ ÏÌÓÊÂÒÚ‚Â SETi ÔÓ‰ÏÌÓÊÂÒÚ‚‡ÒÓ‚ÏÂÒÚËÏ˚ı ̇·ÓÓ‚ COMP_SETi Ë ÌÂÒÓ‚ÏÂÒÚËÏ˚ı ̇·ÓÓ‚ INCOMP_SETi;5) ÔÓÎÛ˜ËÚ¸ ÏÌÓÊÂÒÚ‚Ó ÒÓ‚ÏÂÒÚËÏ˚ı ̇·ÓÓ‚iCOMP_ SET ref , ‚˚ÔÓÎÌË‚ ‰Îfl Í‡Ê‰Ó„Ó ˝ÎÂÏÂÌÚ‡X ∈ COMP_SETi Ôӈ‰ÛÛ refine_comhatible(X);6 àáÇÖëíàü êÄç.
íÖéêàü à ëàëíÖåõ ìèêÄÇãÖçàü ‹ 6 2007Ň·¯Ó‚826) ÒÙÓÏËÓ‚‡Ú¸ ÏÌÓÊÂÒÚ‚Ó ÒÓ‚ÏÂÒÚËÏ˚ı ̇i·ÓÓ‚ COMP_ SET fnd , ‚˚ÔÓÎÌË‚ ‰Îfl Í‡Ê‰Ó„Ó ˝ÎÂÏÂÌÚ‡X∈INCOMP_SETiÔӈ‰ÛÛifind_comhatible(X, C – dcost);i7) ÂÒÎË ÏÌÓÊÂÒÚ‚Ó RESi = COMP_ SET fnd ∪i∪ COMP_ SET ref ÔÛÒÚÓÂ, ÚÓ Xres := Xi-1; Á‡‚¯ËÚ¸‡·ÓÚÛ;i8) ‚˚·‡Ú¸ ËÁ ÏÌÓÊÂÒÚ‚‡ COMP_ SET fnd ∪i∪ COMP_ SET ref , ̇·Ó Xi Ò ÏËÌËχθÌ˚Ï Á̇˜ÂÌËÂÏ ÙÛÌ͈ËË Cost;9) ÂÒÎË (Cost(Xi – 1) – Cost(Xi) < dcost), ÚÓ Xres :=:= Xi – 1; Á‡‚¯ËÚ¸ ‡·ÓÚÛ;10) ÔÂÂÈÚË Í ¯‡„Û 2.èӈ‰ۇ find_tstimates(C, N) ‚˚ÔÓÎÌflÂÚ ÔÓËÒÍ N ‡Á΢Ì˚ı ̇·ÓÓ‚ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ̇ ÏÌÓÊÂÒÚ‚Â P(C).
Ç ‡Ï͇ı Ô‰·„‡ÂÏÓ„Ó ‡Î„ÓËÚχ Ô·ÌËÛÂÚÒfl ÔËÏÂÌflÚ¸ ‰‚‡ ‡Á΢Ì˚ı ‚‡Ë‡ÌÚ‡:1) ̇ ÓÒÌÓ‚Â ÒÎÛ˜‡ÈÌÓ„Ó ÔÓËÒ͇ Ò ‡‚ÌÓÏÂÌ˚χÒÔ‰ÂÎÂÌËÂÏ;2) ̇ ÓÒÌÓ‚Â ÒıÂÏ˚ ËÏËÚ‡ˆËË ÓÚÊË„‡ [14].Ç ‡Ï͇ı ‚‡Ë‡ÌÚ‡ 2 ‚ ͇˜ÂÒÚ‚Â ÏËÌËÏËÁËÛÂÏÓÈ ˆÂ΂ÓÈ ÙÛÌ͈ËË ‚˚ÒÚÛÔ‡ÂÚ ˜ËÒÎÓ ‡·ÓÚ, Ì‚Íβ˜ÂÌÌ˚ı ‚ ‡ÒÔËÒ‡ÌËÂ, ÍÓÚÓÓ ÔÓÒÚÓÂÌÓ ÔÓÚÂÍÛ˘ÂÏÛ Ì‡·ÓÛ Á̇˜ÂÌËÈ Ú·ӂ‡ÌËÈ. í‡ÍÓÈ‚˚·Ó ˆÂ΂ÓÈ ÙÛÌ͈ËË ÔÓÁ‚ÓÎflÂÚ ‰Îfl ‰‡ÌÌÓÈÔӈ‰Û˚ Ó„‡Ì˘ËÚ¸Òfl Ó‰ÌËÏ ÓÔÚËÏËÁËÛÂÏ˚ÏÍËÚÂËÂÏ (‚ÚÓ˚Ï Ïӄ· ·˚ ·˚Ú¸ ÙÛÌ͈ËflCost), ‡ Ú‡ÍÊ ӷÂÒÔ˜ËÚ¸ ÒıÓ‰ËÏÓÒÚ¸ ÔÓËÒ͇ ÍÒÓ‚ÏÂÒÚËÏ˚Ï Ì‡·Ó‡Ï, ̇ ÍÓÚÓ˚ı ˆÂ΂‡flÙÛÌ͈Ëfl ‡‚̇ ÌÛβ.
Ç ÒÎÛ˜‡Â, ÂÒÎË Ôӈ‰ÛÓÈ·Û‰ÛÚ Ì‡È‰ÂÌ˚ ÒÓ‚ÏÂÒÚËÏ˚ ̇·Ó˚, ÛÎÛ˜¯ÂÌËÂÁ̇˜ÂÌËfl Cost ̇ ÌËı ÔÓ Ò‡‚ÌÂÌ˲ Ò C ‰ÓÒÚË„‡ÂÚÒfl Á‡ Ò˜ÂÚ ‚˚ÔÓÎÌÂÌËfl ÔÓËÒ͇ ̇ ÏÌÓÊÂÒÚ‚Â P(C).èӈ‰ۇrefine_compatible(X)ÓÒÛ˘ÂÒÚ‚ÎflÂÚ̇ԇ‚ÎÂÌÌ˚È ÔÓËÒÍ ÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ Y ̇ÏÌÓÊÂÒÚ‚Â P(Cx) („‰Â Cx = Cost(X)) Ò Ì‡˜‡Î¸Ì˚ÏÒÓ‚ÏÂÒÚËÏ˚Ï ÔË·ÎËÊÂÌËÂÏ, ‡‚Ì˚Ï X. Ç ÔÓÒÚÂȯÂÏ ‚‡Ë‡ÌÚ Ôӈ‰Û˚ ÔÓËÒÍ ‚‰ÂÚÒfl ÔÓ¯‡„Ó‚Ó ‚ ̇ԇ‚ÎÂÌËË Ì‡ËÒÍÓÂÈ¯Â„Ó Û·˚‚‡ÌËfl Cost‰Ó ÔÓÎÛ˜ÂÌËfl ÌÂÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ ËÎË ‰Ó ‰ÓÒÚËÊÂÌËfl „‡Ìˈ˚ P; ‚ ͇˜ÂÒÚ‚Â ‚˚ıÓ‰ÌÓ„Ó Ì‡·Ó‡Y ·ÂÂÚÒfl ̇·Ó, ÔÓÎÛ˜ÂÌÌ˚È Ì‡ Ô‰ÔÓÒΉÌÂϯ‡„ ÔÓËÒ͇.
Ç ÒÎÛ˜‡Â ÌÂÛÒÔ¯ÌÓ„Ó ÔÓËÒ͇ Ôӈ‰ۇ ‚ÓÁ‚‡˘‡ÂÚ Ì‡·Ó X.Ä‚ÚÓÓÏ ‡·ÓÚ˚ Ô‰ÎÓÊÂÌ fl‰ ‡Ò¯ËÂÌËÈÛ͇Á‡ÌÌÓÈ ‚˚¯Â ÒıÂÏ˚ ̇ԇ‚ÎÂÌÌÓ„Ó ÔÓËÒ͇[13]. Ç Ôӈ‰Û ÏÓÊÂÚ ·˚Ú¸ Ú‡ÍÊ ÔËÏÂÌÂ̇΄ÓËÚÏ Ò ˝‚ËÒÚ˘ÂÒÍËÏ ‚˚·ÓÓÏ ÛÒËÎË‚‡ÂÏÓ„Ó Ú·ӂ‡ÌËfl, Ô‰ÎÓÊÂÌÌ˚È ‚ [13].èӈ‰ۇ find_covpatible(X, C) ‡ÎËÁÛÂÚ ÔÓËÒÍ ÒÓ‚ÏÂÒÚËÏÓ„Ó Ì‡·Ó‡ Y ̇ ÏÌÓÊÂÒÚ‚Â P(C) Ò̇˜‡Î¸Ì˚Ï ÌÂÒÓ‚ÏÂÒÚËÏ˚Ï ÔË·ÎËÊÂÌËÂÏ, ‡‚Ì˚Ï X. é̇ ‡·ÓÚ‡ÂÚ ÔÓ ‡Î„ÓËÚÏÛ Ò ˝‚ËÒÚ˘ÂÒÍËÏ ‚˚·ÓÓÏ ÓÒ··ÎflÂÏÓ„Ó Ú·ӂ‡ÌËfl (ÓÔË҇̂ ‡Á‰. 3.1) ÒÓ ÒÎÂ‰Û˛˘ËÏË ÏÓ‰ËÙË͇ˆËflÏË:1) ‚ ͇˜ÂÒڂ ̇˜‡Î¸ÌÓ„Ó ÔË·ÎËÊÂÌËfl ·ÂÂÚÒfl Ì ̇·Ó INIT, ‡ ̇·Ó X;2) ‚‚Ó‰ËÚÒfl ‰ÓÔÓÎÌËÚÂθÌÓ ÛÒÎÓ‚Ë Á‡‚¯ÂÌËfl: ÂÒÎË ‚ ıӉ ÔÓËÒ͇ ¯ÂÌËfl ‰ÓÒÚË„ÌÛÚ Ì‡·ÓÒÓ Á̇˜ÂÌËÂÏ Cost, Ô‚˚¯‡˛˘ËÏ C, Ôӈ‰ۇÁ‡‚¯‡ÂÚÒfl ÌÂÛÒÔ¯ÌÓ.é·ÓÒÌÓ‚‡ÌË Á‡‚¯ËÏÓÒÚË ‡Î„ÓËÚχ.
Ä΄ÓËÚÏ fl‚ÎflÂÚÒfl Á‡‚¯ËÏ˚Ï, ˜ÚÓ ÒΉÛÂÚ ËÁ ÒÔ‡‚‰ÎË‚ÓÒÚË ÒÎÂ‰Û˛˘Ëı ÛÚ‚ÂʉÂÌËÈ:1) ˜ËÒÎÓ ËÚ‡ˆËÈ ‡Î„ÓËÚχ Ì Ô‚˚¯‡ÂÚCost(LIM)/dcost, ÔÓÒÍÓθÍÛ Cost(INIT) = 0, ‡ ‰ÎflÔÂÂıÓ‰‡ Í Í‡Ê‰ÓÈ Ó˜Â‰ÌÓÈ ËÚ‡ˆËË ‡Î„ÓËÚχ ‰ÓÎÊÌÓ ·˚Ú¸ ‚˚ÔÓÎÌÂÌÓ ÛÒÎÓ‚Ë (Cost(Xi – 1) –– Cost(Xi) ≥ dcost);2) ̇ ͇ʉÓÈ ËÚ‡ˆËË ‚˚ÔÓÎÌflÂÚÒfl Ó‰ËÌ ‚˚ÁÓ‚ Ôӈ‰Û˚ find_estimates Ë Ì ·ÓΠNest ‚˚ÁÓ‚Ó‚ ÔÓˆÂ‰Û refin_compatible Ë find_cjmpatible;3) ͇ʉ‡fl ËÁ ‚˚Á˚‚‡ÂÏ˚ı ÔÓˆÂ‰Û fl‚ÎflÂÚÒflÁ‡‚¯ËÏÓÈ (Ó·ÓÒÌÓ‚‡ÌË ˝ÚÓ„Ó Ò‚ÓÈÒÚ‚‡ ‚˚ıÓ‰ËÚ Á‡ ‡ÏÍË ‰‡ÌÌÓÈ ÒÚ‡Ú¸Ë).4. ùÍÒÔÂËÏÂÌڇθÌÓ ËÒÒΉӂ‡ÌË ‡Î„ÓËÚχÙÓÏËÓ‚‡ÌËfl ÂÍÓÏẨ‡ˆËÈ. è˂‰ÂÏ ÂÁÛθڇÚ˚ ˝ÍÒÔÂËÏÂÌڇθÌÓ„Ó ËÒÒΉӂ‡ÌËfl ‡Î„ÓËÚχ Ò˝‚ËÒÚ˘ÂÒÍËÏ ‚˚·ÓÓÏ ÓÒ··ÎflÂÏÓ„Ó Ú·ӂ‡ÌËfl,ÓÔËÒ‡ÌÌÓ„Ó ‚ ‡Á‰. 3.1.
àÒÒΉӂ‡ÌË ÔÓ‚Ó‰ËÎÓҸ̇ ̇·Ó ÒÓÓ·˘ÂÌËÈ, Ô‰̇Á̇˜ÂÌÌÓÏ ‰Îfl Ô‰‡˜Ë ÔÓ Í‡Ì‡ÎÛ åäàé2 [1] ‚ ÒÓÒÚ‡‚ ‡θÌÓÈ ·ÓÚÓ‚ÓÈ ÇëêÇ. ÑÎË̇ ËÌÚ‚‡Î‡ Ô·ÌËÓ‚‡ÌËfl Lint ·˚·‚˚·‡Ì‡ ‡‚ÌÓÈ 1000000 ÏÍÒ (1 Ò), ÔÓÒÍÓθÍÛ ÏËÌËχθ̇fl ˜‡ÒÚÓÚ‡ ÒÓÓ·˘ÂÌËÈ ËÁ ̇·Ó‡ ‡‚̇ 1 Ɉ.éÒÌÓ‚Ì˚ ı‡‡ÍÚÂËÒÚËÍË Ì‡·Ó‡ ÒÓÓ·˘ÂÌËÈÒÎÂ‰Û˛˘ËÂ:ÍÓ΢ÂÒÚ‚Ó ÒÓÓ·˘ÂÌËÈ: 160;˜‡ÒÚÓÚ˚ ÒÓÓ·˘ÂÌËÈ (Ɉ): 1, 2, 5, 10;ÍÓ΢ÂÒÚ‚Ó ‡·ÓÚ (ËÒıÓ‰fl ËÁ Lint = 1000000 ÏÍÒ):650;Á‡„ÛÁ͇ ͇̇· (ÓÚÌÓ¯ÂÌË ÒÛÏχÌÓÈ ‰ÎËÚÂθÌÓÒÚË ‡·ÓÚ Í ‰ÎËÌ ËÌÚ‚‡Î‡ Ô·ÌËÓ‚‡ÌËfl): 0.33.íÂıÌÓÎӄ˘ÂÒÍË ӄ‡Ì˘ÂÌËfl ̇ ‡ÒÔËÒ‡ÌËÂÒÓÓÚ‚ÂÚÒÚ‚Ó‚‡ÎË Û͇Á‡ÌÌ˚Ï ‚ ‡Á‰.