Cтраница 3
Затем мы рассмотрим новую общую процедуру декомпозиции для элементарных графов. Она приводит к каноническому разбиению и использует в качестве строительного материала элементарные двудольные графы из гл. Граф G называется бикритическим, если он содержит хотя бы одно ребро и для каждой пары различных вершин х и у в G подграф G - х - у имеет совершенное паросочетание. [31]
![]() |
Типы расходящихся диаграмм в теории Янга - Миллса. [32] |
В соответствии с общей процедурой, для устранения этих расходимостей из соответствующих собственных вершинных функций нужно вычесть несколько первых членов разложения в ряд Тейлора по внешним импульсам. В качестве центра разложения обычно выбирают точку, в которой внешние импульсы лежат на массовой поверхности, поскольку такой выбор обеспечивает правильную нормировку одночастичных состояний. [33]
Описанный метод оказывается общей процедурой доказательства для исчисления предикатов, но, увы, он не гарантирует конец работы. Компьютеры, как и люди, могут войти в бесконечный цикл, пытаясь найти доказательство. Известно [100], что как бы ни хороша была Ваша программа, найдется такая неразрешимая формула, которая загонит ее в бесконечный цикл. К счастью, большинство примеров не такою, и ввиду своей общности метод резолюции весьма полезен для проведения логического вывода и для поиска ответов на вопросы. [34]
Программа SETPARAM является общей процедурой замены параметра относительной, абсолютной, задаваемой по умолчанию величиной. Гарантируется, что полученное с ее помощью значение лежит внутри заданных границ. [35]
В соответствии с общей процедурой проведения игры сначала составляется план реализации продукции, обеспечивающий достижение стратегических целей деятельности предприятия. Последний составляется исходя из запланированных объемов реализации, остатков нереализованной продукции и объемов закупок готовой продукции для ее последующей продажи. [36]
В соответствии с общей процедурой проведения игры сначала составляется план реализации продукции, обеспечивающей достижение стратегических целей деятельности предприятия. Последний составляется исходя из запланированных объемов реализации, остатков нереализованной продукции и объемов закупок готовой продукции для ее последующей продажи. [37]
Цель номер 1 ( общие процедуры) подразумевает, что сегменту каждой чистой общей процедуры ставится в соответ-ствие сегмент связи, который не разделяется пользователями и содержит все внешние ссылки сегмента процедур. [38]
![]() |
Треугольные элементы и ассоциируемые с ними иерархические базисные функции линейного ( а, квадратичного ( б н кубического ( в вида. [39] |
Развитые в этой главе общие процедуры для одномерных и двумерных элементов легко приспособить для трехмерных элементов в виде правильных шестигранников или четырехгранников. Опять могут быть получены стандартные или иерархические базисные функции. Единственная деталь, которой получение таких функций незначительно отличается от предшествующего анализа, состоит в необходимости введения переменных для граней помимо переменных для ребер и элемента. На рис. 4.16 показаны типичные трехмерные элементы серендипова семейства. Читатель может попрактиковаться в нахождении соответ-0 ствующих базисных функций элементов, решив упражнения в конце этой главы. [40]
Трудностью этого метода как общей процедуры является то, что существует бесконечное множество таких систем отсчета, жестко связанных с телом, и выбор системы отсчета и остальных 3N - 6 координат должен быть приспособлен к данной физической задаче. [41]
В программе строгого обоснования общей процедуры построения инвариантных относительно группы решений дифференциальных уравнений имеется одно основное препятствие, которое нужно преодолеть. Вообще говоря, если система дифференциальных уравнений Л определена на открытом подмножестве Mc Xy U пространства независимых и зависимых переменных, на котором регулярно действует группа симметрии G, то редуцированная система дифференциальных уравнений А / С для С-инвариантных решений будет естественно определена на фактормногообразии М / С. Трудность состоит в том, что, хотя M / G обладает структурой гладкого многообразия, оно, вообще говоря, не будет открытым подмножеством никакого евклидова пространства, и поэтому наши предыдущие построения пространств струй и продолжения действия групп больше неприменимы. Здесь s обозначает размерность орбит группы G. В этот момент появляется вторая трудность, состоящая в том, что, вообще говоря, нет естественного способа различить, какие из инвариантов v будут новыми независимыми переменными, а какие будут новыми зависимыми переменными. Если группа G действует проектируемо, то, как мы видели, имеется в точности р - s инвариантов, зависящих только от х, которые и можно взять за новые независимые переменные. Оставшиеся q инвариантов становятся новыми зависимыми переменными. Таким образом, мы считаем М / С подмножеством евклидова пространства УХ У - - Rp - sXR и, следовательно, можем найти явный вид редуцированной системы Д / G, рассматривая и как функции от у. Уже роли независимых и зависимых переменных перестают быть ясными. [42]
Рассмотрим теперь кратко сущность новой общей процедуры проверки адекватности математических моделей. [43]
Проведенное обсуждение относится к общей процедуре конечно-элементной схемы смыкания трещины для вычисления скорости высвобождения энергии деформирования. [44]
Программа VBA, которая содержит общие процедуры, которые не связаны ни с одним объектом. [45]