الصفحة 8
الصفحة 8
Critical Infrastructures at Risk : Securing the European Electric Power System
This book explores the potential risks and vulnerabilities of the European electricity infrastructure, other infrastructures and our society as whole increasingly depend on. The work was initiated by the need to verify the potential effects of the ongoing market and technical transformation of the infrastructure, which is fundamentally changing its operation and performance. The final aim is to set the basis for an appropriate industrial and political European-wide response to the risk challenges.
Crime detection camera
This paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes and communities in real time. The system consists of a Raspberry Pi 4B, a Raspberry Pi Camera V2, a flame sensor, an MQ-6 gas sensor, and a microphone, which are all connected to a database management system powered by MySQL. The data collected from these devices is analyzed by machine learning algorithms to detect crimes, such as theft or robbery, as well as fires and gas leaks. The system also includes a mobile app, ‘Safe Home’ which provides live video monitoring and real-time notifications to users, and an employee dashboard to monitor all statistics and manage all implemented systems.
Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user’s existing verification environment, in other words the testbench infrastructure.
Control Design Techniques in Power Electronics Devices
The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. Detailed circuit layouts, schematics and actual closed-loop control responses from a representative group of the plants under discussion and generated by applying the theory are included. The control theories which feature in the book are: sliding mode control and feedback control by means of approximate linearization (linear state feedback, static and dynamic proportional-integral-differential (PID control), output feedback trough observer design, Lyapunov-based control and passivity-based control). Nonlinear control design methods represented include: exact feedback linearization, input-output linearization, differential flatness, generalized PID control and, again, passivity-based control.
Continuous-Time Sigma-Delta A/D Conversion : Fundamentals, Performance Limits and Robust Implementations
This comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread continuous-time implementations of sigma-delta modulators. The results of several years of research by the authors in the field of CT sigma-delta modulators are covered, including the analysis and modeling of different CT modulator architectures, CT/DT loop filter synthesis, a detailed error analysis of all components, and possible compensation/correction schemes for the non-ideal behavior in CT sigma-delta modulators. Guidance for obtaining low-power consumption and several practical implementations are also presented. It is shown that all the proposed new theories, architectures and possible correction techniques have been confirmed by measurements on discrete or integrated circuits. Quantitative results are also provided, thus enabling prediction of the resulting accuracy.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Concentration inequalities and model selection ; Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003
An overview of a non-asymptotic theory for model selection is given here and some selected applications to variable selection, change points detection and statistical learning are discussed. This volume reflects the content of the course given by P. Massart in St. Flour in 2003.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Codes et turbocodes = Codes and turbo codes
Devoted to one of the essential functions of modern telecommunications systems: channel coding, or error-correcting coding. At the crossroads of information theory, mathematics, and electronics, channel coding has undergone numerous developments since the foundational work of Claude Shannon. Algebraic codes, convolutional codes, and concatenated codes decoded iteratively form the core of the book, which also includes a presentation of digital modulations, to which channel coding is closely linked, forming the heart of the physical layer of telecommunications systems. The most important theoretical aspects are presented, and the construction of the codes is detailed and justified. Decoding algorithms are developed and, where possible, accompanied by simulation results that demonstrate their error-correcting capabilities and applications.
Codes : An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integrated introduction to the mathematics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons for doing this: economy, reliability, and security, and each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be stated carefully, but without unnecessary abstraction.
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
CMOS single chip fast frequency hopping synthesizers for Wireless multi-gigahertz applications : Design methodology, analysis, and implementation
Describes an efficient design and characterization methodology that has been developed to study loop trade-offs in both open and close loop modelling techniques. This is based on a simulation platform that incorporates both behavioral models and measured/simulated sub-blocks of the chosen frequency synthesizer. The platform predicts accurately the phase noise, spurious and switching performance of the final design. Therefore excellent phase noise and spurious performance can be achieved while meeting all the specified requirements. The design methodology reduces the need for silicon re-spin enabling circuit designers to directly meet cost, performance and schedule milestones. The developed knowledge and techniques have been used in the successful design and implementation of two high speed multi-mode fractional-N frequency synthesizers for the IEEE 801.11a/b/g standards. Both synthesizer designs are described in details.
CMOS PLL synthesizers : Analysis and design
CMOS PLL Synthesizers: Analysis and Design presents both fundamentals and state-of-the-art PLL synthesizer design and analysis techniques. A complete overview of both system-level and circuit-level design and analysis is given. A 16mW, 2.4GHz, sub-2V, S D fractional-N synthesizer prototype is implemented in 0.35mm CMOS. It features a high-speed and robust phase-switching prescaler, and a low-complexity and area-efficient loop capacitance multiplier, which tackle speed and integration bottlenecks of PLL synthesizers." "This book is useful as a PLL synthesizer manual for both academic researchers and industry design engineers.
CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications
Focuses on optical communications for short and very short distance applications and discusses the monolithic integration of optical receivers with processing elements in standard CMOS technologies. CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications provides the reader with the necessary background knowledge to fully understand the trade-offs in short-distance communication receiver design and presents the key issues to be addressed in the development of such receivers in CMOS technologies. Moreover, novel design approaches are presented. A system-level design methodology allows for the impact analysis of different block specifications and system-wide design optimization. Statistical models are used for design space exploration in the scope of jitter tolerance analysis of clock recovery circuits.
CMOS Current-Mode Circuits for Data Communications
Addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. The analytical methods and design principles are based on the characteristics of MOS devices applied to current CMOS technologies. Major topics include: design techniques for current mode circuits, electrical signaling for high speed data links, current-mode transmitters and receivers, switching noise and grounding of mixed mode circuits, a comparison of voltage-mode with current-mode circuits, ESD protection, and additional related topics. Examples are given of CMOS technologies from leading semiconductor companies and analyzed using the latest computer-aided design tools by leading design companies. CMOS Current-Mode Circuits for Data Communications is a valuable reference for circuit design engineers and hardware system engineers.
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom : Error Analysis and Practical Design
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom: Error Analysis and Practical Design starts with a tutorial presentation of the fundamentals of low-pass sigma-delta modulators, their applications, and their most common architectures. It then presents an exhaustive analysis of SC circuit errors with a twofold outcome. On the one hand, compact expressions are derived to support design plans and quick top-down design. On the other, detailed behavioral models are presented to support accurate verification. This set of models allows the designer to determine the required specifications for the different modulator building blocks and form the basis of a systematic design approach. The book is completed in subsequent chapters with the detailed presentation of three high-performance modulator ICs: the first two are intended for DSL-like applications, whereas the third one is intended for automotive sensors.
CMOS Biotechnology
"CMOS Biotechnology reviews the recent research and developments joining CMOS technology with biology. Written by leading researchers these chapters delve into four areas including: Microfluidics for electrical engineers / CMOS Actuators CMOS Electrical Sensors CMOS Optical Sensors Bioanalytical instruments have been miniaturized on ICs to study various biophenomena or to actuate biosystems. These bio-lab-on-IC systems utilize the IC to facilitate faster, repeatable, and standardized biological experiments at low cost with a small volume of biological sample. CMOS Biotechnology will interest electrical engineers, bioengineers, biophysicists as well as researchers in MEMS, bioMEMS, microelectronics, microfluidics, and circuits and systems."
CMOS Active Inductors and Transformers : Principle, Implementation, and Applications
CMOS Active Inductors and Transformers: Principle, Implementation, and Applications provides a systematic presentation and a detailed examination of the operation principles and implementations, and discusses their emerging applications in high-speed analog signal processing and data communications.
