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, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Contents:

1. Parametric Timed Automata.2. The Inverse Method for Parametric Timed Automata.3. The Inverse Method in Practice: Application to Case Studies.4. Behavioral Cartography of Timed Automata.5. Parameter Synthesis for Hybrid Automata.6. Application to the Robustness Analysis of Scheduling Problems.7. Conclusion and Perspectives.

About the Authors

etienne Andre is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cite) in France. His current research interests focus on the verification of real-time systems.Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

"Eco- and Renewable Energy Materials" provides a survey of the current topics and the major developmental trends in the rapidly growing research area of clean energy materials. This book covers, but is not limited to, photochemical materials (fuels from light), fuel cells (electricity from fuels), batteries (electricity storage), and hydrogen production and storage. This book is intended as a vehicle for the dissemination of research results on energy-based material science in the form of commissioned reviews and commentaries. This book is for scientists and engineers interested in energy-related materials, compounds and electronic devices. Prof. Yong Zhou is currently serving as a full professor at the Eco-Materials and Renewable Energy Research Center (ERERC), Nanjing University, China.

Three dimensional (3D) optical geometries are becoming more common in the literature and lexicon of solar cells. "Three Dimensional Solar Cells Based on Optical Confinement Geometries" describes and reveals the basic operational nuances of 3D photovoltaics using three standard tools: Equivalent Circuit Models, Ray Tracing Optics in the Cavity, and Absorber Spectral Response. These tools aide in understanding experimental absorption profile and device parameters including Jsc, Voc, Fill Factor, and EQE. These methods also apply to individual optical confinement geometry device, integrated optical confinement geometry device, and hybrid optical confinement geometry device.
Additionally, this book discusses the importance of these methods in achieving the goal of high efficiency solar cells and suggests a possible application in large-scale photovoltaics business, like solar farms.

A comprehensive device model considering both spatial distributions of the terahertz field and the field-effect self-mixing factor has been constructed for the first time in the thesis. The author has found that it is the strongly localized terahertz field induced in a small fraction of the gated electron channel that plays an important role in the high responsivity. An AlGaN/GaN-based high-electron-mobility transistor with a 2-micron-sized gate and integrated dipole antennas has been developed and can offer a noise-equivalent power as low as 40 pW/Hz1/2 at 900 GHz. By further reducing the gate length down to 0.2 micron, a noise-equivalent power of 6 pW/Hz1/2 has been achieved. This thesis provides detailed experimental techniques and device simulation for revealing the self-mixing mechanism including a scanning probe technique for evaluating the effectiveness of terahertz antennas. As such, the thesis could be served as a valuable introduction towards further development of high-sensitivity field-effect terahertz detectors for practical applications.

"Silicon-On-Insulator (SOI) Technology: Manufacture and Applications" covers SOI transistors and circuits, manufacture, and reliability. The book also looks at applications such as memory, power devices, and photonics.

The book is divided into two parts; part one covers SOI materials and manufacture, while part two covers SOI devices and applications. The book begins with chapters that introduce techniques for manufacturing SOI wafer technology, the electrical properties of advanced SOI materials, and modeling short-channel SOI semiconductor transistors. Both partially depleted and fully depleted SOI technologies are considered. Chapters 6 and 7 concern junctionless and fin-on-oxide field effect transistors. The challenges of variability and electrostatic discharge in CMOS devices are also addressed. Parttwo covers recent and established technologies. These include SOI transistors for radio frequency applications, SOI CMOS circuits for ultralow-power applications, and improving device performance by using 3D integration of SOI integrated circuits. Finally, chapters 13 and 14 consider SOI technology for photonic integrated circuits and for micro-electromechanical systems and nano-electromechanical sensors.

The extensive coverage provided by "Silicon-On-Insulator (SOI) Technology" makes the book a central resource for those working in the semiconductor industry, for circuit design engineers, and for academics. It is also important for electrical engineers in the automotive and consumer electronics sectors.
Covers SOI transistors and circuits, as well as manufacturing processes and reliabilityLooks at applications such as memory, power devices, and photonics"

Sensors are used for civil infrastructure performance assessment and health monitoring, and have evolved significantly through developments in materials and methodologies. "Sensor Technologies for Civil Infrastructure Volume II" provides an overview of sensor data analysis and case studies in assessing and monitoring civil infrastructures.

Partone focuses on sensor data interrogation and decision making, with chapters on data management technologies, data analysis, techniques for damage detection and structural damage detection. Parttwo is made up of case studies in assessing and monitoring specific structures such as bridges, towers, buildings, dams, tunnels, pipelines, and roads.

