RU2018123964A - Решение задачи выполнимости булевых формул для определения связности дискретной сети трещин - Google Patents
Решение задачи выполнимости булевых формул для определения связности дискретной сети трещин Download PDFInfo
- Publication number
- RU2018123964A RU2018123964A RU2018123964A RU2018123964A RU2018123964A RU 2018123964 A RU2018123964 A RU 2018123964A RU 2018123964 A RU2018123964 A RU 2018123964A RU 2018123964 A RU2018123964 A RU 2018123964A RU 2018123964 A RU2018123964 A RU 2018123964A
- Authority
- RU
- Russia
- Prior art keywords
- connectivity
- crack
- specific
- fracture
- information
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
- G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
-
- E—FIXED CONSTRUCTIONS
- E21—EARTH OR ROCK DRILLING; MINING
- E21B—EARTH OR ROCK DRILLING; OBTAINING OIL, GAS, WATER, SOLUBLE OR MELTABLE MATERIALS OR A SLURRY OF MINERALS FROM WELLS
- E21B43/00—Methods or apparatus for obtaining oil, gas, water, soluble or meltable materials or a slurry of minerals from wells
- E21B43/25—Methods for stimulating production
- E21B43/26—Methods for stimulating production by forming crevices or fractures
-
- E—FIXED CONSTRUCTIONS
- E21—EARTH OR ROCK DRILLING; MINING
- E21B—EARTH OR ROCK DRILLING; OBTAINING OIL, GAS, WATER, SOLUBLE OR MELTABLE MATERIALS OR A SLURRY OF MINERALS FROM WELLS
- E21B49/00—Testing the nature of borehole walls; Formation testing; Methods or apparatus for obtaining samples of soil or well fluids, specially adapted to earth drilling or wells
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
- G06T17/00—Three dimensional [3D] modelling, e.g. data description of 3D objects
-
- E—FIXED CONSTRUCTIONS
- E21—EARTH OR ROCK DRILLING; MINING
- E21B—EARTH OR ROCK DRILLING; OBTAINING OIL, GAS, WATER, SOLUBLE OR MELTABLE MATERIALS OR A SLURRY OF MINERALS FROM WELLS
- E21B2200/00—Special features related to earth drilling for obtaining oil, gas or water
- E21B2200/20—Computer models or simulations, e.g. for reservoirs under production, drill bits
-
- E—FIXED CONSTRUCTIONS
- E21—EARTH OR ROCK DRILLING; MINING
- E21B—EARTH OR ROCK DRILLING; OBTAINING OIL, GAS, WATER, SOLUBLE OR MELTABLE MATERIALS OR A SLURRY OF MINERALS FROM WELLS
- E21B47/00—Survey of boreholes or wells
- E21B47/002—Survey of boreholes or wells by visual inspection
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Life Sciences & Earth Sciences (AREA)
- Geology (AREA)
- Mining & Mineral Resources (AREA)
- Mathematical Physics (AREA)
- Data Mining & Analysis (AREA)
- Mathematical Optimization (AREA)
- Mathematical Analysis (AREA)
- Computational Mathematics (AREA)
- Pure & Applied Mathematics (AREA)
- General Life Sciences & Earth Sciences (AREA)
- Environmental & Geological Engineering (AREA)
- Geochemistry & Mineralogy (AREA)
- Fluid Mechanics (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Geometry (AREA)
- Databases & Information Systems (AREA)
- Computer Hardware Design (AREA)
- Operations Research (AREA)
- Algebra (AREA)
- Evolutionary Computation (AREA)
- Computer Graphics (AREA)
- Complex Calculations (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Architecture (AREA)
- Organic Low-Molecular-Weight Compounds And Preparation Thereof (AREA)
Claims (21)
1. Способ (40), предназначенный для определения связности, по меньшей мере, одной трещины с другими трещинами пласта (14), при этом способ (40) включает:
получение процессором информации о связности для каждой конкретной трещины пласта (14), причем информация о связности для каждой конкретной трещины включает соединения с другими трещинами;
преобразование процессором информации о связности для каждой конкретной трещины в конъюнктивную нормальную форму; и
определение процессором возможность соединения, по меньшей мере, одной трещины с другими трещинами путем разрешения информации о связности для каждой конкретной трещины в конъюнктивной нормальной форме, с использованием решателя задач выполнимости булевых формул.
2. Способ (40) по п. 1, дополнительно включающий определение процессором связности каждой конкретной трещины со скважиной (12), проникающей в пласт (14).
3. Способ (40) по п. 1, отличающийся тем, что информация о связности для каждой конкретной трещины дополнительно включает местоположение этой трещины, и способ (40) дополнительно включает отображение связности, по меньшей мере, одной трещины в виде функции от местоположения, используемой для создания карты связности.
4. Способ (40) по п. 3, дополнительно включающий выполнение производственного действия с производственным оборудованием, использующим карту связности.
5. Способ (40) по п. 4, отличающийся тем, что производственное действие включает стимуляцию пласта (14), вызывая увеличение дебита скважины, используемой для добычи углеводородов, прекращение деятельности по добыче углеводородов или выполнение действий по ликвидации скважины.
6. Способ (40) по п. 4, отличающийся тем, что карта связности является, по меньшей мере, одной из следующего: виртуальная карта и печатная карта.
7. Способ (40) по п. 1, отличающийся тем, что каждая конкретная трещина идентифицирована уникальным образом.
8. Способ (40) по п. 1, отличающийся тем, что информация связности получается на основе дискретной сети трещин (26).
9. Устройство для определения связности, по меньшей мере, одной трещины с другими трещинами в пласте (14), при этом устройство содержит:
процессор, выполненный с возможностью:
получения информации связности для каждой конкретной трещины в пласте (14), причем информация связности для каждой конкретной трещины включает соединения с другими трещинами;
преобразования информации связности для каждой конкретной трещины в конъюнктивную нормальную форму; и
определения связности, по крайней мере, одной трещины с другими трещинами путем разрешения информации связности для каждой конкретной трещины в конъюнктивной нормальной форме с помощью решателя задач выполнимости булевых формул.
10. Устройство по п. 9, отличающееся тем, что процессор дополнительно выполнен с возможностью определения связности каждой конкретной трещины по отношению к скважине (12), проникающей в пласт (14).
11. Устройство по п. 9, отличающееся тем, что информация о связности каждой конкретной трещины дополнительно содержит сведения о расположении данной трещины, а способ дополнительно включает отображение связности, по меньшей мере, одной конкретной трещины в зависимости от ее расположения для формирования карты связности.
12. Устройство по п. 11, дополнительно включающее производственное оборудование, выполненное с возможностью реализации промышленных действий с использованием карты связности.
13. Устройство по п. 12, отличающееся тем, что производственное оборудование содержит гидравлическое устройство для стимуляции процесса добычи углеводородов.
14. Устройство по п. 12, отличающееся тем, что производственное оборудование включает систему кислотной обработки.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US14/978,794 US10180053B2 (en) | 2015-12-22 | 2015-12-22 | Boolean satisfiability problem for discrete fracture network connectivity |
| US14/978,794 | 2015-12-22 | ||
| PCT/US2016/064670 WO2017112387A1 (en) | 2015-12-22 | 2016-12-02 | Boolean satisfiability problem for discrete fracture network connectivity |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| RU2018123964A3 RU2018123964A3 (ru) | 2020-01-09 |
| RU2018123964A true RU2018123964A (ru) | 2020-01-09 |
| RU2721201C2 RU2721201C2 (ru) | 2020-05-18 |
Family
ID=59065995
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| RU2018123964A RU2721201C2 (ru) | 2015-12-22 | 2016-12-02 | Решение задачи выполнимости булевых формул для определения связности дискретной сети трещин |
Country Status (5)
| Country | Link |
|---|---|
| US (1) | US10180053B2 (ru) |
| EP (1) | EP3394389B1 (ru) |
| CA (1) | CA3009181C (ru) |
| RU (1) | RU2721201C2 (ru) |
| WO (1) | WO2017112387A1 (ru) |
Families Citing this family (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US11125471B2 (en) * | 2014-06-04 | 2021-09-21 | The Johns Hopkins University | Method for a radiator EGS to harvest geothermal energy |
| US11609911B2 (en) | 2019-12-19 | 2023-03-21 | Ocient Holdings LLC | Selecting a normalized form for conversion of a query expression |
| US12119061B2 (en) | 2022-06-15 | 2024-10-15 | Hewlett Packard Enterprise Development Lp | Stochastic local search accelerator based on cams for solving constraint satisfaction problems |
| US20250044477A1 (en) * | 2023-08-02 | 2025-02-06 | Hornby Geophysical Services | Title: method and systems for determination fracture width and fracture conductivity using combined analysis of wellbore images and low-frequency stoneley wave measurements |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7120569B2 (en) | 2003-05-19 | 2006-10-10 | Javier Armando Arroyo-Figueroa | Sequential machine for solving boolean satisfiability (SAT) problems in linear time |
| US7194710B2 (en) * | 2004-03-23 | 2007-03-20 | Fujitsu Limited | Scheduling events in a boolean satisfiability (SAT) solver |
| US8131660B2 (en) | 2008-04-08 | 2012-03-06 | Microsoft Corporation | Reconfigurable hardware accelerator for boolean satisfiability solver |
| JP4659060B2 (ja) * | 2008-04-21 | 2011-03-30 | 株式会社日立製作所 | 形状モデル作成装置及び形状フィッティングの最適化処理方法 |
| RU2432459C1 (ru) * | 2010-10-20 | 2011-10-27 | Открытое акционерное общество "Всероссийский нефтегазовый научно-исследовательский институт имени академика А.П. Крылова" ("ОАО "ВНИИнефть") | Способ разработки нефтяных залежей |
| US8589327B2 (en) | 2011-04-22 | 2013-11-19 | International Business Machines Corporation | Efficiently determining boolean satisfiability with lazy constraints |
| CA2854371C (en) * | 2011-11-04 | 2019-12-24 | Schlumberger Canada Limited | Modeling of interaction of hydraulic fractures in complex fracture networks |
-
2015
- 2015-12-22 US US14/978,794 patent/US10180053B2/en active Active
-
2016
- 2016-12-02 WO PCT/US2016/064670 patent/WO2017112387A1/en not_active Ceased
- 2016-12-02 EP EP16879851.0A patent/EP3394389B1/en active Active
- 2016-12-02 CA CA3009181A patent/CA3009181C/en active Active
- 2016-12-02 RU RU2018123964A patent/RU2721201C2/ru active
Also Published As
| Publication number | Publication date |
|---|---|
| RU2018123964A3 (ru) | 2020-01-09 |
| RU2721201C2 (ru) | 2020-05-18 |
| CA3009181A1 (en) | 2017-06-29 |
| EP3394389A4 (en) | 2019-08-07 |
| EP3394389B1 (en) | 2023-08-02 |
| EP3394389A1 (en) | 2018-10-31 |
| CA3009181C (en) | 2023-02-28 |
| US10180053B2 (en) | 2019-01-15 |
| US20170175519A1 (en) | 2017-06-22 |
| WO2017112387A1 (en) | 2017-06-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| RU2018123964A (ru) | Решение задачи выполнимости булевых формул для определения связности дискретной сети трещин | |
| MX2020008338A (es) | Proceso de fracturamiento simultaneo. | |
| CL2018002556A1 (es) | Mejora de la snr das de baja frecuencia | |
| EA201991955A1 (ru) | Жидкость для гидроразрыва, содержащая (со)полимер гидратированной кристаллической формы 2-акриламидо-2-метилпропансульфоновой кислоты, и способ осуществления гидроразрыва | |
| JP2014223081A5 (ru) | ||
| AR106027A1 (es) | Simulación de yacimientos fracturados utilizando múltiples mallas | |
| MX380748B (es) | Sistemas de sensores hemodinámicos, electrónicos, portátiles. | |
| EA201891263A1 (ru) | Автоматическое устройство для уборки и способ уборки | |
| EA201491615A1 (ru) | Устройство для обучения пользователей устройства ультразвуковой визуализации | |
| EA201591566A1 (ru) | Композиция и способ гидравлического разрыва пластов и оценки и диагностики процессов гидроразрыва пластов при помощи добавленного пористого керамического расклинивающего наполнителя | |
| EA201201285A1 (ru) | Системы и способы для определения местоположения горизонтальных скважин в пределах заданных границ | |
| WO2015195982A3 (en) | Baroreceptor mapping system | |
| CO6561794A2 (es) | Sistema, aparato y mètodo para estimular pozos y manejar un depósito de recursos naturales | |
| EP3672506A4 (en) | HEART PROBE EXTRACTION DEVICE | |
| EP3930601A4 (en) | HEART DRIVER EXPLANTATION DEVICE | |
| GB2523036A (en) | Method for increasing product recovery in fractures proximate fracture treated wellbores | |
| AR083559A1 (es) | Metodo y sistema para la estimulacion de fracturas mediante el desplazamiento y asentamiento ciclicos de formacion | |
| EP3371959A4 (en) | Apparatus, system and method of communicating control information in a physical layer convergence protocol (plcp) protocol data unit (ppdu) | |
| RU2013157623A (ru) | Мультисегментные трещины | |
| EA201692288A1 (ru) | Способ получения фосфорсодержащих циангидринов | |
| BR112017006376A2 (pt) | método e aparelho de verificação | |
| EP3350339C0 (en) | METHOD FOR THE EARLY DETECTION AND IDENTIFICATION OF MICROBIAL COLONIES, APPARATUS FOR IMPLEMENTING THE METHOD AND COMPUTER PROGRAM | |
| EP3972645C0 (en) | METHODS FOR IDENTIFYING HIV PATIENTS SUSCEPTIBLE TO THERAPY WITH ANTIBODIES DIRECTED AGAINST GLYCAN V3 OF GP120 | |
| EP3522827A4 (en) | DEVICES AND METHODS FOR TREATING CONGESTIVE HEART FAILURE, ASCITES, AND OTHER DISORDERS RELATED TO EXCESS BODY FLUID | |
| EP3178943A3 (en) | A method for identification of anti-hiv human mirna mimics and mirna inhibitors and anti-hiv pharmaceutical compounds |