РЕШЕНИЕ ЗАДАЧИ ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ ДЛЯ ОПРЕДЕЛЕНИЯ СВЯЗНОСТИ ДИСКРЕТНОЙ СЕТИ ТРЕЩИН

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, отличающееся тем, что производственное оборудование включает систему кислотной обработки.