Большая Энциклопедия Нефти и Газа

Уровень 1:		Уровень 2:		Уровень 3:
от: 0 -фаза до: Воздействие [сильное исключительно]		от: Воздействие[сильное наиболее] до: Восстановление — Двуокись — Олово		от: Диффузия— Влага до: Длина — Зона — Смесь
от: Воздействие[сильное наиболее] до: Завод [нефтеперерабатывающий] — Союз [советский]		от: Восстановление— Двуокись— Титан до: Выброс — Пробка		от: Длина— Зона— Спекание до: Длина [общая] — Термометр
от: Завод[специализированный] до: Кольцо [сферическое]		от: Выброс— Продукт— Горение до: Выходы — Фракция		от: Длина— Термоэлектрод до: Днище — Ковш
от: Кольцо[телескопическое] до: Надежность [технологическая]		от: Выходы[хорошее] до: Гидроокись — Палладий		от: Днище— Кожух до: Добавление — Индикатор
от: Надежность— Топливоснабжение до: Паста [грубая]		от: Гидроокись— Плутоний до: Грунт [закрепленный]		от: Добавление— Иод до: Договор [предварительный]
от: Паста[густая] до: Принтер [сетевой]		от: Грунт[закрытый] до: Движение [истинное]		от: Договор— Присоединение до: Доказательство — Теорема
от: Принтер[струйный] до: Результат — Округление		от: Движение— Источник до: Дефект [сложный]		от: Доказательство— Теорема[аналогичная] до: Долговечность — Насос
от: Результат[округленный] до: Способы — Заполнение		от: Дефект[случайный] до: Диффузия [вихревая]		от: Долговечность[низкая] до: Домкрат [реечный]
от: Способы— Захват до: Успех — Продукт		от: Диффузия— Влага до: Доход [смешанный]		от: Домкрат[реечный винтовой] до: Достаточность — Капитал
от: Успех— Проект до: Ящур		от: Доход[собственный] до: Завод [нефтеперерабатывающий] — Союз [советский]		от: Достаточность— Мощность— Привод— Станок до: Доход [смешанный]

Доказательство [математическое] ... Доказательство [обычное]

Доказательство [математическое]

Математическое доказательство состоит из конечной последовательности высказываний, каждое из ю торых является следствием предыдущего. При доказательстве очередного высказывания математик имеет право воспользоваться конечным числом правил, называемых правилами вывода. Эти правила вполне формальны и позволяют по внешнему виду двух вьь сказываний узнавать, выводимо ли из них третье высказывание. ...

Доказательство [математическое строгое]

Строгое математическое доказательство из-за громоздкости здесь опущено. ...

Доказательство — Механизм

Доказательство механизма в этих случаях основывается на двух фактах. Во-первых, энергия активации мономолекулярного разложения, равная 40 - 45 ккал / молъ, значительно ниже, чем энергия связи С - N02 в этих соединениях. ...

Доказательство [наглядное]

Наглядное доказательство того, что не только для России, но и для Запада наши народники не в состоянии понять того, как можно бороться с капитализмом не задерживанием его развития, а ускорением его, не сзади, а спереди, не реакционно, а прогрессивно. ...

Доказательство — Наличие

Доказательство наличия этого свойства практически тривиально, в то же время оно играет весьма важную роль в нашем понимании поразрядной сортировки MSD. В частности, оно говорит нам, что мы не можем утверждать, что время выполнения сортировки будет меньше в силу того, что N мало, поскольку R может быть намного больше, чем N. Короче говоря, для сортировки файлов небольших размеров следует использовать другие методы. Этот вывод может служить решением проблемы пустых корзин, которую мы обсуждали в конце раздела 10.3. Например, если R равно 256, а N равно 2, то поразрядная сортировка MSD будет в 128 раз медленнее, чем более простой метод, предусматривающий только сравнение элементов. Рекурсивная структура поразрядной сортировки MSD приводит к тому, что соответствующая рекурсивная программа будет многократно вызывать себя для большого числа файлов небольших размеров. Поэтому в условиях рассматриваемого примера игнорирование проблемы пустых корзин может привести к тому, что вся поразрядная сортировка замедлится в 128 раз по сравнению с тем, какой она может быть. Что касается промежуточных ситуаций ( например, предположим, что R равно 256, а N равно 64), то стоимость не будет настолько катастрофичной, тем не менее весьма существенной. Использование сортировки вставками - не слишком удачный выбор, ибо стоимость N2 / 4 сравнений все еще недопустимо высока; не следует игнорировать проблему пустых корзин в силу того факта, что их очень много. Простейший путь решения этой проблемы состоит в использовании основания системы счисления, которая меньше размера сортируемого файла. ...

