Cтраница 3
И внешнее строение, и образ жизни животных повторяются с такой поразительной детальностью, что невольно возникает ощущение, будто среда обитания плацентарных и сумчатых млекопитающих состояла из экологических ниш, в которые эволюция аккуратно вставила соответствующие экологические эквиваленты. Важно помнить, что в противоположность группам, претерпевшим конвергентную эволюцию, у сумчатых и плацентарных радиация началась с одним и тем же набором ограничений и возможностей, поскольку обе группы происходят от общих предков. [31]
В настоящее время рассматриваются две постановки задачи построения схемы реляционной базы данных. В первой постановке задачи, называемой декомпозиционным подходом, предложенном в [28], необходимо по некоторой схеме реляционной базы данных, состоящей из схем нескольких отношений, и набору ограничений на связи некоторых атрибутов отношений найти другую, эквивалентную данной схему реляционной базы данных, в которой отсутствовали бы аномалии и число отношений было бы минимально. [32]
Механизмы фильтрации и элементарные процессы могут использоваться при чистке базы данных в период ее неактивности или непосредственно после выполнения той или иной операции. И наконец, целостность базы данных увязывается с контекстом. Это позволяет задавать наборы ограничений целостности для конкретных частных представлений, неприменимые к глобальному представлению базы данных. [33]
Почти любое из существующих правил вывода представляет собой некий компромисс между двумя описанными выше стратегиями: минимизацией на многообразии и отбрасыванием ограничений при первой возможности. Зойтендейк ( 1960) предложил схему, в которой ограничение, однажды уже исключенное из базиса и оказавшееся в нем вновь, будет впредь считаться активным, по крайней мере до тех пор, пока не определится минимум на соответствующем многообразии. Тем самым эффективно выделяется набор ограничений, которые можно отбросить, как только оценки их множителей Лагранжа окажутся отрицательными. Эта схема конечна, как и метод минимизации на многообразии. [34]
Экономические институты чрезвычайно разнообразны. Они не всегда поддаются точному определению, измерению, не выступают в форме конкретных экономических параметров. Но вместе с тем каждой экономической модели отвечает свой собственный набор институциональных ограничений. Именно конкретные институциональные ограничения образуют, формируют то экономическое пространство, в рамках которого действуют люди и организации. Если кто-то из них направляет свои усилия на непродуктивную деятельность, то это значит, что именно такую деятельность поощряет созданная система институциональных ограничителей и вытекающая из нее система стимулов. [35]
Второй алгоритм основан на предположении, что свойства пород, регистрируемые кривой - CXL и скорости осадконакопления для двух синхронных точек разрезов скважин, расположенных на близком расстоянии, должны быть сходными. Лучший вариант корреляции двух разрезов находится минимизацией интеграла от разности точек - наблюденной и вычисленной в соответствии с принятой моделью. Поиск решения осуществляется перебором вариантов внутри области, которая задается набором ограничений на скорость изменения свойств по вертикали и горизонтали, допустимые изменения скорости между двумя разрезами, интервал допустимых скоростей осадконакопления. [36]
Разница между условием соединения и условием сохранения информации заключается в том, требуем ли мы выполнения FIX. Чаще всего нас будет интересовать тот случай, когда Р описывается некоторым набором ограничений С. Мы уже умеем проверять такие условия, если С содержит функциональные зависимости или зависимости соединения. Поэтому, проверка того, что яС [ R ], может встретить трудности. Другой стороной проверки условий соединения и сохранения информации является определение, выполнено cxi L s Р или нет ( см. упр. На языке спроектированных ограничений нам нужно проверить яС U [ R ] NC. Для условия сохранения информации проверка по теореме 9.4 сокращается до лС Н С. Мы вернемся к проверке разных свойств представлений в разд. [37]
Сформулировать общий критерий оптимальности для подсистем, согласующийся с выходным критерием всей системы, задача сложная. Минимизация себестоимости в одних циклах связана с повышением себестоимости в других. Таким образом, в каждой подсистеме необходимо формулировать свой критерий и набор ограничений, связанных с функционированием следующего цикла. [38]
Изучение этой фотографии свидетельствует о том, что мы в состоянии различить ребра и отдельные грани фигуры, несмотря на практическое отсутствие на изображении локальных признаков существования сответствующего разделения. Это происходит таким образом, что мы как бы воображаем грани, ребра и вершины, руководствуясь механизмом, который можно было бы определить как трехмерное восприятие мира, существующего вне данного изображения. Важным компонентом этого механизма восприятия, естественно, является знание законов перспективы, а также роли освещения и, в частности, особенностей образования теней, не говоря уже о предположительных типах объектов, с которыми мы можем столкнуться. Разработка программ для восприятия трехмерных объектов в настоящее время полностью определяется идеей, состоящей в задании такого набора ограничений некоему механизму решения задач, который будет использовать характерные признаки изображения ( контрастные границы, равномерно освещенные области) для выдвижения гипотез и проверять их внутреннюю непротиворечивость с помощью этого набора ограничений. Содержательные выводы из этих гипотез следует привязать к участкам изображения, указываемым ло-добной геометрически образованной системой логического вывода, и таким образом обеспечивается распознавание ребер, вершин и граней, ни в коем случае не обнаруживаемых при обычном осмотре. [39]
Изучение этой фотографии свидетельствует о том, что мы в состоянии различить ребра и отдельные грани фигуры, несмотря на практическое отсутствие на изображении локальных признаков существования сответствующего разделения. Это происходит таким образом, что мы как бы воображаем грани, ребра и вершины, руководствуясь механизмом, который можно было бы определить как трехмерное восприятие мира, существующего вне данного изображения. Важным компонентом этого механизма восприятия, естественно, является знание законов перспективы, а также роли освещения и, в частности, особенностей образования теней, не говоря уже о предположительных типах объектов, с которыми мы можем столкнуться. Разработка программ для восприятия трехмерных объектов в настоящее время полностью определяется идеей, состоящей в задании такого набора ограничений некоему механизму решения задач, который будет использовать характерные признаки изображения ( контрастные границы, равномерно освещенные области) для выдвижения гипотез и проверять их внутреннюю непротиворечивость с помощью этого набора ограничений. Содержательные выводы из этих гипотез следует привязать к участкам изображения, указываемым ло-добной геометрически образованной системой логического вывода, и таким образом обеспечивается распознавание ребер, вершин и граней, ни в коем случае не обнаруживаемых при обычном осмотре. [40]
Редакторы были примитивными и никоим образом не выглядели как волшебная дверь, через которую мы попадаем в страну вычислений. Тем не менее в лекции нашла отражение важность диалоговых вычислений и языков для поддержки таких вычислений. Было отмечено, что представление программ как данных являлось критическим для подобного программирования. Оказывается, что для такого представления списки подходят лучше, чем массивы, поскольку синтаксис представляет собой набор вложенных и подставляемых ограничений, что совпадает с правилами модификации списковых структур. [41]
На практике низкое ограничение сверху вводят на потенциально очень доходные, но и очень рискованные активы. Самые низкие ограничения сверху вводят на веса активов, инвестиции в которые с высокой вероятностью могут быть потеряны полностью. В лучшем случае эти активы могут принести доход за пределами горизонта инвестирования. Ненулевые ограничения снизу вводятся как правило для создания в составе портфеля подушки безопасности из низкодоходных, но и низкорискованных активов. Кроме того, и набор ограничений сверху, и набор ограничений снизу имеют свои правила нормирования. [42]
Рассмотрим, как применяются модели. Для того чтобы найти шляпы в сцене, мы описываем, что собой представляет шляпа. Модель эта обладает большей общностью, чем какой-либо частный рисунок шляпы. Она представляет собой класс предметов, например вообще рисунки шляп или по крайней мере многие из изображений шляп. В идеале модель - это набор ограничений, которым подчиняются изображения шляп. Этот набор определяет критерий, с помощью которого можно определить, принадлежит ли данный предмет к классу шляп или не принадлежит. [43]
На практике низкое ограничение сверху вводят на потенциально очень доходные, но и очень рискованные активы. Самые низкие ограничения сверху вводят на веса активов, инвестиции в которые с высокой вероятностью могут быть потеряны полностью. В лучшем случае эти активы могут принести доход за пределами горизонта инвестирования. Ненулевые ограничения снизу вводятся как правило для создания в составе портфеля подушки безопасности из низкодоходных, но и низкорискованных активов. Кроме того, и набор ограничений сверху, и набор ограничений снизу имеют свои правила нормирования. [44]
Для поиска оптимального решения по обобщенной целевой функции (7.18) применим табличный 1 [ ропссшр Ехсе1, входящий в пакет программ Л / Кетовой, ОШсс. В табл. 7.13 приведен лист рабочей книги Ехсс. В ячейки заносят функции свой-сгво - объемная доля модификатора, рассмотренные в предыдущих разделах. Поскольку по умолчанию начальное я имение объемной доли модификатора Р20, в ячейках отображаются значения параметра разбавителя. В табл. 7.14 представлен вид листа в цифровом формате, в котором задаются параметры и выполняется поиска оптимального решения. Поиск решения не устанавливается по умолчанию, его надо дополнительно установить с дистрибутива. Это приложение применяют для поиска оптимального решения некоторой задачи Б случае, если имеется несколько входных значений, а также набор ограничений на решение. [45]