Digital Systems Engineering

Author: William J. Dally,John W. Poulton

Publisher: Cambridge University Press

ISBN: 1139936239

Category: Computers

Page: N.A

View: 1723

DOWNLOAD NOW »

What makes some computers slow? Why do some digital systems operate reliably for years while others fail mysteriously every few hours? How can some systems dissipate kilowatts while others operate off batteries? These questions of speed, reliability, and power are all determined by the system-level electrical design of a digital system. Digital Systems Engineering presents a comprehensive treatment of these topics. It combines a rigorous development of the fundamental principles in each area with real-world examples of circuits and methods. The book not only serves as an undergraduate textbook, filling the gap between circuit design and logic design, but can also help practising digital designers keep pace with the speed and power of modern integrated circuits. The techniques described in this book, once used only in supercomputers, are essential to the correct and efficient operation of any type of digital system.
Release

Formal Methods in Systems Engineering

Author: Peter Ryan,Chris Sennett

Publisher: Springer Science & Business Media

ISBN: 1447119754

Category: Computers

Page: 195

View: 962

DOWNLOAD NOW »

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method?; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification.
Release

Introductory Digital Systems for Engineering

Author: Mahomed Rafi Bera

Publisher: Juta and Company Ltd

ISBN: 9780702144059

Category: Technology & Engineering

Page: 273

View: 8001

DOWNLOAD NOW »

This book teaches the principles and techniques of digital systems through a range of examples.It has step-by-step solutions to exercises and over 200 practical examples, activities and selfevaluation exercises to assist the learner. A glossary of important terms makes it easily accessible to the new learner.
Release

Digital Communication Systems Engineering with Software-Defined Radio

Author: Alexander M. Wyglinski,Di Pu

Publisher: Artech House

ISBN: 1608075265

Category: TECHNOLOGY & ENGINEERING

Page: 306

View: 3653

DOWNLOAD NOW »

"This unique resource provides you with a practical approach to quickly learning the software-defined radio concepts you need to know for your work in the field. By prototyping and evaluating actual digital communication systems capable of performing "over-the-air" wireless data transmission and reception, this volume helps you attain a first-hand understanding of critical design trade-offs and issues. Moreover you gain a sense of the actual "real-world" operational behavior of these systems. With the purchase of the book, you gain access to several ready-made Simulink experiments at the publisher's website. This collection of laboratory experiments, along with several examples, enables you to successfully implement the designs discussed the book in a short period of time. These files can be executed using MATLAB version R2011b or later. "
Release

Watermarking Systems Engineering

Enabling Digital Assets Security and Other Applications

Author: Mauro Barni,Franco Bartolini

Publisher: CRC Press

ISBN: 0824750918

Category: Computers

Page: 500

View: 9545

DOWNLOAD NOW »

The rapid growth of the Internet has fueled the demand for enhanced watermarking and data hiding technologies and has stimulated research into new ways to implement watermarking systems in the real world. This book presents the fundamental principles of watermarking system design and discusses state-of-the-art technologies in information concealment and recovery. It highlights the requirements and challenges of applications in security, image/video indexing, hidden communications, image captioning, and transmission error recovery and concealment. It explains the foundations of digital watermarking technologies, and offers an understanding of new approaches and applications, and lays the groundwork for future developments in the field.
Release

Design of Digital Systems and Devices

Author: Marian Adamski,Alexander Barkalov,Marek Wegrzyn

Publisher: Springer Science & Business Media

ISBN: 9783642175459

Category: Technology & Engineering

Page: 365

View: 6412

DOWNLOAD NOW »

Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design methods depend strongly on logic elements using for implementation of logic circuits. Different programmable logic devices are wide used for implementation of logic circuits. Nowadays, we witness the rapid growth of new and new chips, but there is a strong lack of new design methods. This book includes a variety of design and test methods targeted on different digital devices. It covers methods of digital system design, the development of theoretical base for construction and designing of the PLD–based devices, application of UML for digital design. A considerable part of the book is devoted to design methods oriented on implementing control units using FPGA and CPLD chips. Such important issues as design of reliable FSMs, automatic design of concurrent logic controllers, the models and methods for creating infrastructure IP services for the SoCs are also presented. The editors of the book hope that it will be interesting and useful for experts in Computer Science and Electronics, as well as for students, who are viewed as designers of future digital devices and systems.
Release

Satellite Communications Systems Engineering

Atmospheric Effects, Satellite Link Design and System Performance

