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

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

Приведены принципы организации гибких автоматизированных производственных систем (ГАПС) в химической и смежных отраслях промышленности. Рассмотрены их структура и способы функционирования. Изложены вопросы моделирования и структурно-параметрического синтеза ГАПС. Описаны цели и задачи управления гибкими автоматизированными производственными системами. Для студентов химико-технологических вузов. Может быть полезна инженерно-техническим и научным работникам химической и смежных отраслей промышленности.

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