Безусловные предложения вычислимости

Безусловные предложения вычислимости в ТК Solver задаются в виде уравнений и программных отношений.

Уравнения. Различают арифметические и неарифметические уравнения. Арифметические уравнения имеют вид:

где , -арифметические выражения.

Хранятся арифметические уравнения в рамках текущей вычислительной модели в виде однооператорных отношений, т.е. для каждой переменной конструируется разрешающая (вычисляющая) ее функция. Система ТК Solver в арифметических выражениях позволяет использовать библиотечные функции. При этом система обеспечивает вычисление значений переменных, используемых в качестве аргументов, только в тех функциях, которые имеют обратные функции (например, для функции SIN(X) имеется обратная А5!М(Х)и т.д.).

Примеры описания арифметических уравнений:

a + b = c*d

remainder = mod(a,b)

theta = pi()A2 + r/2

у * (cos(x) - sin(y)) = ln(x)

x = 5

(x,y) = ptor(r1 ,i1) + ptor(r2,i2)

Неарифметические уравнения задаются с использованием символьных выражений, при этом хотя бы в одной из частей уравнения должно быть только одно имя переменной. Примеры описания неарифметических уравнений:

res="РЕЗУЛЬТАТ"

"ТАБЛИЦА"=TABL

341

Программные отношения представляют собой отношения, которые задаются с помощью функций: библиотечных (встроенных) или пользователя, последние представляются в ТК Solver с помощью панелей Function Subsheet. Программные отношения описываются в виде обращений к функциям, в обращении указывается имя функции и все ее фактические параметры - переменные модели задачи, которые связаны с данным программным отношением.

Общая форма описания обращения к функции имеет вид:

CALL (;

)

Здесь список входных переменных отделяется от списка выходных переменных точкой с запятой.

Содержание раздела