"Sensor Technologies for Civil Infrastructure" provides a standard reference for structural and civil engineers, electronics engineers, and academics with an interest in the field.
Provides an in-depth examination of sensor data management and analytical techniques for fault detection and localization, looking at prognosis and life-cycle assessmentIncludes case studies in assessing structures such as bridges, buildings, super-tall towers, dams, tunnels, wind turbines, railroad tracks, nuclear power plants, offshore structures, levees, and pipelines"

3D Integration is being touted as the next semiconductor revolution. This book provides a comprehensive coverage on the design and modeling aspects of 3D integration, in particularly, focus on its electrical behavior. Looking from the perspective the Silicon Via (TSV) and Glass Via (TGV) technology, the book introduces 3DICs and Interposers as a technology, and presents its application in numerical modeling, signal integrity, power integrity and thermal integrity. The authors underscored the potential of this technology in design exchange formats and power distribution.

This book is a comprehensive guide to both the fundamentals of thermal sensors and their advanced functions. Key topics include sensor materials, CMOS-compatible sensors, measurement capabilities, thermal management and manufacturing processes. The introductory chapter covers the basic principles of thermal sensors from the essentials of heat transfer to smart wireless sensors. Later chapters illustrate the wide range of thermal sensor uses, from microprocessor thermal sensing to energy converter applications. Modeling and simulation techniques are used to explain the future direction of the field. Designed for researchers and practitioners working with wireless sensors and thermal management, Thermal Sensors: Principles and Applications for Semiconductor Industries is a valuable reference to the benefits and challenges these sensors offer. Advanced-level students studying mechanical or electrical engineering and networks will also find the content useful.

This thesis combines highly accurate optical spectroscopy data on the recently discovered iron-based high-temperature superconductors with an incisive theoretical analysis. Three outstanding results are reported: (1) The superconductivity-induced modification of the far-infrared conductivity of an iron arsenide with minimal chemical disorder is quantitatively described by means of a strong-coupling theory for spin fluctuation mediated Cooper pairing. The formalism developed in this thesis also describes prior spectroscopic data on more disordered compounds. (2) The same materials exhibit a sharp superconductivity-induced anomaly for photon energies around 2.5 eV, two orders of magnitude larger than the superconducting energy gap. The author provides a qualitative interpretation of this unprecedented observation, which is based on the multiband nature of the superconducting state. (3) The thesis also develops a comprehensive description of a superconducting, yet optically transparent iron chalcogenide compound. The author shows that this highly unusual behavior can be explained as a result of the nanoscopic coexistence of insulating and superconducting phases, and he uses a combination of two complementary experimental methods - scanning near-field optical microscopy and low-energy muon spin rotation - to directly image the phase coexistence and quantitatively determine the phase composition. These data have important implications for the interpretation of data from other experimental probes.

This revised and updated edition of the well-received book by C. Klingshirn provides an introduction to and an overview of all aspects of semiconductor optics, from IR to visible and UV. It has been split into two volumes and rearranged to offer a clearer structure of the course content. Inserts on important experimental techniques as well as sections on topical research have been added to support research-oriented teaching and learning. Volume 1 provides an introduction to the linear optical properties of semiconductors. The mathematical treatment has been kept as elementary as possible to allow an intuitive approach to the understanding of results of semiconductor spectroscopy. Building on the phenomenological model of the Lorentz oscillator, the book describes the interaction of light with fundamental optical excitations in semiconductors (phonons, free carriers, excitons). It also offers a broad review of seminal research results augmented by concise descriptions of the relevant experimental techniques, e.g., Fourier transform IR spectroscopy, ellipsometry, modulation spectroscopy and spatially resolved methods, to name a few. Further, it picks up on hot topics in current research, like quantum structures, mono-layer semiconductors or Perovskites. The experimental aspects of semiconductor optics are complemented by an in-depth discussion of group theory in solid-state optics. Covering subjects ranging from physics to materials science and optoelectronics, this book provides a lively and comprehensive introduction to semiconductor optics. With over 120 problems, more than 480 figures, abstracts to each chapter, as well as boxed inserts and a detailed index, it is intended for use in graduate courses in physics and neighboring sciences like material science and electrical engineering. It is also a valuable reference resource for doctoral and advanced researchers.

