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

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

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

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

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

Щоб подати рiзнi часовi iнтервали, використують виразиє семантика яких приведена в табл. 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льшої наочностi i компактностi в мовi SITPLAN-2 використовуються конструкцiї типу фреймiв. Це складовий вираз, що мiстить iменувальну частину виразу, яка iдентифiкує описове поняття, i набiр виразiв, якi вiдображують властивостi, вiдношення та складовi частини, котрi безпосередньо входять до структури об'єкта, що описується.

Приклади

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

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

ШИРИНА 10 М;

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