Cтраница 3
В классической семантике умолчаний каж: дое применимое умолчание применяется. Это препятствует наличию свойства единственности минимального расширения. Так, в примере 9.76 из-за того, что одно умолчание всегда применяется, нельзя получить единственное минимальное расширение. [31]
Как отмечалось выше, если рассматривать расширение как рациональное множество заключений, то кажется странным, что осторожная семантика сама не образует такого множества. Если же обеспечить выполнение свойства единственности минимального расширения, то с этой проблемой удается справиться. Более того, наличие свойства единственности облегчает поиск итерационных алгоритмов для вычисления осторожной версии семантики умолчаний. [32]
Группы ф Э и § 2 / 9t2 не могут быть изоморфными расширениями системы 31, так как тогда между классами а, Ъ существовали бы одновременно соотношения ( ab 1) 2 1 и ( ab 1) 3 1, из которых следует a Ь, чего в 31 нет. Таким образом, система 31 допускает неизоморфные абсолютно минимальные расширения. [33]
Итак, все минимальные групповые расширения с точностью до изоморфизма исчерпываются факторами группы отношений. Обратно, если все минимальные расширения содержатся среди фактор-расширений некоторого минимального расширения, то это минимальное расширение изоморфно группе отношений. [34]
Однако с точки зрения качества физической реализации системы хранения задачи, в которых применяются преобразования мографов в допустимые, разбиваются на два класса. В первом из них требуется точное преобразование мографов, при котором достигается минимальное расширение носителя или сигнатуры. К нему относится, например, задача организации дополнительных индексов в мультисписковой организации, которые целесообразно хранить в основной памяти, особенно если проектируется информационная система, работающая в режиме диалога. В этом случае применяется семантическое эквивалентиро-вание, проиллюстрированное в § 5.3 на примере преобразования мографа в линейный. [35]
Итак, все минимальные групповые расширения с точностью до изоморфизма исчерпываются факторами группы отношений. Обратно, если все минимальные расширения содержатся среди фактор-расширений некоторого минимального расширения, то это минимальное расширение изоморфно группе отношений. [36]
К огнеупорным материалам, применяемым для металлургических печей, предъявляют различные требования. Эти материалы должны выдерживать высокую температуру, обладать достаточной механической прочностью, сопротивляться химическому воздействию газов, жидких шлаков и металлов, обладать минимальным расширением и иметь определенную пористость. [37]
Кд - фиксированный набор постоянных матриц размера ( г X т) и пусть n ( N0), N ( N0) и N ( N0) - целые числа, определенные выше. Тогда число n ( N0) представляет размерность минимальной частичной реализации; N ( N0) и N ( N0) представляют наименьшие целые числа, такие, что равенства (2.56), (2.57) удовлетворяются для всех минимальных расширений; существует минимальное расширение порядка R ( N0) N ( N0) - - Nr ( - / V0), для которого n ( N0) является размерностью реализации, вычисленной по алгоритму Хо, но которая, вообще говоря, не единственна; всякое расширение до порядка R ( N0) однозначно определяется указанным способом. [38]
Кд - фиксированный набор постоянных матриц размера ( г X т) и пусть n ( N0), N ( N0) и N ( N0) - целые числа, определенные выше. Тогда число n ( N0) представляет размерность минимальной частичной реализации; N ( N0) и N ( N0) представляют наименьшие целые числа, такие, что равенства (2.56), (2.57) удовлетворяются для всех минимальных расширений; существует минимальное расширение порядка R ( N0) N ( N0) - - Nr ( - / V0), для которого n ( N0) является размерностью реализации, вычисленной по алгоритму Хо, но которая, вообще говоря, не единственна; всякое расширение до порядка R ( N0) однозначно определяется указанным способом. [39]
Наличие запрещенной фигуры в графе G приводит к тому, что он не может быть обработан магистрально. Устранение запрещенной фигуры расщеплением любой вершины, входящей в нее, приводит во время обработки G к необходимости повторного считывания записи, которой эта вершина соответствует. Минимальное расширение мощности носителя, устраняющее все запрещенные фигуры, дает возможность обработать его с минимальным числом обращений к записям. [40]
Значение а смеси и ее составляющих является важным фактором, влияющим на образование ужимин; для свежего материала ( добытого из карьера) и для подвергнутого в последующем нагреву оно различно. Кварц при нагревании претерпевает превращения ( см. гл. V), причем минимальное расширение имеет тридимит. Глина при нагревании шамотизируется, что сопровождается ее усадкой и, следовательно, уменьшением расширения смеси. По мере оборота смеси со временем происходит покрытие кварцевых зерен оболочкой, состоящей из спекшейся глины и продуктов разложения угля, - так называемый процесс оолитизации [22], вследствие чего зерна меньше расширяются, что является их положительным свойством. [41]
Ранжирование пакетов решений выполняется в порядке уменьшения предполагаемого дохода. Менеджер должен определить товары и услуги, которые являются решающими. Наивысший приоритет следует присвоить работе, соответствующей минимальному расширению деятельности, без которого центр принятия решений не сможет эффективно функционировать. [42]
Рассмотрим теперь стоуновское пространство & ( А булевой алгебры А. Булева алгебра Л В / Д называется минимальным расширением) алгебры А. [43]
Рассмотрим теперь стоуновское пространство & ( А) булевой алгебры А. Булева алгебра А В / Д называется минимальным расширением) алгебры А. [44]
Очевидно, что должен существовать какой-то оптимум скорости элюции, при котором обеспечивается минимальное расширение зоны. Действительно, построение графика зависимости ог - f ( п) дает всегда кривую с минимумом ( рис. 7), которому и отвечает оптимальная скорость элюции. Практически ее не рассчитывают, а подбирают экспериментально по минимальному расширению хроматографического пика. Но это не делает наше теоретическое рассмотрение излишним. Оно показывает характер зависимости расширения зоны от скорости элюции. [45]