Deriving a dynamic programming algorithm for batch scheduling in the refinement calculus
Toplu iş çizelgeleme için bir dinamik programlama algoritmasının inceltme kalkülüsünde türetimi
- Tez No: 143422
- Danışmanlar: YRD. DOÇ. HALİT OĞUZTÜZÜN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Formal Metodlar, İnceltme, Program Sentezi, Formal Methods, Refinement, Program Synthesis
- Yıl: 2003
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
İnceltme Kalkülüsü adım adım program oluşturan bir formalizasyondur. Bu yaklaşımda, bir program belirtiminden inceltme kuralları uygulanarak türetilir. İnceltme Kalkülatörü TUCS, Finlanda'da geliştirilmiş olup, İnceltme Kalkülüsü'ne araç desteği sağlamaktadır. Bu tez teorinin uygulanabilirliğini ve aracın performansım ölçmeyi amaçlayan bir örnek olay incelemesi sunmaktadir. İnceltme Kalkülatörü tek- makinada toplu iş çizelgeleme için dinamik programlama algoritması türetiminde kul lanılmıştır. Kuadratik bir algoritma bu problemin formal belirtiminin çalıştırılabilir koda inceltilmesiyle türetilmiştir. İlgili tamm bölgesi teorilerine ve hedef dilde soyut lama mekanizmalarına daha fazla desteğin gereği farkedilmiştir.
Özet (Çeviri)
Refinement Calculus is a formalization of stepwise program construction. In this approach a program is derived from its specification by applying refinement rules. The Refinement Calculator, developed at TUCS, Finland, provides tool support for the Re finement Calculus. This thesis presents a case study aiming to evaluate the applicability of the theory and the performance of the tool. The Refinement Calculator is used for deriving a dynamic programming algorithm for a single-machine batch scheduling prob lem. A quadratic algorithm is derived by refining a formal specification of this problem into executable code. The need for stronger support for relevant domain theories and abstraction mechanisms in the target language have been noted.
Benzer Tezler
- Montaj hattı dengeleme
Assembly line balancing
MURAT UZMEN
Yüksek Lisans
Türkçe
1990
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. GÖNÜL YENERSOY
- Elektrik enerji iletim şebekelerinin optimal genişletme planlaması
Optimal expansion planning of power transmission networks
NAZİF HÜLAGÜ SOHTAOĞLU
Doktora
Türkçe
1994
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. NESRİN TARKAN
- Modeling and simulation of a maneuvering ship
Manevra yapan bir geminin modellenmesi ve benzetimi
SİNAN PAKKAN
Yüksek Lisans
İngilizce
2007
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. M. KEMAL ÖZGÖREN
DOÇ. DR. HALİT OĞUZTÜZÜN
- Adaptive equivalent consumption minimization strategy with driving pattern recognition for hybrid electric vehicles
Hibrit elektrikli araçlar için sürüş tanıma ile uyarlanabilir eşdeğer yakıt tüketimi minimizasyonu stratejisi
BARIŞ KALAYCI
Yüksek Lisans
İngilizce
2021
Mekatronik Mühendisliğiİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. VOLKAN SEZER
- Metro sefer planlaması yaparak enerji verimliliği optimizasyonu: Karma tamsayılı doğrusal programlama ve genetik algoritma yaklaşımları
Energy efficiency optimization through metro scheduling: Mixed-integer linear programming and genetic algorithm approaches
MUSTAFA KARAİPEK
Yüksek Lisans
Türkçe
2025
Mekatronik Mühendisliğiİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ABDURRAHMAN YILMAZ