Стандартная стратегия

Cтраница 2

Общий вид окон программы OptionVue. [16]

Если известны критерии выборки опционов, которые предполагается использовать для торговли, либо их комбинации ( обычно стандартные стратегии), то используют такую очень полезную функцию, как сканирование. Как правило, при формулировании задачи для программы вас приглашают пройти последовательно через меню, выдающее варианты. Зная задаваемые параметры, которые определяются заранее, выбор сделать нетрудно. [17]

Из этого определения следует, что алгоритмы, полученные в результате исполнения программ 33 и 34 при стандартной стратегии выполнения, являются незавершаемыми. [18]

Таким образом, при использовании оценки ( 58) разброс возможных неконтролируемых факторов может дать выигрыш в эффективности стандартной стратегии для ( 132), в то время как при осреднении по независимым случайностям такого выигрыша не наблюдается. [19]

Мы воспользуемся этим критерием в следующем разделе, где приводится общая схема верификации программы 29 ( программы подмнож) и ее исполнения при стандартной стратегии управления. [20]

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

В последующей статье Апт и ван Эмден ( 1982) представили семантику неподвижной точки на формальной основе теории полных решеток и с помощью этого доказали затем корректность и полноту стандартной стратегии исполнения для программ в языке хорновских дизъюнктов. Они определили также наибольшую неподвижную точку преобразования Т и использовали ее для характеризации неразрешимых программ, которые за конечное время приходят к неудаче из-за отсутствия успешных вычислений в пространстве поиска. [22]

Мы считаем, что обе модели охватывают часть реальности. Их раздельное изучение является частью стандартной стратегии разделяй и завоевывай познания сложности мира. Управляемая ценой модель, кажется, пожалуй, более естественной и прямолинейной, поскольку передает предчувствие, что взмывающие вверх цены неустойчивы и эндогенно провозглашают значительную корректировку или крах. Управляемые риском модели передают очень тонкую внутреннюю организацию фондовых рынков, связанную с повсеместным равновесием между риском и доходом. Обе модели заключают в себе понятие, что рынок тонко, самоорганизованно и кооперативно предчувствует крах, оставляя предварительные отпечатки пальцев, заметные на ценах фондового рынка. Другими словами, подразумевается, что рыночные цены содержат в себе информацию о надвигающихся крахах. Следующая, 6-ая глава исследует происхождение и природу этих предварительных моделей и прокладывает путь к законченному анализу крахов реального фондового рынка и их предшественников. [23]

Таким образом, у нас опять имеется та же самая программа ( Р, G), но мы используем новое общее управление СЗ. Поскольку оно бесконечно, а стандартная стратегия осуществляет поиск в глубину, исполнение программы будет все время занято построением вычисления Г2ь, и, следовательно, вычисление Г2а становится непроизводимым. [24]

При исполнении этой программы весь подсчет числа различных элементов откладывается до тех пор, пока не будет завершена операция фильтрации, которая удаляет все дубликаты из входного списка. Задания, связанные с фильтрацией и подсчетом, выполняются последовательно благодаря стандартной стратегии управления, согласно которой вызов процедуры длина остается латентным до тех пор, пока не будет решен вызов процедуры фильтр. [25]

Программа 17 логически правильна, эффективна, достаточно понятна и не зависит от порядка основных процедур. Вероятно, это лучшая альтернатива для использования при наличии интерпретаторов, предлагающих только стандартную стратегию управления. Заметим также, что этот метод имеет тенденцию усложнять логическую структуру программы. [26]

Таким образом, действия двух этих аннотаций, грубо говоря, дополняют друг друга. При указанной схеме управление просматривает пространство вычислений более произвольным образом, чем это делается при стандартной стратегии Пролога: говоря неформально, оно перепрыгивает с одного частично завершенного вычисления на другое в соответствии с потоком данных через аннотированные переменные. В упомянутой ранее статье Кларка и др. даются иллюстрации повышения эффективности исполнения программ, которое достигается за счет использования этого более богатого вида поведения. [27]

Для того чтобы образовать такое поведение при помощи порождения лемм, мы можем воспользоваться простой схемой аннотации: каждый вызов, решение которого требуется для порождения соответствующего факта, помечается символом А. Этот символ направлен острием вверх, поскольку порождение лемм является характерной особенностью решения задач методом снизу вверх; добавление символа А к стандартной стратегии дает вид поведения, в котором смешиваются методы сверху вниз и снизу вверх. [28]

Во всяком случае важно понимать, что даже Пролог-системы значительно отличаются друг от друга из-за наличия в них различных дополнительных средств, предусмотренных для обогащения ресурсов программиста. В большинстве интерпретаторов, например, допускаются разнообразные способы модификации стратегии управления. Иногда такие усиления стандартной стратегии приводят к вычислениям, которые нельзя полностью обосновать, исходя только из логического вывода, и в этом случае интерпретаторы называют потенциально нечистыми; примером подобного интерпретатора является первоначальный Пролог, реализованный в Марселе. В противном случае, когда интерпретатор всегда ведет себя в соответствии со строгим логическим выводом ( основанным, быть может, и не на резолюции), его называют чистым; система IC-Пролога в лондонском Имперском колледже, написанная Кларком и Маккейбом ( 1979а), является чистой, несмотря на то что в ней имеется несколько довольно сложных механизмов, дополняющих стандартную стратегию. [29]

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

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