Cтраница 1
Фиттинг отмечает, что если к формулам применяются правила расширения таблиц и при этом исходные формулы, к которым правила применялись, удаляются, то имеет место расширение таблицы. [1]
Фиттинг отмечает, что существует некоторая трудность, связанная с эффективностью использования предиката test. В то же время, если формула X не является доказуемой, то вызов предиката expand будет закончен успешно, но вызов предиката closed завершится неудачей, что приведет к бектрекингу ( поиску новых значений) для предиката expand. Но если предикат expand может успешно завершиться для нескольких значений ( путей), то предикат closed никогда успешно не завершится. Следовательно, перед окончанием программы с неудачей будет выполнено много путей для нахождения расширения формулы, заданной в ДНФ. Таким образом, предикат test заменяется приведенным ниже предикатом, который является более эффективным в случае, когда формула не является теоремой. [2]
Резьбовые фиттинги могут применяться для труб диаметром до 8 CJK. Пригодны фиттинги из ковкого чугуна, но не допускаются фиттинги из литейного-или сталистого чугуна. Фиттинги из стального литья и сварные из кованой стали могут применяться для труб всех диаметров. Рекомендуются фланцевые или приварные вентили типа задвижек или с шаровым клапаном; вентили с коническим клапаном предпочтительнее из стального литья, чем из сталистого чугуна. [3]
Фиттинга и нилыютентна класса с. Фундаментальная лемма 51.37, используемая в соединении с формулой Шрейера, ограничивает число образующих критических групп из Ш (, и тогда для ограничения порядка таких критических групп достаточен сильно упрощенный вариант рассуждений § 2 этой главы. Теперь рассуждения могут быть завершены многими способами, можно даже использовать то, что, как уже известно ( 34 24), тождества этого многообразия конечно базируемы. Побочным продуктом этих рассуждений является тот факт, что все критические группы из 1Ш имеют не больше c образующих, однако нужны другие средства для доказательства следующей точной информации, излагаемой здесь без доказательства. [4]
Конструкция фиттингов такова, что они служат как для захвата контейнеров при подъеме, так и для крепления их на подвижном составе или для взаимосвязи. Наиболее быстрым способом захвата контейнеров является способ с применением полуавтоматической грузоподъемной рамы. Имеются грузоподъемные рамы, позволяющие производить сцепление и расцепление с контейнером автоматически. [5]
Семантика Фиттинга для нормальных логических программ представляет собой трехзначное обобщение моделей Кларка. Эта семантика не является рекурсивно перечислимой. К сожалению, семантика Фиттинга унаследовала некоторые проблемы, связанные с семантикой пополнений Кларка. [6]
Подгруппа Фиттинга Fitt G полициклической группы G является максимальной нормальной нилыготент-ной подгруппой. Факторгруппа G / Fitt G для полициклической группы G почти абелева. [7]
Подгруппа Фиттинга F ( G) группы С есть нильпотентная нормальная подгруппа в С. [8]
Подгруппа Фиттинга Fitt G полициклической группы G является максимальной нормальной нильпотент-ной подгруппой. Факторгруппа G / Fitt G для полициклической группы G почти абелева. [9]
Подгруппа Фиттинга конечной группы совпадает с пересечением всех главных централизаторов этой группы. [10]
В нарезных фиттингах высокого давления для предотвращения задиров тяжелые фракции хлорфторуглеводородных жидкостей могут быть использованы в качестве уплотнителей. [11]
Арматуру и фиттинги для труб обычно футеруют методом литья под давлением с применением сложных установочных форм со знаками. [12]
Тогда компоненты Фиттинга УЯОА, ЗЙ1Л пространства WI относительно А инвариантны относительно преобразования В. [13]
Хорошо известная лемма Фиттинга утверждает, что если линейное преобразование А действует в конечномерном векторном пространстве 2t, то пространство 2Й можно представить в виде прямой суммы ЗИОЛ ф 9К1Л двух подпространств Зйм, инвариантных относительно преобразования А, причем индуцированное преобразование в подпространстве W1OA нильпотентно, а в подпространстве 2 ] Л является автоморфизмом. Мы назовем 9КОЛ и ЗЙ1Л соответственно фиттинговой 0-компонентой ( или нуль-компонентой) и фиттинговой 1 -компонентой пространства 9К относительно преобразования А. [14]
Обозначим временно подгруппу Фиттинга конечной группы А через Ft и, как прежде, обозначение F используем для пересечения главных централизаторов. [15]