Cтраница 1
Системы объектов с одним отношением, для которых положения 1 и 2 выполнены, образуют определенный класс, а положения 1 и 2 мы можем рассматривать как определение систем этого класса. Утверждения, посредством которых мы таким образом выделяем совокупность объектов, носят названием аксиом. Если для какой-либо совокупности объектов, их свойств и отношений некоторые аксиомы истинны, то говорят, что данная совокупность объектов удовлетворяет системе этих аксиом, или является интерпретацией данной системы аксиом. [1]
Система объектов данного ( i - ro) рода, по Ю. А. Урманцеву - - закономерное множество объектов-систем одного и того же рода. [2]
Всякая система объектов, удовлетворяющая аксиомам какой-либо аксиоматической теории ( в том смысле, что из аксиом должны получиться истинные предложения, если вместо первоначальных понятий подставить названия этих объектов, родов, отношений и операций), называется интерпретацией или моделью этой аксиоматической теории. Изучение моделей аксиоматической теории составляет предмет теории моделей; этой теории ( в применении к аксиоматической теории Пеан о, о которой мы скажем ниже) и посвящена статья Генкина. [3]
Изучаются коммунально-энергетические системы объекта и производится оценка устойчивости линий и сооружений. Определяется устойчивость складов сырья, готовой продукции и других материалов, а также хранилища горючих жидкостей. [4]
Для систем ПАЗ объектов с блоками II-III категорий взрыво-опасности предусматриваются средства и методы периодического контроля исправного состояния этих систем. [5]
Выбор системы ПАЗ объектов и ее элементов осуществляется из условий обеспечения ее работы при выполнении требований по эксплуатации, обслуживанию и ремонту в течение межремонтного пробега защищаемого объекта. [6]
Для систем ПАЗ объектов с блоками 11 - 111 категорий взрыво-опасности предусматриваются средства и методы периодического контроля исправного состояния этих систем. [7]
В систему объектов входят также наблюдательные скважины, эксплуатационные ( реагирующие) скважины и трубопроводы к ним, а также сборных пунктов. Объекты ( за исключением одного распределительного пункта и сборной станции) размещены на территории промысла Будафа. [8]
Рассмотрим систему ПВО объекта, состоящую из образцов зенитного вооружения, для которых время пребывания цели в зоне обстрела соизмеримо со временем, необходимым для надежного поражения цели. [9]
Под системой S объектов мы будем иметь в виду ( непустое) множество класс, или область D ( или, может быть, несколько таких множеств) объектов, между которыми установлены некоторые соотношения. [10]
Графом называется система объектов произвольной природы ( вершин) и связок ( ребер), соединяющих некоторые пары этих объектов. [11]
При проектировании системы объекта на уровне общей гипотезы делается следующая посылка: перечисленные факторы, а также ряд других, выбранных в соответствии с целью и задачами проектирования, в равной степени влияют на характер мнения человека при ответе на тот или иной вопрос. Поэтому данные показатели учитываются в качестве базовых страт генеральной совокупности. [12]
Относится к системам объектов с заданными в них операциями. [13]
Рассмотрение семейства как системы объектов ( из делий) одного вида не только облегчает процесс проектирования, но и создает базу для унификации уз лов и деталей, унификации технологии производства, инструмента, оснастки. [14]
Система материальных точек - система объектов, каждый из которых может считаться материальной точкой. [15]