Cтраница 4
Найденная компонента вектора полярнзованностн ортогональна напряженности электрического поля. Поэтому для перехода к представлению типа (16.70) понадобилось бы некоторое обобщение: восприимчивость имеет тензорный характер - нелинейность влечет за собой анизотропию. [46]
Список параметров шаблона является неотъемлемой частью определения типа. Одного имени шаблона недостаточно для представления типа, так как оно адресует семейство типов. [47]
Для обозначения симметрии или антисимметрии относительно центра инверсии применяют индексы g ( от нем. Совокупность функций, преобразующихся по представлениям типа А, В, Е, Т обозначают а, Ь, е или t соответственно. [48]
Модуль родового типа и его конкретизации изображены на рис. 5.16. Для каждой конкретизации родового типа строится конкретная часть, в которой хранится информация о конкретизирующих параметрах. Кроме того, в ней отмечается представление типа - объем памяти, занимаемый одним объектом данного конкретизированного типа. Спецификация родового типа аналогична спецификации конкретного типа, при этом если в типе какого-либо атрибута фигурирует тип, являющийся параметром данного родового типа, то он отмечается своим относительным адресом в конкретной части. Реализация родового типа представляет собой набор семантических программ на инструментальном языке, знающих структуру конкретной части. В зависимости от значений параметров конкретной части семантическая программа реализует операцию, соответствующую той или иной конкретизации типа. [49]
Число внутренних ограничений в реляционных моделях данных весьма невелико. Это обеспечивает достаточную свободу в выборе представления типов связей и сущностей. Основные трудности здесь заключаются в представлении значимых связей между отношениями. [50]
Однако, в общем случае, если считать оба типа Тх и Т2 полностью инкапсулированными или созданными независимо друг от друга, встает закономерный вопрос, как построить функции into и out. Очевидно, такое невозможно, ибо в этом случае представления типов Тх и Т2 взаимно недоступны друг другу. Тем не менее каждая система программирования обеспечивает, например, такое приведение, как преобразование целых чисел в вещественные, реализуя их как самостоятельные типы данных. Указанную возможность дает механизм расширения совокупных алгебр типов. [51]
Многоуровневая алгебра ( multi-level algebra или кратко MLA) применяется для создания БД, имеющих специфичную структуру, и языков запросов. В основе модели таких БД лежит система множеств, используемая для представления типов данных и объектов, и функции, задающие атрибуты и отношения, определенные на этих множествах, которые и образуют алгебру. Развитием MLA является MLOSA, которая применяется для манипулирования объектами в описанной выше модели данных, а также для обработки специфичных схем. [52]
Определение шаблона начинается в строке 5 с ключевого слова template, s за которым следует параметр. В данном случае параметр идентифицируется как тип за счет использования ключевого слова class, а идентификатор Т используется для представления параметризованного типа. [53]