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

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

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

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

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

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