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 hybrid automata. The inverse method is introduced, ...
Interest in latchup is being renewed with the evolution of complimentary metal-oxide semiconductor (CMOS) technology, metal-oxide-semiconductor field-effect transistor (MOSFET) scaling, and high-level system-on-chip (SOC) integration. Clear methodologies that grant protection from latchup, with insight into the physics, technology and circuit issues involved, are in increasing demand. This book describes CMOS and BiCMOS semiconductor technology ...
Do you dream of wiring up a flashing LED, experimenting with infrared detectors, or building a walking-talking robot from scratch? Do you want to understand what capacitors, oscilloscopes and transistors actually do? Then look no further! Electronics For Dummies, UK Editioncovers everything from understanding the technology behind day-to-day gadgets, to reading a schematic, getting to grips with multimeters, and devising projects that are both u ...
An extensive introduction to the engineering and manufacture of current and next-generation flat panel displays This book provides a broad overview of the manufacturing of flat panel displays, with a particular emphasis on the display systems at the forefront of the current mobile device revolution. It is structured to cover a broad spectrum of topics within the unifying theme of display systems manufacturing. An important theme of this book is ...
На основе обобщения отечественного и мирового опыта рассматривается комплекс вопросов, связанных с разработкой эффективных экранов для радиоэлектронной аппаратуры (РЭА), работающей в широком частотном диапазоне. Защита РЭА от воздействия электромагнитных полей представлена комплексно: от концепции экранирования до методики расчета неоднородных экранов; от металлических материалов до перспективных композитных и наноматериалов, применяемых при экр ...
Учебное пособие содержит обобщение знаний в области лазерных технологий, сведения о физических основах лазерной обработки и её применении в микро- и наноэлектронике. Рассматриваются характеристики и параметры лазерного излучения и особенности различных лазерных технологических процессов, включая моделирование физики воздействия лазерного излучения на основе уравнения теплопроводности. Пособие рекомендовано для подготовки магистров по направлени ...
