Cтраница 2
В запросе 4 показано, что проверка существования может распространяться на произвольное число уровней. [16]
Теорема 13.1 доставляет достаточно эффективный способ проверки существования дерева соединений для произвольной схемы базы данных R. Найдем / R ( необходимо учитывать лишь ребра с непустыми метками), а потом найдем для него остовное дерево G наибольшего веса. Если G - дерево соединений, то, очевидно, схема R обладает деревом соединений. [17]
Теорема 13.1 доставляет достаточно эффективный способ проверки существования дерева соединений для произвольной схемы базы данных R. Найдем / R ( необходимо учитывать лишь ребра с непустыми метками), а потом найдем для него остовное дерево G наибольшего веса. Если G-дерево соединений, то, очевидно, схема R обладает деревом соединений. [18]
Предложите эксперименты, которые нужно провести для проверки существования путей ( I) и ( II) при фотолизе паров формальдегида светом 3130 А. [19]
Для трехкомпонентных смесей в пятом блоке осуществляется проверка существования области параметров, в которой возможно наличие нескольких стационарных профилей ректификационной колонны при одном и том же векторе параметров. Могут быть определены пусковые условия, приводящие к тому или иному стационарному профилю. [20]
Итак, проверка максимальности заданного паросочетания С равносильна проверке существования чередующего пути. [21]
Другим примером, иллюстрирующим проблему фантомных записей, является проверка существования определенного кортежа в отношении. Если он существует, то должен быть блокирован, чтобы гарантировать, что не будет удален другой транзакцией до окончания выполнения данной транзакции. [22]
Итак, решение любой практической задачи мы должны начинать с проверки существования сети трасс. Идеально было бы располагать полным описанием всех трасс, так как это значительно облегчило бы проверку существования сети. Впрочем, для надлежащего описания наших трасс почти ничего нельзя сделать, разве что объединить их в семейства, соответствующие цепям, и затем разбить на семейства гладких дуг, соответствующие пучкам. [23]
Во-первых, нужны подпрограммы для получения первоначальной раскладки, для проверки существования возможных ходов в данной позиции, для перемещения карт, для переворачивания верхней карты стопки, для перекладывания карты в счетную стопку - словом, процедуры, реализующие явный процесс раскладывания пасьянса. [24]
Как можно заметить, большинство из приведенных выше тестов сводится к проверке существования линейной зависимости между оптическими плотностями или их функциями. Если действительно возникает необходимость более строгой оценки числа компонентов, следует воспользоваться излагаемыми в следующем разделе методами анализа ранга матрицы оптических плотностей, общими для систем с любым числом компонентов. [25]
Как можно заметить, большинство из приведенных выше тестов сводится к проверке существования линейной зависимости между оптическими плотностями или их функциями. [26]
Для приложений важно иметь достаточные условия справедливости равенства ( 1), не требующие проверки существования свертки трех функций. [27]
Для такой схемы малое перемещение захвата определяет двумерную плоскость в пятимерном пространстве; проверку существования допустимого многогранника и отыскание оптимального вектора Аф удается свести к определению минимума функции одной переменной. [28]
В этом разделе мы дадим общие теоремы о неподвижной точке, очень удобные при проверке существования периодических решений автономных функционально-дифференциальных уравнений, не обязательно являющихся возмущениями линейных уравнений, как в разд. Доказательства даются только для тех свойств, которые непосредственно относятся к функционально-дифференциальным уравнениям. [29]
В языке имеются два оператора - exists и find, первый из которых служит для проверки существования, а второй - для селекции конкретных экземпляров модулей удовлетворяющих некоторым критериям. [30]