Cтраница 1
План вычислений должен включать проверки как программирования, так и результатов. Слишком часто на это не обращают должного внимания; мы рекомендуем поэтому ставить себе еще такие вопросы: как я узнаю, что получил то, что хотел. [1]
Он служит для формирования планов вычислений, в которые входят обращения к элементам ГБД. В процессе работы ПланП может использовать экземпляры и задержанные действия, накопленные в TOPIC, и, кроме того, поддерживает активный диалог с пользователем, составляющим конкретный план вычислений. [2]
Операторная схема представляет собой строку операторов, соответствующих отдельным этапам плана вычислений, и знаков перехода, изображающих взаимосвязь операторов. Обычно операторная схема представляется так называемой логической схемой и описанием логической схемы. Под логической схемой понимается строка символов операторов и знаков перехода. В описании логической схемы дается содержание каждого оператора операторной схемы. [3]
Графическое представление вычислительной модели данной задачи приведено на рис. 25.4. И если теперь для каждой из входящих в план вычислений функций имеется реализация в виде, например, программного модуля, то выполнение ( интерпретация) модулей приведет к получению результата задачи. [4]
Такая организация может осуществляться в режиме автоматического синтеза алгоритма под задачу пользователя ( планирование) или в режиме интерпретации ( управление выполнением плана вычислений), когда расчетная схема выстраивается в процессе решения задачи, т.е. с учетом предыстории вычислений. [5]
Полезно остановиться на соотношении между планами ( в указанном смысле) и программами для ЭВМ, поскольку программа - это в некотором смысле план вычислений. После этого станет вполне ясно, почему планы, построенные ( как описано выше) с помощью методов эвристического поиска, образуют ограниченный класс и почему для построения планов в ситуациях, выходящих за пределы очень узкого класса, не достаточно простого предугадывания ( lookahead) состояний и действий. Тем самым они соответствуют программам с операторами присваивания, но без проверок и, следовательно, без условных переходов. Каков класс задач, для которых адекватны программы этого ограниченного типа. Ключевым является понятие полного определения. Полностью определив начальное состояние и результаты всех разрешенных действий, мы умело добиваемся принципиальной возможности эксплицитно вычислять ( путем предугадывания) все промежуточные состояния задачи. Поскольку суть условного выражения заключается в вопросе: Обладает ли текущее состояние таким-то и таким-то свойством. [6]
Анализ записанных в таких случаях диаграмм разрушения дает ценную дополнительную информацию о поведении материала в различных состояниях, а также позволяет обработать результаты экспериментов в плане вычисления динамических коэффициентов интенсивности напряжений К ( см. гл. [7]
В фазе интерпретации необходимо не только обсудить и объяснить результаты, но также и проверить, соответствуют ли результаты физической модели и не является ли часть из них следствием формально проведенных вычислений, а не физических закономерностей. Кроме того, нужно объяснить все изменения в плане вычислений. Почему оказалась сильно отличающейся от предполагаемой функция фактически увиденная. Почему уравнения оказались трудны для решения. Значит ли это, что результаты очень чувствительны к исходной функции или к некоторым параметрам. Все эти вопросы требуют исследования. [8]
Чтобы получить ответ на этот запрос, необходимо его декомпозировать в соответствии с размещением отношений по участкам. Затем на каждом участке полученные подзапросы декомпозируются с помощью операций реляционной алгебры, после чего составляется план вычисления полученных элементарных запросов. [9]
Далее вступает в работу семантический процессор ( СемП), который анализирует Ф - выраження с учетом имеющейся в МБД информации о данной ПО и выполняет соответствующие действия. В ходе семантической интерпретации могут происходить модификация и появление новых Ф - объектов, выдача пользователю различных значений, формирование планов вычислений и, наконец, запуск прикладных программ, а также обращения к стандартным базам данных для получения требуемых результатов. [10]
Как известно, программа решения физической задачи на ЭВМ содержит от нескольких сотен до нескольких тысяч команд. Наличие большого числа различных связей внутри программы затрудняет прямое ее написание, поэтому, как правило, предварительно составляют блок-схему вычислительного процесса. В блок-схеме для наглядности каждый блок вычислений изображается в виде соответствующей геометрической фигуры, а связи между блоками - стрелками. Лишь после того как весь план вычислений составлен в виде блок-схемы и уяснен, начинается разработка частных алгоритмов каждого из блоков этой схемы и составление программы. [11]