Szeregowanie zadań

Szeregowanie zadań

Problemy szeregowania zadań

Dany jest zbiór zadań oraz zbiór zasobów służących do wykonania tych zadań.

Należy wykonać wszystkie zadania z podanego zbioru w taki sposób, aby ekstremalizowane było określone kryterium jakości.

Przykłady zadań

- czynności inwestycyjne w budownictwie

- obsługa zgłoszenia

- przejazd odcinkiem drogi

- obliczenia komputerowe

Przykłady zasobów

- siła robocza

- energia

- paliwo

- surowce

- systemy produkcyjne

- kanały obsługi

Maszyny

- stanowią typ zasobów niezbędny dla wszystkich zadań

- każde zadanie może być wykonywane w danej chwili przez co najwyżej jedną maszynę

Ograniczeń tych nie muszą spełniać pozostałe zasoby.

Zadania

Zadanie J_j = {O_1j, O_2j, ..., O_kj}

Zbiór zadań J = {J₁, J₂, ..., J_n}

Charakterystyka zadań - parametry

Charakterystyka zadań

- zadania niepodzielne (nieprzerywalne), czyli takie, których wykonywanie nie może być przerywane

- zadana podzielne (przerywalne), jeżeli przerywanie wykonywania zadania jest dopuszczalne

Charakterystyka zbioru zadań

W zbiorze zadań mogą być określone ograniczenia kolejnościowe – rozróżniane są pod tym kątem dwa rodzaje zbiorów zadań:

- zadania niezależne, pomiędzy którymi nie występują relacje częściowego porządku

- zadania zależne, gdy występuje przynajmniej jedna taka relacja

Charakterystyka zasobów

- dyskretne, czyli podzielne w sposób nieciągły (np. maszyny w systemie produkcyjnym, siła robocza)

- podzielne w sposób ciągły (np. paliwo, energia)
Można też wyróżnić zasoby:

- przywłaszczalne (jeżeli możliwe jest odebranie konkretnej jednostki takiego zasobu operacji aktualnie wykonywanej i przydzielenie jej gdzie indziej)

- nieprzywłaszczalne
Wyróżnia się trzy podstawowe kategorie:

- zasoby odnawialne (ograniczona jest liczba jednostek zasobu dostępnych w danej chwili), np. procesor, maszyna, robot, siła robocza

- zasoby nieodnawialne (ograniczona jest globalna ilość całkowitego zużycia zasobu), np. surowce, nakłady finansowe, energia

- zasoby podwójnie ograniczone (ograniczona jest dostępność w danej chwili i zużycie łączne), np. rozdział mocy z ograniczeniem zużycia całkowitego

Charakterystyka zasobów - parametry

Każdy zasób scharakteryzowany jest poprzez następujące parametry:

- dostępność (czasowe przedziały dostępności)

- ilość

- koszt

- dopuszczalne obciążenie jednostki zasobu (najczęściej przyjmuje się, że liczba operacji/zadań, które mogą być jednocześnie wykonywane przy użyciu tej jednostki jest równa jedności)

Charakterystyka zbioru zasobów

Cały zbiór zasobów jest określony poprzez podanie:

- rodzajów elementów (jednostek zasobu)

- ogólnej liczby jednostek zasobu każdego rodzaju

Charakterystyka maszyn

Ze względu na spełniane funkcje maszyny dzieli się na:

- równoległe (uniwersalne) – spełniające te same funkcje

- dedykowane (wyspecjalizowane) – różniące się spełnianymi funkcjami
Istnieją trzy rodzaje maszyn równoległych:

- identyczne – każda z maszyn pracuje z taką samą prędkością

- jednorodne – maszyny różnią się prędkością, ale ich prędkość jest stała i nie zależy od wykonywanego zadania

- dowolne (niezależne) – czas wykonywania poszczególnych zadań na maszynach jest różny

W przypadku maszyn dedykowanych rozróżniane są następujące systemy obsługi zadań:

- przepływowy (flow-shop)

- ogólny / gniazdowy (job-shop)

- otwarty (open-shop)

System przepływowy

W systemie przepływowym każde zadanie musi przejść przez wszystkie maszyny w ściśle określonym porządku (każde zadanie składa się zatem z m operacji).

System gniazdowy

W systemie gniazdowym (ogólnym) kolejność maszyn mających wykonać operacje jest różna, ale ściśle określona dla każdego zadania (zadania mogą mieć różną ilość operacji).

System otwarty

W systemie otwartym wytworzenie każdego wyrobu wymaga operacji na wszystkich maszynach, ale kolejność ich wykonywania jest dowolna i nieustalona.

Uszeregowanie

Rozwiązaniem problemu szeregowania zadań jest uszeregowanie, czyli ustalona kolejność wykonywania operacji na poszczególnych maszynach. Natomiast zbudowanie harmonogramu to wyznaczenie momentów, w których rozpoczyna się realizacja tych operacji. W problemach, w których rozpatrywane są zasoby dodatkowe, należy również określić ich przydział.
W danym uszeregowaniu dla każdego zadania J_j można określić:

