Cтраница 3
В общем случае вопрос к пролог-системе представляет собой список целей, разделенных запятыми. Список целей называется истинным ( достижимым), если все цели в этом списке истинны ( достижимы) при одинаковых конкретизациях переменных. Значения переменных получаются из наиболее общей конкретизации. [31]
Первоначальная цель ставится первой в списке, называемом списком целей. Время от времени могут вырабатываться новые цели. Каждая вновь выработанная цель заносится в конец имеющегося списка целей. [32]
Стрелкой а обозначен ход, предложенный одним из генераторов. Полученная оценка будет принята в качестве рабочей оценки хода а. Рассматривая по очереди каждую цель из списка целей, машина пытается дать им соответствующую статическую оценку. В данном примере оценки для простоты даются в виде чисел. В действительности используются различные множества упорядоченных символов, причем структура каждого из этих множеств зависит от характера вычислений. [33]
Наконец, в-четвертых, отношение к социальным проблемам страны по-прежнему остается под определяющим влиянием остаточного принципа. Между тем, именно разумная активизация социальной политики может придать импульс росту платежеспособного спроса и стимулировать расширение внутреннего рынка. Социальная политика в принципе может быть своеобразным мотором движения российской экономики. Но торопливые действия по финансовой стабилизации вновь ставят ее в конец списка целей правительства. [34]
В этом разделе мы опишем, как SAINT берет неопределенные интегралы. Как только выработана новая цель g, SAINT использует прямые методы, пытаясь найти ее решение. Когда это достигнуто, SAINT может занести g или некоторые подцели g во временный список целей. Если цель g достигнута, делается попытка достичь первоначальной цели. [35]
Таким образом, система мероприятий, требующая для своей реализации затрат ресурса, и распределение этого ресурса являются важнейшими составными частями реализации программного метода. Проведение фундаментальных наузных исследований является одним из подобных мероприятий. Следовательно, список целей а, как уже говорилось, должен следовать из рбщих программных установок, и их веса, которые мы считали заданными, на самом деле, могут-быть выведены описанным приемом из общих целей страны. [36]
Программисты должны по возможности сократить свои требования относительно состояния системы к моменту вызова разработанных ими процедур. Сами процедуры должны содержать необходимые механизмы для определения условий, которые нужны для их успешного исполнения. Это требование имеет особенно большое значение, когда в создании системы принимают участие многие авторы. Оно обеспечивает возможность разрабатывать и добавлять в систему новые подпрограммы без полного знания остальной части системы. Практически это обычно осуществляется посредством составления списка целей, который предваряет каждую подпрограмму. [37]
После того как все предложенные ходы в процессе анализа получили оценки, необходимо выбрать из них какой-то один. Очевидность этого правила основана на предположении, что выбор производится из некоторого фиксированного множества возможных ходов. Если это не так ( например, ходы предлагаются последовательно), то возможны и другие правила. Простейшее правило, которое в настоящее время применяется в программе, состоит в том, что выбирается первый же приемлемый ход. Ход считается приемлемым, если его оценка выше установленного порога. Исполнительная программа просматривает сверху вниз список целей. При этом включаются генераторы ходов, причем ходы, порождаемые более важными целями, рассматриваются первыми. Программа помнит ход, получивший к данному моменту наивысшую оценку, и выполняет его, если не находится ни одного приемлемого хода. [38]
Выбору АСУ ТП должно предшествовать тщательное определение предъявляемых к ней требований, которое часто принимает форму технических условий. Затем нескольким поставщикам предоставляется возможность назначить свои цены по отдельным пунктам технических условий. Подготовка этого документа лежит на проектной группе АСУ. Однако до составления технических условий необходимо глубоко изучить процесс и его требования к управлению. Для компаний, имеющих опыт работы с АСУ, это не вызывает трудностей. Для тех, кто такого опыта не имеет, часто желательно обратиться за помощью к консультанту или опытному поставщику АСУ. Важно, чтобы был подготовлен документированный список целей и требований. Хотя это может оказаться не простьш делом, зато будет ясно направление, которого следует придерживаться в осуществлении проекта. [39]