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

В сборнике представлены результаты теоретических, методических и промысловых исследований повышения эффективности нефтеизвлечения. Даны результаты физико-химических и фильтрационных исследований по подбору оптимального состава обратной эмульсии для выравнивания профиля приемистости нагнетательных скважин. Исследования по подбору композиций для глушения скважин, вскрывших терригенные гидрофильные породы-коллекторы юрских отложений Западно-Ноябрьского месторождения, позволили подобрать высокоэффективную композицию на основе раствора хлористого натрия технического карьерного, Рассматриваются результаты экспериментальных исследований по сравнительному анализу влияния мощности акустического воздействия на разгазирование нефти. Исследования эффективности воздействия теплоносителем на битуминозные пласты на основе комплексного изучения свойств пласта и математического моделирования процесса распространения теплового фронта по пропласткам показали возможность оптимизации теплового воздействия на добывающие и нагнетательные скважины с учетом геологического строения и теплофизических особенностей конкретного участка скважин. Применительно к опытному участку Аганского месторождения приводится алгоритм расчета параметров проведения технологии нестационарного заводнения, а также фактическая схема её реализации. На основе анализа результатов экспериментальных исследований выявлена зависимость фазового состояния парафинистых нефтей от давления. Рассмотрены особенности проведения и интерпретации результатов гидродинамических исследований скважин, оборудованных струйными насосами. Рассмотрены некоторые результаты анализа динамики показателей разработки нефтяной залежи фундамента месторождения Белый Тигр и показано их сопоставление с месторождениями - аналогами. При моделировании газонефтяных залежей предлагается учитывать не только вертикальную составляющую движения флюидов через контакты, но и латеральную. На примере Лянторского месторождения анализируется влияние системы разработки на объемы перетоков.

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

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

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

В книге показаны возможности учета основных факторов, влияющих на процесс разработки газовых месторождений. Описываются методы расчета оптимальных технологических показателей разработки на стадии проектирования. Особое внимание уделено добыче газа при газовом режиме. Изложены методы учета продвижения воды по залежи. Предлагаются алгоритм обработки на ЭВМ результатов промысловых исследований скважин и алгоритм контроля за состоянием разработки, а также программа решения рассмотренных задач. Книга предназначена для инженерно-технических специалистов, занимающихся разработкой и внедрением АСУ на газовых промыслах. Ее можно также рекомендовать студентам нефтяных вузов и факультетов.

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

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

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