Cтраница 4
Для уравнений с несколькими переменными справедливы правила преобразования, аналогичные правилам 1 - 4, которые сформулированы выше. [46]
![]() |
Правила преобразования базисных векторов Ln ( Группа РгаЗга. [47] |
Теперь в нашем распоряжении имеются все правила преобразования, необходимые для инвариантного разложения материальных тензоров в терминах кристаллохимическои симметрии для ОМС, рассмотренных в гл. [48]
Для уравнений с несколькими переменными справедливы правила преобразования, аналогичные правилам 1 - 4, которые сформулированы выше. [49]
В конце главы в табл. 7.2 приведены правила преобразования. [50]
Хотя этого совершенно достаточно, чтобы выразить правила преобразования лямбда-исчисления, мы указали некоторые проблемы, связанные с данным представлением, в частности то, что трудно в данном случае выразить разделение выражений аргументов. Две ссылки на одну и ту же переменную в этом случае приводят к тому, что из контекста дважды извлекается одна и та же связь, и нет необходимости в ее дублировании. Второй метод достижения разделения состоит в принятии графового представления выражений. При этом множественные ссылки на одно и то же выражение аргумента представляются множеством дуг, идущих к единственной разделяемой копии соответствующего графа аргумента. Как и в предыдущей главе, мы будем основывать наше обсуждение на лямбда-исчислении и будем полагать, что let - и let-rec - выражения были преобразованы в нашем промежуточном коде. Обработка рекурсивных определений отложена до следующей главы. [51]
Можно ввести другую производную, которая имеет тензорные правила преобразования. Для наших целей это не обязательно, поэтому остановимся на формулах, представленных выше. [52]
Применив к схеме рис. V-13, а правила преобразования структурных схем [93], получим эквивалентную структурную схему рис. V-13, б, на которой показана скоростная обратная связь. [53]
В первое приложение - к книге вынесены правила преобразования структурных схем, уточняющие существующие классические правила преобразования. [54]
Используя ненаправленные графы, не следует забывать известные правила физических схемных преобразований, помогающие ускорить расчет электрической схемы. [55]
В нижней части табл. 9.2 ( после черты) приводятся правила преобразования переменных под действием штрихованных элементов га га. Это необходимо нам для определения магнитных ( точечных) групп. Возможно также рассмотрение структурных магнитных фазовых переходов между ОМС, указанными в табл. 9.1. Для этого надо записать, наряду со СФ (9.3) и МЭ (9.4) вкладами в термодинамический потенциал Ф, также магнитный вклад ( обмен и магнитная анизотропия), электрический и зеемановский вклады. Полное выражение для Ф будет содержать более полусотни слагаемых с независимыми коэффициентами, и ясно, что в настоящее время количественное рассмотрение на этой основе просто нереально. [56]
Итак, все что нам нужно сделать - это определить правила преобразования графов, соответствующие применениям 5, К. Как и в случае редукции графов, в результате будет получена реализация, которая естественным образом является ленивой в том, что в качестве очередного редекса для упрощения всегда выбирается самый левый из самых внешних редексов. [57]
Фаза анализа не предназначена для того, чтобы выяснять все правила преобразования старых данных и приспосабливать их для нужд новой системы. На этой фазе составляется контрольный список старых элементов данных, которые нужно переносить. [58]
Заменив во втором слагаемом поверхностную силу ее значением и используя правила преобразования поверхностного интеграла в объемный ( II. [59]