Cтраница 4
Между множествами типов и доменов реляционной базы данных существует взаимно однозначное соответствие. Привязка типа к переменной осуществляется контекстуальным объявлением, где переменная ассоциируется с типом при вхождении в модельный предикат. [46]
Во множестве типов узлов К имеется операция связной суммы ( состоящая, грубо говоря, в завязывании одного узла после другого), к-рая наделяет К структурой абелевой полугруппы с нулем. Род определяет эпиморфизм А на аддитивную полугруппу целых неотрицательных чисел. Известно, что это разложение единственно. Таким образом, К изоморфна мультипликативной полугруппе натуральных чисел. [47]
Например, множества типа Fy и типа GS суть борелевы множества. [48]
Рассмотрим некоторое множество типов аппаратуры, применяемой в АСДУ. [49]
Они имеют корневые множества типов ( i), ( ii), ( iii), ( iv) соответственно и, значит, геометрически все различны. Таким образом, имеются в точности четыре типа кубик от двух переменных плюс еще нулевая кубика. [50]
Необходимость разработки множества типов и вариантов сорбционных колонн объясняется следующим. Экстракционные колонны работают в основном на системе жидкость - жидкость, в которой необходимая длительность массообмена, протекающего на межфазной поверхности, не превышает двух-трех минут. Поэтому для экстракции достаточно нескольких типов колонн. Продолжительность же процессов ионного обмена колеблется в пределах от нескольких минут до сотен часов, а переработке часто подвергаются пульпы и мутные растворы, а также растворы с очень малым содержанием извлекаемого вещества. Все это требует специального подхода к аппаратурному оформлению, поэтому для сорбционных процессов разработано и применяется большое число разновидностей колонн, рассмотренных ниже. [51]
При сопоставлении множества типов кабелей становится очевидным, что только в тех случаях, когда коэффициент замены свинца пластмассами больше 2, себестоимость 1 км кабеля в пластмассовом исполнения ниже, чем в свинцовом; и наоборот, при коэффициенте замены / меньше 2 кабели в пластмассовом исполнении стоят доррже. [52]
Для описания множества типов продуктов ассоциации двух или большего числа молекул применяется термин молекулярный комплекс. Различные исследователи придавали этому термину разное значение, но дать ему краткое, всеобъемлющее определение почти не представляется возможным. В течение приблизительно двух последних десятилетий основное внимание исследователей привлекала большая группа комплексов, образующихся за счет слабого взаимодействия некоторых классов органических веществ, играющих роль донора электронов, с другими веществами, действующими в качестве акцепторов. Такие комплексы являются тем видом координационных продуктов, которые особенно интересны для химиков-органиков, главным образом ввиду их возможной роли в качестве промежуточных продуктов в реакциях, приводящих к стабильным соединениям. [53]
Множество Е есть множество типа На, если оно может быть покрыто суммой конечного числа или счетного множества / - / - множеств. [54]
Пусть Е - множество типа Н, a d и Afc - те числа, которые входят в определение этих множеств. [55]
В действительности существует множество типов рек по характеру связи стока с осадками. [56]
В мире существует множество типов почв, связанных с различными климатическими условиями и спецификой процессов их образования. [57]
В промышленности существует множество типов технологических процессов, отличающихся физическими законами, положенными в их основу, оборудованием, на котором они выполняются, условиями их протекания, качеством исходного сырья и др. Однако, несмотря на большое разнообразие технологических процессов, системы управления ими могут быть разделены на типы по сходству целей и алгоритмов управления. Рассмотрим основные типы систем управления технологическими процессами. [58]