Стратегiї планування рiшень, Детальна інформація

На мал. 7 зображена мережа для таких ц(льових умов:

GOAL: A; ‘START BEFORE 15 300 ‘DUR 1000 (B; C) ‘DUR INFINITY D .

Процедури, як( реал(зують оператор усунення конфл(кт(в, повинн( турбуватися , щоб умови кожного кишенькового вузла збер(галися на протяз( певного часу. Наприклад, будь-яка д(яльн(сть, що суперечить А (мал. 7), повинна бути упорядкована чи п(сля вузла 3, чи перед вузлом 4.

- початок планування).

Стартовий (нтервал ц(льового вузла визнача(ться з опису ц(л(. В процес( планування нижня (EST) ( верхня (LST) меж( стартового (нтервала д(яльност( можуть бути п(ддан( рев(з(( процедурою, що реал(зу( PF-оператори звуження стартового (нтервалу. Стартовий (нтервал н(коли не розширю(ться, за винятком тих випадк(в, коли робиться в(дступ назад. Стартов( (нтервали двох посл(довних вузл(в в мереж( плану ( залежними.

.

Тод( необх(дно виконати так( нер(вност(:



. В ус(х випадках необх(дно зберегти нер(вн(сть



Зазначен( нер(вност( складають основу процедури, що реал(зу( оператор звуження стартових (нтервал(в.

Кожний раз, коли вузли зв(язуються, розширюються або упорядковуються для розв(язання конфл(кт(в, стартов( (нтервали цих вузл(в повинн( бути перев(рен( та сжат( так, щоб зберегти умови нер(вностей.

Коли ц(льовий вузол розширю(ться в д(яльн(сть, яка ма( особистий стартовий (нтервал, ц( два (нтервали повинн( бути узгоджен(, якщо це можливо, а якщо н( - розширення повинне бути про(гноровано. Меж( ц(льового (нтервалу завжди будуть числов(. Якщо обидв( меж( д(яльност( також будуть числов(, ми просто беремо максимум двох нижн(х ( максимум двох верхн(х меж. Якщо меж( д(яльност( м(стять неконкретизован( зм(нн(, то встановлю(ться обмеження на значення зм(нних, як( дал( перев(ряються п(сля конкретизац((.