Страница 7 из 25
Впервые М. б. осуществлено в США в штате Техас (1930). Ответвления бурились специально спроектированными для этой цели шарнирными и в виде гибкого шланга бурильными трубами, которые приводились во вращение с земной поверхности. Недостаточная прочность таких труб и сложность технологии ограничили длину дополнительных стволов до 30 м. Новый принцип — использование забойных двигателей (турбобуров, электробуров) был впервые реализован в СССР по предложению А. М. Григоряна, В. А. Брагина и К. А. Царевича в 1948, когда этим методом были пробурены первые многозабойные скважины. Это позволило применить обычные высокопрочные бурильные трубы и увеличить длину дополнитеельных стволов до нескольких сотен метров.
В нефтедобывающих районах СССР эксплуатируются скважины с 5—10 ответвляющимися стволами длиной по 150—300 м каждый. Благодаря этому приток нефти в несколько раз больше, чем в обычных скважинах (стоимость сооружения скважин возросла всего на 30—80 %). Важное преимущество таких скважин перед обычными в возможности более полного извлечения нефти из залежей. Так, три многозабойные скважины с горизонтальными стволами, пробурённые в 1957 вблизи г. Борислава, давали в сутки по 28—15 т нефти на истощённой залежи, которая эксплуатировалась с 1914 и на которой суточные дебиты обычных скважин не превышали 0,1—2 т. Применяя методы М. б., можно бурить скважины строго заданного направления, что используется при ликвидации открытого газонефтяного фонтана (проведение специальных скважин для соединения со стволом фонтанирующей скважины).
Достижение в области М. б. — проведение разведочной скважины на Марковском нефтяном месторождении (Иркутская обл.) в 1968 с протяжённостью горизонтального ствола 630 м, при глубине по вертикали 2250 м. Скважина бурилась с такой же скоростью, как и обычная вертикальная, и была дороже всего на 23 %. Большая длина горизонтальных участков при М. б. дала возможность проводить скважины-гиганты (рис. 2 ) с охватом большой площади залежи и с высокими дебитами нефти (это особенно важно для разработки труднодоступных залежей, например, при разработке шельфов, в заболоченных районах, в черте городов и т. п.).
В СССР (1974) М. б. успешно проведено несколько десятков скважин на нефть, разрабатывается и испытывается скоростное М. б. глубоких горизонтальных скважин большой протяжённости (несколько км ).
Лит.: Григорян А. М., Вскрытие пластов многозабойными и горизонтальными скважинами, М., 1969.
А. М. Григорян.
Рис. 1. Способы вскрытия пласта: 1 — обычная скважина; 2 — многозабойная скважина; 3 — продуктивный пласт нефти; 4 — резервуар для нефти.
Рис. 2. Многозабойно-горизонтальная скважина-гигант: 1 — плавучая буровая установка; 2 — трубы; 3 — устье скважины; 4 — основной ствол; 5 — ответвления; 6 — нефтеносный пласт.
Многозначная логика
Многозна'чная ло'гика, раздел математической логики , изучающий математические модели логики высказываний . Эти модели отражают две основные черты последней — множественность значений истинности высказываний и возможность построения новых, более сложных высказываний из заданных при помощи логических операций, которые позволяют также по значениям истинности исходных высказываний устанавливать значение истинности сложного высказывания. Примерами многозначных высказываний являются суждения с модальным исходом («да», «нет», «может быть») и суждения вероятностного характера, а примерами логических операций — логической связки типа «и», «или», «если..., то». В общем случае модели М. л. представляют собой обобщения алгебры логики . Важно отметить, что в алгебре логики высказывания принимают только два значения истинности («да», «нет»), в связи с чем она в общем случае не может отразить всего многообразия логических построений, встречающихся на практике. При достаточно широком толковании М. л. в неё иногда включают также логические исчисления .
Исторически первыми моделями М. л. явились двузначная логика Дж. Буля (называемая также алгеброй логики), трёхзначная логика Я. Лукасевича (1920) и m -значная логика Э. Поста (1921). Изучение этих моделей составило важный этап в создании теории М. л. М. л. обладает определённой спецификой, состоящей в рассмотрении задач и подходов, возникающих при исследовании М. л. с позиций математической логики, теоретической кибернетики и алгебры . Так, с позиций теоретической кибернетики, модели М. л. рассматриваются как языки, описывающие функционирование сложных управляющих систем, компоненты которых могут находиться в некотором числе различных состояний; а с точки зрения алгебры, модели М. л. представляют собой алгебраические системы, имеющие наряду с прикладным и чисто теоретический интерес.
Построение моделей М. л. осуществляется по аналогии с построением двузначной логики. Так, индивид, высказывания логики, разбитые на классы с одним и тем же значением истинности, приводят к понятию множества Е — констант модели, которые фактически отождествляют все индивидуальные высказывания, заменяя их соответствующими значениями истинности; переменные высказывания — к переменным величинам x 1 , x 2 , ..., которые в качестве значений принимают элементы из множества Е ; логической связки — к множеству М элементарных функций (операций), которые, как и их аргументы, принимают значения из Е . Сложные высказывания, построенные из индивидуальных и переменных высказываний, а также логических связок, приводят к множеству формул над М . Значение истинности из Е сложного высказывания является функцией от соответствующих значений истинности высказываний, входящих в данное сложное высказывание. В модели эта функция приписывается формуле, соответствующей данному сложному высказыванию; говорят также, что формула реализуют эту функцию. Множество формул приводит к множеству [М ] функций, реализуемых формулами из и называемых суперпозициями над М . Множество [М ] называется замыканием множества М . Задание конкретной модели М. л. считается эквивалентным указанию множеств Е, М , и [М ]; при этом говорят, что модель порождается множеством М . Эта модель называется формульной моделью, а также m -значной логикой, где m обозначает мощность множества Е .
Своеобразие подхода математической кибернетики к М. л. состоит в рассмотрении моделей М. л. как управляющих систем. Элементарные функции при этом являются элементами, производящими определённые операции, а формулы интерпретируются как схемы, построенные из элементов и также осуществляющие переработку входной информации в выходную. Такого рода управляющие системы, известные в кибернетике как схемы из функциональных элементов, широко используются в теоретических и практических вопросах кибернетики. Вместе с тем существует ряд задач логики и кибернетики, который связан с изучением соответствий между множествами М и [М ] и при котором роль множества несколько затушёвывается, сводясь к способу определения второго множества по первому. В этом случае приходят к другой модели М. л., которая представляет собой алгебру, элементами которой являются функции, принимающие в качестве значений, как и их аргументы, элементы из Е . В качестве операций в этих алгебрах обычно используется специальный набор операций, эквивалентный в смысле соответствий М и [М ] множеству формул, построенных из функций множества М , т. е. получению сложных функций из заданных путём подстановки одних функций вместо аргументов других.