Mühendislikte Bilişim Programlamayı Anlamak

Integer programlama (IP) bazı veya tüm karar değişkenlerinin sadece tamsayı değerlerine uyması için kısıtlanmış bir matematiksel optimizasyon sınıfıdır.Bu gereksinim, birimlerin ne kadarını, hangi bileşenleri seçmesi, bir tesisin açılması veya tam bir program şeklinin en aza indirmek için kısıtlayıcı bir nesneye tabi tutmaları doğal olarak ortaya çıkar.

Mühendisler IP'yi yapısal tasarım gibi çeşitli alanlarda karşı karşıya bırakıyor (belirli kataloglardan gelen kiriş bölümleri), elektrik güç şebeke planlaması (imza ve iletim genişleme), kimyasal proses sentezi (kanış ekipmanları boyutları ve konfigürasyonları), ve uzaysal yörünge zamanlaması (tarafsız geçişler) Sürekli olarak, standart bileşenlerin tam zamanlı olarak ayarlanması veya mantıksal koşullara saygı duymaları için gerekli olan araçları, mantıksal koşullarla (öneticileri) ele almak için, IP hesaplamalarına yol açıyorlar. Gelişmiş heuristikler, sadece akademik olmayanlar; zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zaman zamanlayıcıları içinde, doğru bir dizileri yapabilmeleri için gerekli olan araçlardır.

Exact Yöntemleri Neden Uygulamalı

Tam programlama için geleneksel tam algoritmaları - line-and-bound, şube-ve-cut ve dinamik programlama - enumerasyon ağacının en üst düzeye kadar enumerating olasılıkları sistematik olarak sabit bir şekilde kullanarak, birçok mühendislik IP'ler lineer programlama sağlık alanlarından elde edilen sınırları kullanarak şubeler olarak kalıyorlar. Ancak, büyük ölçekli binlerce tam değişken ve karmaşık kısıtlamalar için, enumerasyon ağacının üst üste patlayabilir ve kesintiye uğrayabilir.

Ayrıca, kesin çözücüler problem yapısına karşı hassastır: yüksek çözünürlükteki IP'ler, birçok eşitlik kısıtlaması veya nonlinearities (örneğin, belirli olmayan koşullar gibi) genellikle mevcut durumu ortadan kaldırmak için IP-the-art çözücüler. mühendislikte, sorunlar sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık sık, hız, dayanıklılık ve sağlamlık garantiler karşılığında gelişmiş heuristics gelişimini teşvik eder.

Gelişmiş Heuristics: A Deeper Dive

Tam programlama için heuristics (ilk uygulanabilir bir çözüm üreterek) inşaat heuristics'e sınıflandırılabilir ve bir adayı iyileştirmektedir.Son iki yılda, bir dizi güçlü gelişmiş heuristics ortaya çıktı, her biri yerel optima'dan kaçmak ve arama alanını verimli bir şekilde araştırmak için ayrı mekanizmalar ile.

