Bücher veröffentlicht von Springer US

In electronic circuit and system design, the word noise is used to refer to any undesired excitation on the system. In other contexts, noise is also used to refer to signals or excitations which exhibit chaotic or random behavior. The source of noise can be either internal or external to the system. For instance, the thermal and shot noise generated within integrated circuit devices are in- ternal noise sources, and the noise picked up from the environment through electromagnetic interference is an external one. Electromagnetic interference can also occur between different components of the same system. In integrated circuits (Ies), signals in one part of the system can propagate to the other parts of the same system through electromagnetic coupling, power supply lines and the Ie substrate. For instance, in a mixed-signal Ie, the switching activity in the digital parts of the circuit can adversely affect the performance of the analog section of the circuit by traveling through the power supply lines and the substrate. Prediction of the effect of these noise sources on the performance of an electronic system is called noise analysis or noise simulation. A methodology for the noise analysis or simulation of an electronic system usually has the following four components: 2 NOISE IN NONLINEAR ELECTRONIC CIRCUITS * Mathematical representations or models for the noise sources. * Mathematical model or representation for the system that is under the in- fluence of the noise sources.

Computers that `program themselves' has long been an aim of computer scientists. Recently genetic programming (GP) has started to show its promise by automatically evolving programs. Indeed in a small number of problems GP has evolved programs whose performance is similar to or even slightly better than that of programs written by people. The main thrust of GP has been to automatically create functions. While these can be of great use they contain no memory and relatively little work has addressed automatic creation of program code including stored data. This issue is the main focus of Genetic Programming, and Data Structures: Genetic Programming + Data Structures = Automatic Programming!. This book is motivated by the observation from software engineering that data abstraction (e.g., via abstract data types) is essential in programs created by human programmers. This book shows that abstract data types can be similarly beneficial to the automatic production of programs using GP. Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming! shows how abstract data types (stacks, queues and lists) can be evolved using genetic programming, demonstrates how GP can evolve general programs which solve the nested brackets problem, recognises a Dyck context free language, and implements a simple four function calculator. In these cases, an appropriate data structure is beneficial compared to simple indexed memory. This book also includes a survey of GP, with a critical review of experiments with evolving memory, and reports investigations of real world electrical network maintenance scheduling problems that demonstrate that Genetic Algorithms can find low cost viable solutions to such problems. Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming! should be of direct interest to computer scientists doing research on genetic programming, genetic algorithms, data structures, and artificial intelligence. In addition, this book will be of interest to practitioners working in all of these areas and to those interested in automatic programming.

Most of the papers in this volume were first presented at the Workshop on Cross-Linguistic Information Retrieval that was held August 22, 1996 dur- ing the SIGIR'96 Conference. Alan Smeaton of Dublin University and Paraic Sheridan of the ETH, Zurich, were the two other members of the Scientific Committee for this workshop. SIGIR is the Association for Computing Ma- chinery (ACM) Special Interest Group on Information Retrieval, and they have held conferences yearly since 1977. Three additional papers have been added: Chapter 4 Distributed Cross-Lingual Information retrieval describes the EMIR retrieval system, one of the first general cross-language systems to be implemented and evaluated; Chapter 6 Mapping Vocabularies Using Latent Semantic Indexing, which originally appeared as a technical report in the Lab- oratory for Computational Linguistics at Carnegie Mellon University in 1991, is included here because it was one of the earliest, though hard-to-find, publi- cations showing the application of Latent Semantic Indexing to the problem of cross-language retrieval; and Chapter 10 A Weighted Boolean Model for Cross- Language Text Retrieval describes a recent approach to solving the translation term weighting problem, specific to Cross-Language Information Retrieval. Gregory Grefenstette CONTRIBUTORS Lisa Ballesteros David Hull W, Bruce Croft Gregory Grefenstette Center for Intelligent Xerox Research Centre Europe Information Retrieval Grenoble Laboratory Computer Science Department University of Massachusetts Thomas K. Landauer Department of Psychology Mark W. Davis and Institute of Cognitive Science Computing Research Lab University of Colorado, Boulder New Mexico State University Michael L. Littman Bonnie J.

also in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1

Earth date, August 11, 1997 "e;Beam me up Scottie!"e; "e;We cannot do it! This is not Star Trek's Enterprise. This is early years Earth."e; True, this is not yet the era of Star Trek, we cannot beam captain James T. Kirk or captain Jean Luc Pickard or an apple or anything else anywhere. What we can do though is beam information about Kirk or Pickard or an apple or an insurance agent. We can beam a record of a patient, the status of an engine, a weather report. We can beam this information anywhere, to mobile workers, to field engineers, to a track loading apples, to ships crossing the Oceans, to web surfers. We have reached a point where the promise of information access anywhere and anytime is close to realization. The enabling technology, wireless networks, exists; what remains to be achieved is providing the infrastructure and the software to support the promise. Universal access and management of information has been one of the driving forces in the evolution of computer technology. Central computing gave the ability to perform large and complex computations and advanced information manipulation. Advances in networking connected computers together and led to distributed computing. Web technology and the Internet went even further to provide hyper-linked information access and global computing. However, restricting access stations to physical location limits the boundary of the vision.

The great challenge of reverse engineering is recovering design information from legacy code: the concept recovery problem. This monograph describes our research effort in attacking this problem. It discusses our theory of how a constraint-based approach to program plan recognition can efficiently extract design concepts from source code, and it details experiments in concept recovery that support our claims of scalability. Importantly, we present our models and experiments in sufficient detail so that they can be easily replicated. This book is intended for researchers or software developers concerned with reverse engineering or reengineering legacy systems. However, it may also interest those researchers who are interested using plan recognition techniques or constraint-based reasoning. We expect the reader to have a reasonable computer science background (i.e., familiarity with the basics of programming and algorithm analysis), but we do not require familiarity with the fields of reverse engineering or artificial intelligence (AI). To this end, we carefully explain all the AI techniques we use. This book is designed as a reference for advanced undergraduate or graduate seminar courses in software engineering, reverse engineering, or reengineering. It can also serve as a supplementary textbook for software engineering-related courses, such as those on program understanding or design recovery, for AI-related courses, such as those on plan recognition or constraint satisfaction, and for courses that cover both topics, such as those on AI applications to software engineering. ORGANIZATION The book comprises eight chapters.

Information is always required by organizations of coastal states about the movements, identities and intentions of vessels sailing in the waters of interest to them, which may be coastal waters, straits, inland waterways, rivers, lakes or open seas. This interest may stem from defense requirements or from needs for the protection of off-shore resources, enhanced search and rescue services, deterrence of smuggling, drug trafficking and other illegal activities and/or for providing vessel traffic services for safe and efficient navigation and protection of the environment. To meet these needs it is necessary to have a well designed maritime surveillance and control system capable of tracking ships and providing other types of information required by a variety of user groups ranging from port authorities, shipping companies, marine exchanges to governments and the military. Principles of Integrated Maritime Surveillance Systems will be of vital interest to anyone responsible for the design, implementation or provision of a well designed maritime surveillance and control system capable of tracking ships and providing navigational and other types of information required for safe navigation and efficient commercial operation. Principles of Integrated Maritime Surveillance Systems is therefore essential to a variety of user groups ranging from port authorities to shipping companies and marine exchanges as well as civil governments and the military.

Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel speedup metrics, and discusses how to improve and generalize them. Chapter 3 describes formal definitions of scalability, addresses the basic metrics affecting the scalability of parallel systems, discusses scalability of parallel systems from three aspects: parallel architecture, parallel algorithm and parallel algorithm-architecture combinations, and analyzes the relations of scalability and speedup. Chapter 4 discusses the methodology of performance measurement, describes the benchmark- oriented performance test and analysis and how to measure speedup and scalability in practice. Chapter 5 analyzes the difficulties in performance prediction, discusses application-oriented and architecture-oriented performance prediction and how to predict speedup and scalability in practice. Chapter 6 discusses performance visualization techniques and tools for parallel systems from three stages: performance data collection, performance data filtering and performance data visualization, and classifies the existing performance visualization tools. Chapter 7 describes parallel compiling-based, search-based and knowledge-based performance debugging, which assists programmers to optimize the strategy or algorithm in their parallel programs, and presents visual programming-based performance debugging to help programmers identify the location and cause of the performance problem. It also provides concrete suggestions on how to modify their parallel program to improve the performance. Chapter 8 gives an overview of current interconnection networks for parallel systems, analyzes the scalability of interconnection networks, and discusses how to measure and improve network performances. Performance Evaluation, Prediction and Visualization in Parallel Systems serves as an excellent reference for researchers, and may be used as a text for advanced courses on the topic.

Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers dedicated to each domain instead of the unification algorithm, CLP drastically reduces the search space of the problem, which leads to increased efficiency in the execution of logic programs. CLP offers the possibility of solving complex combinatorial problems in an efficient way, and at the same time maintains the advantages offered by the declarativeness of logic programming. The aim of this book is to present parallel and constraint logic programming, offering a basic understanding of the two fields to the reader new to the area. The first part of the book gives an introduction to the fundamental aspects of conventional logic programming which is necessary for understanding the parts that follow. The second part includes an introduction to parallel logic programming, architectures and implementations proposed in the area. Finally, the third part presents the principles of constraint logic programming. The last two parts also include descriptions of the supporting facilities for the two paradigms in two popular systems; ECLIPSe and SICStus. These platforms have been selected mainly because they offer both parallel and constraint features. Annotated and explained examples are also included in the relevant parts, offering a valuable guide and a first practical experience to the reader. Finally, applications of the covered paradigms are presented. The authors felt that a book of this kind should provide some theoretical background necessary for the understanding of the covered logic programming paradigms, and a quick start for the reader interested in writing parallel and constraint logic programming programs. However it is outside the scope of this book to provide a deep theoretical background of the two areas. In that sense, this book is addressed to a public interested in obtaining a knowledge of the domain, without spending the time and effort to understand the extensive theoretical work done in the field &endash; namely postgraduate and advanced undergraduate students in the area of logic programming. This book fills a gap in the current bibliography, since there is no comprehensive book of this level that covers the areas of conventional, parallel, and constraint logic programming. Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints is appropriate for an advanced level course on Logic Programming or Constraints, and as a reference for practitioners and researchers in industry.

Life has evolved as a unified system; no organism exists similar role also has been suggested for fatty acids from alone, but each is in intimate contact with other organisms cyanolipids. Nonprotein amino acids, cyanogenic glyco- and its environment. Historically, it was easier for workers sides, and the non-fatty-acid portion of cyanolipids also are in various disciplines to delimit artificially their respective incorporated into primary metabolites during germination. areas of research, rather than attempt to understand the entire Secondary metabolites of these structural types are accumu- system of living organisms. This was a pragmatic and neces- lated in large quantities in the seeds of several plant groups sary way to develop an understanding for the various parts. where they probably fulfill an additional function as deter- We are now at a point, however, where we need to investi- rents to general predation. gate those things common to the parts and, specifically, those The second type of relationship involves interaction of things that unify the parts. The fundamental aspects of many plants with other organisms and with their environment. Bio- of these interactions are chemical in nature. Plants constitute logical interactions must be viewed in the light of evolution- an essential part of all life systems; phytochemistry provides ary change and the coadaptation, or perhaps coevolution, of a medium for linking several fields of study.

It is my belief that software engineers not only need to know software engineering methods and processes, but that they also should know how to assess them. Conse- quently, I have taught principles of experimentation and empirical studies as part of the software engineering curriculum. Until now, this meant selecting a text from another discipline, usually psychology, and augmenting it with journal or confer- ence papers that provide students with software engineering examples of experi- ments and empirical studies. This book fills an important gap in the software engineering literature: it pro- vides a concise, comprehensive look at an important aspect of software engineer- ing: experimental analysis of how well software engineering methods, methodologies, and processes work. Since all of these change so rapidly in our field, it is important to know how to evaluate new ones. This book teaches how to go about doing this and thus is valuable not only for the software engineering stu- dent, but also for the practicing software engineering professional who will be able to * Evaluate software engineering techniques. * Determine the value (or lack thereof) of claims made about a software engineer- ing method or process in published studies. Finally, this book serves as a valuable resource for the software engineering researcher.

Automatic Re-engineering of Software Using Genetic Programming describes the application of Genetic Programming to a real world application area - software re-engineering in general and automatic parallelization specifically. Unlike most uses of Genetic Programming, this book evolves sequences of provable transformations rather than actual programs. It demonstrates that the benefits of this approach are twofold: first, the time required for evaluating a population is drastically reduced, and second, the transformations can subsequently be used to prove that the new program is functionally equivalent to the original. Automatic Re-engineering of Software Using Genetic Programming shows that there are applications where it is more practical to use GP to assist with software engineering rather than to entirely replace it. It also demonstrates how the author isolated aspects of a problem that were particularly suited to GP, and used traditional software engineering techniques in those areas for which they were adequate. Automatic Re-engineering of Software Using Genetic Programming is an excellent resource for researchers in this exciting new field.

Highly Linear Integrated Wideband Amplifiers: Design and Analysis Techniques for Frequencies from Audio to RF deals with the complicated issues involved in the design of high-linearity integrated wideband amplifiers for different operating frequencies. The book demonstrates these principles using a number of high-performance designs. New topologies for high linearity are presented, as well as a novel method for estimating the intermodulation distortion of a wideband signal. One of the most exciting results presented is an enhanced feedback configuration called feedback boosting that is capable of very low distortion. Also important is a statistical method for relating the intermodulation distortion of a wideband signal to the total harmonic distortion (THD) of a single tone. The THD, as opposed to the intermodulation distortion of the wideband signal, is easy to measure and use as a design parameter. Three different applications where high linearity is needed are identified, namely audio power amplifiers, wideband IF amplifiers and RF power amplifiers. For these applications high-performance integrated amplifier designs using novel topologies are presented together with measurement results. The audio amplifiers are built in CMOS and are capable of driving 8Omega loudspeaker loads directly without using any external components. One of the designs can operate on a supply voltage down to 1.5V. Both bipolar and CMOS wideband IF amplifiers are built; they are fully differential and have linearity from DC to 20 MHz. Finally, an RF power amplifier is built in CMOS, without using inductors, in order to investigate what performance can be achieved without them. Highly Linear Integrated Wideband Amplifiers: Design and Analysis Techniques for Frequencies from Audio to RF is an excellent reference for researchers and designers of integrated amplifiers, and may be used as a text for advanced courses on the topic.

Memory, Consciousness, and Temporality presents the argument that current memory theories are undermined by two false assumptions: the `memory trace paradox' and `the fallacy of the homunculus'. In these pages Gianfranco Dalla Barba introduces a hypothesis - the Memory, Consciousness, and Temporality (MCT) hypothesis - on the relationship between memory and consciousness that is not undermined by these assumptions and further demonstrates how MCT can account for a variety of memory disorders and phenomena. With a unique approach intended to conjugate phenomenological analysis and recent neuropsychological data, the author makes an important contribution to our understanding of the central issues in current cognitive science and cognitive neuroscience.

