Отсечение

Cтраница 1

Отсечение шести разрядов обеспечивает вывод произведения с двумя десятичными знаками. Во время умножения схема К310 не изменяет необходимой точности отсечения разрядов. [1]

Схема обработки данных в графической системе. [2]

Отсечение накладывает прямоугольную область на множество точек ( х, ) и определяет из него подмножество (, /) точек, лежащих внутри области. Стороны отсекающего прямоугольника параллельны осям координат. Пусть прямоугольник задан координатами ( х, yj) левого нижнего угла и координатами ( Ху, у у) правого верхнего угла. [3]

Отсечение может быть использовано как способ сообщить системе PDC Prolog, что она выбрала верное предложение для обрабатываемого предиката. [4]

Отсечение применимо к любому квазислову. [5]

Отсечение применяется в ПРОЛОГе для предотвращения выбора определенных путей в процессе обхода пространства состояний задачи. Это бывает необходимо в тех случаях, когда пользователь либо знает заранее, что эти пути не ведут к решению задачи, либо желает сократить время вычисления программы. [6]

Отсечение не может появляться внутри базовой конъюнкции. Таким образом, отсечение делит правило на две части: до и после отсечения. Базовые конъюнкции одыскиваются внутри каждой из этих частей. [7]

Отсечение, примененное указанным способом, позволяет не менять создаваемые программой результаты. [8]

Отсечение компрометирует декларативную трактовку процедуры. [9]

Отсечение в первом утверждении не будет достигнуто, так как вызов не сопоставляется с образцом в заголовке этого утверждения, но при этом вызов все же завершится успешно, так как он сопоставится со вторым утверждением. [10]

Отсечение в конце процедуры для предиката обработать значения / 0 дает гарантию того, что при вызове этого предиката в качестве подцели в некоторой большой программе в том случае, когда вслед за ней последует отказ, не произойдет возврата к предикату repeat, а возврат будет сделан к подцели, находящейся где-то перед подцелью обработать значения / О. [11]

Отсечение представляет собой процедурный механизм, ограничивающий число альтернативных возвратов, но маскирующий при этом декларативную интерпретацию процедуры. [12]

Отсечение, делая процедуру детерминированной, может предотвращать бесполезные попытки поиска, а также обеспечивать взаимную исключительность утверждений. [13]

Отсечение предотвращает возврат, если совпадения нет. Две формулировки являются декларативно идентичными. Процедурно же мы должны различать попытки согласования подцели найти дни и попытки отождествления третьего аргумента в этой подцели с данной датой и установить отсечение между ними. Это именно та ситуация, в которой программист должен использовать предикат / 2, а не механизм унификации Пролога, что служит примерен рассмотренных в разд. [14]

Отсечение часто используется в комбинации со специальной целью fail. [15]

Страницы: 1 2 3 4