Hava harekat görevlerinde filoların hedeflere atanmasının modellenmesi ve gerçekleştirimi
Design and implementation of an asset - target allocation system for air tasking orders
Yazar: ŞÜKRÜ TİKVEŞ
Danışman: PROF.DR. FARUK POLAT ; Y.DOÇ.DR. KAYHAN İMRE
Hacettepe Üniversitesi / Fen Bilimleri Enstitüsü / Bilgisayar Mühendisliği Ana Bilim Dalı
Derece: Yüksek Lisans, 2007
Konu: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control

Özet:
Bu çalış mada, hava operasyonları için askeri kaynak planma problemi vesprobleme yönelik üretilmiş çözüm yöntemleri araş tırılmış tır. Çeş itli problem büyüklüks s s sve karmaş ıklıkları için bu yöntemlerin uygulanabilirlik ve baş arımları incelemiş ,s s sayrıca gerçek zaman kısıtlarının bulunması durumunda bu yöntemlerden ne sekildeşğfaydalanabilecegi anlatılmış tır.s Çalış manın katkısı olarak, bu tür problemlerinsçözümü için bir çatı hazırlanmış ve çeş itli durumlar için uygun olan yöntems sçözümlemeleri sunulmuş tur.sğAskeri kaynak planlama problemleri, silahlı kuvvetlerin bulundurdugu kaynakları,gerçekleş tirmesi gereken görevlere en verimli olarak ataması ile ilgilidir. Tanımsolarak, eniyileme problemleri içinde, kombinasyonel optimizasyon dalına ve kar-maş ıklık olarak NP â Complete kümesine dahildirler. Ayrıca, düş man savunmas sbirimlerinin bulunması, görevlerin birbirleriyle iliş kilerinin kapsama eklenmesi, vbsğssartlara göre çeş itli sekillde degiş ebilen problem formülasyonları da bulunmaktadır.ş sşGeliş tirilen olası çözümlerin kıyaslanabilmesi için, yöntemlerin tümüne ortak birsğproblem tanımı oluş turulmuş ve tüm çözücülerin çalış tırılabilecegi yazılım çatısıs s shazırlanmış tır.s Yapılan deneyler sonucunda ise, görev sayısı olarak büyük vesğ ğkarmaş ıklıgı yüksek girdiler için genetik algoritma kullanmanın, diger hallerde iseğdallan ve sınırla ile tam arama yapmanın uygun oldugu görülmüş tür.sAnahtar Kelimeler: Askeri kaynak planlama, kombinasyonel optimizasyon, ge-netik algoritma, tam arama

Abstract:
This thesis considers the resource allocation problem and proposed solutionsfor air force military operations. The applicability of various methods depends onthe size of the problem and the complexity (i.e.: resource availability) of the inputconï¬guration. In thıs thesıs, a framework has been desıgned to analyse the methodsin different conditions.The military resource allocation problem tries the optimize to allocation of militaryassets to fulï¬ll a given list of objectives as effectively and efï¬ciently as possible. Theformulation of a speciï¬c problem may be adopted to include enemy defences orinter-mission dependencies into account. Yet, all the studied forms of the problemare classiï¬ed under combinatorial optimization branch of mathematical optimizationproblems.The problem complexity has been analysed, and shown to be in NP â Completeset. Also the suitability of solvers for real time constraints have been discussed.In order to compare different methods, a subset of the problem has been deï¬nedand a framework with the implementation of speciï¬c solvers has been prepared.The analysis of solver peformance show that genetic algorithms are appropriate forlarge and complex problem instances. Exhaustive search with branch-and-boundmethod is sufï¬cient for the other instances of the problem.Keywords: Military resource planning, asset allocation, combinatorial optimiza-tion, genetic algorithm, exhaustive search