springer us nov 1995 (65 resultados)

Buch. Condición: Neu. Neuware -Pipelined Lattice and Wave Digital Recursive Filters uses look-ahead transformation and constrained filter design approaches. It is also shown that pipelining often reduces the roundoff noise in a digital filter. The pipelined recursive lattice and wave digital filters presented are well suited where increasing speed and reducing area or power or roundoff noise are important. Examples are wireless and cellular codec applications, where low power consumption is important, and radar and video applications, where higher speed is important.The book presents pipelining of direct-form recursive digital filters and demonstrates the usefulness of these topologies in high-speed and low-power applications. It then discusses fundamentals of scaling in the design of lattice and wave digital filters. Approaches to designing four different types of lattice digital filters are discussed, including basic, one-multiplier, normalized, and scaled normalized structures. The roundoff noise in these lattice filters is also studied. The book then presents approaches to the design of pipelined lattice digital filters for the same four types of structures, followed by pipelining of orthogonal double-rotation digital filters, which eliminate limit cycle problems. A discussion of pipelining of lattice wave digital filters follows, showing how linear phase, narrow-band, sharp-transition recursive filters can be implemented using this structure. This example is motivated by a difficult filter design problem in a wireless codec application. Finally, pipelining of ladder wave digital filters is discussed.Pipelined Lattice and Wave Digital Recursive Filters serves as an excellent reference and may be used as a text for advanced courses on the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condición: Neu. Neuware - A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment. The first monographic treatment that begins to unify these two methodological approaches. Logic-based methods for modelling and solving combinatorial problems have recently started to play a significant role in both theory and practice. The application of logic to combinatorial problems has a dual aspect. On one hand, constraint logic programming allows one to declaratively model combinatorial problems over an appropriate constraint domain, the problems then being solved by a corresponding constraint solver. Besides being a high-level declarative interface to the constraint solver, the logic programming language allows one also to implement those subproblems that cannot be naturally expressed with constraints. On the other hand, logic-based methods can be used as a constraint solving technique within a constraint solver for combinatorial problems modelled as 0-1 integer programs.

Buch. Condición: Neu. Neuware -One of the most important tasks faced by decision-makers in business and government is that of selection. Selection problems are challenging in that they require the balancing of multiple, often conflicting, criteria. In recent years, a number of interesting decision aids have become available to assist in such decisions.The aim of this book is to provide a comparative survey of many of the decision aids currently available. The first chapters present general ideas which underpin the methodologies used to design these aids. Subsequent chapters then focus on specific decision aids and demonstrate some of the software which implement these ideas. A final chapter provides a comparative analysis of their strengths and weaknesses. 212 pp. Englisch.