This thesis sheds important new light on the puzzling properties of Strontium Ruthenate. Using a sophisticated weak-coupling approach, exact within certain limits, it shows that proper treatment of spin-orbit and multi-band effects is crucial to the physics. Based on the results of these calculations, it resolves a crucial, long-standing puzzle in the field: It demonstrates why the experimentally observed time-reversal breaking is not incompatible with the observed lack of measurable edge currents. Lastly, the thesis makes predictions for the properties of the material under uniaxial strain, which are in good agreement with recent experiments -resolving the mystery of the so-called 3K phase, and suggesting the intriguing possibility that under strain the superconductor may become conventional.

Sensors are used for civil infrastructure performance assessment and health monitoring, and have evolved significantly through developments in materials and methodologies. "Sensor Technologies for Civil Infrastructure Volume I" provides an overview of sensor hardware and its use in data collection.

The first chapters provide an introduction to sensing for structural performance assessment and health monitoring, and an overview of commonly used sensors and their data acquisition systems. Further chapters address different types of sensor including piezoelectric transducers, fiber optic sensors, acoustic emission sensors, and electromagnetic sensors, and the use of these sensors for assessing and monitoring civil infrastructures. Developments in technologies applied to civil infrastructure performance assessment are also discussed, including radar technology, micro-electro-mechanical systems (MEMS) and nanotechnology.

"Sensor Technologies for Civil Infrastructure" provides a standard reference for structural and civil engineers, electronics engineers, and academics with an interest in the field.
Describes sensing hardware and data collection, covering a variety of sensorsExamines fiber optic systems, acoustic emission, piezoelectric sensors, electromagnetic sensors, ultrasonic methods, and radar and millimeter wave technologyCovers strain gauges, micro-electro-mechanical systems (MEMS), multifunctional materials and nanotechnology for sensing, and vision-based sensing and lasers

Metamaterials, artificial electromagnetic media achieved by structuring on the subwave-length-scale were initially suggested for the negative index and superlensing. They became a paradigm for engineering electromagnetic space and controlling propagation of waves. The research agenda is now shifting on achieving tuneable, switchable, nonlinear and sensing functionalities. The time has come to talk about the emerging research field of metadevices employing active and tunable metamaterials with unique functionalities achieved by structuring of functional matter on the subwave-length scale. This book presents the first systematic and comprehensive summary of the reviews written by the pioneers and top-class experts in the field of metamaterials. It addresses many grand challenges of the cutting edge research for creating smaller and more efficient photonic structures and devices.

This thesis addresses the intriguing topic of the quantum tunnelling of many-body systems such as Bose-Einstein condensates. Despite the enormous amount of work on the tunneling of a single particle through a barrier, we know very little about how a system made of several or of many particles tunnels through a barrier to open space. The present work uses numerically exact solutions of the time-dependent many-boson Schroedinger equation to explore the rich physics of the tunneling to open space process in ultracold bosonic particles that are initially prepared as a Bose-Einstein condensate and subsequently allowed to tunnel through a barrier to open space. The many-body process is built up from concurrently occurring single particle processes that are characterized by different momenta. These momenta correspond to the chemical potentials of systems with decreasing particle number. The many-boson process exhibits exciting collective phenomena: the escaping particles fragment and lose their coherence with the source and among each other, whilst correlations build up within the system. The detailed understanding of the many-body process is used to devise and test a scheme to control the final state, momentum distributions and even the correlation dynamics of the tunneling process.

In this thesis, the author investigates hidden-order phase transition at" T"0 = 17.5 K in the heavy-fermion URu2Si2. The four-fold rotational symmetry breaking in the hidden order phase, which imposes a strong constraint on the theoretical model, is observed through the magnetic torque measurement. The translationally invariant phase with broken rotational symmetry is interpreted as meaning that the hidden-order phase is an electronic "nematic" phase. The observation of such nematicity in URu2Si2 indicates a ubiquitous nature among the strongly correlated electron systems.

The author also studies the superconducting state of URu2Si2 below" T"c = 1.4 K, which coexists with the hidden-order phase. A peculiar vortex penetration in the superconducting state is found, which may be related to the rotational symmetry breaking in the hidden-order phase. The author also identifies a vortex lattice melting transition. This transport study provides essential clues to the underlying issue of quasiparticle dynamics as to whether a quasiparticle Bloch state is realized in the periodic vortex lattice.

