Cтраница 4
В классической семантике умолчаний каж: дое применимое умолчание применяется. Это препятствует наличию свойства единственности минимального расширения. Так, в примере 9.76 из-за того, что одно умолчание всегда применяется, нельзя получить единственное минимальное расширение. [46]
На мобильность языка сильно влияют расширения, принятые в конкретных реализациях. Язык Си, содержащий все необходимые средства, не требует расширений. В Паскале, наоборот, многих средств нет, что обусловливает расширения и ведет к потере первоначально заложенной в язык мобильности. Язык Литтл требует минимальных расширений. [47]
Преобразованный мограф и представляющий его линейный f - граф. [48] |
Во втором покрытии имеются способы преобразования, расщепляющие один элемент носителя, а именно с. Для нахождения минимального его расщепления строим граф зацепления G3 ( рис. 5.21), который раскрашивается в два цвета. Следовательно, с необходимо расщепить на два элемента. Оба выбранные покрытия соответствуют минимальному расширению носителя. Заметим, что поскольку узким местом предложенного метода является раскраска графов зацепления, которую необходимо выполнять для всех покрытий и, быть может, более 1 раза), существенно повысить быстродействие метода позволит применение оценок хроматического числа, рассматриваемых в гл. [49]
При построении конуса расширения должны быть учтены два обстоятельства. Во-первых, в процессе расширения большая часть металла как бы висит в воздухе. Это делает процесс неустойчивым и он легко может нарушиться. Поэтому следует, по возможности, применять минимальное расширение. При этом необходимо также учитывать то, что при большем расширении часть цилиндрического участка оправки будет находиться в следующем участке деформации гильзы. Во-вторых, после значительной переменной деформации в конусе прошивки металл может сравнительно свободно и легко расширяться. Поэтому угол наклона образующей конуса расширения может быть больше угла наклона образующей конуса осаживания. [50]
Предложенная в [68] характеризация основана на отношении подчинения, обычно называемым отношением быть подмоделью. Множество запрещенных фигур [68] включает в себя три бесконечных множества и два отдельных экземпляра запрещенных фигур, что, естественно, затрудняет использование его на практике. Теорема 5.9 обеспечивает не только возможность определения по данному мографу, является ли он линейным. Она дает возможность конструктивного преобразования нелинейного мографа в линейный с минимальным расширением носителя или сигнатуры. Оно основано на преобразовании запрещенных фигур в семантически эквивалентные разрешенные. [51]
Перемешивание зерен адсорбента в плоскости, перпендикулярной к направлению потока жидкости, не отражается на продольном переносе адсорбируемого вещества с потокбм и поэтому не может существенно влиять на динамику адсорбции. Перемешивание же зерен в направлении потока приводит к размыванию фронта адсорбции в слое. Насыщенные адсорбированным веществом зерна из участка слоя, лежащего ниже зоны массообмена, выносятся потоком в часть слоя, лежащую выше зоны массобмена, В результате этого проскок адсорбируемого вещества в фильтрат наступает раньше, чем фронт адсорбции переместится к верхней границе псевдоожиженного слоя. Чем больше скорость потока и относительное расширение псевдоожиженного слоя, тем интенсивнее продольное перемешивание частиц адсорбента в слое и вызванное этим размывание фронта адсорбции. Все эти процессы обусловливают ухудшение использования адсорбента с увеличением отношения LB / L: Поэтому псевдоожиженный слой в процессах адсорбции должен использоваться при минимальном расширении LB / L 1 4 - f - 1 5, достаточном для перехода плотного неподвижного слоя частиц адсорбента в подвижное текучее состояние. [52]