This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine h…
The desire to build lower cost analog front-ends has triggered interest in a new domain of research. Consequently the joint design of the analog front-end and of the digital baseband algorithms has become an important field of research. It enables the wireless systems and chip designers to more effectively trade the communication performance with the production cost. Digital Compensation for Analo…
Addresses materials, technology, and products that could help solve the global environmental crisis once commercialized This multidisciplinary book encompasses state-of-the-art research on the topics of Carbon Capture and Storage (CCS), and complements existing CCS technique publications with the newest research and reviews. It discusses key challenges involved in the CCS materials design, process…
В учебном пособии даны условия заданий, а также кратко излагается теоретический материал, необходимый для получения практических навыков решения задач динамики полета летательных аппаратов. Основная часть заданий скомпонована по главам аналогично соответствующим разделам ранее изданного учебного пособия «Динамика полета». Ч. 1.4. 2. Кроме того, в работе приводится содержание курсового проекта и тр…
НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ. В 1990-м после …
Ассортимент промышленных отечественных пластификаторов для полярных полимеров и каучуков весьма ограничен. Это делает актуальным применение в рецептуре композиционных материалов на их основе пластификатора ЭДОС, отличающегося низкой токсичностью и стоимостью. Этот пластификатор представляет особый практический интерес для широкого круга линейных и сетчатых полимеров, водных дисперсий и латексов, р…
Настоящее издание предназначено для изучения теоретических аспектов концепции бережливого производства и знакомства с некоторыми ее инструментами. Содержание учебного пособия полностью соответствует рабочей программе. Дисциплина «Бережливое производство» рекомендована для включения в профессиональный цикл образовательных программ направления подготовки 38.03.02 «Менеджмент».
This volume contains 20 manuscripts presented during the Materials Science & Technology 2017 Conference (MS&T’17), held October 8-12, 2017 at the David L. Lawrence Convention Center, Pittsburgh, PA. Papers from the following symposia are included in this volume: • 9th International Symposium on Green and Sustainable Technologies for Materials Manufacturing and Processing • Advances in Dielectric M…
This volume contains 20 manuscripts presented during the Materials Science & Technology 2017 Conference (MS&T’17), held October 8-12, 2017 at the David L. Lawrence Convention Center, Pittsburgh, PA. Papers from the following symposia are included in this volume: • 9th International Symposium on Green and Sustainable Technologies for Materials Manufacturing and Processing • Advances in Dielectric M…
В пособии рассмотрены некоторые виды соединений, применяемые в машиностроительных конструкциях, и алгоритмы их расчета при основных видах деформаций. Учебное пособие составлено применительно к программам курсов: «Детали машин», «Детали машин и основы конструирования», «Основы проектирования конструкций», «Прикладная механика» и «Механика» для студентов МТФ, ФМА, РЭФ, обучающихся по направлениям: 1…
Proceeding of the 42nd International Conference on Advanced Ceramics and Composites, Ceramic Engineering and Science Proceedings Volume 39, Issue 2, 2018 Jonathan Salem, Dietmar Koch, Peter Mechnich, Mihails Kusnezoff, Narottam Bansal, Jerry LaSalvia, Palani Balaya, Zhengyi Fu, and Tatsuki Ohji, Editors Valerie Wiesner and Manabu Fukushima, Volume Editors This proceedings contains a collection of …
Книга посвящена таким драгоценным металлам, как золото, серебро и платина, а также палладий, рутений, родий, иридий и осмий. Здесь подробно изложена характеристика каждого из металлов, включающая их историю, основные свойства и добычу. Особое внимание в книге уделено сплавам и пробам золота.
Книга посвящена таким драгоценным металлам, как золото, серебро и платина, а также палладий, рутений, родий, иридий и осмий. Здесь подробно изложена характеристика каждого из металлов, включающая их историю, основные свойства и добычу. Особое внимание в книге уделено сплавам и пробам золота.
В книге подробно описаны способы закрепления камней в изделии, рассмотрены особенности производства художественных изделий из металла. Немало внимания в книге уделено художественному литью и литью в земляные формы, их истории и специфике.
В книге подробно описаны способы закрепления камней в изделии, рассмотрены особенности производства художественных изделий из металла. Немало внимания в книге уделено художественному литью и литью в земляные формы, их истории и специфике.