Подобъект

Cтраница 1

Подобъекты определяются через мономорфизмы. В частности, база данных 9t ( F, Q, R; U, 3)) есть подбаза базы данных 9Г ( F, Qr, R; U, &), если имеется мономорфизм r: St-St, тождественный на первых трех компонентах. [1]

Объекты с перекрывающимися прямоугольниками.| Точка PVO и ее соответствующие ортогональные соотношения для частично перекрывающихся прямоугольников.| Точка PVO и ее соответствующие ортогональные соотношения для полностью перекрывающихся прямоугольников. [2]

Подобъекты, получаемые разбиением с использованием точки обзора PVO, называются относительными объектами исходного объекта. На рис. 10.4 и 10.5 относительные объекты помечены крестиком. [3]

Дескриптор уточнения как префикс к дескриптору объекта. Доступ к объекту уточнение осуществляется через дескриптор доступа Refined AD, в то время как доступ ко всему объекту через Object AD. [4]

Подобъект определяется дескриптором уточнения, который вставляется в маршрут доступа между дескриптором доступа и дескриптором объекта для объекта-родителя. [5]

Подобъекты Q-множеств и их подмножества находятся во взаимно однозначном соответствии. [6]

Расчетная схема профильной цилиндрической модели. [7]

Рассматриваемые подобъекты считаются изолированными и в связи с этим их внешняя граница принимается непроницаемой. [8]

Подобъекты Па, ПО и Пв разделяются пропластками мощностью 1 - 1 5 м, представляющими собой коллекторы с остаточной газонасыщенностью и низкими фильтрационно-емкостным Е параметрами, однако лучшими, чем в I эксплуатационном объекте. Кроме тсго, следует отметить, что по площади прослеживается улучшение кол-лекторских свойств пласта в северо-западном направлении. [9]

Рассматриваемые подобъекты считаются изолированными, и в связи с этим их внешняя граница принимается непроницаемой. [10]

Подобъекты массивов типа CHARACTER могут дополняться указанием диапазона подстроки. [11]

Каждый подобъект ( участок производства) в пределах одного подынтервала планирования связан со смежным подобъектом ( участком) так называемыми статическими связями: момент окончания обработки плавки на предыдущем участке ограничивает момент начала обработки этой плавки на последующем участке. [12]

Дальше подобъекты в А определяются с точностью до изоморфизма в рассматриваемой категории; тогда система подобъ-ектов в А обозначается Sub А. В категории множеств Sub A отождествляется с множеством всех подмножеств в А. [13]

Тогда подобъекты 0 - - А и еА: А - А различны. Им отвечают различные характеристические стрелки хо - А - Q и % е: А - Q. В частности, объект А непуст. [14]

Поскольку подобъект W l собствекнцй, без ограничения общности можно предположить, что нормальный мономорфизм к W / r - А не является изоморфизмом. Поэтому идеал [ Wv Лсодержит оба подобъекта [ l / Jfu ] J M [ VJS ] I следовательно, идеал [ Wic Додержит идеалы [ ( JjU ] M [ V jS l, порожденные подобъектами [ U Г1 ] и [ у ] соответственно. Но это противоречит предположению о TOMJ, что [ рА ] и [ в ] - ГЛ 1д ] Лемма доказана. [15]

Страницы: 1 2 3 4