докторска дисертација · математика, операциона истраживања, нумеричка оптимизација, убрзани градијентни методи, безусловна оптимизација, линијско тражење, конвергенција
Dvosmerni i dvokoračni ubrzani metodi za bezuslovnu optimizaciju
др Милена Петровић — данас редовна професорка на Природно-математичком факултету Универзитета у Приштини са привременим седиштем у Косовској Митровици (према јавној страници факултета)
Универзитет у Нишу, Природно-математички факултет, Департман за математику; 2014 (комисија за оцену именована 24. децембра 2014, извештај 30. децембра 2014); рад је писан латиницом; наслов на српском: Двосмерни и двокорачни убрзани методи за безусловну оптимизацију; 150 страна (основни текст стр. 1–146, литература 147–150), уз биографију, библиографију ауторке и изјаве на крају; научна област математика, дисциплина операциона истраживања
Пун текст рада и извештај о оцени у Националном репозиторијуму дисертација у Србији (НаРДуС). Осврт: „Стручни критички осврт на дисертацију „Dvosmerni i dvokoračni ubrzani metodi za bezuslovnu optimizaciju““, 23. септембар 2026., 14 страна, с пописом литературе.
Дисертација конструише три убрзане градијентне методе првог реда за нелинеарну безусловну оптимизацију — двосмерни метод ADD, двокорачни ADSS и његову једнокорачну трансформацију TADSS — у којима се дужина корака одређује Армијевом backtracking процедуром, а убрзање уноси скаларни параметар изведен из Тејлоровог развоја. За све три доказује добру дефинисаност и линеарну конвергенцију на униформно конвексним и строго конвексним квадратним функцијама, пореди их међусобно и са SM методом на скупу тест функција (број итерација, процесорско време, број евалуација) и обједињује их општом двосмерном/двокорачном шемом.
Основне примедбе
| # | Примедба | Шта рад каже или ради | У чему је проблем | Стране | Мерило |
|---|---|---|---|---|---|
| 1 | Два непотпуно спроведена међукорака у доказима | У доказу теореме о конвергенцији ADD-а на строго конвексним квадратним функцијама (Теорема 4.5) једна компонента разлаганог градијента носи, поред контрахујућег множиоца, и адитивни члан другог реда по кораку, који доказ нити ограничава нити уклања, а другу неједнакост само наводи; у доказу доње границе у леми TADSS дела (Лема 4.9) међукорак у низу (4.99) није тачан, а завршна оцена важи само за конкретне вредности параметара backtracking процедуре. | Тражена оцена контракције, како је исписана, не следи из показаног; обе празнине погађају строгост међукорака, а не исход — закључак о конвергенцији опстаје независним путем (квадратне функције су и униформно конвексне, па их покрива општија теорема). | поглавље 4 | аргумент из грађе самог рада |
| 2 | Једначине сложене без квадратног члана, без множења матрицом или с погрешним знаком | У дефиниционој једначини параметра убрзања (4.14) изостао је квадратни множилац корака; помоћна функција за сопствени смер исписана је без квадратне форме, па би минимум био неограничен; мотивациона једначина за апроксимацију инверза Хесијана одштампана је с погрешним знаком; у једначини (4.106) изостало је множење матрицом. | Дословно узете, једначине не дају оно што текст тврди; исправан облик рад свуда користи у доказима и на суседним местима, па је реч о слагању, не о садржини. | поглавље 4 | аргумент из грађе самог рада |
| 3 | Спецификација алгоритама и заштитно правило | У заглављима алгоритама ADD и TADSS наводе се два параметра која се ни у једном кораку не користе, док параметри backtracking процедуре и праг заустављања нису наведени; праг за замену параметра јединицом дат је једном као „није позитиван“, а једном као „строго негативан“; једна напомена спаја ознаке у непостојећу „Лему 4.93“. | Заштитно правило замене параметра јединицом излази из претпоставки под којима је конвергенција доказана и заслужује изричиту ограду; поистовећивање два различита услова у напомени треба уклонити. | поглавље 4 | аргумент из грађе самог рада |
| 4 | Збирни фактори убрзања без профила учинка | Резултати су приказани збирним и просечним табелама; збирни фактори убрзања (реда неколико десетина до неколико стотина пута) аритметичке су средине преко функција чији се број итерација креће од десетак до преко сто хиљада. | Просеци преко скупа функција могу бити доминирани малим бројем најтежих проблема, па факторе треба узети као оквирне, а не као меру типичног понашања; профил учинка је пожељан начин прецизнијег приказа. | поглавље 4.5 | Dolan & Moré, Mathematical Programming 91, 2002 |
| 5 | Поновљивост огледа: непотпун опис окружења | Опис огледа наводи само процесор — „Workstation Intel Celeron 2.2 GHz“ (стр. 112), касније „Workstation Intel 2.2 GHz“ (стр. 132) — без RAM-а, оперативног система, верзије преводиоца, броја понављања мерења и експлицитних почетних тачака. | Празнине највише погађају процесорско време као једну од трију мера; број итерација и број евалуација су поновљиви, а почетне тачке имплицитно даје Андрејева збирка тест-функција. | 112, 132 | Crowder, Dembo & Mulvey 1979; Jackson и др. 1991; Andrei 2008 |
| 6 | Унутрашње неусаглашености у извештавању | Закључак да ADSS „višestruko prevazilazi SM i ADD algoritme“ (стр. 132) преувеличан је за број итерација наспрам ADD (предност око девет одсто, коју рад две стране раније назива „uz blagu prednost u korist ADSS algoritma“, стр. 130); реченица „Iako rezultati iz Tabele 4.10 pokazuju bolje performanse ADSS u 17 od 22 testiranja“ (стр. 142) приписује податак погрешној табели и погрешном методу; однос 18 од 25 треба да гласи 19 од 25; иста вредност из табеле употребљена је у тексту као процесорско време. | Противречности унутар исте стране и преувеличан суперлатив; тачни подаци стоје у табелама, па закључак не мења, али формулације треба ускладити. | 130, 132, 142 | аргумент из грађе самог рада |
| 7 | Штампарске и нотационе омашке у прегледном делу | У општем алгоритму (2.1) корак ажурирања пренет је без вектора правца; у формули за метод конјугованих градијената (2.19) изостао је оператор сабирања; иста ознака користи се и за скаларни фактор убрзања и за матричну апроксимацију инверза Хесијана; акцелерациони градијентни метод означен је као „detektovao Nekulaj Andreji (N. Andrei) u radu [34]“ (стр. 19), иако је реч о јединици [3]. | Исправан облик рад по правилу даје на другом месту; двозначна нотација накратко може збунити, а погрешан број референце треба исправити. | 19 | Halmos, How to write mathematics, 1970; аргумент из грађе самог рада |
| 8 | Транскрипција страних имена и лектура | Име Neculai Andrei јавља се у неколико прилагођених облика, презиме Borwein једном као „Barzilai i Borvein“ (стр. 14); прва реченица закључка гласи „Istraživanaja predstavljena u ovoj disertaciji“ (стр. 145); програмски језик наведен као „programskom jeziku visal C++“ (стр. 132); симплекс метод датован као „kraj ˇcetvrte decenije prošlog veka sa nastankom Dantzigovog simpleks metoda“ (стр. 1), иако је настао касних четрдесетих. | Норма прописује једно, доследно прилагођено писање страног имена; број словних грешака указује на непотпуну лектуру; датовање је омашка реда једне деценије. | 1, 14, 132, 145 | Правопис српскога језика, Матица српска, 2010; Nocedal & Wright 2006, гл. 13 |
| 9 | Научни апарат и извештај комисије | Попис од 62 јединице потпуно је двосмерно усклађен с позивањима; ситне омашке у јединицама (искварен списак аутора, недостајућа цифра у години, неуједначено писање презимена, један интернет извор без датума приступа); најављени индекс појмова не постоји; извештај наводи 23 табеле, а нумерисаних је 22; насловне стране носе две словне грешке у енглеском наслову. | Формалне замерке по мерилу једнообразности референци; неслагање броја табела је бројање у обрасцу, не недостатак рада. | 147–150 | ISO 690:2010; Одлука о достављању докторских дисертација, Гласник УНи 4/2013 |
Шта рад доноси
- Три сопствене итеративне шеме с двоструком, теоријском и нумеричком потврдом; носећи корак анализе на квадратним функцијама изведен је чисто — рад препознаје да је реч о „Rejlijev koliˇcnik realne simetriˇcne matrice A“ (стр. 110) и одатле добија оцену између најмање и највеће сопствене вредности, на коју се ослањају сва три метода.
- Промишљен контролни оглед: да би показала да убрзање потиче од уведеног параметра, а не од двосмерне форме, ауторка тестира и „neubrzani pandam ADD algoritma bez pomenutog parametra“ (стр. 112), означен као NADD.
- Поштење према границама сопствених метода: „ADD model nije presežan u odnosu na SM“ (стр. 116) по времену и броју евалуација, што води конструкцији ADSS; домет теорије изричито је омеђен — конвергенција је „pokazana je za uniformno konveksne funkcije i striktno konveksne kvadratne funkcije pod odred-enim uslovima“ (стр. 22).
- Методолошки исправно поређење: „Koriš´cen je isti kriterijum završetka kao u [1]“ (стр. 112), избор SM-а за поредбену методу транзитивно образложен („bilo je dovoljno za poredbeni metod odabrati SM metod“, стр. 112), а основица проширена на веће димензије.
- Синтеза која три метода обједињује као специјалне случајеве једне опште шеме (4.111), уз уоквирење да „Jasno je da ima dosta prostora i razloga za dalja prouˇcavanja dvosmernih i/ili dvokoraˇcnih modela opšteg oblika 4.111“ (стр. 146); по-функцијска пребројавања победа не зависе од размере: ADSS „daje bolje rezultate kod 21 od 25 testirnih funkcija u pored-enju sa SM metodom“ (стр. 129).
Образложење примедби
- Два непотпуно спроведена међукорака у доказимаТврђења одговарају већ објављеним радовима на којима почивају одговарајући одељци; реч је о деловима доказа које треба допунити, не о нетачном резултату.
- Једначине сложене без квадратног члана, без множења матрицом или с погрешним знакомЗамерке су формалне и самоисправиве из истог текста.
- Спецификација алгоритама и заштитно правилоПрави услов експлицитно је наведен у самој теореми, па забуне о томе шта се доказује нема.
- Збирни фактори убрзања без профила учинкаПоузданост закључка о превласти почива на по-функцијским бројевима победа, који не зависе од размере; табеле по проблему рад доследно даје.
- Поновљивост огледа: непотпун опис окружењаПараметри backtracking процедуре и критеријуми заустављања јесу наведени.
- Унутрашње неусаглашености у извештавањуОдступање за једну функцију иде на сопствену штету рада.
- Штампарске и нотационе омашке у прегледном делуПрве три главе су, у највећем делу, коректан и функционалан преглед.
- Транскрипција страних имена и лектураНиједна омашка не мења математички садржај.
- Научни апарат и извештај комисијеПосредног цитирања нема; темељни радови наведени су из примарних извора; услов објављеног рада (два рада M21) испуњен је.
Осврт не доводи у питање оригиналност рада и не тврди повреду академске честитости. Реч је о стручној критици тачности, метода и закључивања, с дословним наводима и странама дисертације. Као мерило су коришћени само литература, стандарди и прописи који су постојали пре предаје рукописа комисији (децембар 2014).