Artificial Neural Networks have captured the interest of many researchers in the last five years. As with many young fields, neural network research has been largely empirical in nature, relyingstrongly on simulationstudies ofvarious network models. Empiricism is, of course, essential to any science for it provides a body of observations allowing initial characterization of the field. Eventually, however, any maturing field must begin the process of validating empirically derived conjectures with rigorous mathematical models. It is in this way that science has always pro- ceeded. It is in this way that science provides conclusions that can be used across a variety of applications. This monograph by Michael Lemmon provides just such a theoretical exploration of the role ofcompetition in Artificial Neural Networks. There is "e;good news"e; and "e;bad news"e; associated with theoretical research in neural networks. The bad news isthat such work usually requires the understanding of and bringing together of results from many seemingly disparate disciplines such as neurobiology, cognitive psychology, theory of differential equations, largc scale systems theory, computer science, and electrical engineering. The good news is that for those capable of making this synthesis, the rewards are rich as exemplified in this monograph.

The infonnation revolution is upon us. Whereas the industrial revolution heralded the systematic augmentation of human physical limitations by har- nessing external energy sources, the infonnation revolution strives to augment human memory and mental processing limitations by harnessing external computational resources. Computers can accumulate. transmit and output much more infonnation and in a more timely fashion than more con- ventional printed or spoken media. Of greater interest, however, is the computer's ability to process, classify and retrieve infonnation selectively in response to the needs of each human user. One cannot drink from the fire hydrant of infonnation without being immediately flooded with irrelevant text. Recent technological advances such as optical character readers only exacerbate the problem by increasing the volume of electronic text. Just as steam and internal combustion engines brought powerful energy sources under control to yield useful work in the industrial revolution, so must we build computational engines that control and apply the vast infonnation sources that they may yield useful knowledge. Information science is the study of systematic means to control, classify, process and retrieve vast amounts of infonnation in electronic fonn. In par- ticular, several methodologies have been developed to classify texts manually by annies of human indexers, as illustrated quite clearly at the National Library ofMedicine, and many computational techniques have been developed to search textual data bases automatically, such as full-text keyword searches. In general.