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

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

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

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

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

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

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

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

Рассмотрены основные подходы к компьютерному моделированию химико-технологических процессов (ХТП). Особое внимание уделяется изучению методологии расчетов и построения математических моделей типовых процессов химической технологии, их идентификации с использованием экспериментальных данных и решению задач оптимизации. Это позволяет рассматривать данное учебное пособие как руководство по созданию компьютерных моделей ХТП и их использованию для исследования, модернизации, диверсификации, оптимизации и управления процессами химической технологии специалистами, применяющими пакеты моделирующих программ ASPEN, HYSYS, PRO-II и ChemCad. Книга предназначена для обучения студентов химико-технологических вузов, а также для повышения квалификации инженеров-химиков и химиков-технологов для решения задач расчетно-технологического проектирования и управления химическими производствами, может быть полезной для специалистов в области нефтехимической, газоперерабатывающей промышленности, в производствах органической и неорганической химии, использующих современные автоматизированные системы проектирования (САПР) и системы научных исследований (АСНИ), и для инженеров химических предприятий, решающих задачи автоматизированного управления технологическими процессами (АСУТП), основу которых составляют статические и динамические компьютерные модели производственных процессов.

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