الصفحة 17
الصفحة 17
Fuzzy sets and their extensions : Representation, aggregation and models : Intelligent systems from decision making to data mining, web intelligence and computer vision
This book presents an up-to-date state of current research in the use of fuzzy sets and their extensions, paying attention to foundation issues and to their application to four important areas where fuzzy sets are seen to be an important tool for modelling and solving problems.
Fuzzy Quantifiers : A Computational Theory
Almost all", "many", "some": fuzzy quantifiers are vital for effective communication in natural language (NL). This monograph pursues an axiomatic method to achieve a reliable interpretation of these quantifiers in technical applications of fuzzy quantification. Unlike existing work in this area, it targets a much broader class of quantificational phenomena which includes all cases usually considered in linguistics. The topics addressed in the monograph run the gamut from the introduction of the theoretical framework for analysing fuzzy quantification, the formalization of semantical requirements on models of fuzzy quantification, the construction and detailed study of prototypical models which conform to the linguistic desiderata, the development of algorithms for implementing the main types of quantifiers in these models, and finally a preview to fuzzy branching quantifications which might be necessary for modelling NL sentences involving more than one quantifier.
Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control is a comprehensive introduction to the use of fuzzy methods in many different control paradigms encompassing robust, model-based, PID-like and predictive control. This combination of fuzzy control theory and industrial serviceability will make a telling contribution to your research whether in the academic or industrial sphere and also serves as a fine roundup of the fuzzy control area for the graduate student
Future space-transport-system components under high thermal and mechanical loads : results from the DFG Collaborative Research Center TRR40
This book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded by the German Research Foundation (DFG). Gathering innovative design concepts for thrust chambers and nozzles, as well as cutting-edge methods of aft-body flow control and propulsion-component cooling, it brings together fundamental research undertaken at universities, testing carried out at the German Aerospace Center (DLR) and industrial developments from the ArianeGroup
Fundamentals of durable reinforced concrete
The book presents a framework for specification through internationally adopted codes and standards and summarises the background to probabilistic approaches to durability design, providing a state-of-the-art review of mathematical modelling of deterioration mechanisms along with current directions in test methods for performance-based specifications.
Fundamentals of Clinical Data Science
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical applications. Topics covered in the first section on data collection include: data sources, data at scale (big data), data stewardship (FAIR data) and related privacy concerns. Aspects of predictive modelling using techniques such as classification, regression or clustering, and prediction model validation will be covered in the second section. The third section covers aspects of (mobile) clinical decision support systems, operational excellence and value-based healthcare.
Fundamentals of building performance simulation
Pares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. Authored by a veteran educator and researcher, this textbook equips graduate students and emerging and established professionals in engineering and architecture to predict and optimize buildings’ energy use. It employs an innovative pedagogical approach, introducing new concepts and skills through previously mastered ones and deepening understanding of familiar themes by means of new material. Covering topics from indoor airflow to the effects of the weather, the book’s 19 chapters empower learners to: Understand the models and assumptions underlying popular BPS tools ; Compare models, simulations, and modelling tools and make appropriate selections ; Recognize the effects of modelling choices and input data on simulation predictions
Functional Structures in Networks : AMLn - A Language for Model Driven Development of Telecom Systems
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects and designers. This method emphasizes modeling the (very complex) functional structure of networks in a way that is independent of any hardware and software design methodology
Functional approach to nonlinear models of water flow in soils
The mathematical modelling required by these processes revealed from the beg- ning interesting and dificult mathematical problems, so that the attention was redirected to the theoretical mathematical aspects involved. Then, the qualitative results found were used for the explanation of certain behaviours of the physical processes which had made the object of the initial study and for giving answers to the real problems that arise in the soil science practice. In this way the work evidences a perfect topic for an applied mathematical research.
Frontiers of Geographic Information Technology
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ to other ‘allied’ technologies. This coupling or integration has occurred for some time due to the limitations in commercially available systems. It has occurred in several areas including visualisation (virtual reality), simulation (pedestrian, urban modelling), data storage and management (distributed or Internet GIS) and decision support. The chapters of the book, written by an international group of experts examine several of these discrete areas, focussing on the use of GIS and the technology it has been allied to.
Frontiers in Computing Technologies for Manufacturing Applications
Frontiers in Computing Technologies for Manufacturing Applications presents an overview of the state-of-the-art intelligent computing in manufacturing. Modeling, data processing, algorithms and computational analysis of difficult problems found in advanced manufacturing are discussed. It is the first book to bring together combinatorial optimization, information systems and fault diagnosis and monitoring in a consistent manner. Techniques are presented in order to aid decision makers needing to consider multiple, conflicting objectives in their decision processes. In particular, the use of metaheuristic optimization techniques for multi-objective problems is discussed. Readers will learn about computational technologies that can improve the performance of manufacturing systems ranging from manufacturing equipment to supply chains.
From Product Description to Cost : A Practical Approach ; Vol.2 : Building a Specific Model
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
From Product Description to Cost : A Practical Approach ; Vol.1 : The Parametric Approach
The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
From decoding turbulence to unveiling the fingerprint of climate change : Klaus Hasselmann—Nobel Prize Winner in Physics 2021
Serves as a reference for the key elements and their significance of Klaus Hasselmann's work on climate science and on ocean wave research, all based on a rigorous and deeply physical thinking. It summarizes the original articles (mostly from the 1970 and 1980s; some of which are hard to find nowadays) and brings them in a present-day context.
Freshwater Microplastics : Emerging Environmental Contaminants?
Focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic environments around the globe and have accordingly raised serious concerns. The book explores whether microplastics represent emerging contaminants in freshwater systems, an area that remains underrepresented to date.Given the complexity of the issue, the book covers the current state-of-research on microplastics in rivers and lakes, including analytical aspects, environmental concentrations and sources, modelling approaches, interactions with biota, and ecological implications. To provide a broader perspective, the book also discusses lessons learned from nanomaterials and the implications of plastic debris for regulation, politics, economy, and society. In a research field that is rapidly evolving, it offers a solid overview for environmental chemists, engineers, and toxicologists, as well as water managers and policy-makers.
Free Energy Calculations : Theory and Applications in Chemistry and Biology
This volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised for the determination of free energies. The reader will gain the necessary insight into the theoretical and computational foundations of the subject and will be presented with relevant applications from molecular-level modelling and simulations of chemical and biological systems. Both formally accurate and approximate methods are covered using both classical and quantum mechanical descriptions. A central theme of the book is that the wide variety of free energy calculation techniques available today can be understood as different implementations of a few basic principles.
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
