Cтраница 1
Стандартные стратегии по жизненному циклу продукта и стадиям рыночной привлекательности могут быть представлены также в виде портфеля жизненного цикла ( рис. 4.20), позволяющего рассмотреть большое разнообразие позиций, определенных перекрестным соотношением атрибутов портфеля. [1]
Стандартная стратегия, которая управляет процессом поиска, осуществляемым интерпретатором, - это просто сочетание двух правил: стандартного правила вычислений и стандартного правила поиска. Таким образом, основным средством, с помощью которого программист может управлять исполнением своей программы, является выбор текстуального упорядочения процедур и вызовов. Об интерпретаторах, управляемых стандартной стратегией, говорят иногда, что они осуществляют поиск слева направо в глубину с возвратом, поскольку это название описывает траекторию их движения по дереву поиска, которое нарисовано так, чтобы упорядоченные слева направо ребра дерева, выходящие из каждой точки ветвления, соответствовали текстуальному упорядочению процедур, отвечающих на вызов в данной точке. [2]
Стандартная стратегия Пролога была задумана таким образом, чтобы с учетом относительной простоты ее реализации она давала программисту некоторые возможности управления выбором вызовов и выбором процедур в условиях эксплуатации единственного процессора. Согласно этой схеме активация вызовов управляется потоком данных через содержащиеся в вызовах общие переменные, а не предписанной заранее или неявно заданной управляющей последовательностью. Исполнение в сопрограммном режиме является главной особенностью управления в системе IC-Пролог, описанной Кларком, Маккейбом и Грегори ( 1982) и разработанной на основе предшествующих исследований Стивенса ( 1977) схем ленивого вычисления в Прологе. [3]
Стандартная стратегия поиска целочисленных решений приводит к получению ряда целочисленных результатов, которые представляют собой набор значений, приближающихся к оптимальному решению целевой функции. [4]
Существуют две стандартные стратегии выбора. [5]
Оказывается, что стандартная стратегия исполнения логических программ полностью согласуется со стратегией выбора правил, обычно предписываемой алгоритмам Маркова. Читатель, имеющий склонность к теории, может восполнить детали этой формулировки ( краткое и простое изложение алгоритмов Маркова дается Элсоном ( 1973)) и получить тем самым формальное доказательство ее эквивалентности алгоритмам Маркова и, следовательно, ее универсальности. [6]
Оператор отсечения дополняет стандартную стратегию средством для удаления нежелательных вычислений, и отчасти поэтому интерпретаторы не могут в полной мере использовать полноту резолюции. Другая причина заключается в том, что в соответствии с принципом поиска сначала в глубину исполнение программы может войти в бесконечное вычисление и никогда из него не выбраться, оставляя поэтому часть дерева поиска непросмотренной. В некоторых реализациях имеются средства контроля зацикливания, которые пытаются распознать бесконечные вычисления, тогда как в более грубых системах может просто накладываться некоторое произвольное ограничение на допустимую длину вычислений. [7]
Применяя при повторении операции стандартную стратегию X; х х ( у), оперирующая сторона в варианте ( 132) при наличии лишь случайных факторов, независимых при повторении, имеет эффективность ровно такую же, как и при однократном проведении операции. [8]
Для элементарного интерпретатора, реализующего стандартную стратегию, алгоритм управления оказывается очень простым. Он состоит из механизмов, необходимых для осуществления выбора вызова, выбора процедуры и процесса возврата. Организация этих действий зависит от соответствующего образования и использования фреймов, представляющих состояние исполнения. [9]
При наличии интерпретатора, управляемого стандартной стратегией, программист может получать много важных видов вычислительных процессов, просто выбирая подходящие логические структуры для своих входных программ. В этом разделе изучается, как ведут себя логические программы в ходе их исполнения по сравнению с известными алгоритмическими механизмами. [10]
Это определение применяется не только к стандартной стратегии ( поиска в глубину), но и к любой другой стратегии управления методом сверху вниз. [11]
Хотя число кучек может возрастать, выигрышной остается стандартная стратегия при игре в ним. [12]
Управление С будет исчерпывающим, если оно совпадает со стандартной стратегией, в которой не используются операторы отсечения и другие подобные директивы. [13]
Мы покажем, что и сама эта программа и любое ее исполнение при стандартной стратегии управления являются полностью правильными относительно заданной спецификации. [14]
Управление в модели AGE осуществляется по схеме с доской объявлений, в которой реализуется стандартная стратегия, управляемая событиями, а выбор события осуществляется в соответствии с правилом первым внесен, первым выбран. Таким образом, модель обрабатывает первыми наиболее давние события. Как только событие ( данные или гипотезы на доске объявлений) выбрано для обработки, модель исполняет те ИЗ, условия для активации которых соответствуют этому событию, в свою очередь заставляя помещать на доску новые события. [15]