This thesis deals with topological orders from two different perspectives: from a condensed matter point of view, where topological orders are considered as breakthrough phases of matter; and from the emerging realm of quantum computation, where topological quantum codes are considered the most appealing platform against decoherence. The thesis reports remarkable studies from both sides. It thoroughly investigates a topological order called the double semion model, a counterpart of the Kitaev model but exhibiting richer quasiparticles as excitations. A new model for symmetry enriched topological order is constructed, which adds an onsite global symmetry to the double semion model. Using this topological phase, a new example of topological code is developed, the semion code, which is non-CSS, additive, non-Pauli and within the stabiliser formalism. Furthermore, the thesis analyses the Rashba spin-orbit coupling within topological insulators, turning the helical edge states into generic edges modes with potential application in spinstronics. New types of topological superconductors are proposed and the novel properties of the correspondingly created Majorana fermions are investigated. These Majorana fermions have inherent properties enabling braiding and the performance of logical gates as fundamental blocks for a universsal quantum computator.

The thesis covers a broad range of electronic, optical and opto-electronic devices and various predicted physical effects. In particular, it examines the quantum interference transistor effect in graphene nanorings; tunable spin-filtering and spin-dependent negative differential resistance in composite heterostructures based on graphene and ferromagnetic materials; optical and novel electro-optical bistability and hysteresis in compound systems and the real-time control of radiation patterns of optical nanoantennas. The direction of the main radiation lobe of a regular plasmonic array can be changed abruptly by small variations in external control parameters. This optical effect, apart from its relevance for applications, is a revealing example of the Umklapp process and, thus, is a visual manifestation of one of the most fundamental laws of solid state physics: the conservation of the quasi-momentum to within a reciprocal lattice vector. The thesis analyzes not only results for particular device designs but also a variety of advanced numerical methods which are extended by the author and described in detail. These methods can be used as a sound starting point for further research.

In this thesis the author presents the results of extensive spectroscopy experiments beyond the bounds of each transition element to clarify the origins of characteristic spectral features and charge dynamics in charge-spin-orbital coupled phenomena in Mott-transition oxides. Several counterpart 3d transition-metal oxides were adopted as model systems suitable for examining the mechanisms involved, and their electronic structures were systematically investigated using three main spectroscopy methods.

Comparative studies on the charge dynamics and Mott transition features of transition-metal oxides were performed: Charge dynamics and thermoelectricity in a typical Mott transition system La1 xSrxVO3, charge dynamics in a doped valence-bond solid system (Ti1 xVx)2O3 and in layered nickelates R2-xSrxNiO4 with charge-ordering instability are investigated thoroughly. The results obtained successfully provide a number of novel insights into the emergent phenomena near the Mott transition.

"

"Semiconductors and Semimetals" has distinguished itself through the careful selection of well-known authors, editors, and contributors. Originally widely known as the "Willardson and Beer" Series, it has succeeded in publishing numerous landmark volumes and chapters. The series publishes timely, highly relevant volumes intended for long-term impact and reflecting the truly interdisciplinary nature of the field. The volumes in "Semiconductors and Semimetals" have been and will continue to be of great interest to physicists, chemists, materials scientists, and device engineers in academia, scientific laboratories and modern industry.
Written and edited by internationally renowned experts
Relevant to a wide readership: physicists, chemists, materials scientists, and device engineers in academia, scientific laboratories and modern industry

This book presents the scientific principles, processing conditions, probable failure mechanisms, and a description of reliability performance and equipment required for implementing high-temperature and lead-free die attach materials. In particular, it addresses the use of solder alloys, silver and copper sintering, and transient liquid-phase sintering. While different solder alloys have been used widely in the microelectronics industry, the implementation of sintering silver and transient liquid-phase sintering remains limited to a handful of companies. Hence, the book devotes many chapters to sintering technologies, while simultaneously providing only a cursory coverage of the more widespread techniques employing solder alloys. Addresses the differences between sintering and soldering (the current die-attach technologies), thereby comprehensively addressing principles, methods, and performance of these high-temperature die-attach materials; Emphasizes the industrial perspective, with chapters written by engineers who have hands-on experience using these technologies; Baker Hughes, Bosch and ON Semiconductor, are represented as well as materials suppliers such as Indium; Simultaneously provides the detailed science underlying these technologies by leading academic researchers in the field.

