Формальный анализ

С точки зрения формального анализа для решения вопроса об устойчивости границы раздела фаз необходимо установить связь между круговой частотой со и волновым числом к, физическими свойствами фаз, условиями протекания процесса. В случае, когда [c.128]

Следует, однако, иметь в виду, что все сказанное выше получается в результате формального анализа зависимости Шези, без учета того обстоятельства, что между свободной поверхностью и замком свода имеется воздушная прослойка (прослойка газообразной жидкости ), которая тоже приходит в движение при движении воды в трубе. Наличие этой воздушной прослойки, обусловливающей возникновение на свободной поверхности потока соответствующих сил трения, в некоторой мере искажает описанную выше картину движения воды. Обратимся к расчету канализационных труб. [c.260]

Надо заметить, что более подробный формальный анализ уравнения (7-78) показывает, что кривая щ в некоторых случаях (в практическом отношении не имеющих существенного значения) в низовой своей части получает вид иной, чем то показано на рис. 7-26 и 7-27 (характеризуемый наличием точек перегиба и максимума). [c.291]

Более подробный формальный анализ уравнения (7-78) показывает, что кривая ац должна иметь в верхней (правой) своей части несущественный с практической точки зрения максимум. [c.293]

На рис. 16 приведена диаграмма по оси ординат отложены рассчитанные по формуле (2.17) усредненные условные коэффициенты влияния на предел прочности и относительное удлинение (в логарифмическом масштабе), по оси абсцисс — атомный номер элементов. Принятая система обобщения позволила на основе формального анализа строения электронных уровней прогнозировать направление и степень влияния практически не изученного ряда химических элементов на свойства ферритно-перлитных сталей. [c.67]

Функции Qi(<7, q, t) называются обобщенными силами. Смысл термина скоро станет яснее, а пока что проведем формальный анализ. Если имеется замена переменных [c.106]

Таким образом, формальный анализ при F = 0 дает возможность для сколь угодно большой величины зазора отыскать соответствующий периодический режим. В действительности, по мере увеличения зазора все большее влияние на движение системы оказывают силы трения, присутствующие в любой реальной системе. Наличие этих сил приводит к нарушению периодических режимов. Об этом наглядно свидетельствует неравенство (8.9), позволяющее найти соотношения, связывающие величины пир. [c.265]

Разумеется, что такая картина вытекает из чисто формального анализа полученных соотношений. В действительности случайные возмущения и силы трения между демпфируемой системой и виброгасящим элементом приведут к тому, что обе части системы будут каким-то образом взаимодействовать одна с другой. [c.306]

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

Формальный анализ [13] акустических колебаний газа показывает, что резонансные частоты могут быть выражены как [c.446]

Формальный анализ системы уравнений, использующихся при расчете тепловой схемы ПТУ, проведенный с помощью теории графов, показывает возможность и целесообразность выделения и поочередного решения отдельных подсистем уравнений, соответствующих названным группам элементов. Таким образом сравнительно легко может быть выбран способ решения уравнений математической модели ПТУ. [c.364]

Необходимые нам для дальнейшего теоремы приведены ниже. В большинстве случаев мы дадим только краткие доказательства без точной формулировки условий. Точные условия нам здесь не нз жны, поскольку, как отмечено в следующем параграфе, на этой стадии проводится только формальный анализ, а полученные результаты обязательно подлежат проверке. Теорема I. [c.294]

Формальный анализ методических погрешностей измерения нестационарных температур может быть сделан иа основе решения двух задач теплообмена исследуемого тела с окружающей средой теплообмена системы ИПТ — тело с той же средой. [c.398]

Это интегральное уравнение для /г в принципе решает граничную задачу для линеаризованного уравнения Больцмана. Так как этот метод не применяется на практике, мы не будем углубляться в детали и обосновывать проведенный формальный анализ. [c.246]

В заключение отметим, что общность способа составления уравнений Лагранжа, доведенная до математического алгоритма, приводит иногда к формальному анализу без ясного понимания взаимодействия сил. Поэтому в тех случаях, когда необходимо провести анализ сил, возникающих в системе при ее движении, целесообразно пользоваться общими теоремами динамики либо комбинировать эти теоремы с уравнениями Лагранжа, как это было сделано нами в этом параграфе при рассмотрении второго случая. [c.447]

Проведем сначала формальный анализ поля интегральных кривых уравнения (3.157) в полуплоскости —оо а<оо. [c.119]

Проведем сначала формальный анализ решения уравнения (5.10) [c.181]

В этой связи можно заметить, что при формальном подходе к проблемам, рассматривавшимся в 487 и 522, мы пришли бы автоматически к малым делителям, которые оказались безвредными лишь потому, что можно заменить формальный анализ соответствующим применением общей теоремы, приведенной в 484. [c.495]

