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

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


Безусловные предложения вычислимости в ТК 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 (;

    )

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



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