Основы современных компьютерных технологий


Вычислительные модели и задачи, синтез программ - часть 3


Связи между переменными и отношениями могут быть следующих типов:

На рис. 25.2 приведен пример вычислительной модели КВАДРАТ, где в качестве отношений используются отношения типа уравнение. Все переменные, входящие в уравнения, являются слабосвязанными, т.е. любая из переменных может быть либо входной, либо выходной для уравнения.


Рис. 25.2. ВМ КВАДРАТ с отношениями типа уравнение

На одной вычислительной модели может быть решено множество вычислительных задач. Так, на приведенной на рис. 25.2 ВМ можно решить следующие задачи:

вычислить ПЕРИМЕТР по СТОРОНА;
вычислить СТОРОНА по ПЕРИМЕТР;
вычислить ПЛОЩАДЬ по СТОРОНА;
вычислить СТОРОНА по ПЛОЩАДЬ;
вычислить ПЕРИМЕТР по ПЛОЩАДЬ;
вычислить ПЛОЩАДЬ по ПЕРИМЕТР.

Проводить такие вычисления возможно при условии, что для уравнения всегда можно построить его разрешение относительно любой из входящих в него переменных. Если, например, в уравнение входит n переменных, то будем иметь п функций разрешения. Записывается это обычно в виде:

xj=fij(x1, x2,...xj-1, xj+1... xn)

331

Здесь хj - переменная, входящая в уравнение, f11 - реализация функции, вычисляющей значение j-й переменной в уравнении с номером i (i=1 ,...,k; k - число уравнений в ВМ). Уравнения считаются независимыми друг оу друга и являются компактным описанием множества разрешающих функций.

Входной язык ИППП обычно допускает использование уравнений при описании вычислительных моделей. После преобразования такого описания во внутреннее представление базы знаний уравнения заменяются функциями разрешения и в базе знаний уравнения хранятся в форме однооператорных отношений, т.е. без использования слабосвязанных переменных. Для уравнений из примера на рис. 25.2 такими разрешениями являются следующие:

Периметр = f11(Сторона);

Сторона = f21(Периметр);

Площадь = f21 (Сторона);

Сторона = f22 (Площадь).

В однооператорном отношении имеется одна выходная переменная, остальные являются входными для отношения, и однооператорное отношение показывает, значения каких переменных должны быть известны, для того чтобы можно было вычислить значение выходной переменной.


Начало  Назад  Вперед



Книжный магазин