Доказательство — Независимость

Доказательство упомянутой независимости является следствием того, что из двух различных последовательностей, удовлетворяющих условиям ( 4) и имеющих общий предел, можно составить единую последовательность того же типа и с тем же пределом. ...

Доказательство — Неинтегрируемость

Доказательство неинтегрируемости такой функции непосредственно следует из определения двойного интеграла. ...

Доказательство — Необходимость — Условие

Доказательство необходимости условия, высказанного в теореме 7, требует значительно более пространных рассуждений. Мы получим завершение доказательства теоремы 7 в качестве заключительного звена цепи предложений, некоторые из которых представляют и самостоятельный интерес. ...

Доказательство [непосредственное]

Непосредственное доказательство этого заключения состоит в том, что уравнение ( 7) Гаммота в большинстве случаев в этом классе реакций неприменимо ( см. [7], стр. ...

Доказательство — Непрерывность

Доказательство непрерывности и вещественности ядра Kn ( x s) ( также по индукции) сложности не представляет. ...

Доказательство — Непротиворечивость

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

Доказательство — Неравенство

Доказательство неравенства ( 6) почти дословно повторяет доказательство неравенства Буняковского, приведенное в IV. ...

Доказательство — Неразрешимость

Доказательство неразрешимости этих задач требует глубоких математических знаний. Глава Декартовы координаты на плоскости познакомит вас с аналитическим методом решения геометрических задач, когда задача переводится на язык формул. Доказано, что если геометрическая фигура, которую мы хотим построить, может быть выражена формулой, содержащей только рациональные функции и действие извлечения квадратного корня, то тогда этот объект можно построить с помощью циркуля и линейки. ...

Доказательство [несложное]

Несложное доказательство ( индукцией по длине формулы а) предоставляется читателю. ...

Доказательство — Несуществование

Доказательство несуществования неприменимо к следующему острову, который посещает Смаллиан-острову зомби. Отличить зомби, которые всегда лгут, от людей, которые всегда говорят правду, нелегко. Ситуация осложняется еще больше тем, что на все вопросы, допускающие ответы типа да-нет, островитяне отвечают бал или да, но, к сожалению, не известно, какое из этих слов означает по-нашему да и какое нет. Предположим, что вы спрашиваете островитянина, означает ли бал по-нашему да, и он отвечает: Бал. Вы не можете определить, что означает бал, но можете ли вы сказать, кто встретившийся вам островитянин-зомби или человек. ...

Доказательство [нижеследующее]

Нижеследующее доказательство только что сделанного утверждения читатель может пропустить, но только при условии, что он будет в состоянии самостоятельно провести соответствующее рассуждение. ...

Доказательство — Образование

Доказательство образования в этом процессе 2, 4-диаминоборазина указывает на разрушение молекулы до образования циклов, ведущего к полиядерным боразинам. В этой связи интересно отметить, что при синтезе В-трихлорборазина из треххлори-стого бора и хлористого аммония, как сообщали Браун и Лаубенгауер [2], образуются в значительных количествах нелетучие продукты. Эти нелетучие продукты вполне могут содержать аналогичные полиядерные хлорсодержащие боразины, хотя данные, подтверждающие это, пока отсутствуют. ...

Доказательство — Образование — Радикал [свободный]

Доказательство образования свободного радикала основано на следующем эксперименте. ...

Доказательство [общее]

Общее доказательство вполне аналогично. Чтобы образовать упорядоченное множество, содержащее т элементов из данных п, надо: а) выделить какие-либо т из этих п элементов, что можно сделать С способами, б) выделенные т элементов упорядочить, что можно сделать Рт способами. ...

Доказательство [объективное]

Объективное доказательство этого приспособления старой организации мы видим - если взять одно из простейших, очевиднейших, наиболее доступных либеральному пониманию доказательств - в результате выборов в IV Думу. За старой организацией оказалось, как уже указано, 2 / 3 депутатов рабочей курии и в том числе вся целиком шестерка главных промышленных губерний. ...

Доказательство [обычное]

Обычное доказательство, которое дается для комплексных переменных, применимо также в действительной области. ...