Подлинная теория почти свободных электронов не может, конечно, давать таких хороших результатов. Следовательно, задача на собственные значения для почти свободных электронов должна быть в действительности заключительной стадией гораздо более сложного анализа, например по методу ОПВ, а фурье-компоненты [/ц есть на самом деле матричные элементы потенциала по ОПВ, а не по плоским волнам. Поэтому подобные вычисления принято называть расчетами по методу ОПВ. В таком контексте этот термин служит, однако, лишь для напоминания о том, что хотя формально анализ идентичен методу почти свободных электронов, ему все же можно дать более надежное теоретическое основание. [c.211]

Сравнивая эти два выражения, мы видим, что вклад в ток можно связать и с незанятыми уровнями, если изменить знак тензора эффективной массы. Такой результат был получен уже из проведенного нами исследования дырок на стр. 228—232 мы повторили его, чтобы подчеркнуть, что ои возникает и при более формальном анализе. [c.252]

Разработанный метод решения включает в себя два важных этапа. Первый этап —этап формального анализа — проводится без участия ЛПР. На этом этапе на основе информации об объектах и субъектах определяются идеальные назначения, если таковые существуют. Второй этап состоит в получении дополнительной информации от ЛПР и определении на ее основе наиболее близких по своим характеристикам пар объект — субъект. [c.48]

Как уже указывалось, первый этап решения задачи — формальный анализ — состоит из построения графов подобия Г,, 5т и матрицы сходства М. При анализе матрицы М определяются очевидные назначения, соответствующие клеткам 0, 0,, если таковые существуют. При определении очевидных назначений происходит понижение размерности матрицы Л1, после чего снова ищутся очевидные назначения. [c.62]

Отметим, что этап формального анализа может быть осуществлен на ЭВМ. [c.62]

Итак, предложенный метод решения имеет человеко-машинный характер этапы формального анализа, реализованные в виде программ для ЭВМ, чередуются с этапами получения дополнительной информации от ЛПР. [c.63]

При формальном анализе условных крайних вариант — еще 8 чисел, при содержательном анализе исключено 55, оставлено в выборке 10 значений (отбракованных ЭВМ). [c.129]

Считая, что Яо нам задана (Я = onst), обратимся к формальному анализу уравнения (9.11). Назначив в нем [c.232]

Однако надо учитывать, что указанный вывод получается в результате формального анализа уравнения (7-30). В действительности, в районе вертикали W— W (см. заштрихованную область на рис. 7-22) имеем резко изменяющееся движение, в то время как уравнение (7-30) было выведено для плабно изменяющегося движения. В связи с этим дифференциальное уравнение (7-30), строго говоря, неприложимо к области потока, где глубины его близки к критической, л следовательно, упомянутый выше вывод носит условный характер. [c.287]

Считая, что Но нам задано (Hq = onst), обратимся к формальному анализу уравнения (11-32). [c.417]

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

Размерный граф может быть организован при конструировании в режиме диалога либо может быть получен из параметрических графов усечением последних. Преобразование параметрических графов в размерный может быть произведено в некоторых случаях алгоритмически с помощью формального анализа описания параметрических графов. [c.191]

Дополнительно к предыдущему анализу, основанному на методе отражений и приводящему к численным результатам для скорости седиментации частиц в суспензиях, имеется изящный формальный анализ задачи об ограниченном числе сфер в неограниченной среде, предложенный Кинчем [57]. Его исследование включает в себя численные оценки и сравнение с данными для [c.433]

Как правило, расстояние определяется характером исследуемого объекта и его геометрическими размерами. Расстояние hi можно выбрать на основании требований, предъявляемых к конкретным измерениям. Если необходимо регистрировать весьма малые неоднородности показателя преломления, т. е. использовать максимальную чувствительность многолучевого интерферометра, то согласно формуле (219) требуется выбирать наибольшую величину h-i (iipH постоянных ftj и Дйа)- Однако формальный анализ равенства (2l9) не позволяет учитывать такие элементы, как допустимые значения /ij из за недостаточной монохроматичности источника, сложности юстировки при больших расстояниях и т. д. [c.195]

Принцип пространственного согласования был сформулирован путем формального анализа условий получения совокупнрсти кристаллов и ее структурных свойств. Однако он может быть вьшеден и из общйх соображений. Для этого необходимо рассмотреть свободную энергию системы подложка-совокупность кристаллов на ней. Эта энергия может быть записана в виде [c.30]

Часть информационных массивов, выделяемая под входные сообщения, называется базисными массивами. Остановимся на вопросе проектирования структуры входных информационных сообщений подробнее. Структуры исходных элементов инфор.мационного потока, синтезируемые автоматически на основании формального анализа терминальных специфякаттий (описаний Лорм исходных документов), могут оказаться неудовлетворительными с точки зре- [c.116]

Формальный анализ в проблеме линеаризации восходит еще к Пуанкаре, который рассматривал векторные поля, а не отображения. Доказательство гладкой линеаризации в нере-зоиансном С°°-случае принадлежит Стернбергу [312]- [314], а обобщение для нелинейных нормальных форм — Чещ [64]. Теории нормальных форм посвящена столь обширная литература, что мы не пытаемся перечислить даже главные источники. Работа Белицкого [38] содержит краткий обзор гладкого случая. Важная работа [61], [62], посвященная аналитическому случаю, принадлежит Брюно. [c.728]

Теперь изучим задачу усреднения. Определим о >1Чным образом период У, образованный частью У (твердая часть), которая строго содержится в У (т.е. граница У не пересекает границу периода) и жидкой частью У (рис. 4). Как обычно, рассмотрим пространство переменной у, заполненное пержодами У. Кроме того, область С пространства 1К (переменней х) разлагается на О (твердая часть) и 0 (жидкая часть), где есть пересечение Q с множеством точек х, таких что х/е 6 уз. (Для определенности естественно считать, что твердые частицы С не пересекают однако для формального анализа, которым мы занимаемся ниже, это условие несущественно.) [c.226]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...