Cтраница 2
Главное их отличие от моделей класса 1500 состоит в том, что они оборудованы встроенным ленточным механическим перфоратором, причем модели 1721, 1722 и 1723 имеют цифровой перфоратор, а модели 1731, 1732 и 1733 - алфавитно-цифровой. Алгебраической памяти эти модели не имеют. [16]
Одновременная АР модель является фундаментальной моделью класса локальных МСП. [17]
Наконец, пусть на каждой модели класса К определен одноместный предикат р (), истинный хотя бы для одного элемента модели. [18]
В матрице ( 17) модели класса St называют табличными. В табличной модели каждому набору свойств F ( Ak) соответствует единственный вариант проектируемого объекта Ak. Поэтому табличные модели используют для поиска стандартных, типовых или готовых проектных решений. Модели остальных классов применяют для получения типовых унифицированных и индивидуальных проектных решений при наличии их вариантов и необходимости оптимизации решения. Модели классов S2, S5, S7, S8 и Sn называют сетевыми. Структура элементов сетевой модели описывается ориентированным графом, не имеющим ориентированных циклов. В этой модели может содержаться несколько вариантов проектируемого объекта Ak, однако во всех вариантах сохраняется неизменным соотношение порядка между входящими элементами. Соотношение порядка между элементами проектируемого объекта Ak в перестановочных объектах обычно задается с помощью графа, содержащего ориентировочные циклы, причем все варианты объектов Ak, проектируемые по перестановочным моделям, различаются порядком между элементами, входящими в них. [19]
В матрице ( 17) модели класса S называют табличными. [20]
В рассматриваемом примере при построении модели класса можно обратить внимание на оказавшиеся пустыми интервалы третьего ранга и выдвинуть гипотезы о соответствующих импликативных закономерностях. [21]
Иными словами, подкласс К моделей класса К называется проективным в К, если он состоит из тех и только тех / iT - моделей, которые находятся в фиксированном проективном отношении хотя бы с одной моделью заданного аксиоматизируемого класса. [22]
Ориентирована на использование преимущественно в моделях класса СМ-3, СМ-4, СМ 1300, СМ 1420 и двухпроцессорных неоднородных комплексах на их основе. [23]
Минимальное число съемов форм составляет с моделей I класса - 150 съемов, II - 30 съемов, III - 8 съемов. [24]
Поскольку эти формулы должны быть истинны на единичной модели класса S. [25]
Лиственница тверже и прочнее сосны и в моделях класса I ее целесообразно применять взамен сосны. Ель пригодна для неответственных частей моделей II и III классов. Береза пригодна для мелких моделей и частей, особенно если они подвергаются токарной обработке. [26]
Рассматривая матрицу (2.1), можно отметить, что модели класса S называют табличными. В табличной модели каждому набору условий соответствует единственный вариант проектируемого объекта Ah - технологического процесса или его элементов. Поэтому табличные модели используют для поиска стандартных, типовых или готовых проектных решений. [27]
Типичными рядами, которые могут быть успешно описаны моделями класса 2, являются ряд годового валового национального продукта США ( G1), приводящий к модели в виде уравнения ША первого порядка, и ряд РТДП, приводящий к уравнению IMA первого порядка. Ряд валового национального продукта США ( G1) показан на рис. ЗЬ. [28]
Наиболее широко для идентификации ФРВП и среднего времени пребывания используют модели класса линейных гидравлически стационарных систем полного перемешивания ( СПП) [ см. формулы ( 34), ( 47) ], которые при определенных условиях могут применяться и для систем неполного перемешивания и даже систем с распределенными параметрами, если рассматривать концентрации, усредненные по всему объему системы. Здесь Cr ( t) - концентрация трития в потоке питания в момент опробования, a Cr ( t - в) - то же, но в момент, предшествующий на в лет моменту опробования. Интегрирование вида ( 46) означает, что выходная концентрация есть средневзвешенная по функции Грина или функции времени пребывания ( с учетом его радиоактивного распада и неконсервативности) изотопа-индикатора в системе. Если принята модель полного перемешивания, то ФРВП ее имеет вид ( 41), и теперь нетрудно подобрать значение тп, дающее совпадение с наблюдаемым содержанием трития. [29]
УИП), что L состоит из тех и только тех моделей класса К, которые удовлетворяют всем аксиомам рассматриваемой системы. Если все аксиомы системы S можно выбрать универсальными, то L называется универсально аксиоматизируемым подклассом в К. [30]