Мова опису задач SITPLAN-2

ДВЕРІ_Х2: З'ЄДНУЄ КОМ_Х1 З КОМ_Х3, СТАН ВІДЧИНЕНА.

/ КОМ_Х1 МІСТИТЬ РОБОТ /

РОБОТ ПОРЯД З ДВЕРЯМИ_Х2,

ТО

КОМ_Х3 МІСТИТЬ РОБОТ,

'ЯКЩО

УВЕСЬ Х4: КОМ_Х1 МІСТИТЬ Х4;

Х4 ДВЕРІ_Х2

/ РОБОТ ПОРЯД З Х4. /Пiсля виконання основного продукцiйного правила опис пiдсумковiї ситуацiї записується вираз “КОМ_Х3 МІСТИТЬ РОБОТ” з конкретизованим значенням змiнної Х3, яке набулося пiд час розпiзнавання застосування цього правила в вiдповiдностi з описом його лiвої частини. З опису вхiдної ситуацiї буде вилучено вираз “КОМ_Х1 МІСТИТЬ РОБОТ”.

До складу цього оператора входить також корекцiйне правило без правої частини. Внаслiдок виконання цiєї продукцiї з опису вхiдної ситуацiї вилучаються вирази, що затверджують факти находження робота зо всiма об'єктами Х4. Проте, слiд замiтити, що умови находження робота поряд з об'єктами Х4 не є умовами застосування оператора.

Операторам, якi мають в описах продукцiй цикли, можуть вiдповiдати послiдовностi дiй, що циклiчно повторюються.

Наведемо приклад iменувальної частини оператора, що задає циклом дiю по перестановцi п'яти об'єктiв з столу Х2 на стiл Х3:

ОД ЦИКЛ 5 СТАРТ ПЕРЕД 12.00 ТРИВ 30 С:

( ПІДІЙТИ ДО С ТОЛУ Х2; ВЗЯТИ Х1;

ПІДІЙТИ ДО С ТОЛУ Х3; ПОСТАВИТИ Х1 НА СТІЛ Х3 ).

Для задання часу початку i тривалостi виконання оператора в описi iменувальної частини використанi обмежувачи старта i тривалостi.

Рiшення по вибору вариантiв механiчної обробки деталей приведени в табл. 2.

Значення параметрiв деталей, що визначають вибiр обробки

Варианти обробкиКiлькiсть деталей в партiї (КДП)Вiдношення довжини до дiаметра (ВДД)Найбiльший зовнiшнiй дiаметр (НЗД)Довжина деталi (ДД)Дiаметр центру отвору (ДЦО)

МатерiалВигляд заготiвки (ВЗ)

Опис оператора, що моделює таблицю рiшень, мiстить значення змiнних, якi йдуть поза службовим словом ДЕ, i має вигляд:

ОД ВАР Х1:

ЯКЩО