Чизиксиз дастурлаш - Algebra - Referatlar

Чизиксиз дастурлаш

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

143 KB

Ko'chirib olish

Чизиқсиз дастурлаш 1. Шартли экстремум масалалари . Математик дастурлашда функциянинг чекли фазо тўпламларидаги экстремумини тадқиқ этиш билан шуғулланувчи бўлимга чизиқсиз дастурлаш деб аталади. Масаланинг умумий кўринишини қуйидагича ифодалаш мумкин:extr x f )( (1)  x (2) Бу ерда f ( x ) умуман олганда ихтиёрий табиатли функция,  - ҳам ихтиёрий тўплам. Масалани бундай кўринишда тадқиқ этиш жуда қийин бўлиб, f ( x ) ва  тўплам хусусида қанча маълумот кўп бўлса, уни ечиш усуллари шунча мукаммалроқ бўлади. Масалан, f ( x ) функция узлуксиз дифференциалланувчи 2R   бўлган ҳолда (1) - (2) масала мактаб дастурида ўрганилган бўлиб, мос масалага экстремум (шартсиз экстремум) масаласи деб аталади. (Умумий кўриниши эса extr x f )( , nR   бўлиб, бу ерда f ( x ) узлуксиз дифференциалланувчи функция, n R эса n – ўлчовли Евклид фазоси). Агар (1) - (2) масалада  тўплам бирор аниқ тўпламдан иборат бўлса, бундай масалалар шартли экстремум масаласи деб аталади. Қуйида шундай масалалардан бир туркумини ўрганамиз. 1. Шартли экстремум масалалари. Дейлик, n ўлчовли n R фазода узлуксиз дифференциалланувчи, f ( x ), g 1 ( x ),… g m ( x ) скаляр функциялар берилган бўлсин. Қуйидаги

         0 ) ( 0 ) ( 0 ) ( 2 1 x g x g x g m    ( 1 ) тенгламалар системасини қаноатлантирувчи нуқталар ичидан f ( x ) функцияга минимал қиймат берувчисини топинг. Қисқача қилиб, масалани min )(  x f ( 2 )    n j m i x g j i ,1 , ,1 0    ( 3 ) кўриншда ифодалаш мумкин. Бу масалани ечиш усулларидан бири Лагранжнинг кўпайтувчилар усулидир. Бу усулни баён этиш учун ( 2 ) ва ( 3 ) лар ёрдамида тузилган ушбу )( λ )( λ )( λ )( λ ) λ, , λ, λ,( 2 2 1 1 0 1 0 x g x g x g x f x F m m m        ) , , , , , , , ( 2 1 2 1 m nx x x F      Лагранж функцияси деб, аталувчи функцияни ва Лагранж кўпайтувчилари деб аталувчи (ҳозирча номаълум булган) mλ, , λ, λ, λ 2 1 0  ўзгармас сонларни киритайлик. 1 – теорема. (Лагранж кўпайтувчилар усули). Қаралаётган (2)-(3) масалада бирор жоиз x 0 нуқта масаланинг ечими бўлса, шундай mλ, , λ, λ, λ 2 1 0  (камида биттаси нолдан фарқли бўлган) кўпайтувчилар топиладики, шу нуқтада Лагранж функциясининг ҳосиласи нолга тенг бўлади: 0 ) ( λ ) ( λ ) ( λ ) λ, , λ, λ, ( 0 1 0 0 1 0 0              x x g x x g x x f x x F m m   ( 4 ) Умуман олганда ( 4 ) муносабат n та тенгликдан иборат бўлади, бунга ( 3 ) шартларни, яъни m та тенгламани қўшсак, масалани ечиш учун n + m та тенгликка эга бўламиз. Бироқ номаълумлар сони эса n + m +1 та (яъни nx x x , , , 2 1  лар n та, mλ, , λ, λ, λ 2 1 0  лар m +1 та) бўлади. Шунинг учун, умуман олганда, Лагранжнинг кўпайтувчилар усули номаълумларни бир қийматли аниқлаб бера олмайди.

2 – т еорема. Агар ( 2 ) - ( 3 ) масалада ( 3 ) тенгликларни ташкил этувчиx x g x x g x x g m       ) ( , ,) ( ,) ( 2 1  векторлар чизиқли эркли бўлса, Лагранж кўпайтувчиларидан бирини, масалан 1 λ0 қилиб олиш мумкин. Бу теорема шарти бажарилса, номаълумлар сони тенгламалар сонига тенг бўлади ва масалани бир қийматли ечишга имкон бўлади. 1-мисол . 2 1 2 1 4 ) , ( x x x x f  функциянинг x 1 , x 2 лар 2 22 21 R x x   тенгламани қаноатлантиргандаги максимум қиймати топилсин. Ечиш . Бу эса шартли экстремум масаласидир: max 4 ) , ( 2 1 2 1   xx x x f 0 ) , ( 2 22 21 2 1     R x x x x g 0 2 2 2 1         x x x g бундан кўринадики, x g   вектор чизиқли боғлиқли бўлгани учун 1 λ0 деб олиш мумкин. Демак, ) λ( 4 λ), , ( 2 22 21 2 1 2 1 R x x xx x x F     Лагранж функциясига нисбатан кўпайтувчилар қоидасини қўллаш мумкин:                                             2 22 21 2 1 1 2 2 1 2 1 2 22 21 2 1 2 1 2 1 0 λ2 4 0 λ2 4 0 ) , ( 0 0 λ2 4 λ2 4 R x x x x x x x x g x F x F R x x x x x F x x x F Бу тенгламалар системасидан x 1 , x 2 ларни топсак: 2 2 1 R x x   2 2 1 max 2 2 2 4 ) , ( R R R x x f    

2-мисол . 22 21 2 1 ) , ( x x x x f   функциянинг x 1 , x 2 лар 0 12 4 3 2 1    x x тенгламани қаноатлантиргандаги минимум қийматини топинг. Ечиш: Бу шартли экстремум масаласидир: min ) , ( 22 21 2 1    x x x x f 0 12 4 3 ) , ( 2 1 2 1     x x x x g 0 4 3         x g яъни x g   вектор чизиқли боғлиқли бўлгани учун, 1 λ0 деб олсак бўлади. Бу ҳолда ) 12 4 3λ( λ), , ( 212 22 121      x x x x x x F Лагранж функциясига нисбатан кўпайтувчилар қоидасини қўлласак:                             12 4 3 0 λ4 2 0 λ3 2 12 4 3 λ4 2 λ3 2 2 1 2 1 2 1 2 2 1 1 x x x x x x x x F x x F Охирги тенгликлар системасидан x 1 , x 2 ларни топсак: 25 48 ; 25 36 2 1   x x Демак, 25 144 25 48 25 36 ) , ( 2 2 2 1 min          x x f Мисоллар. Қуйидаги берилган мисолларда шартли экстремумларни топинг. 1. max 1 ) , ( 22 21 2 1     x x x x f 1 )1 ( )1 ( 2 2 2 1     x x 2. max ) , ( 21 2 1   xx x x f 1 2 1  x x 3. min 3 2 ) , ( 3 1 2 1    x x x x f 1 22 21  x x 4. min ) , ( 22 21 2 1    x x x x f 1 3 2 3 1   x x

O'xshashlar

Математик дастурлаш

Чизикли дастурлаш

Каварик дастурлаш

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

Чизикли буль дастурлаш моделлари