Cтраница 2
В этом состоянии утверждение специфицирует некоторую подстановку, которая должна быть применена к выходному аргументу, и включает в себя рекурсивный вызов. Рекурсивный вызов должен приближать базовое состояние. [16]
Это произойдет потому, что в выражении М 1 переменная М является неозначенной в тот момент, когда предикат is пытается вычислить это выражение. Только когда будет достигнуто базовое состояние, эта переменная получит конкретное значение. [17]
В рассматриваемых здесь смесях типичными являются четыре вещества: топливо, окислитель, продукты и инертные. Следуя первому закону термодинамики, базовые состояния инертных и двух других веществ можно выбрать произвольно. [18]
Первыми поместить утверждения, относящиеся к базовому состоянию. Часто ими являются утверждения-ловушки. Они определяют завершение) процесса, когда никакие другие состояния не применимы. [19]
При наличии ошибки в программе поиск ее с помощью нашего интерпретатора приведет к необходимости построения длинной серии вопросов, так как интерпретатор будет спрашивать у пользователя, дает ли цель отказ, при каждом возврате в объектной программе. Для примера рассмотрим такую ошибку: в определении процедуры переставить / 2 опущено утверждение для базового состояния. [20]
Первое, что нужно сделать при процедурном исследовании выполнения корректной в декларативном смысле процедуры, - это определить, наверняка ли вызов приведет к ее завершению. При использовании метода анализа состояний Вы не столкнетесь с проблемой зацикливания процесса, если поместите утверждения для базовых состояний перед рекурсивными утверждениями, а также если убедитесь, что рекурсивные состояния приближают процесс к базовому состоянию. Для примера рассмотрим процедуру для предиката младше по званию / 2, альтернативную той, что была дана в разд. [21]
Первое, что нужно сделать при процедурном исследовании выполнения корректной в декларативном смысле процедуры, - это определить, наверняка ли вызов приведет к ее завершению. При использовании метода анализа состояний Вы не столкнетесь с проблемой зацикливания процесса, если поместите утверждения для базовых состояний перед рекурсивными утверждениями, а также если убедитесь, что рекурсивные состояния приближают процесс к базовому состоянию. Для примера рассмотрим процедуру для предиката младше по званию / 2, альтернативную той, что была дана в разд. [22]
Пролог не будет способен вычислить выражение N-1. Подстановка осуществляется по достижении базового состояния рекурсии. Следовательно, арифметика должна следовать за рекурсивным вызовом. [23]
Мы должны исследовать и то, каким образом в утверждениях для каждого из рассмотренных состояний выражаются требования к их обработке. Особенно следует обратить внимание на то, как в утверждениях для рекурсивных состояний формулируются аргументы рекурсивных вызовов из аргументов, находящихся в заголовках этих утверждений. Следует также убедиться в том, что при каждом вызове мы приближаемся к базовому состоянию. [24]
Другой метод определения технического состояния оборудования основывается преимущественно на обработке данных режима работы, полученных в условиях эксплуатации за определенный отчетный период без вывода его в специальный базовый режим. Различие этих способов заключается в том, что по первому определяется техническое состояние агрегатов в каком-то фиксированном, базовом состоянии, а по второму; - техническое состояние агрегатов, работающих во всем диапазоне рабочих режимов по фактическим данным в условиях эксплуатации за рассматриваемый отчетный период. [25]
Другой метод определения технического состояния оборудования основывается преимущественно на обработке данных режима работы, полученных в условиях эксплуатации за определенный отчетный период без вывода его в специальный базовый режим. Он предусматривает определение коэффициента технического состояния газопровода по его производительности и коэффициента технического состояния ГГПА по значению его эффективной мощности. Различие этих способов заключается в том, что по первому определяется техническое состояние агрегатов в каком-то фиксированном, базовом состоянии, а по второму - техническое состояние агрегатов, работающих во всем диапазоне рабочих режимов по фактическим данным в условиях эксплуатации за рассматриваемый отчетный период. В связи с этим условно можно назвать коэффициент технического состояния по результатам испытания - статическим, а поданным режимов работы за определенный период - динамический. [26]
Особенность предлагаемого метода заключается в том, что в данном случае определяется техническое состояние оборудования при работе во всем диапазоне рабочих режимов по фактическим данным в условиях эксплуатации за рассматриваемый расчетный период. В то время как по существующим методам, отмеченным здесь, техническое состояние определяется только для агрегата и для определенного фиксированного базового состояния, не характерном для условий эксплуатации. [27]
При вызове предиката скрытый реверс / 3 дополнительный аргумент представляет собой пустой список. На каждом уровне рекурсии один элемент первого списка помещается в этот аргумент в качестве головы. Третий аргумент попросту передается на каждый новый уровень рекурсии до тех пор, пока не будет достигнуто базовое состояние. По достижении этого состояния значением третьего аргумента становится значение второго аргумента. [28]
Однако эта программа не сможет завершить свою работу, если цель должна дать отказ. Виновником выступает утверждение для рекурсивного состояния - оно является леворекурсивным. Это означает, что рекурсивный вызов находится в начале его тела. Для тех целей, которые должны получить отказ, рекурсивная подцель после того, как будут просмотрены все звания, должна будет получить ту же форму, что и ее родительская цель. При этом она не приблизится к базовому состоянию. Полным решением данной проблемы служит перестановка как утверждений, так и подцелей в теле рекурсивного утверждения. [29]
Для предотвращения этой ошибки перед заменой терма булевской константой мы должны проверить, встречался ли ранее данный терм в выражении, и если это так, установить, каким значением он был заменен. Для хранения последовательности термов и заменяющих их значений необходимо использовать два списка в качестве дополнительных аргументов процедуры означить. Первый список должен быть пустым при начальном вызове. В нем с помощью входящей рекурсии будут накапливаться новые термы и значения. Второй список должен быть возвращен как выходной аргумент всякий раз по достижении базового состояния. [30]