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


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


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

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

=,

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

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

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

  1. a + b = c*d
  2. remainder = mod(a,b)
  3. theta = pi()A2 + r/2
  4. у * (cos(x) - sin(y)) = ln(x)
  5. x = 5
  6. (x,y) = ptor(r1 ,i1) + ptor(r2,i2)

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

  1. res="РЕЗУЛЬТАТ"
  2. "ТАБЛИЦА"=TABL

341

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

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

CALL (;

)

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




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