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

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

Том 3 состоит из 2 обзоров. В первом обзоре рассматриваются процессы перемешивания в жидких средах: достижения в исследовании гидродинамики в аппаратах с мешалками; математические модели структуры потоков; явления перемешивания при наличии многфазных систем; вопросы массопередачи и химического взаимодействия при перемешивании в жидких средах; масштабирование аппаратов с перемешивающими устройствами. Во втором обзоре обсуждаются новые принципы расчета и математического моделирования химико-технологических систем: достижения в области математического моделирования и автоматизированного проектирования современных химических производств.