v_ij – sposób wykonania i-tej operacji zadania J_j (przydział do maszyn)

s_ij – termin rozpoczęcia wykonywania i-tej operacji zadania J_j

S_j – termin rozpoczęcia wykonywania zadania

C_j – termin zakończenia wykonywania zadania

L_j – nieterminowość zakończenia zadania

E_j – przyspieszenie rozpoczęcia zadania

F_j – czas przepływu zadania przez system

W_j – czas przestoju zadania przy przepływie przez system
Najczęściej spotykane kryteria:

C_max – czas zakończenia wykonania wszyst kich zadań (długość uszeregowania)

L_max – maksymalna nieterminowość

T_max – maksymalne opóźnienie

c_max – maksymalny koszt wykonania zadania

w_jC_j – suma ważonych czasów zakończenia wykonania zadań

w_jT_j – suma ważonych opóźnień

c_j – całkowity koszt wykonania zadań

Klasyfikacja ||

 - opisuje zbiór maszyn M i tym samym określa typ zagadnienia

 - opisuje zbiór zadań oraz dodatkowe specyficzne ograniczenia zagadnienia

 - określa kryterium optymalizacji (czyli funkcję celu)
Symbol 

Symbol  jest złożeniem dwóch symboli ₁₂.

₁ - charakteryzuje rodzaj maszyn

₂ - określa liczbę maszyn w zbiorze M

(Jeśli liczba ta nie jest określona z góry to używa się również symbolu pustego (Ø) mającego sens dowolnej liczby maszyn w systemie)
Symbol ₁

P – identyczne maszyny równoległe

Q – jednorodne maszyny równoległe

R – niezależne maszyny równoległe

F – system przepływowy (flow shop)

FP – system przepływowy permutacyjny

O – system otwarty (open shop)

J – system gniazdowy (job-shop)

Ø (symbol pusty) – zbiór M zawiera 1 maszynę

Symbol 

 może zawierać dowolny podzbiór symboli:

setup – występują przezbrojenia

batch - porcjowanie

no wait - bez czekania

pmtn – zadania można przerywać

prec - istnieje narzucony częściowy porządek technolo-giczny wykonywania zadań (tree, outree, intree)

r_j - zadania mają różne terminy zgłoszeń
Symbol 

Symbol  przyjmuje wartość jednej z symbolicznych postaci funkcji celu (kryterium).

Przykład: F3|r_j|C_max

Problem przepływowy - flow shop

Tw. Johnsona (1954r.)

Jeżeli w problemie F2||C_max (dwumaszynowy problem przepływowy z kryterium minimalizacji czasu wykonania wszystkich zadań):

min { p_1i, p_2j }  min { p_2i, p_1j }

to w uszeregowaniu optymalnym zadanie J_i jest wcześniej niż zadanie J_j

Algorytm Johnsona

Krok 1 : Zbuduj dwa zbiory: N1 i N2.

N1 = {J_j: p_1j < p_2j } N2 = {J_j: p_1j  p_2j }

(zbiór N1 zawiera zadania, których czas pierwszej operacji jest mniejszy niż drugiej, zbiór N2 - pozostałe)

Krok 2 : Uporządkuj zbiory:

N1 - wg niemalejącej kolejności p_1j

N2 - wg nierosnącej kolejności p_2j

Krok 3 : Utwórz uszeregowanie optymalne  łącząc uporządkowane zbiory N1 i N2
(najpierw wszystkie zadania z N1, potem zadania z N2)

Problem ogólny (gniazdowy) - job shop

Problem J2 | o_j  2 | C_max

- w problemie występują 2 maszyny

- każde zadanie składa się z jednej lub dwóch operacji

- kolejność wykonywania operacji danego zadania na poszczególnych maszynach jest określona

- minimalizowany jest czas wykonywania wszystkich zadań

Algorytm dla problemu J2 | o_j  2 | C_max

Krok 1: Podziel zadania na podzbiory:

I₁ (jedna operacja wykonywana na maszynie M₁)

I_1,2 (pierwsza operacja na M₁, druga na M₂)

I₂ (jedna operacja wykonywana na maszynie M₂)

I_2,1 (pierwsza operacja na M₂, druga na M₁)

Krok 2: Uporządkuj zadania w zbiorach I_1,2 i I_2,1 algorytmem Johnsona (w I₁ i I₂ kolejność dowolna)

Krok 3: Przydziel zadania do maszyny M₁ w kolejności: (I_1,2, I₁, I_2,1) , a do M₂ : (I_2,1 , I₂, I_1,2)

: ~lidia -> pliki-zima
~lidia -> Szeregowanie zadań
pliki-zima -> Szeregowanie zadań