Реферат: Мова опису задач SITPLAN-2

ЦИКЛ 100 Х1: ЦВЯХ Х1 У ЯЩИКУ.

Цей вираз може бути iнтерпретован таким чином: “У ящику знаходиться сто цвяхiв”. Як видно з приведеного прикладу в виразах з циклом може бути явно вказано кiлькiсть повторiв циклу, якщо ж вона не вказана, то семантика обмежувача циклу спiвпадає з семантикою квантора спiльностi, тобто вираз

ЦИКЛ Х1: ЦВЯХ У ЯШИКУ

є еквiвалентний виразу

УВЕСЬ Х1: ЦВЯХ У ЯШИКУ.

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

Наприклад, вираз

MAX Х1: ІНСТУЛЬТ Х2 З ЙМОВІРНІСТЮ Х1

буде iстиним при максимальних значеннях змiнної Х1.

Обмежувач старту (СТАРТ ) служить для завдання iнтервалу часу, в продовж якого досягається iстиннiсть охоплених ним виразiв.

Часовiiнтервали обозначемо парами , де - нижня, а - верхня межа часового iнтервалу.

Щоб подати рiзнi часовiiнтервали, використують виразиє семантика яких приведена в табл. 1 .

Таблиця 1

Вирази обмежувача	Часовий iнтервал
СТАРТ В
СТАРТ ПЕРЕД
СТАРТ ПІСЛЯ
СТАРТ МІЖ

Обмежувач тривалостi (ТРИВ ) служить для указання тривалостi дiй або подiй. Вираз обмежувача задається змiнною, константою або функцiєю:

СТАРТ В 7_0_0 ТРИВ 10 с: ДЗВОНИТЬ БУДИЛЬНИК.

ТРИВ Х1 с: ПЕРЕДАЧА ДАНИХ НА ЗЕМЛЮ.

ТРИВ К-Y/2: ПЕРЕМОТКА СТРІЧКИ.

Обмежувач достовiрностi (ДОСТ ) служить для указання ступеню iстинностi наступного за ним виразу. Ступiнь iстинностi виразiв задається числовими значеннями у iнтервалi вiд 0 до 1:

ДОСТ 0.7: ІНСУЛЬТ ІШЕМІЧНИЙ ПАЦІЄНТА ІВАНОВА В.В.

4.4. Складовi вирази

Для бiльшої наочностii компактностi в мовiSITPLAN-2 використовуються конструкцiї типу фреймiв. Це складовий вираз, що мiстить iменувальну частину виразу, яка iдентифiкує описове поняття, i набiр виразiв, якi вiдображують властивостi, вiдношення та складовi частини, котрi безпосередньо входять до структури об'єкта, що описується.

Приклади

1. Складовий вираз, що використовується для опису складових об'єктiв:

КОМНАТА К1: ДОВЖИНА 8 М;

ШИРИНА 10 М;

ДВЕРІ А З'ЄДНУЮТЬ КІМНАТУ_К1 З КІМНАТОЮ_К2;

СТІЛ 1 ПОРЯД З СТОЛОМ 2.

2. Складовий вираз, що використовується для завдання параметрiв стратегiї планування:

ПАРАМЕТРИ: СТРАТЕГІЯ Х1;