Over the past decade there has been a dramatic change in the role played by design automation for electronic systems. Ten years ago, integrated circuit (IC) designers were content to use the computer for circuit, logi...
详细信息
ISBN:
(数字)9781461536321
ISBN:
(纸本)9780792391999;9781461366157
Over the past decade there has been a dramatic change in the role played by design automation for electronic systems. Ten years ago, integrated circuit (IC) designers were content to use the computer for circuit, logic, and limited amounts of high-level simulation, as well as for capturing the digitized mask layouts used for IC manufacture. The tools were only aids to design-the designer could always find a way to implement the chip or board manually if the tools failed or if they did not give acceptable results. Today, however, design technology plays an indispensable role in the design ofelectronic systems and is critical to achieving time-to-market, cost, and performance targets. In less than ten years, designers have come to rely on automatic or semi automatic CAD systems for the physical design ofcomplex ICs containing over a million transistors. In the past three years, practical logic synthesis systems that take into account both cost and performance have become a commercial reality and many designers have already relinquished control ofthe logic netlist level of design to automatic computer aids. To date, only in certain well-defined areas, especially digital signal process ing and telecommunications. have higher-level design methods and tools found significant success. However, the forces of time-to-market and growing system complexity will demand the broad-based adoption of high-level, automated methods and tools over the next few years.
deals with color vision and visual computing. This book provides an overview of the human visual system with an emphasis on color vision and perception. The book then goes on to discuss how human color vision and p...
详细信息
ISBN:
(数字)9780585284286
ISBN:
(纸本)9780792399285;9781475770605
deals with color vision and visual computing. This book provides an overview of the human visual system with an emphasis on color vision and perception. The book then goes on to discuss how human color vision and perception are applied in several applications using computer-generated displays, such as computer graphics and information and data visualization.;is suitable as a secondary text for a graduate-level course on computer graphics, computer imaging, or multimedia computing and as a reference for researchers and practitioners developing computer graphics and multimedia applications.
丛书名:
The springerinternationalseries in engineering and computerscience
1000年
The Analog to Digital Converters represent one half of the link between the world we live in - analog - and the digital world of computers, which can handle the computations required in digital signal processing. T...
详细信息
ISBN:
(数字)9780306469947
ISBN:
(纸本)9780792372769;9781475774641
The Analog to Digital Converters represent one half of the link between the world we live in - analog - and the digital world of computers, which can handle the computations required in digital signal processing. These devices are mathematically very complex due to their nonlinear behavior and thus fairly difficult to analyze without the use of simulation tools.;presents the subject from the practising engineer's point of view rather than from the academic's point of view. A practical approach is emphasized.;is intended as a learning tool by providing building blocks that can be stacked on top of each other to build higher order systems. The book provides a guide to understanding the various topologies used in A/D converters by suggesting simple methods for the blocks used in an A/D converter. The converters discussed throughout the book constitute a class of devices called undersampled or Nyquist converters.;The tools used in deriving the results presented are:;not only supplies the models for the A/D converters for SPICE program but also describes the physical reasons for the converter's performance.
Software product lines are emerging as a critical new paradigm for software development. Product lines are enabling organizations to achieve impressive time-to-market gains and cost reductions. With the increasing ...
详细信息
ISBN:
(数字)9781461543398
ISBN:
(纸本)9780792379409;9781461369493
Software product lines are emerging as a critical new paradigm for software development. Product lines are enabling organizations to achieve impressive time-to-market gains and cost reductions. With the increasing number of product lines and product-line researchers and practitioners, the time is right for a comprehensive examination of the issues surrounding the software product line approach. The Software engineering Institute at Carnegie Mellon University is proud to sponsor the first conference on this important subject.;This book comprises the proceedings of the First Software Product Line Conference (SPLC1), held August 28-31, 2000, in Denver, Colorado, USA. The twenty-seven papers of the conference technical program present research results and experience reports that cover all aspects of software product lines. Topics include business issues, enabling technologies, organizational issues, and life-cycle issues. Emphasis is placed on experiences in the development and fielding of product lines of complex systems, especially those that expose problems in the design, development, or evolution of software product lines. The book will be essential reading for researchers and practitioners alike.
The Fourier transform is one of the most important mathematical tools in a wide variety of fields in science and engineering. In the abstract it can be viewed as the transformation of a signal in one domain (typically...
详细信息
ISBN:
(数字)9781461523598
ISBN:
(纸本)9780792395850;9781461360018
The Fourier transform is one of the most important mathematical tools in a wide variety of fields in science and engineering. In the abstract it can be viewed as the transformation of a signal in one domain (typically time or space) into another domain, the frequency domain. Applications of Fourier transforms, often called Fourier analysis or harmonic analysis, provide useful decompositions of signals into fundamental or "primitive" components, provide shortcuts to the computation of complicated sums and integrals, and often reveal hidden structure in data. Fourier analysis lies at the base of many theories of science and plays a fundamental role in practical engineering design. The origins of Fourier analysis in science can be found in Ptolemy's decomposing celestial orbits into cycles and epicycles and Pythagorus' de composing music into consonances. Its modern history began with the eighteenth century work of Bernoulli, Euler, and Gauss on what later came to be known as Fourier series. J. Fourier in his 1822 Theorie analytique de la Chaleur [16] (still available as a Dover reprint) was the first to claim that arbitrary periodic functions could be expanded in a trigonometric (later called a Fourier) series, a claim that was eventually shown to be incorrect, although not too far from the truth. It is an amusing historical sidelight that this work won a prize from the French Academy, in spite of serious concerns expressed by the judges (Laplace, Lagrange, and Legendre) re garding Fourier's lack of rigor.
brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.;serves as an excellent reference, providing insight into some of the most important issues...
详细信息
ISBN:
(数字)9781461522836
ISBN:
(纸本)9780792396086;9781461359630
brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.;serves as an excellent reference, providing insight into some of the most important issues in the field.
Robotic technology offers two potential benefits for future space exploration. One benefit is minimizing the risk that astronauts face. The other benefit is increasing their productivity.;Realizing the benefits of r...
详细信息
ISBN:
(数字)9781461535881
ISBN:
(纸本)9780792392651;9781461365952
Robotic technology offers two potential benefits for future space exploration. One benefit is minimizing the risk that astronauts face. The other benefit is increasing their productivity.;Realizing the benefits of robotic technology in space will require solving several problems which are unique and now becoming active research topics. One of the most important research areas is dynamics, control, motion and planning for space robots by considering the dynamic interaction between the robot and the base (space station, space shuttle, or satellite). Any inefficiency in the planning and control can considerably risk by success of the space mission.;presents a collection of papers concerning fundamental problems in dynamics and control of space robots, focussing on issues relevant to dynamic base/robot interaction.;The authors are all pioneers in theoretical analysis and experimental systems development of space robot technology. The chapters are organized within three problem areas: dynamics problems, nonholonomic nature problems, and control problems. This collection provides a solid reference for researchers in robotics, mechanics, control, and astronautical science.
Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it ...
详细信息
ISBN:
(数字)9781461556435
ISBN:
(纸本)9780792381297;9781461375821
Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.
Most machine learning research has been concerned with the development of systems that implememnt one type of inference within a single representational paradigm. Such systems, which can be called;learning systems, ...
详细信息
ISBN:
(数字)9781461532026
ISBN:
(纸本)9780792393740;9781461364054
Most machine learning research has been concerned with the development of systems that implememnt one type of inference within a single representational paradigm. Such systems, which can be called;learning systems, include those for empirical induction of decision trees or rules, explanation-based generalization, neural net learning from examples, genetic algorithm-based learning, and others. Monostrategy learning systems can be very effective and useful if learning problems to which they are applied are sufficiently narrowly defined.;Many real-world applications, however, pose learning problems that go beyond the capability of monostrategy learning methods. In view of this, recent years have witnessed a growing interest in developing;, which integrate two or more inference types and/or paradigms within one learning system. Such multistrategy systems take advantage of the complementarity of different inference types or representational mechanisms. Therefore, they have a potential to be more versatile and more powerful than monostrategy systems. On the other hand, due to their greater complexity, their development is significantly more difficult and represents a new great challenge to the machine learning community.;contains contributions characteristic of the current research in this area.
暂无评论