Условие - тип
Cтраница 3
Достижение критической плотности дислокаций, удовлетворяющей условию типа (13.56), приводит к зарождению трещины, лежащей в плоскости скольжения. Такое расположение трещин наблюдалось экспериментально в гексагональных кристаллах. [31]
Одним из первых решение задачи с условиями несмешанного типа построено X. [32]
Для этого за ключевым словом CASE помещается условие типа BAR () - I, где I - номер выбранной позиции меню. При удовлетворении этого условия выполняются последующие команды до ключевых слов CASE, ENDCASE или OTHERWISE. Переход на команды после ключевого слова OTHERWISE осуществляется в том случае, если условия всех ключевых слов CASE были оценены как ложные. После выполнения этих команд другие ключевые слова CASE в команде пропускаются и управление и передается на команду, следующую за словом ENDCASE, которое завершает данную команду. Естественно, что данная команда имеет более широкое применение и с ключевым словом CASE может использоваться любое разрешенное логическое выражение. [33]
Применяя метод редукции бесконечной системы с использованием условий типа (5.24), получаем последовательность линейных дифференциальных и характеристических уравнений, соответствующих заданному уровню замыкания. [34]
В случае уравнения с постоянными коэффициентами можно указать условие типа ( 8) на рост решения, необходимое н достаточное для единственности решения задачи Коши. [35]
Условие на теорию Т в теореме - это условие типа непротиворечивости, которое может быть конструктивно понимаемо. Если говорить описательно, оно означает, что арифметика содержится в Т достаточно естественно. Хорошо известны, например, естественные погружения арифметики в теоретико-множественные теории, такие, как теория Цермело-Френкеля, New Foundations Куайна и теория типов. До сих пор неизвестны финитные доказательства непротиворечивости этих теорий, а тем более Тк-непротиворечивости. Но обнаружение Тк - противоречия в одной из этих теорий свидетельствовало бы, по-видимому, о столь же неблагополучном положении вещей, как и обнаружение просто противоречия. С другой стороны, для некоторых теорий Г, например для ZQ [8] и предикативного анализа [10], Ти-непротиворечивость может быть конструктивно установлена. [36]
Метод множителей Лагранжа, достаточно эффективно учитывающий наличие условий типа равенств. Учет этих условий основан на организации новой целевой функции, в которую с помощью множителей Лагранжа вводятся указанные условия. Поиск экстремума новой функции может осуществляться обычными методами математического программирования. [37]
Дальнейшее исследование задач должно проводиться с целью получения условий типа условий Вейерштрасса. [38]
Помимо ограничений, накладываемых на фазовые координаты извне условиями типа ( 2 - 22), в системе привода могут действовать ограничения, вызванные теми или иными физическими явлениями. Первые принято называть ограничениями первого рода, последние - ограничениями второго рода. [39]
Выбор п функций фа можно еще уточнить некоторыми условиями типа неравенств, и тогда система координат определяется с точностью до линейных преобразований Лоренца. Примером гармонической системы может служить декартова система в плоских пространствах. Ее основное преимущество выражается в том, что уравнения поля тяготения в этой системе отнесения принимают удобную для исследования форму ( см. гл. [40]
Выбор п функций фа можно еще уточнить некоторыми условиями типа неравенств, и тогда система координат определяется с точностью до линейных преобразований Лоренца. Примером гармонической системы может служить декартова система в плоских пространствах. [41]
Унимодулярные матрицы М, detM 1, характеризуются условием типа примера ( 2.1.7 4), и поэтому также образуют ( п2 - 1) - мерное подмногообразие. [42]
Как было установлено68, испытания в подшипниках в условиях типа I ( 171 С в объеме масла) дают довольно точное представление о поведении масел в полноразмерных 100-часовых испытаниях на реактивном двигателе. Поэтому прибор для испытания масла в подшипнике можно рассматривать как двигатель малых размеров, и в настоящее время он используется для оценки масла непосредственно перед проведением полноразмерных испытаний на двигателе. [43]
 |
Зависимость максимальной степени заполнения 9 от отношения констант скоростей KNE Для различных значений /. [44] |
Теперь рассмотрим последовательность реакций VI, VII применительно к условиям темкинского типа. [45]
Страницы: 1 2 3 4