This comprehensive text collects the progress made in recent years in the fabrication, processing, and performance of organic nanophotonic materials and devices. The first part of the book addresses photonic nanofabrications in a chapter on multiphoton processes in nanofabrication and microscopy imaging. The second part of the book is focused on nanoscale light sources for integrated nanophotonic circuits, and is composed of three chapters on organic nano/microcavities, organic laser materials, and polymer light-emitting electrochemical cells (LECs). The third part is focused on the interactions between light and matter and consists in three chapters, including the propagation of light in organic nanostructures and photoswitches based on nonlinear optical polymer photonic crystals and photoresponsive molecules, respectively. The final chapter of this book introduces the integration of miniaturized photonic devices and circuits with various organic nanophotonic elements. The practical case studies demonstrate how the latest applications actually work, while tables throughout the book summarize key information and diagrams and figures help readers to grasp complex concepts and designs. The references at the end of each chapter can be used as the gateway to the relevant literature in the field. Moreover, this book helps researchers to advance their own investigations to develop the next generation of miniaturized devices for information processing, efficient energy conversion, and highly accurate sensing. Yong Sheng Zhao, PhD, is a Professor at the Institute of Chemistry, Chinese Academy of Sciences (ICCAS), China.

This book covers the state of the art of laser micro- and nanotechnology. The physical fundamentals of different processes and the application are presented. The book deals with different materials like phase change and memory alloys, thin films, polymers etc. New phenomena and mechanisms of laser-matter interaction in nano-domains are explained. This book is helpful for students, postgraduates, engineers and researches working not only in the field of laser microtechnology but also in high-tech industry, like photonics, microelectronics, information technology.

Presenting a blend of applied and fundamental research in highly interdisciplinary subjects of rapidly developing areas, this book contains contributions on the frontiers and hot topics of laser physics, laser technology and laser engineering, and covers a wide range of laser topics, from all-optical signal processing and chaotic optical communication to production of superwicking surfaces, correction of extremely high-power beams, and generation of ultrabroadband spectra. It presents both review-type contributions and well researched and documented case studies, and is intended for graduate students, young scientist, and emeritus scientist working/studying in laser physics, optoelectronics, optics, photonics, and adjacent areas. The book contains both experimental and theoretical studies, as well as combinations of these two, which is known to be a most useful and interesting form of reporting scientific results, allowing students to really learn from each contribution. The book contains over 130 illustrations.

An important resource for students, engineers and researchers working in the area of thin film deposition using "physical vapor deposition" (e.g. "sputtering") for semiconductor, liquid crystal displays, high density recording media and photovoltaic device (e.g. thin film solar cell) manufacturing. This book also reviews microelectronics industry topics such as history of inventions and technology trends, recent developments in sputtering technologies, manufacturing steps that require sputtering of thin films, the properties of thin films and the role of sputtering target performance on overall productivity of various processes. Two unique chapters of this book deal with productivity and troubleshooting issues.

The content of the book has been divided into two sections: (a) the "first section" (Chapter 1 to Chapter 3) has been prepared for the readers from a range of disciplines (e.g. electrical, chemical, chemistry, physics) trying to get an insight into use of sputtered films in various devices (e.g. semiconductor, display, photovoltaic, data storage), basic of sputtering and performance of sputtering target in relation to productivity, and (b) the "second section" (Chapter 4 to Chapter 8) has been prepared for readers who already have background knowledge of sputter deposition of thin films, materials science principles and interested in the details of sputtering target manufacturing methods, sputtering behavior and thin film properties specific to semiconductor, liquid crystal display, photovoltaic and magnetic data storage applications.

In Chapters 5 to 8, a general structure has been used, i.e. a description of the applications of sputtered thin films, sputtering target manufacturing methods (including flow charts), sputtering behavior of targets (e.g. current - voltage relationship, deposition rate) and thin film properties (e.g. microstructure, stresses, electrical properties, in-film particles). While discussing these topics, attempts have been made to include examples from the actual commercial processes to highlight the increased complexity of the commercial processes with the growth of advanced technologies. In addition to personnel working in industry setting, university researchers with advanced knowledge of sputtering would also find discussion of such topics (e.g. attributes of target design, chamber design, target microstructure, sputter surface characteristics, various troubleshooting issues) useful.

.
Unique coverage of sputtering target manufacturing methods in the light of semiconductor, displays, data storage and photovoltaic industry requirementsPractical information on technology trends, role of sputtering and major OEMs Discussion on properties of a wide variety of thin films which include silicides, conductors, diffusion barriers, transparent conducting oxides, magnetic films etc.Practical case-studies on target performance and troubleshootingEssential technological information for students, engineers and scientists working in the semiconductor, display, data storage and photovoltaic industry