Процедура - сравнение
Cтраница 2
До сих пор процедура сравнения рассматривалась только как часть метода подстановки, но она является также существенной частью трех других методов. Например, в методе отделения ищется теорема вида А - - В, где В совпадает с доказываемым выражением. Вероятность найти такую теорему ничтожно мала, если мы не разрешим изменять в дальнейшем В до совпадения с доказываемым выражением. Следовательно, как только некоторая теорема выбирается из списка теорем, ее правая часть должна сравниваться с доказываемым выражением. Аналогичная процедура используется в методах цепеобразования. [16]
Упражнение 15.2. Напишите процедуры сравнения и обмена для типов BITSET, СНАРи строк фиксированной длины. [17]
Заключительным шагом этого метода является процедура сравнения затрат, соответствующих рассматриваемым планам, и выбор лучшего из них по критерию минимизации затрат. [18]
Одна из главных причин эффективности процедуры сравнения лежит в том, что она проходит покомпонентно, так что с помощью обратной связи можно результаты подстановки или замены на каждом шаге использовать для управления следующим шагом. Эта обратная связь позволяет продолжать поиск по правильной ветви дерева возможных выражений. [19]
Оно выражает некоторое действие, процедуру сравнения в реальных ус-яовиях, которая, собственно, и является измерением. [20]
Оно выражает некоторое действие, процедуру сравнения в реальных: условиях, которая, собственно, и является измерением. [21]
Чем сложнее анализируемый объект, тем больше процедур сравнения необходимо провести для определения стоимости его функций. [22]
Выделим теперь из предшествующего обсуждения основные элементы процедуры сравнения с эталоном. Используя понятие функции интенсивности, эту процедуру можно сформулировать следующим образом: мы ищем такую область плоскости изображения, в которой функция интенсивности сходна с некоторой заранее заданной функцией интенсивности, называемой эталоном. Следовательно, нам в общем случае необходимо средство для определения сходства или расстояния между двумя функциями интенсивности, и здесь оказывается полезным понятие о метрике. В данный момент нет необходимости приводить формальное определение класса функций, задающих метрику; заметим лишь, что здесь подразумевается обычное обобщение понятия евклидова расстояния. [23]
 |
Описание ключей для трех систем сортировки. [24] |
Длина ключа и его начало влияют на процедуру сравнения. Некоторые системы в зависимости от длины ключа могут выбирать либо сравнения типа регистр-регистр, либо сравнения типа регистр-память. Машины, обрабатывающие слова, должны будут либо параметризовать, либо строить команды выделения ключа на основе позиции ключа. [25]
В методологии системного анализа первый этап соответствует так называемой процедуре сравнения альтернатив, проводимой с целью выбора наиболее приемлемого средства для решения задачи ( проблемы), авто-рой - процедуре оценки выбранной альтернативы. [26]
В некоторых случаях оказывается удобным заменить процедуру (3.1) процедурой сравнения, получаемой из (3.1) монотонным преобразованием. [27]
Для облегчения последующих расчетов, а также для упрощения процедуры сравнения выводов теории пограничного слоя с результатами других теорий целесообразно ввести в рассмотрение поправочные множители R, ф и 0, аналогичные множителям, которые фигурировали в двух предыдущих разделах. [28]
Каждое имя сравнивается с именем в корне дерева, а затем процедура сравнения продолжается рекурсивно применительно к левым или правым последователям соответствующей вершины. Выполнение этой процедуры прекращается как только очередная вершина оказывается переменной или как только искомое имя будет обнаружено в дереве. [29]
Любое измерение включает в свой состав: объекты, показатели и процедуру сравнения. [30]
Страницы: 1 2 3 4