Модель - данный тип
Cтраница 1
Модели данного типа позволяют оценить потенциальную нефтеотдачу на любой стадии разработки. [1]
Признаки выделения комплекса моделей данного типа представлены в табл. 1.2. Комплекс из моделей обоих типов образует функциональную подсистему. [2]
Если рассматривать систему всех моделей данного типа как множество, то возникают известные противоречия типа множества всех множеств. [3]
К, Н) является категорией структур - моделей данного типа. Легко проверяется, что при этом понятия подмодели и прямого произведения моделей совпадают с понятиями подструктуры и прямой композиции, единичной структурой является одноэлементная модель, на которой все основные предикаты истинны, а нуль-структурой является одноэлементная модель с ложными основными предикатами. [4]
Можно также в качестве основного класса К взять совокупность всевозможных моделей данного типа, на основных множествах которых определены некоторые топологии, а в качестве Н взять совокупность непрерывных отображений, являющихся одновременно гомоморфизмами в смысле теории моделей. Если теперь под L понимать совокупность топологических алгебр соответствующего типа, то условия теоремы 5 выполняются и L-реплика ЛТ-структуры 31 будет топологической алгеброй, заданной в смысле [5] топологическим пространством 3 ( и положительным описанием 3 ( в вышеуказанном смысле. [5]
Структура модели представлена на рис. VI.5. Трудность расчета обусловлена характером граничных условий для модели данного типа. [6]
 |
Колея экскаватора.| База экскаваторов. [7] |
В индексе экскаватора имеются четыре основные цифры, соответственно обозначающие: размерную группу машины, тип ходового устройства, конструктивное исполнение рабочего оборудования и порядковый номер модели данного типа и исполнения. Кроме того, используются буквенные обозначения порядковой модернизации данной машины и ее климатического исполнения: для северных, тропических и влажных тропических условий работы. [8]
Хотя в приведенных определениях классы К, К2 могли быть произвольными, при рассмотрении аксиоматизируемых соответствий предполагается, что К х и К 2 - классы всех моделей данного типа. Если же К К2 - аксиоматизируемые классы, то системы аксиам, характеризующие К, К2, включаются в систему и тем самым дело сводится к основному случаю классов всех моделей. Заметим еще, что индивидуальные символы не предполагаются в аксиомах. Вместо них в случае необходимости можно ввести новые одноместные предикаты, поскольку число предикатных символов не ограничивается и может быть бесконечным. [9]
Сидоровским при наблюдении эмульсии под микроскопом, а также в искусственно приготовленных моделях данного типа показало, что глинистые частицы в ней выполняют роль очень активных эмульгаторов. [10]
Использование модели как средства выполнения чисто практических, прикладных функций может быть основано не на тождестве, а на сходстве ее функций и функций объекта деятельности на уровне, обеспечивающем нормальное состояние системы, в которую входит в качестве элемента объект деятельности. Модель как средство выполнения чисто практических, прикладных функций, обладающая полным функциональным сходством с объектом деятельности, является, таким образом, предельным случаем моделей данного типа. [11]
Произвольная система однотипных моделей называется классом моделей. Типом класса называется тип входящих в него моделей. Среди классов моделей данного типа существует наибольший - система всех моделей этого типа. [12]
Трудоемкость капитального ремонта того или иного объекта зависит еще от величины и структуры годовой программы. Поэтому при определении приведенной годовой программы различных ремонтных предприятий необходимо учитывать эти факторы и корректировать программу применительно принятым эталонным условиям к каким-то определенным моделям автомобилей, типам ремонтных предприятий, величине программы. Коэффициент приведения капитального ремонта данного объекта к эталонной или основной, модели данного типа автомобилей в общем виде представляет собой отношение трудоемкости капитального ремонта этого объекта к трудоемкости того же ремонта эталонной или основной модели. Числовые значения коэффициентов и других показателей, разработанные Гипроавтотрансом, установлены для определенных условий, которыми являются наиболее представительные объекты ремонта и типы ремонтных предприятий с числовым значением годовой программы. [13]
Страницы: 1