Cтраница 2
Отметим, что в монографии Сполдинга и Патанкара только что выписанные формулы применяются к пристеночной области турбулентного пограничного слоя, а во внешней области слоя путь смешения рассматривается как величина, пропорциональная некоторой характерной толщине пограничного слоя. Вычислительная сложность применения этой полуэмпирической теории смягчается возможностью использования ЭВЦМ; изложению этой вычислительной стороны метода и посвящена большая часть монографии. [16]
В случае бесконечной области D, когда контур L0 отсутствует, все выписанные формул и останутся снранед. [17]
Скорость высвобождения энергии для плоского напряженного состояния можно получить путем замены в выписанных формулах величины v на v / ( l v), что приводит к равенству / С2 / Е, где Е - модуль Юнга материала. [18]
Поскольку импликация может быть заменена операциями дизъюнкции и отрицания, то с помощью выписанных формул при соблюдении условий, исключающих возможность возникновения коллизии переменных, можно осуществлять последовательную перестановку кванторов со всеми составляющими формулу ( отличными от кванторов) символами, пока все кванторы не окажутся в левой части формулы. Например, формула Р ( х) V-VyQ ( x y ] может быть сначала преобразована в эквивалентную ей формулу Р ( х) / 3у - I Q ( y), а затем ( также в эквивалентную ей) формулу Зу ( Р ( х ] - 1 Q ( x y)), которая и будет представлять собой требуемую предваренную форму исходной формулы. [19]
Мы принимаем здесь, что сам гамильтониан Н не зависит от времени явно. В противном случае в выписанных формулах возникают осложнения, в природу которых мы пока не будем вдаваться. [20]
Очевидно, что они сохраняться и при рассмотрении трехмерной модели с той лишь разницей, что необходимо проставить индексы, для того чтобы указать какому капилляру соответствует выписанная формула. [21]
Величины X и & с различными индексами представляют собой выражения, не содержащие в коэффициентах положительных степеней Я. Ниже приводятся те из этих выражений, которые понадобятся в дальнейшем. Не выписанные формулы, имеют такую же структуру. [22]
Именно, последнюю из формул можно проверить дифференцированием правой части в ( 241) Выполняя еще раз дифференцирование по t правой части в (2.42) и подставляя в исходное уравнение, получим тождество. Чтобы убедиться в Т - периодичности решения, достаточно одного взгляда на выписанные формулы. [23]
Изотопными являются также конъюнкция, константы О н 1 ( рассматриваемые как функции; напр. Других изотопных функций алгебры логики не существует. Отрицание - ] А оказывается убывающей функцией: из / 4 - Д следует ] Л-15. Последняя из выписанных формул выражает также контр апом-ции закон. [24]