Определяющая система

Cтраница 3

Ячейка ГАП Модуль-500 на базе многооперационного станка ИР-500МФ4. [31]

Только такая организация дает возможность обеспечить гибкость и эффективность ГПС, так как при выпуске 50 - 100 тыс. деталей в год лишь ЭВМ, работающие в составе АСТПП, способны предоставить ГПС управляющую информацию, а АСУП с определяющей системой автоматизированного оперативного управления ( АОУ) - производственные программы, календарные планы, данные по счету, контролю и регулированию обеспечением материалами, инструментами и другой оснасткой. [32]

При этом, если мы в основу определения точек прикосновения ( соответственно предельных точек) положим не все окрестности, а лишь окрестности, взятые из данной определяющей системы, то результат получится тот же; это и дает право вместо максимальной определяющей системы пользоваться любой другой. [33]

Тогда если отнести к системе 2 всевозможные окрестности 2 точек х Х, их всевозможные объединения и пустое множество, то будет задана топология на множестве X и Т ( Х, 2) - топологическое пространство, в котором система всех окрестностей является определяющей системой. Обратно, всякое топологическое пространство может быть получено таким способом. [34]

Применяемые в мировой практике алюминиевые сплавы укладываются в 13 систем. Кроме основных определяющих систем химических элементов, в сплавах одной системы могут применяться различные легирующие добавки других элементов, которые сообщают сплаву новые свойства, но не изменяют их основной природы. [35]

Применяемые в мировой практике алюминиевые сплавы делятся на 13 систем. Кроме основных определяющих систем химических элементов, в сплавах одной системы могут применяться различные легирующие добавки других элементов, которые придают сюлану новые свойства, но не изменяют их основной природы. [36]

В этом случае множество всех отмеченных окрестностей ( вместе с указанием того, окрестностью каких именно точек является данная отмеченная окрестность) называется определяющей системой данного пространства. С понятием определяющей системы тесно связано более простое и по существу более удобное понятие базы пространства. [37]

Если So образуют определяющую систему окрестностей нуля ( см. определение 3 § 4 гл. [38]

Предлагаемый аналитический метод решения внутренних задач теплообмена при течении в трубах и каналах обладает рядом преимуществ по сравнению с известными в литературе методами и является более универсальным. Во-первых, при составлении определяющей системы (4.12) коэффициенты Ahj, Вы находятся вычислением двойных интегралов при самых общих предположениях о переменных коэффициентах Л, ( у, z), с ( у, z), р ( у, г), что позволяет находить температурное поле для турбулентного потока жидкости, а также для реологических сред с любым профилем скорости течения. Во-вторых, стабилизированное поле скоростей w ( у, z) необходимо только для вычисления коэффициентов Bhj и выражение для него входит только под знаком интеграла. А это значит, что метод может быть применен и для тех случаев, когда аналитическое выражение w не найдено, а известны лишь значения этой функции в дискретных точках как результат численного решения уравнения Пуассона или как результат экспериментальных измерений. [39]

Как было показано выше, конфигурация траектории тела зависит от конфигурации траектории точки и не зависит от скоростного режима движения точки. Для удобства реализации процедуры численного интегрирования определяющей системы был выбран следующий режим движения точки га: в узлах точка покоится ( а это означает, что и вся система тело жидкость точка находится в состоянии покоя); от исходного узла до середины отрезка, вдоль которого перемещается точка, движение является равноускоренным, а затем - равнозамедленным. [40]

С и не зависят от производных w) приравнивают нулю. В результате условие инвариантности расщепляется до переопределенной линейной определяющей системы. [41]

Псевдохарактер ty ( X) топология, пространства А - наименьший бесконечный кардинал т такой, что каждая точка является пересечением семейства мощности: т открытых в А множеств. А в бикомпактном хаус-дорфовом пространстве А равен мощности некоторой определяющей системы окрестностей множества Л в А. [42]

Правда, из-за этого несколько усложняется формализация метаматематики самого формализма вычислений; однако для появляющихся при этом дополнительных рассуждений мы можем воспользоваться кое-чем из наших прежних рассмотрений. Принятие схемы перестановки избавляет нас от необходимости добавлять, когда мы пишем определяющие системы равенств для квазирекурсивных функций, к каждому равенству f t еще и равенство l f, как это, вообще говоря, следует делать при клиниев-ском определении. То, что определения Геделя и Клини описывают один и тот же класс функций, показано в упоминавшейся уже работе Клини. [43]

Если точка х топологического пространства имеет счетную определяющую систему окрестностей, то говорят, что в этой точке выполнена первая аксиома счетности. Пространство X называется пространством с первой аксиомой счетности, если каждая его точка имеет счетную определяющую систему окрестностей. Например, все метрические пространства удовлетворяют первой аксиоме счетности. [44]

Действительно, из любого вывода такого равенства, произведенного на базе обобщенного понятия терма, мы можем при помощи процедуры возвратного переноса подстановок2) сначала получить такой вывод, в котором любой подставляемый вместо переменной терм не содержит переменных и в котором поэтому фигурируют только такие переменные, которые входят в определяющие равенства. Затем мы можем устранить все использованные в этом выводе функциональные знаки, не встречающиеся в определяющей системе равенств ( знак q в ней встречается), заменив цифрой О каждый терм, состоящий из какого-либо не входящего в данную систему равенств функционального знака с произвольными термами в качестве аргументов. [45]

Страницы: 1 2 3 4