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


Основы решения вычислительных задач


Рассмотрим принципы описания и решения простейших вычислительных задач в системе ТК Solver Для того чтобы в ТК Solver появилась текущая вычислительная задача необходимо ее описать как минимум на двух панелях

  • на панели Rule Sheet описать вычислительную модель в виде условных и безусловных предложений вычислимости
  • на панели Variable Sheet сформулировать задачу путем явного разбиения переменных входящих в ВМ на входные (типа Input) и выгодные (типа Output) и д ы входных переменных задать начальные значения

После такою описания в ТК Solver появляется текущая вычислительная модель задачи

Вычислительная модель представляет собой декларативное описание отношении вы числимости на языке спецификации вычислительных задач В рамках вычислительно!! модели можно обращаться к функциям описывающим алгоритмы с использованием операторов беисикоподобного алгоритмического языка

Для получения решения задачи на текущей модели задачи необходимо выполнить команду Commands | Solve (Команды |Решить) или нажать клавишу На рис 25 5 показано содержимое панелей Rule Sheet и Variable Sheet в окне ТК Solver после решения задачи с формулировкой

ЗНАЯ Текущую модель задачи ВЫЧИСЛИТЬ S ПО P

Здесь переменным с именами S и Р в графическом представлении модели задачи (рис 25 4) соответствуют объекты ПЛОЩАДЬ и ПЕРИМЕТР соответственно


Рис 25 5 Вид панелей переменных и правил в окне ТК Solver

337

Содержимое всех панелей текущей модели задачи можно сохранить в файле с расширением TKW. В дальнейшем этот файл можно загрузить и использовать для решения других задач.

Решение задач на вычислительной модели, описанной в ТК Solver, на панели Rule Sheet может осуществляться в трех режимах:

  • в режиме прямого решателя, который активизируется с помощью команды Commands \ Solve (Команды \ Решить) или нажатием клавиши ;
  • в режиме спискового решения, который активизируется командой Commands \ List Solve (Команды \ Решить списком) или нажатием клавиши ;
  • в режиме итеративного решателя, который активизируется автоматически из других режимов, если возникает прерывание по ошибке из-за невозможности вычислить значение какой-либо переменной, входящей в уравнение и для этой переменной назначен атрибут G в поле St на панели описания переменных Variable Sheet.



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