Динамик программалаштириш. Беллман функцияси ва тенгламаси - Algebra - Referatlar

Динамик программалаштириш. Беллман функцияси ва тенгламаси

Yuklangan vaqt:

14.12.2019

Ko'chirishlar soni:

0

Hajmi:

381 KB

Ko'chirib olish

Динамик программалашт и риш. Беллман функцияси ва тенгламаси. Беллман функциясини хисоблаш. Дискрет жараёнларини оптимал бошқаруви. Дискрет максимум принципи Режа: 1. Динамик программалашт и риш. Беллман функцияси ва тенгламаси. Беллман функциясини хисоблаш 2. Дискрет жараёнларини оптимал бошқаруви. Дискрет максимум принципи

Динамик программалашт и риш. Беллман функцияси ва тенгламаси. Беллман функциясини хисоблаш Динамик программалаштириш деб математик моделлари кўп босқичли ва динамик жараёнли характерга эга бўлган чизиқсиз программалаштришнинг махсус масалалари (I-IV) ва оптимал бошқарув масалаларин ечишнинг ҳисоблаш усулига айтилади. Бу усул жараёнларнинг кетма-кет таҳлилига асосланган бўлиб, экстремал масалаларн ечишда америкалик олим Р. Беллман томонидан XX асрнинг 50-йилларидан бошлаб дастлаб систематик ва пирнципиал кенг қўлланила бошланди. Мазкур маърузада бу усулнинг асосий қоидалари чизиқсиз программалаштиришнинг қатор махсус масалалари учун баён қилинади. Динамик программалаштиришнинг оптимал бошқарув масалаларига татбиқлари берилади. 1-§. Ресурсларни таҳминлаш масаласи Айтайлик, с ҳажмли хомашё ва n та технологик жараён мавжуд бўлсин. Агар хомашёнинг х миқдорини x технологик жараёнда сарфланса, ) (x fi фойда олинади. Максимал фойда олиш учун хом ашёни жараёнлар ўртасида қандай тақсимлаш керак? Фараз қилайлик, i xi - жараён учун ажратилган хом ашё миқдори бўлсин. У ҳолда қўйилган ресурсларни тақсимланиш масаласининг математик модели      n i i i n i i i nixcxxf 1 1 ,1,0,max,)( (1) кўринишини олади. ( 1 ) чизиқсиз программалаш масаласининг ўзига хослги шундан иборатки, унинг мақсад функцияси ) (x f ва асосий чеклаш функцияси ) (x g

сепарабелдир, яъни улар бир ўзгарувчили функциялар йиғиндиси шаклида ифодаланган. Электремал масалани динамик программалаш усули билан ечишнинг биринчи босқичи-берилган масалани унга ўхшаш масалалар оиласига инвариант туркумлашдан иборатдир. Бу босқич маълум маънода санъат бўлиб, ҳар бир муайян ҳолда тадққотчининг тажрибаси, сезгиси ва маҳоратига боғлиқдир. У (1) масала учун ихтиёрий n k k  1, сондаги технологик жараёнларга ва c y y  0, хом ашё ғамламасига эга бўлган ресурсларни тақсимлашнинг ушбу         n i i i n i i i n i x y x x f 1 1 ,1 ,0 , max, ) ( (2) масалаларни қарашдан иборатдир. c y n k   бўлганда (2) масалалар оиладан бошланғич (1) масала олинади. Беллман функцияси ва тенгламаси (2) масалалар оиласидан олинган ихтиёрий масала мақсад функциясининг оптимал қиймати ) (y Bk Беллман функцияси дейилади ва куйдагича белгилаш киритилади         k i i i k i i i k k i x y x x f y B 1 1 ,1 ,0 , ), ( max ) ( (3) Масалани динамик программалаш усули билан ечишнинг иккинчи босқичи-Беллман функцияси учун тенгламани олишдан иборатдир. Бу босқичда беллманнинг оптималлик принципи умумий ҳолда қўлланилади. (1) масала учун унинг моҳияти қуйида келтирилган мулоҳазалар орқали берилади. Бу мулоҳазалар оддий математик фактларга асосланган ва етарлича универсал. Изланаётган тенгламани тузишда инвариант жойлашнинг тўғрилиги намоён бўлади. Иккинчи томондан, жойлаштириш усули тенгламанинг кўринишида ҳам сезилади, k жараёнли ва у хом ашё ғамламасига эга бўлган (2) масалада k -жараёнга y z z  0, миқдордаги хомашё ажратамиз. Бунда k жараёндан олинадиган жойда ) (z fk га тенг бўлади. 1, 2, ..., k -1 номерли жараёнлар учун эса y - z миқдордаги хомашё қолди. Айтайлик, бу хомашё қолган жараёнларга оптимал тақсимланган

бўлсин. (3) нинг аниқланишига кўра k -1 та жараёндан келадиган фойданинг максимал миқдори $) (1   y Bk га тенг бўлади. Шундай қилиб, k жараёнга z миқдорда хомашё ажратилганда барча k жараёнлар ва у хомашё ғамламасидан ) ( ) ( 1 z y B z f k k    (4) фойда оламиз. Z миқдорни y z 0 чегарасида ўзгартириб, (4) умумий фойда максимал бўладиган ) (0 y xk жараён учун хомашёнинг оптимал миқдори) қийматни топамиз:  .) ( ) ( 0 max )) ( ( )) ( ( 1 0 1 0 z y B z f y z y x y B y x f k k k k k k          (5) Иккинчи томондан, (3)га асосан хомашё миқдори у бўлганда k та жараёндан олинадиган максимал фойда ) (y Bk га тенгдир. Бу қийматни (5) ифоданинг ўнг томонига тенглаштириб, ) (y Bk функция учун   c y n k z y B z f y z y B k k k          0, ,1 ,) ( ) ( 0 max ) ( 1 (6) тенгламани оламиз. Бу Беллман тенгламаси деб аталади. (6) тенглама ) (y Bk функциянинг нисбатан реккуренг бўлганлигидан уни ечиш учун бошланғич шарт берилиши керак. Уни (3) дан 1 k бўлганда топиш мумкин: 0 ), ( max ) ( 1 1 1 1   x x f y B шундай қилиб , Беллман тенгламаси (6) учун бошланғич шарт ) ( ) ( 1 1 y f y B  (7) кўринишга эга бўлади . Бел л ман тенгламасини ечиш Масалани динамик программалаш усули билан ечишнинг учинчи ( ва охирги ) босқичи Беллман тенгламасининг ечимини излашдан ва у бўйича (1) масаланинг ечимини қуришдан иборатдир . (6) тенгламада 2k деб оламиз:  ) ( )( 0 max ) ( 1 2 2 z y B z f y z y B      (8) Бу ифоданинг ўнг томонидан берилган ) (2 z f функция ва (7) дан топилган ) (1 y B функция бор. Шунинг учун (8) формула маълум бир ўзгарувчилиги

функцияни максималлаштириш билан ) (2 y B функцияни ҳисоблаш имконини беради. Сўнгра (6) да n k ,...,4,3  деб олиб, ҳар бир ҳолда бир ўзгарувчилиги функцияни максималлаштириш амални бажариб, кетма-кет ) ( ),..., ( ), 4 3 y B y B y B n функцияларн оламиз. (1) га асосан ) (c Bn сон (1) бошланғич масала учун максимал фойдадан иборатдир. Хомашёнинг технологик жараёнлар бўйича оптимал тақсимотини топиш учун (5) ифодага мурожаат қиламиз. Унда c y n k   , деб олб, (5) нинг аниқланиши бўйича агар барча c та жараён учун хомашё миқдори с га тенг бўлса, охирги жараёнга (бу ҳолда n - жараёнга) ажратилган хомашёнинг оптимал миқдорга тенг бўлган ) ( 0 c x n сонни оламиз. Шундай қилиб, бошланғич масала  0 01 0 ,..., nx x x  оптимал режасининг 0nx компонентаси топилади: )(0 0 c x x n n Агар n - жараён учун 0nx миқдор ажратилса, у ҳолда қолган n -1 та жараён учун 0nx c миқдордаги хомашё қолади. (5) да 0 ,1 nx c y n k     деб оламиз ва ) ( 0 01 n n x c x   ни топамиз. Равшанки, (1) масаланинг 0x оптималнинг охиргидан олдинги компонентаси ) ( 0 01 01 n n n x c x x     га тенгдир. Ечиш жараёнини давом эттириб, (1) бошланғич масала ечимининг 0 02,..., n n x x  компонентларини топамиз. Натижани таҳлил қиламиз. Усулнинг афзалликлари: 1) бошланғич n та ўзгарувчи бўйича максималлаштириш масаласи (1) битта ўзгарувчи бўйича n -1 та максималлашитириш масаласи (6) га келтирилди ҳамда натижа-глобал оптимал режадан иборат бўлди; 2) ечиш жараёнида масала элементларининг аналтик хоссаларидан фойдаланилмайди; берилган функциялар жадвал, график, алгоритмик ва ҳ.к кўринишда берилиши эди; 3) ) (y Bk ларни ҳисоблаш натижалари бўйича c ва n нинг қийматларини вариациялаб, (1) масаланинг ечимини осон қуриш мумкин; бу (1) масала ечимининг кўрсатилган параметрларнинг ўзгаришига сезгирлигини таҳлил имконини беради.

Усулнинг асосий камчилг Беллман томонидан «ўлчовнинг қарғши» деб аталган бўлиб, у шундай иборатки, (6) Беллман тенгламасини ечишда функцияларни эсда сақлашга тўғри келади. Берилган битта хомашёни тақсимлаш масаласида улар бир ўзгарувчили функциялардан иборат. Умумий ҳолда эса аргументларнинг сони хомашёнинг хиллари сонига тенг бўлади. ЭХМ да кўп ўзгарувчили функциялар ( n >2) жадвалларини тузиш оператив хотира имкониятининг чегараланганлигидан принципиал қийинчиликларга олиб келади, шунинг учун бу усулнинг муҳокама қилинаётган шу камчилиги кўп ўлчовли (с-вектор) масалаларни ечишда динамик программалашнинг юқорида баён қилинган классик тарҳини амалга ошириш имконини бермайди. «Ўлчов қарғиши» ни бартараф этишнинг турли усуллари тавсия қилинган. Беллман функциясини хисоблаш (1) масалага оид сонли мисол қараймиз, унинг катталиклари I – жадвалда берилган. Беллман функциясини ҳисоблашни 2-жадвалда бажарамиз. Ҳар бир катакда беллман функциясининг қиймати билан бир қаторда, қавс ичида I- жадвал x 0 1 2 3 4 5) (1 x f 0 1 2 3 4 5 ) (2 x f 0 1 2 3 4 5 ) (3 x f 0 1 2 3 4 5 2- жадвал y 1 2 3 4 5 ) (1 y B 1 2 3 4 5 ) (2 y B 1(0) 2(0) 3(0) 4(0.4) 7(5) ) (3 y B 2(1) 3(1) 4(1) 5(1) 7(0)

(6) тенгламанинг ўнг томони максимумга эришадиган ) (0 y xn қиймат ҳам кўрсатилган. V.2-жадвалдан кўринадики, қаралаётган масалада максимал фойда 7 )5(3  B бўлади. Ресурсларни оптимал тақсимланишни топамиз. 0 )5(03  x бўлганлигидан, учинчи технологик жараёнга ресурс ажратамиз: 0 03 x . Шундай қилиб, 1, 2 жараёнларга тўлиқ 5 ҳажмдаги ресурс қолди. V.2- жадвалдан 5 )5(02  x эканлигини топамиз. Демак, максимал фойда олиш учун ҳамма ресурсни иккинчи технологик жараёнга ажратиш керак )5 ( 02 x . шунинг учун, 0 01 x . Дискрет жараёнларини оптимал бошқаруви. Дискрет максимум принципи Ҳолати фақат дискрет вақт моментларида ўзгарадиган ёки ўлчаш мумкин бўлган жараёнлар (тизимлар) дискрет (кўп қадамли, кўп босқичли) деб аталади. Улар кўп амалий масалаларни моделлаштиришда юзага келади. Вакт бўйича узлуксиз жараёнлар ҳам ЭХМни куллаш боскичи олдидан дискрет холатга келтирилади Чизиксиз программалаш масалаларининг махсус синфини ташкил килувчи дискрет жараёнларни оптималлаштириш масаласини ечиш учун, ди намик программалаш усули ишлаб чиқилган. 1. Дискрет максимум принципи. Ушбу n улчовли ( )x t х о лати дискрет вакт моментлари )0 ,...( 2 , , 0 0 0    h h t h t t да ] ,..., , [ , ) ( ), ),( ),( ( )( ) ( 1 0 0 0 0 h t h t t T t x t x t t u t x hf t x h t x         (1) рекуррент тенгламага мувофик узгар а диган жараённи караймиз, бу ерда t t u )( моментда бошқарув r -вектори; 0 h — дискрет жараённинг кадами. (1) модель, масалан, ), , ( t u x f x узлуксиз моделдан h t x h t x t x / ))( ) ( ( )(    деб олсак келиб чик ад и. r улчовли фазонинг берилган ) (t U тўпламларидан қийматлар қабул килувчи r T t t u  ),( - векторлар кетма-кетлиги T t t U t u   ),( )( (2)

ни жоиз бошқарув деб атаймиз. Хар бир жоиз бошқарув T t t u  ),( бўйича (1) га мувофик, (I) дискрет тизимнинг жоиз траекторияси деб аталадиган n t h t t T t t x ] ,..., , [ ),( 1 0 0 1    га- векторлар кетма-кетлигини куриш мумкин. Ушбу min )) ( ( ) ( 1   tx uI  (3) мақсад функциясини (сифат критерийсини) жоиз бошқарувларда минималлаштириш масаласи дискрет тизимларда тер минал бошқарувнинг энг содда масаласи деб аталади. Агар ) (1t x векторни (1) дан топиб (3) га қуйсак, чизик, сиз программалаштириш масаласи х о сил булади. Бош қ арув масалалари учун хос булган катта 0 1 t t  ларда ёки кичик h ларда хосил килинган масала жуда куп сондаги узгарувчиларга эга булади ва II , IV боблардаги усулларнинг бевосита кулланилиши кийин ва самарали эмас. Шунинг учун (1)—(3) масалани ечишда (1) чеклашларнинг «динамиклигидан» и борат булган махсус тузилишини исобга олиш зарурдир. (1) — (3) масала мазкур бандда 2-§ масаласининг дискрет ухшаши сифатида талкин килинади ва унинг учун C x x x x t u x f t u x f      /) ( ) ( , /), , ( ),, , (   деб олиниб, Понтрягин мак симум принципининг дискрет варианти исботланади. (1)-(3) масаланинг 1 0 0 ),( ),( T t t x T t t u   ечимини оптимал бошқаруви ва траектория дейимиз. T t t u  ),(0 билан бирга бршқа жоиз T t t u t u t u    ),( )( )( 0 бошқарувини қарамиз ва орттирма хислоблаймиз: ||)) ( (||0 ) (' )) ( ( )) ( ( ) ( ) ( ) ( 1 1 1 0 1 0 0 tx x t x t x tx uI uI uI             (4) бу ерда , ),( )( )( 1 0 T t t x t x t x     тизимининг T t t u  ),( бишкарувга мос траекториясидир. Ихитиёрий n t x T t t t x ,0 ) ( , ),( ),( 0      -вектор-фукцилар учун             Tt Tt t x h t t x h t h t x t )) ( ) (' )( ) (' ) ( )(' 1 1    (5) айният уринлидир. Бу ерда x t x h t     / )) ( ( ) (' 1 0 1   (6)

деб олиб, (4), (5) дан               Tt Tt t x t x h t h t x t u I ||)) ( ||0 )( ) (' ) ( )(' ) ( 1 0   (7) ни оламиз. Траекториянинг )( )( )( 0t x t x t x    орттирмаси 0 )( )], ),( ),( ( ) ),( )( ),( )( ( [ )( ) ( 0 0 0 0           t x t t u t x f t t u t u t x t x f h t x h t x (8) тенгламани каноатлантирилганлигидан ( , , , ) '[ ( , , )], ( , , , ) ( , , , ) ( , , , ) u H x u t x hf x u t H x u t H x u t H x u t            белгилашларни киритиб, |))( (| 0 /), , , ( )(' ), , , ( ), , , ( ), , , ( ) ( )(' 1 0 0 0 0 0 0 0 t x x t u x H t x t u x H t u x Ht u u x x H h t x t u                  (9) деб ёзиш мумкин. Бу натижани (7) га куямиз ваш у билан бир вакт T t x t t u t t x H h t     , /) ),( ),( ),( ( ) ( 0 0   (10) деб оламиз. Натижада сифат критерийсининг орттирмаси учун изланган       Tt tu t t u t t x H u I   ) ),( ),( ),( ( ) ( 0 0 )( 0 (11) формулани оламиз, бу ерда            Tt tu x t t u t t x H t x t x ) ),( ),( )( ( )(' |),) ( (|0 , 0 0 )( 2 1 1 3 2 1        (12) 2-§ дагидек, бошқарувниниг игнасимон вариатцияси ўхшашини киритамиз:             t T t U v T u v t u , ,0 ) ( , ), ( )( (13) Бу функцияни (8) тенгламага келтириб қўйиб, ] , [ ], ),( )),(, ( ) ),( ),( )( ( [ )( ) ( ), ), ( ), ( ) ( ], , [ ,0 )( 1 0 0 0 0 0 0 0 h t h t t t u t x f t t u t x t x f h t x h t x u fx h h t x t t t x v                      (14) га эга бўламиз. Демак,          ) ), ( ), ( ), ( ( ) ( 0 0 0 u x H uI v (15) шу билан бирга 0 3  . Агар ) ( ),, ( ), ( ), , ( x t u b xt u A t u x f    -ботиқ функция бўлса, у ҳолда 0 ,0 1 2     яъни 0 ) ( )) ), ( ), ( ), ( ( 1 0 0 0           uI u x Hv бу эса T t t u  ),(0 оптимал бошқарув бўйлаб максимум шарти T t t u t t x H t t u t t x H t Uu    ), ),( ),( ( max )) ),( ),( ),( ( 0 )( 0 0   (16)

бажарилишини англатади. Умумий холда (16) шарт 0 ) ( 0   uI дан ва (15) формуладан келиб чиқмайди, яъни (13) вариация (1)-(3) масала учун максимум принципини исботлаш имконини бермайди. Буни шундай тушинтирилади: узлуксиз ҳолда (2-§) вақтнинг узлуксизлигидан фойдаланиш муҳим бўлиб, унеда игнасимон вариациянинг параметри  етарли кичик қилиб олигиши мумкин эди. Дискрет тизимларда бошқарувни бевосита вариация қилиш мумкин булган минимал вакт кесмасининг узунлиги 0h дан кичик була олмайди. Дискрет максимум принципи 1- теорема, (дискрет максимум принципи). Айтайлик 1 0 0 ),( ),( T t t x T t t u   — ушбу )}( ),, , ( : { ) ),( , ( t U u t u x f y y t t Ux f    (17) тўплами каварик булган (1) — (3) масаланинг оптимал бошқаруви ва траекторияси бўлсин. У х о лда 1 0 0 ),( ),( T t t x T t t u   ва (6) (10) қ ушма тизимнинг T t t  ),(  траекторияси буйлаб (16) максимум шарти бажарилади. Исботи. Айтайлик, теорема уринли булмасин, яъни бирор ) (  U v T   (6) лар учун 0 )) ), ( ), ( ), ( ( 0 0          u x Hv тенгсизлик бажарилсин. У х о лда ушбу ]1,0[ ], ), ( ), ( ( ) ( ), ( ( [ ) ), ( ), ( ( ) ), ( ), ( ( 0 0 0 0 0 0 0                  u x f v x f u x f v x f (18) тенгликни каноатлантирувчи r V v ]1,0[ ), ( ) (      - вектор функцияни курамиз. (17) тўпламнинг кавариклигидан бундай функция мавжуддир ( VII .19- чизма). ) ( v ни (14) га v нинг урнига куямиз. У ҳ олда бевосита х исоблашлар ёрдамида текширсак, , , ||)( || T t K t x     яъни 2 1  K  булади. Агар (18) тенгликни (15) да фойдалансак, 0 0 0 0 21 ( ) ( ( ), ( ), ( ), ) ) v I u H x u K                 ни оламиз . Бу ердан етарли кичик 0  ларда 0 ) ( 0   uI эканлиги келиб чикади. Бу T t t u  ),(0 бошқарувнинг оптималлигига зиддир. Теорема

исботланди. (17) шарт 1-теореманинг уринли булиши у чун мухимдир. Масалан,]1,0[ },1 : { )( ,0 )0( )0( ),( )( )1 ( , )( )1 ( min, )2( 2 1 21 2 2 1 1 2             T u u t U x x t x t x t x u t x t x x масалада 1 )1( ,1 )0( 0 0   u u оптимал бош қ арув максимум принципини қ аноатлантирмайди. Ҳ а қ и қ ат д ан, 1 )1( ,0 )1( ),( )1 ( , )( 2 )( )1 ( ), ( ) ( ), , , ( 2 1 2 2 1 2 1 1 21 2 2 1 1                       t t xt t t x x u x t u x H Бундан 1 )2( ,0 )1( ,2 )2( ,1 )1( 02 02 01 01     x x x x оптимал траектория буйлаб, u u u x H 2 )0( )0, ),0( ),0( ( ,1 )0( ,2 )0( 1 0 2 1            ни оламиз. U u u u x H    , 2 ) , ),0( ),0( ( 0   функция 1 )0(0  u u нуктада (16) максимумга эмас, балки минимумга эришади. (1)—(3) масала етарли кичик 0h ларда 2-§ да текширилган терминал бошқарувнинг энг содда масаласига якиндир. Бу масалаларда оптималликнинг зарурий шартлари орасидаги борланиш куйидаги даъво ёрдамида берилади. 2- теорема (квазимаксимум принципи) Айтлик берилган 1 0,t t ларда (1) тизимнинг жоиз траекториялари   0 , h h h бўйича текис чегараланган бўлсин. У холда ихтиёрил 0 сон учун шундай 0 * h сон топиладики, * 0 h h  булган (1) — (3) масаланинг хар бир T t t u  ),(0 оптимал бошқаруви (1,) (6), (10) тизимларнинг унга мос T t t T t t x   ),( , ),( 0 1 0  ечимлари билан бирга  максимум шартини қаноатлантиради:      ), ),( ),( ( ),( ),( ),( ( 0 0 0 0 0 t u t t x H t t u t t x H барча T t t U u   )( лар учун. Исботи. Фараз қилайлик, теорема уринли булмасин: шундай 0 *  сон мавжуд булиб, хар бир етарли кичик 0h учун шундай T h   ) (  ва ) ( ) (  U h v v   лар топилсинки, 0 ) ( ) , ), ( ), ( ( ), ( ), ( ), ( ( * 0 0 0 0 0      h v x H u x H            

бўлсин. T t t u  ),(0 бошқарувга (13) вариацияни куллаймиз. 2- § дагига ухшаш курсатиш мумкинки, T t t T t t x   ),( , ),( 0 1 0  траектория ларнинг текис чегараланганлигидан узгармас K ни 0 0, h h h   га бошлик булмаганда танлаш мумкин. Орттирма формуласи (15) дан ) (0 ) (0 ) ), ( ), ( ), ( ( ) ( * 0 0 0 0 h h u x H uI v              (19) ни оламиз. Исталган 0 0, h h h   лар учун 0 *   ва * сон h га борлик булмаганлигидан (19) нинг унг томони етарли кичик h ларда нолдан кичикдир: 0 ) ( 0   uI бу эса T t t u  )(0 нинг оптималлигига зиддир. Теорема исботланди.

O'xshashlar

Фазода Грин функцияси ёрдамида Лаплас тенгламаси учун қўйилган Дирихле

Динамик дастурлаш элементлари

Қавариқ программалаштириш

Чизикли программалаштириш назарияси

Симларда электр тебраниши тенгламаси. Иссикликнинг таркалиш тенгламаси