Metaheuristics such asurFLT:0)Genetic Algoritmalar (GA)), ) Simated Annealing (SA)) ve ) Tabu Arama (TS)[Dönetici)[Dönetici olmayan bir arama veya perturbasyon işlemine ekleyen yüksek seviyeli stratejilerdir.

Bu yöntemler mühendislikte popülerdir, çünkü paralelleştirmek kolaydır, sadece fonksiyon değerlendirmeleri (no gradient), ve kara kutu kısıtlamaları ile başa çıkabilir. Örneğin, GA başarıyla uygulanabilir.(Ücretsiz anten yerleştirme) ve [[Dönetici:2) boru tasarımı).

Değişken Neighborhood Search (VNS)

VNS, arama sırasında mahalle yapılarını değiştirme fikrini sistematik olarak kullanır. Başlangıç olarak, VNS giderek uzak mahallelerde (shaking) bir dizi hareket eder ve sonra mevcut en iyi çözümde yerel arama yapar. çünkü sabit hareketlerle sabit olan yerel miniciklerden kaçabilir.

Büyük Neighborhood Search (LNS)

LNS, tam bir çözücünün alt bir dizide kullanılabilmesi özellikle güçlüdür. Yöntem mevcut çözümün bir kısmını yok eder (örneğin, tam tersinin% 20'sini kaldırır) ve sonra LNS, tüm IP devre dışı bırakmamış çözümlerinin en uygun şekilde kullanılmasını sağlayabilir.In Engineering contexts such asFLT:0TORline mürettebat scheduling mürettebatı ve semiconductor fab scheduling)

Rahatlama ve turlama ile

Sadece LP rahatlamasını ve yuvarlaklaştırmayı yerine, gelişmiş tur heuristics kullanır: LP'yi çöz, bazı değişkenleri kısmi sonuçlara dayanarak tam anlamıyla doğrulayabilir (örneğin, 0 veya 1), birçok ikili değişkenle (teknolojide tekrarlayın) bu teknik hızlı bir başlangıç çözümü sağlar.

Hibrit Heuristics: Güçlü Güçleri Yanıyor

Karmaşık mühendislik IP için en etkili yaklaşım genellikle farklı heuristics'leri entegre eden veya tam bileşenlerle heuristics birleştirir. Örneğin, aİLFLT:0) bir heuretic algoritma) ile bir yerel aramayı her çocuk çözümüne uygular, nüfusun her zaman yerel olarak en iyi şekilde bir diğer güçlü hibrit olduğunu sağlar.)

Hibrit yöntemler özellikle değerlidir, çünkü onlar birleştirici ve çeşitlendirmeyi dengeler.Mühendislikte, problem verileri genellikle değişir (örneğin, güncel saatler) ve kapasite sınırları (IP’in gücü) ile idare edilebilir. Örneğin, inurFLT:0)

Mühendislikte Uygulamalar: Beton Örnekleri

Network Design and Resilience

Telekomünikasyon ve faydalı ağ tasarımı genellikle bağlantı kapasitelerini (standart çoklu standart bant genişliği) seçip, geri yükleme yollarının şarj edilmesi için yedek yollar atamasını içerir.Integer programlama modelleri için minimum 5 dakika içinde çözümler elde etmek için gösterilmiştir.).

Üretim Layout ve Scheduling

Fabrikalarda, DÜŞÜNÜ:0)cellular üretim problemi) bölümlere bölme makineleri, hücrelerarası hareketi en aza indirmek için hücrelere ayırmaktadır - IP.ETHFLT:2)Son araştırma), 20 saniye içinde 200 makine ile örneklerini çözmeye yönelik bir çok başlangıç tabu aramayı kullandı, boyutlandırmayı başardı.

Uydu Operasyonları'nda Kaynak Allocation

Uydu görevi zamanlaması, doğrusal bir programlama merkezi ile eklenmiş bir ekinleme ile ilgili bir dizi gözlem (özellikle belirli zaman pencereleri ve gücü gerektiren) bir uydunun yörüngesine kadar takımyıldızlar için karmaşık bir IPdir.Bu, önceki kısıtlamalar ve tamsayı zamanlarla karmaşık bir IPdir.

Machine Learning ile entegrasyon

Gelişen araştırma, örnek olarak tahmin edilen değişken düzeltmeleri veya umut verici mahalleleri, buİLRAT:2)) özellikle yeniden kullanılabilir mühendislik problemlerini (örneğin, kalıpların tekrarladığı) kullanarak yeniden tahmin etmek yerine, hangi değişkenleri büyük bir mahallede önceliklendirmek için tahmin edebilir.

Future Yol

Bir sonraki mühendislik IP için heuristics muhtemelen www.FLT:0) kendini takip eden algoritmaları), belirli kısıtlayıcı sorunlar için online olarak ekleyen parametreleri (öneticileri) için uyarıda bulundu.The push to real-time Optimization in Cyber-physical systems (aeeanglı araçlar, akıllı ızgaralar) sadece hızlı ve sağlam olmayan verileri talep ediyor.

Karşılaştırmalı kütüphanelerin standartlaştırılması (örneğin, "heuristic" ve "exact" arasındaki ayrım bulanıklaşır; Gurobi ve CPLEX gibi modern çözücüler zaten bu heuristics (feabil pompa, RINS, yerel şube) varsayılan stratejileri olarak gelişmiştir.

Özetle, gelişmiş heuristics tam yöntemler için bir yedek değil, ancak daha önce var olan sorunları çözmesine izin veren tamamlayıcı bir cephanedir. metaheuristics, mahalle arama ve hibritler manzaralarını anlamak veya doğru heuristic'i belirli tam tam tam tam programlama meydan okuması için seçebilirler - modern mühendisliğin talep ettiği çözümün kalitesinin ve hesaplama hızını anlamak.