الصفحة 75
الصفحة 75
Composition of embedded systems : Scientific and industrial issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
This book discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven develo.
Composite Systems Decisions
Composite decisions consist of interconnected parts or subdecisions and correspond to a composite (composable, modular, decomposable) system. Composite Systems Decisions describes an educational approach that is based on systems engineering and considered modular design of composite decisions. Divided into four parts, this book contains descriptions of basic systems approaches and examines basic ‘technological’ problems for composite systems, including: modular hierarchical design; multistage design; multistage planning; redesign/improvement/adaptation; evaluation; and, combinatorial evolution/development.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Complexity Management in Fuzzy Systems : A Rule Base Compression Approach
This book presents a systematic study on the inherent complexity in fuzzy systems, resulting from the large number and the poor transparency of the fuzzy rules. The study uses a novel approach for complexity management, aimed at compressing the fuzzy rule base by removing the redundancy while preserving the solution. The compression is based on formal methods for presentation, manipulation, transformation and simplification of fuzzy rule bases, which are illustrated by algorithms as well as results from numerous examples and two case studies. The results are directly applicable or easily extendable to a wide class of fuzzy systems and detailed benchmarks for expanding these systems to new areas such as fuzzy networks and fuzzy multi-agent systems are introduced. The intended readers are people from both academia and industry, who would be interested in building and implementing advanced fuzzy systems.
Complexity management : Optimizing product architecture of Industrial products
This book presents a complexity management model that is based on the reasoning that product architecture determines to a considerable extent how external complexity is translated into physical products. The model demonstrates a procedure to optimize a product’s architecture and is applied to several industrial products.
Complex Variables with Applications
Complex numbers can be viewed in several ways: as an element in a field, as a point in the plane, and as a two-dimensional vector. Examined properly, each perspective provides crucial insight into the interrelations between the complex number system and its parent, the real number system. It explore these relationships by adopting both generalization and specialization methods to move from real variables to complex variables, and vice versa, while simultaneously examining their analytic and geometric characteristics, using geometry to illustrate analytic concepts and employing analysis to unravel geometric notions. The engaging exposition is replete with discussions, remarks, questions, and exercises, motivating not only understanding on the part of the reader, but also developing the tools needed to think critically about mathematical problems. This focus involves a careful examination of the methods and assumptions underlying various alternative routes that lead to the same destination.
Complex Orthogonal Space-Time Processing in Wireless Communications
Complex Orthogonal Space-Time Processing in Wireless Communications incorporates orthogonal space-time processing using STBCs in MIMO wireless communication systems. Complex Orthogonal STBCs (CO STBCs) are given emphasis because they can be used for PSK/QAM modulation schemes and are more practical than real STBCs. The overall coverage provides general knowledge about space-time processing and its applications for broad audiences. It also includes the most up-to-date review of the literature on space-time processing in general, and space-time block processing in particular.
Complex Nonlinearity : Chaos, Phase Transitions, Topology Change and Path Integrals
The book starts with a textbook-like expose on nonlinear dynamics, attractors and chaos, both temporal and spatio-temporal, including modern techniques of chaos–control. Chapter 2 turns to the edge of chaos, in the form of phase transitions (equilibrium and non-equilibrium, oscillatory, fractal and noise-induced), as well as the related field of synergetics. While the natural stage for linear dynamics comprises of flat, Euclidean geometry (with the corresponding calculation tools from linear algebra and analysis), the natural stage for nonlinear dynamics is curved, Riemannian geometry (with the corresponding tools from nonlinear, tensor algebra and analysis). The extreme nonlinearity – chaos – corresponds to the topology change of this curved geometrical stage, usually called configuration manifold. Chapter 3 elaborates on geometry and topology change in relation with complex nonlinearity and chaos. Chapter 4 develops general nonlinear dynamics, continuous and discrete, deterministic and stochastic, in the unique form of path integrals and their action-amplitude formalism.
Complex Artificial Environments : Simulation, Cognition and VR in the Study and Planning of Cities
This book explores the possibilities of applying the theories of complexity and self-organization developed to account for various phenomena in the natural science to artifacts traditionally the realm of humanities and social sciences. The emphasis of this volume is on the development of cities and the impact of these methods on urban simulation methods.
Complement and Kidney Disease
It is evident that a defective or deregulated complement system results in kidney diseases. An important role of complement effector and regulatory proteins in pathological settings of the kidney has been demonstrated. A large panel of distinct human kidney diseases is caused by defective complement control. Genetic analyses have identified mutations in complement regulators that are associated with these diseases. Mutations have been identified in the fluid phase alternative pathway regulator Factor H and the membrane regulator Membrane Cofactor Protein MCP (CD46). The functional characterization of the mutant proteins allows to define the pathophysiological events on a molecular level. These new concepts and data on disease mechanisms allowed establishing new diagnostic and promising therapeutic approaches for several human kidney diseases. Molecular biology, clinics and therapy are discussed in this volume.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Compilers : Principles, techniques, and tools
This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler Design. The authors present updated coverage of compilers based on research and techniques that have been developed in the field over the past few years. The book provides a thorough introduction to compiler design and covers topics such as context-free grammars, fine state machines, and syntax-directed translation.
Compilers : Principles, techniques & tools
This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler Design. The authors present updated coverage of compilers based on research and techniques that have been developed in the field over the past few years. The book provides a thorough introduction to compiler design and covers topics such as context-free grammars, fine state machines, and syntax-directed translation.
Compiler construction ; Vol. 3443 : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, including Topics Programming Languages, Compilers, Interpreters Logics and Meanings of Programs / Mathematical Logic and Formal Languages / Software Engineering / Artificial Intelligence"
Compiler construction ; 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
Competitiveness in the Tourism Sector : A Comprehensive Approach from Economic and Management Points
International tourism is expected to be a major vehicle of economic development in industrializing countries in the 21st century, especially for Asia. To generate long-term growth, countries with tourism-based economies must develop strategies for employing their comparative advantages to achieve competitive advantages. However, competitiveness in the tourist industry is multi-dimensional and complex. This study evaluates the competitiveness of the Taiwanese tourism sector by a multi-dimensional framework. The theoretical model proposes that the competitiveness of tourist destinations should be composed of Ricardian comparative advantages (like the conditions of natural endowments and the degree of technological change); Porterian competitive advantages; tourism management, i.e., providing high quality education and job training, public goods, support services and reduced transaction costs to enhance comparative and competitive advantages; and environmental conditions.
Competition Policies in Emerging Economies : Lessons and Challenges from Central America and Mexico
Do small developing economies, or SDEs, need a specific competition policy to create competitive markets? Against the backdrop of globalization, protectionist policies that promote state ownership and heavy regulation of key industries are proving increasingly ineffective for driving growth. Countries around the world are instituting reforms to promote competition and business creation, yet the economic and political concentration of power, feeble judicial systems, and the scarcity of human and financial resources pose special challenges to SDEs. Competition Policies in Emerging Economies features an in-depth analysis of two strategic industries — telecommunications and banking — in several Central American nations which sheds light on the dynamics of the transition to deregulation and trade liberalization. Examining the lessons learned from these experiences and presenting discussion of political, legal, economic, financial, cultural, and organizational issues, the book provides unique perspectives on competition policy and economic development.
Comparison of digital anesthesia using articaine vs. lidocaine for mandibular infiltration in pediatric patients : Aged 4-5 vs. 6-8 years
Articaine and lidocaine exhibit equivalent efficacy for mandibular infiltration via computerized systems in children aged 4–8 years. While articaine may marginally improve injection comfort, both agents provide reliable anesthesia with minimal complications. Computerized delivery enhances patient experience, supporting its adoption to reduce dental anxiety.This investigation aims to : determine whether articaine's theoretical advantages translate to clinically significant improvements in young children, identify optimal anesthetic protocols for different pediatric age groups, validate the effectiveness of digital delivery systems in pediatric mandibular anesthesia and provide robust data to replace current adult-derived guidelines with pediatric-specific evidence.
Comparative Perspectives on Work-Life Balance and Gender Equality : Fathers on Leave Alone
This book portrays men’s experiences of home alone leave and how it affects their lives and family gender roles in different policy contexts and explores how this unique parental leave design is implemented in these contrasting policy regimes. The book brings together three major theoretical strands: social policy, in particular the literature on comparative leave policy developments; family and gender studies, in particular the analysis of gendered divisions of work and care and recent shifts in parenting and work-family balance; critical studies of men and masculinities, with a specific focus on fathers and fathering in contemporary western societies and life-courses. Drawing on empirical data from in-depth interviews with fathers across eleven countries, the book shows that the experiences and social processes associated with fathers’ home alone leave involve a diversity of trends, revealing both innovations and absence of change, including pluralization as well as the constraining influence of policy, gender, and social context.
Community and Identity in Contemporary Technosciences
This book provides new thinking on scientific identity formation. It thoroughly interrogates the concepts of community and identity, including both historical and contemporaneous analyses of several scientific fields.
