Отношение - подобие
Cтраница 4
В знаковой модели зафиксирована совокупность описаний мысленных моделей, созданных на этапах проектирования, предшествующих рассматриваемому. Таким образом, проектируемая система - это система, образованная из совокупности, включающей мысленную и знаковую модели объекта проектирования, находящиеся к нему в отношении информационного подобия. Поскольку элементы проектируемой системы находятся в отношении информационного подобия к объекту проектирования, то и проектируемая система в целом, представляющая собой мысленно-знаковую модель объекта проектирования, также находится к нему в отношении информационного подобия. [46]
 |
Карта для примера визуальной базы данных. [47] |
На рис. 8.13 отношения ON ( на-мост на реке) и THROUGH ( через - шоссе через город) - два пространственных отношения, которые можно сгенерировать путем вызова пространственных операторов алгебры изображений, создавшей этот скелет визуальной базы данных. Остальные пространственные отношения могут не существовать. Если запрос по изображению упоминает о пересечении между дорогами и реками, следует ввести оператор алгебры изображений INTERSECT ( intersection - пересечение) для выполнения необходимого пространственного анализа. Функциональные отношения на этой диаграмме включают в себя: г d - отношение зависимости, г fd - отношение полной зависимости, г с - отношение содержания внутри себя и г s - отношение подобия атрибутов. [48]
Можно сказать, что структура выводов слишком богата. Доказано, что это отношение является отношением эквивалентности при более общих условиях, чем понадобятся нам. Действительно, оно является конгруэнтностью для операции композиции морфизмов. Классы эквивалентности Хотц также называет выводами. Семантическая теория показывает, что это вполне удобно, так как можно поставить в соответствие конгруэнтностям выводов классы интерпретации, подобно тому как делается в алгебраической логике. Показано, что отношение подобия соответствует классу всех интерпретаций. [49]
Две фигуры называются подобно расположенными, или гомотетичными, если они подобны и сходственные прямые их параллельны. Прямые, соединяющие сходственные точки двух подобно расположенных фигур, сходятся в одной точке, которая называется центром подобия. Сходственные отрезки этих фигур направлены или все одинаково или все противоположно. В первом случае сходственные точки расположены по одну сторону от центра подобия, во втором - по разные стороны. Сообразно этому различают прямое и обратное подобное расположение. Отношение отрезков, соединяющих сходственные точки с центром подобия, равно отношению сходственных отрезков фигур: это отношение называется отношением подобия. Поэтому для построения фигуры, подобно расположенной с данной фигурой относительно данного центра подобия и имеющей к ней данное отношение подобия, нужно растянуть или сжать все отрезки, соединяющие точки данной фигуры с центром подобия в определенном отношении, и в случае обратного подобного расположения еще повернуть полученную фигуру на 180 вокруг центра подобия. [50]
Страницы: 1 2 3 4