Author: Louis J. Ippolito, Jr.

Publisher: John Wiley & Sons

ISBN: 111925938X

Category: Technology & Engineering

Page: 464

View: 6843

DOWNLOAD NOW »

The first edition of Satellite Communications Systems Engineering (Wiley 2008) was written for those concerned with the design and performance of satellite communications systems employed in fixed point to point, broadcasting, mobile, radio navigation, data relay, computer communications, and related satellite based applications. This welcome Second Edition continues the basic premise and enhances the publication with the latest updated information and new technologies developed since the publication of the first edition. The book is based on graduate level satellite communications course material and has served as the primary text for electrical engineering Masters and Doctoral level courses in satellite communications and related areas. Introductory to advanced engineering level students in electrical, communications and wireless network courses, and electrical engineers, communications engineers, systems engineers, and wireless network engineers looking for a refresher will find this essential text invaluable.
Release

Neuromorphic Systems

Engineering Silicon from Neurobiology

Author: Leslie S Smith,Alister Hamilton

Publisher: World Scientific

ISBN: 9814496448

Category: Computers

Page: 276

View: 3364

DOWNLOAD NOW »

Neuromorphic systems are implementations in silicon of sensory and neural systems whose architecture and design are based on neurobiology. This growing area offers exciting possibilities, such as sensory systems that can compete with human senses and pattern recognition systems that can run in real time. It is at the intersection of neurophysiology, computer science and electrical engineering. This book brings together recent developments in Europe and the US, so that researchers in both academia and industry can find out about the state of the art. As well as elementary material on what neuromorphic systems are and why they are growing in importance, the book contains details of current work. There are articles on aspects of implementing sensory neuromorphic systems, and also on neuromorphic hardware. Contents: Neuromorphic Systems and Theory:Neuromorphic Systems, Neural Models and Silicon (L S Smith & A Hamilton)Neuromorphism or Pragmatism? A Formal Approach (C Collin & R Woodburn)Associative Memory with Networks of Spiking Neurons in Temporal Coding (W Maass & T Natschläger)Online Clustering with Spiking Neurons Using Temporal Neurons (T Natschläger & B Ruf)Sensory Neuromorphic Systems:Analog VLSI Model of Locust DCMD Neuron Response for Computation of Object Approach (G Indiveri)Adaptive Processing Schemes Inspired by Binaural Unmasking for Enhancement of Speech Corrupted with Noise and Reverberation (P Shields et al.)Binaural Sub-Band Adaptive Speech Enhancement Using a Human Cochlear Model and Artificial Neural Networks (A Hussain & D R Campbell)Digital Hardware Implementation of Neuromorphic Pitch Extraction System (S C Lim et al.)A Paced Analog Silicon Model of Auditory Attention (T P Zahn et al.)Robot Neuroscience: A Cybernetics Approach (K Dautenhahn et al.)Neuromorphic Sensory-Motor Mobile Robot Controller with Pre-attention Mechanism (M Maris & M Mahowald)Controller for a Four-Legged Walking Machine (S Still & M W Tilden)Neuromorphic Hardware:Neuromorphic and Digital Hybrid Systems (R Etienne-Cummings et al.)Characterization of a Pyramidal Silicon Neuron (C Rasche et al.)A Strong Winner-Take-All Neural Network in Analogue Hardware (R Möller et al.)Weight Vector Normalization in an Analog VLSI Artificial Neuron Using a Backpropagating Action Potential (P Häfliger & M Mahowald)Analog VLSI Implementation of a Relaxation Oscillator for Neuromorphic Networks (J Cosp et al.)A Mixed-Mode VLSI Implementation of Grassfire Transformation (M Oláh et al.)A Hybrid (Hardware/Software) Approach Towards Implementing Hebbian Learning in Silicon Neurons with Passive Dendrites (W C Westerman et al.)Analogue VLSI Integrate and Fire Neural Network for Clustering Onset and Offset Signals in a Sound Segmentation System (M A Glover et al.)Simulation of Sparse Random Networks on a CNAPS SIMD Neurocomputer (P Paschke & R Möller) Readership: Researchers in neural networks, electrical & electronic engineering, biomedical engineering, image processing and robotics. Keywords:Neuromorphic Systems;Neural Systems;Artificial Sensory Systems;Neural Hardware;Analog VLSI;Robot Control;Spiking Neurons;Neural Electronics;Neural Networks;Integrated Circuit;Silicon;Neurobiology
Release