Buch. Condición: Neu. Neuware -Feedback-Based Orthogonal Digital Filters: Theory, Applications, and Implementation develops the theory of a feedback-based orthogonal digital filter and examines several applications where the filter topology leads to a simple and efficient solution. The development of the filter structure is linked to concepts in observer theory. Several signal processing problems can be represented as estimation problems, where a parametric representation of the input is used, to try and replicate it locally. This estimation problem can be solved using an identity observer, and the filter topology falls in this framework. Hence the filter topology represents a universal building block that can find application in several problems, such as spectral estimation, time-recursive computation of transforms, etc. Further, because of the orthogonality constraints satisfied by the structure, it also represents a robust solution under finite precision conditions.The book also presents the observer-based viewpoint of several signal processing problems, and shows that problems that are typically treated independently in the literature are in fact linked and can be cast in a single unified framework. In addition to examining the theoretical issues, the book describes practical issues related to a hardware implementation of the building block, in both the digital and analog domain. On the digital side, issues relating to implementation using semi-custom chips (FPGA's), and ASIC design are examined. On the analog side, the design and testing of a fabricated chip, that functions as a multi-sinusoidal phase-locked-loop, are described.Feedback-Based Orthogonal Digital Filters serves as an excellent reference. May be used as a text for advanced courses on the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Buch. Condición: Neu. Neuware -Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs.`Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant.`Over the past ten years . BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. . this book can serve as an introduction to BDD techniques and . it presents several new ideas on BDDs and their applications. . many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 162 pp. Englisch.

Buch. Condición: Neu. Neuware -In the fall of 1990, the Danish government started a comprehensive research pro gramme to improve the competitiveness of the Danish food sector: The Research and Development Programme in the Danish Food Sector (Det F!Ildevareteknologiske Forsk nings- og Udviklingsprogram, F0TEK). The programme was based on a combination of basic research to be carried out by universities and other research institutions, and a series of collaboration projects between researchers and food companies. The programme was originally designed as a technological research programme. However, in the planning phases of the research programme, the view that the development of new technologies and products may not be sufficient to improve competitiveness made some ground. A small comer of the overall research effort was therefore set aside for market-oriented research. This comer was filled by the research programme Market-based process and product innovation in the food sector (MAPP). MAPP was a joint research programme in which researchers from several Danish universities and business schools participated; it was coordinated by the Aarhus School of Business. MAPP set out to achieve a difficult task: to conduct high quality research on various aspects of the marketing of food products, to do so in cooperation with food companies, and to win under standing and recognition from the colleagues in the food technology departments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Condición: Neu. Neuware -Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the software domain to the hardware domain (and vice-versa) or the modification of the hardware/software interface. As a result, problems that are encountered during system integration may require modification of the software and/or hardware, resulting in potentially significant cost increases and schedule overruns.To address the problems described above, a cooperative design approach, one that utilizes a unified view of hardware and software, is described. This approach is called hardware/software codesign. The Codesign of Embedded Systems develops several fundamental hardware/software codesign concepts and a methodology that supports them. A unified representation, referred to as a decomposition graph, is presented which can be used to describe hardware or software using either functional abstractions or data abstractions. Using a unified representation based on functional abstractions, an abstract hardware/software model has been implemented in a common simulation environment called ADEPT (Advanced Design Environment Prototyping Tool). This model permits early hardware/software evaluation and tradeoff exploration. Techniques have been developed which support the identification of software bottlenecks and the evaluation of design alternatives with respect to multiple metrics. The application of the model is demonstrated on severalexamples. A unified representation based on data abstractions is also explored. This work leads to investigations regarding the application of object-oriented techniques to hardware design.The Codesign of Embedded Systems: A Unified Hardware/Software Representation describes a novel approach to a topic of immense importance to CAD researchers and designers alike. 304 pp. Englisch.

Buch. Condición: Neu. Neuware -This volume describes the current state of our knowledge on the neurobiology of muscle fatigue, with consideration also given to selected integrative cardiorespiratory mechanisms. Our charge to the authors of the various chapters was twofold: to provide a systematic review of the topic that could serve as a balanced reference text for practicing health-care professionals, teaching faculty, and pre-and postdoctoral trainees in the biomedi cal sciences; and to stimulate further experimental and theoretical work on neurobiology. Key issues are addressed in nine interrelated areas: fatigue of single muscle fibers, fatigue at the neuromuscular junction, fatigue of single motor units, metabolic fatigue studied with nuclear magnetic resonance, fatigue of the segmental motor system, fatigue involving suprasegmental mechanisms, the task dependency of fatigue mechanisms, integrative (largely cardiorespiratory) systems issues, and fatigue of adapted systems (due to aging, under-and overuse, and pathophysiology). The product is a volume that provides compre of processes that operate from the forebrain to the contractile proteins.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Buch. Condición: Neu. Neuware - Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.

Buch. Condición: Neu. Neuware - In science, engineering and economics, decision problems are frequently modelled by optimizing the value of a (primary) objective function under stated feasibility constraints. In many cases of practical relevance, the optimization problem structure does not warrant the global optimality of local solutions; hence, it is natural to search for the globally best solution(s). Global Optimization in Action provides a comprehensive discussion of adaptive partition strategies to solve global optimization problems under very general structural requirements. A unified approach to numerous known algorithms makes possible straightforward generalizations and extensions, leading to efficient computer-based implementations. A considerable part of the book is devoted to applications, including some generic problems from numerical analysis, and several case studies in environmental systems analysis and management. The book is essentially self-contained and is based on theauthor's research, in cooperation (on applications) with a number of colleagues. Audience: Professors, students, researchers and other professionals in the fields of operations research, management science, industrial and applied mathematics, computer science, engineering, economics and the environmental sciences.

Buch. Condición: Neu. Neuware - In Linear Programming: A Modern Integrated Analysis, both boundary (simplex) and interior point methods are derived from the complementary slackness theorem and, unlike most books, the duality theorem is derived from Farkas's Lemma, which is proved as a convex separation theorem. The tedium of the simplex method is thus avoided. A new and inductive proof of Kantorovich's Theorem is offered, related to the convergence of Newton's method. Of the boundary methods, the book presents the (revised) primal and the dual simplex methods. An extensive discussion is given of the primal, dual and primal-dual affine scaling methods. In addition, the proof of the convergence under degeneracy, a bounded variable variant, and a super-linearly convergent variant of the primal affine scaling method are covered in one chapter. Polynomial barrier or path-following homotopy methods, and the projective transformation method are also covered in the interior point chapter. Besides the popular sparse Cholesky factorization and the conjugate gradient method, new methods are presented in a separate chapter on implementation. These methods use LQ factorization and iterative techniques.

Buch. Condición: Neu. Neuware - Software quality is a generalised statement difficult to agree or disagree with until a precise definition of the concept of 'Software Quality' is reached in terms of measurable quantities. Unfortunately, for the software technology the basic question of: - what to measure; - how to measure; - when to measure; - how to deal with the data obtained are still unanswered and are also closely dependant on the field of application. In the past twenty years or more there have been a number of conferences and debates focusing on the concept of Software Quality, which produced no real industrial impact. Recently, however, the implementation of a few generic standards (ISO 9000, IEEE etc.) has produced and improved application of good practice principles at the industrial level. As a graduate in PhYSiCS, I still believe it is a long way before the concept of Software Quality can be defined exactly and measured, if ever. This is way I think the AQuIS series of conferences is important, its object begin to provide a platform for the transfer of technology and know how between Academic, Industrial and Research Institutions, in the field of Software Quality. Their objects are: - to provide a forum for the introduction and discussion of new research breakthroughs in Software Quality; - to provide professional Software Quality engineers with the necessary exposure to the results of current research; - to expose the research community to the problems of practical application of new results.

Buch. Condición: Neu. Neuware - This book is concerned with wafer fabrication and the factories that manufacture microprocessors and other integrated circuits. With the invention of the transistor in 1947, the world as we knew it changed. The transistor led to the microprocessor, and the microprocessor, the guts of the modern computer, has created an epoch of virtually unlimited information processing. The electronics and computer revolution has brought about, for better or worse, a new way of life. This revolution could not have occurred without wafer fabrication, and its associated processing technologies. A microprocessor is fabricated via a lengthy, highly-complex sequence of chemical processes. The success of modern chip manufacturing is a miracle of technology and a tribute to the hundreds of engineers who have contributed to its development. This book will delineate the magnitude of the accomplishment, and present methods to analyze and predict the performance of the factories that make the chips. The set of topics covered juxtaposes several disciplines of engineering. A primary subject is the chemical engineering aspects of the electronics industry, an industry typically thought to be strictly an electrical engineer's playground. The book also delves into issues of manufacturing, operations performance, economics, and the dynamics of material movement, topics often considered the domain of industrial engineering and operations research. Hopefully, we have provided in this work a comprehensive treatment of both the technology and the factories of wafer fabrication. Novel features of these factories include long process flows and a dominance of processing over operational issues.

Buch. Condición: Neu. Neuware - This proceedings volume, 'Plastic Deformation of Ceramics,' constitutes the papers of an international symposium held at Snowbird, Utah from August 7-12, 1994. It was attended by nearly 100 scientists and engineers from more than a dozen countries representing academia, national laboratories, and industry. Two previous conferences on this topic were held at The Pennsylvania State University in 1974 and 1983. Therefore, the last major international conference focusing on the deformation of ceramic materials was held more than a decade ago. Since the early 1980s, ceramic materials have progressed through an evolutionary period of development and advancement. They are now under consideration for applications in engineering structures. The contents of the previous conferences indicate that considerable effort was directed towards a basic understanding of deformation processes in covalently bonded or simple oxide ceramics. However, now, more than a decade later, the focus has completely shifted. In particular, the drive for more efficient heat engines has resulted in the development of silicon-based ceramics and composite ceramics. The discovery of high-temperature cupric oxide-based superconductors has created a plethora of interesting perovskite-Iike structured ceramics. Additionally, nanophase ceramics, ceramic thin films, and various forms of toughened ceramics have potential applications and, hence, their deformation has been investigated. Finally, new and exciting areas of research have attracted interest since 1983, including fatigue, nanoindentation techniques, and superplasticity.

Buch. Condición: Neu. Neuware - This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Buch. Condición: Neu. Neuware - Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization theory and practice, optimal control, system modelling, stochastic optimization, and technical and non-technical applications of the existing theory are among areas mostly addressed in the included papers. Main directions are treated in addition to several survey papers based on invited presentations of leading specialists in the respective fields. Publication provides state-of-the-art in the area of system theory and optimization and points out several new areas (e.g fuzzy set, neural nets), where classical optimization topics intersects with computer science methodology.

Buch. Condición: Neu. Neuware - Due to increasing practical needs, software support of environmental protection and research tasks is growing in importance and scope. Software systems help to monitor basic data, to maintain and process relevant environmental information, to analyze gathered information and to carry out decision processes, which often have to take into account complex alternatives with various side effects. Therefore software is an important tool for the environmental domain. When the first software systems in the environmental domain grew - 10 to 15 years ag- users and developers were not really aware of the complexity these systems are carrying with themselves: complexity with respect to entities, tasks and procedures. I guess nobody may have figured out at that time that the environmental domain would ask for solutions which information science would not be able to provide and - in several cases - can not provide until today. Therefore environmental informatics - as we call it today - is also an important domain of computer science itself, because practical solutions need to deal with very complex, interdisciplinary, distributed, integrated, sometimes badly defined, user-centered decision processes. I doubt somebody will state that we are already capable of building such integrated systems for end users for reasonable cost on a broad range. The development of the first scientific community for environmental informatics started around 1985 in Germany, becoming a technical committee and working group of the German Computer Society in 1987.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The subjects of ordered groups and of infinite permutation groups have long en joyed a symbiotic relationship. Although the two subjects come from very different sources, they have in certain ways come together, and each has derived considerable benefit from the other. My own personal contact with this interaction began in 1961. I had done Ph. D. work on sequence convergence in totally ordered groups under the direction of Paul Conrad. In the process, I had encountered 'pseudo-convergent' sequences in an ordered group G, which are like Cauchy sequences, except that the differences be tween terms of large index approach not 0 but a convex subgroup G of G. If G is normal, then such sequences are conveniently described as Cauchy sequences in the quotient ordered group GIG. If G is not normal, of course GIG has no group structure, though it is still a totally ordered set. The best that can be said is that the elements of G permute GIG in an order-preserving fashion. In independent investigations around that time, both P. Conrad and P. Cohn had showed that a group admits a total right ordering if and only if the group is a group of automor phisms of a totally ordered set. (In a right ordered group, the order is required to be preserved by all right translations, unlike a (two-sided) ordered group, where both right and left translations must preserve the order.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Mechanical engineering, an engineering discipline born of the needs of the industrial revolution, is once again asked to do its substantial share in the call for industrial renewal. The general call is urgent as we face profound issues of productivity and competitiveness that require engineering solutions, among others. The Mechanical Engineering Series is a series featuring graduate texts and research monographs intended to address the need for information in contemporary areas of mechanical engineering. The series is conceived as a comprehensive one that covers a broad range of concentrations important to mechanical engineering graduate education and research. We are fortunate to have a distinguished roster of consulting editors, each an expert in one of the areas of concentration. The names of the consulting editors are listed on the following page of this volume. The areas of concentration are applied mechanics, biomechanics, computational mechanics, dynamic systems and control, energetics, mechanics of materials, processing, thermal science, and tribology. Professor Winer, the consulting editor for tribology, and I are pleased to present this volume of the series: Laminar Viscous Flow, by Professor Constantinescu. The selection of this volume underscores again the interest of the Mechanical Engineering Series to provide our readers with topical monographs as well as graduate texts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book suggests that business research, in the collection, analysis, and communication of evidence, will benefit from explicit acceptance of research as argumentation. Argumentation is the process of compiling an argument through selection and organization of the relevant evidence. Recently, business research methods books have placed too much emphasis on the scientific method as brute empiricism, using only large sample statistical testing and demanding prediction through retesting old theories. Especially with regard to the study of human activity, there is now much evidence that there is not one special scientific method. This book argues that all types of empirical data, including statistics and personal experiences, be accepted as data, but that it is essential that these observations be explained. This book will provide researchers and postgraduate business students with a strategy for conducting research that encourages thought, provides a way of critically perceiving previous research, as well as suggesting a logical structure for communicating their research. 172 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -7. 2GIRDIMPLEMENTATION: AMETADATABASE 135 7. 3 UNIQUE PROPERTIES OF THE GIRD MODEL 140 7. 3. 1 The Metadatabase As an Information Resources Lnctionary 140 7. 3. 2 The metadatabase as the GlobaVEnterprise Schema 142 8 THE GLOBAL QUERY SYSTEM 145 8. 1 MODEL ASSISTED GLOBAL QUERY 145 8. l. l The Need for Metadata Support 145 8. l. 2 User Interface for Query Formulation 147 8. 1. 3 Integrated Schema for Global Query 147 8. 2 THE CONCEPTUAL MODEL 148 8. 2. 1 The Goals 149 8. 2. 2 The Defmitive Model for Metadata Requirements 149 8. 3 THE EXECUTION MODEL 156 8. 3. 1 Model Traversal 156 8. 3. 2 Rule-Base Conversion 157 8. 4 ANALYSIS 159 8. 4. 1 Metadata Modeling vs. Schema Integration 159 8. 4. 2 Conceptual Evaluation of the MGQS A~h 100 9 ADAPTIVE CONCURRENT ARCHITECTURE 163 9. 1 CONCURRENT ARCHITECTURES FOR ADAPTIVE INTEGRATION 163 9. 2 ROPE: A NEW SOFTWARE METIIOD FOR ElM 167 9. 2. l The Model of ROPE 167 9. 2. 2 The Static Structure of ROPE 169 9. 2. 3 The Dynamic Structure of ROPE 173 9. 3 THE OPERATION OF ROPE 174 9. 3. 1 Rule Processing Operations 174 9. 3. 2 Knowledge Management Operations 176 9. 4 IMPLEMENTATION: ALABORATORYEIM 177 9. 5 SATISFACTION OF ElM REQUIREMENTS 180 10 MANUFACTURING INTEGRATION 183 10. 1 INFORMATION MANAGEMENT FOR MANUFACTURING ENTERPRISE INTEGRATION 183 10. 1. 260 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Pipelined Lattice and Wave Digital Recursive Filters uses look-ahead transformation and constrained filter design approaches. It is also shown that pipelining often reduces the roundoff noise in a digital filter. The pipelined recursive lattice and wave digital filters presented are well suited where increasing speed and reducing area or power or roundoff noise are important. Examples are wireless and cellular codec applications, where low power consumption is important, and radar and video applications, where higher speed is important. The book presents pipelining of direct-form recursive digital filters and demonstrates the usefulness of these topologies in high-speed and low-power applications. It then discusses fundamentals of scaling in the design of lattice and wave digital filters. Approaches to designing four different types of lattice digital filters are discussed, including basic, one-multiplier, normalized, and scaled normalized structures. The roundoff noise in these lattice filters is also studied. The book then presents approaches to the design of pipelined lattice digital filters for the same four types of structures, followed by pipelining of orthogonal double-rotation digital filters, which eliminate limit cycle problems. A discussion of pipelining of lattice wave digital filters follows, showing how linear phase, narrow-band, sharp-transition recursive filters can be implemented using this structure. This example is motivated by a difficult filter design problem in a wireless codec application. Finally, pipelining of ladder wave digital filters is discussed. Pipelined Lattice and Wave Digital Recursive Filters serves as an excellent reference and may be used as a text for advanced courses on the subject. 244 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved and analyzed using the SHARPE tool. In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system. The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided. Audience: Suitable for use in advanced level courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability. 422 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book suggests that business research, in the collection, analysis, and communication of evidence, will benefit from explicit acceptance of research as argumentation. Argumentation is the process of compiling an argument through selection and organization of the relevant evidence.Recently, business research methods books have placed too much emphasis on the scientific method as brute empiricism, using only large sample statistical testing and demanding prediction through retesting old theories. Especially with regard to the study of human activity, there is now much evidence that there is not one special scientific method.This book argues that all types of empirical data, including statistics and personal experiences, be accepted as data, but that it is essential that these observations be explained. This book will provide researchers and postgraduate business students with a strategy for conducting research that encourages thought, provides a way of critically perceiving previous research, as well as suggesting a logical structure for communicating their research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -7. 2GIRDIMPLEMENTATION: AMETADATABASE 135 7. 3 UNIQUE PROPERTIES OF THE GIRD MODEL 140 7. 3. 1 The Metadatabase As an Information Resources Lnctionary 140 7. 3. 2 The metadatabase as the GlobaVEnterprise Schema 142 8 THE GLOBAL QUERY SYSTEM 145 8. 1 MODEL ASSISTED GLOBAL QUERY 145 8. l. l The Need for Metadata Support 145 8. l. 2 User Interface for Query Formulation 147 8. 1. 3 Integrated Schema for Global Query 147 8. 2 THE CONCEPTUAL MODEL 148 8. 2. 1 The Goals 149 8. 2. 2 The Defmitive Model for Metadata Requirements 149 8. 3 THE EXECUTION MODEL 156 8. 3. 1 Model Traversal 156 8. 3. 2 Rule-Base Conversion 157 8. 4 ANALYSIS 159 8. 4. 1 Metadata Modeling vs. Schema Integration 159 8. 4. 2 Conceptual Evaluation of the MGQS A~h 100 9 ADAPTIVE CONCURRENT ARCHITECTURE 163 9. 1 CONCURRENT ARCHITECTURES FOR ADAPTIVE INTEGRATION 163 9. 2 ROPE: A NEW SOFTWARE METIIOD FOR ElM 167 9. 2. l The Model of ROPE 167 9. 2. 2 The Static Structure of ROPE 169 9. 2. 3 The Dynamic Structure of ROPE 173 9. 3 THE OPERATION OF ROPE 174 9. 3. 1 Rule Processing Operations 174 9. 3. 2 Knowledge Management Operations 176 9. 4 IMPLEMENTATION: ALABORATORYEIM 177 9. 5 SATISFACTION OF ElM REQUIREMENTS 180 10 MANUFACTURING INTEGRATION 183 10. 1 INFORMATION MANAGEMENT FOR MANUFACTURING ENTERPRISE INTEGRATION 183 10. 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Researchers develop simulation models that emulate real-world situations. While these simulation models are simpler than the real situation, they are still quite complex and time consuming to develop. It is at this point that metamodeling can be used to help build a simulation study based on a complex model. A metamodel is a simpler, analytical model, auxiliary to the simulation model, which is used to better understand the more complex model, to test hypotheses about it, and provide a framework for improving the simulation study.The use of metamodels allows the researcher to work with a set of mathematical functions and analytical techniques to test simulations without the costly running and re-running of complex computer programs. In addition, metamodels have other advantages, and as a result they are being used in a variety of ways: model simplification, optimization, model interpretation, generalization to other models of similar systems, efficient sensitivity analysis, and the use of the metamodel's mathematical functions to answer questions about different variables within a simulation study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The book is devoted to the physical properties of nonideal plasma, in which the effects of interparticle interactions are substantial. Such a plasma is usually compressed so strongly that it is called dense plasma. Interest in plasma studies has increased over the last 10 or 15 years, owing to the development of modern technology and sophisticated facilities whose oper ation is based on a high energy density. As a result of a recent sharp increase in the number of experimental and theoretical investigations, much interesting and reliable data on the properties of dense plasma have been obtained. The data are distributed in a rapidly growing number of original publications and reviews. This volume is a systematic treatment of the thermodynamics (ionization equilibrium, particle composition), charge transport properties (especially electric con ductivity), optical properties (peculiarities of continuous and discrete spectra), and collective modes (features and manifestations) of nonideal plasma. Theoretical models are considered along with the experimental data. The book is intended for the wide range of readers, including specialists in plasma physics and various researchers who need knowledge in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Identifying and remediating environmental contamination is a complex and very expensive problem worldwide. Pollution of soil and water by pesticides is a significant issue that persists for years after the pesticide application ceases. Pesticide Properties in the Environment is a unique database compiled from extensive literature searches. It presents data on hundreds of pesticides, including their common, commercial, and scientific names, their chemical formulas, and their environmental properties including water solubility, field half-life, sorption coefficient, and vapor pressure. All data is carefully cited to original references, and is presented both in printed form and as an electronic database. Pesticide Properties in the Environment will be invaluable for environmental scientists, engineers, and consultants, as well as soil scientists and water quality specialists. 240 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Strategic Risk examines a fundamental issue in the field of strategic management and organizations: how to study changes in the competitive outcomes of firms. Collins and Ruefli develop the concept of ordinal risk and extend this concept and its associated measures to the more general framework of state-defined systems. The book makes the state-defined risk methodology more accessible to strategic management researchers, and to social scientists in general. The need for quantitative frameworks with which to analyze the dynamics of strategic management has been apparent for some time. The state-defined risk methodology has the advantage of being based on a common usage definition of risk, and is also based on a mathematically well-behaved function. It permits investigation of the chance of gain while yielding a measure of environmental uncertainty. Finally, the development is general and permits applications employing a variety of performance dimensions over a range of entities in a diversity of contexts. The authors demonstrate the practicability and reliability of this approach by applying the model to mutual funds, large mining and manufacturing firms, and public firms on an industry by industry basis. 238 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the fall of 1990, the Danish government started a comprehensive research pro gramme to improve the competitiveness of the Danish food sector: The Research and Development Programme in the Danish Food Sector (Det F!Ildevareteknologiske Forsk nings- og Udviklingsprogram, F0TEK). The programme was based on a combination of basic research to be carried out by universities and other research institutions, and a series of collaboration projects between researchers and food companies. The programme was originally designed as a technological research programme. However, in the planning phases of the research programme, the view that the development of new technologies and products may not be sufficient to improve competitiveness made some ground. A small comer of the overall research effort was therefore set aside for market-oriented research. This comer was filled by the research programme Market-based process and product innovation in the food sector (MAPP). MAPP was a joint research programme in which researchers from several Danish universities and business schools participated; it was coordinated by the Aarhus School of Business. MAPP set out to achieve a difficult task: to conduct high quality research on various aspects of the marketing of food products, to do so in cooperation with food companies, and to win under standing and recognition from the colleagues in the food technology departments. 308 pp. Englisch.