Question

Difficulty: HardKarma Tamsayılı Programlama Modelleri

Bir kamu hastanesi, laboratuvarlarında kullanılmak üzere özel bir dezenfektan çözeltisinin kendi tesislerinde üretimine geçip geçmeme kararı alacaktır.

- Hastane bu çözeltiyi üretmeye karar verirse, kimyasal reaksiyon stabilitesi gereği ayda en az 500500 litre, tesis kapasitesi gereği ise en fazla 20002000 litre üretim yapmak zorundadır.
- Üretim yapılmaması kararı alınırsa, üretim miktarı tam olarak sıfır olacaktır.

Dezenfektan çözeltisinin aylık üretim miktarını litre cinsinden xx sürekli değişkeni ile ve üretim yapma kararını yy sıfır-bir (ikili) değişkeni ile ifade ettiğimiz bir Karma Tamsayılı Programlama (MIP) modelinde, bu durumu doğru bir şekilde ifade eden kısıt seti aşağıdakilerden hangisidir?

  1. x500y0x - 500y \geq 0 ; x2000y0x - 2000y \leq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0Answer
  2. B
    x500x \geq 500 ; x2000y0x - 2000y \leq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0
  3. C
    x500y0x - 500y \leq 0 ; x2000y0x - 2000y \geq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0
  4. D
    x500y0x - 500y \geq 0 ; x2000x \leq 2000 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0
  5. E
    x500y0x - 500y \geq 0 ; x2000y0x - 2000y \leq 0 ; y0y \geq 0 ve tamsayı ; x0x \geq 0

Answer

Modeli doğru ifade eden kısıt seti: x500y0x - 500y \geq 0 ; x2000y0x - 2000y \leq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0 kısıtlarını içeren seçenektir.
Karma Tamsayılı Programlama (MIP) modellerinde 'ya belirtilen aralıkta değer al ya da sıfır ol' şeklindeki yarı-sürekli (semi-continuous) durumlar, sınır değerlerinin bir sıfır-bir değişkeni ile çarpılmasıyla modellenir. Doğru seçenekte yer alan x500yx \geq 500y (yani x500y0x - 500y \geq 0) ve x2000yx \leq 2000y (yani x2000y0x - 2000y \leq 0) eşitsizlikleri bu mantığı tam olarak karşılar. y=1y=1 iken 500x2000500 \leq x \leq 2000 aralığı geçerli olur, y=0y=0 iken ise 0x00 \leq x \leq 0 (dolayısıyla x=0x=0) durumu zorunlu kılınır.

Step-by-Step Solution

1
Karar değişkenlerinin türlerini ve sınırlarını belirleme.
xx sürekli bir değişkendir (x0x \geq 0). yy ise evet/hayır kararını temsil ettiği için ikili (sıfır-bir) değişkendir (y{0,1}y \in \{0, 1\}).
Üretim miktarı kesirli olabilen bir sürekli değeri ifade ederken, üretime geçme kararı mantıksal bir seçimdir.
2
Üretim yapılması (y=1y=1) durumundaki kısıtları matematiksel olarak ifade etme.
Üretim varsa miktar 500500 ile 20002000 arasında olmalıdır: 500x2000500 \leq x \leq 2000.
Soruda belirtilen minimum reaksiyon stabilitesi ve maksimum tesis kapasitesi sınırlarıdır.
3
Üretim yapılmaması (y=0y=0) durumundaki kısıtı ifade etme.
Üretim yoksa miktar sıfır olmalıdır: x=0x = 0.
Karar verilmediğinde herhangi bir üretim gerçekleşemez.
4
İki durumu tek bir kısıt setinde birleştirmek için xx sınırlarını yy ile çarpma (Büyük-M tekniğinin yarı sürekli versiyonu).
Alt sınır için: x500yx \geq 500y. Üst sınır için: x2000yx \leq 2000y.
y=1y=1 iken 500x2000500 \leq x \leq 2000 olur. y=0y=0 iken 0x00 \leq x \leq 0 olur ki bu da doğrudan x=0x=0 eşitliğini sağlar.
5
Elde edilen eşitsizlikleri standart forma (değişkenler solda, sabitler sağda) dönüştürme.
x500y0x - 500y \geq 0 ve x2000y0x - 2000y \leq 0 denklemleri elde edilir.
Doğrusal ve tamsayılı programlama modellerinde kısıtlar genellikle standart formda yazılır.

Key Concept

Karma Tamsayılı Programlama Modellerinde Yarı Sürekli Değişken (Semi-continuous Variable) Modellemesi
Rate this question