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

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

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

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

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