Author: Ziya Uddin
Publisher: CRC Press
ISBN: 1000599892
Category : Technology & Engineering
Languages : en
Pages : 209
Book Description
This book presents the reader with comprehensive insight into various kinds of mathematical modeling and numerical computation for problems arising in several branches of engineering, such as mechanical engineering, computer science engineering, electrical engineering, electronics and communication engineering, and civil engineering. The book: • Discusses topics related to clean and green energy production and storage • Bridges the gap between core theory and costly industrial experiments • Covers advanced biomechanics and nanodrug delivery topics • Explores diversified applications of mathematical techniques to solve practical engineering problems The text in this book emphasizes mathematical treatment of soft computing, image and signal processing, fluid flows in various geometries, biomechanics, biological modeling, a mathematical description of the solar cell, analytical and numerical treatment of problems in fracture mechanics, and antenna design modeling. It also discusses the numerical computations of biomechanics problems and problems arising in cryptography. The text further covers optimization techniques that are useful for real-world problems. This material is primarily written for graduate students and academic researchers in a number of engineering fields, including electrical, electronics and communication, industrial, manufacturing, mechanical, computer science, and mathematics.
Modeling and Computation in Engineering II
Author: Liquan Xie
Publisher: CRC Press
ISBN: 1315884917
Category : Technology & Engineering
Languages : en
Pages : 364
Book Description
Modeling and Computation in Engineering II (CMCE 2013, Hong Kong, 22-23 June 2013) includes 50 contributions on modeling and simulation technology, which were presented at the 2nd SREE Conference on Modeling and Computation in Engineering (CMCE 2013) and the 3rd SREE Workshop on Applied Mechanics and Civil Engineering (AMCE 2013), both held in Hong
Publisher: CRC Press
ISBN: 1315884917
Category : Technology & Engineering
Languages : en
Pages : 364
Book Description
Modeling and Computation in Engineering II (CMCE 2013, Hong Kong, 22-23 June 2013) includes 50 contributions on modeling and simulation technology, which were presented at the 2nd SREE Conference on Modeling and Computation in Engineering (CMCE 2013) and the 3rd SREE Workshop on Applied Mechanics and Civil Engineering (AMCE 2013), both held in Hong
Computing and Simulation for Engineers
Author: Ziya Uddin
Publisher: CRC Press
ISBN: 1000599892
Category : Technology & Engineering
Languages : en
Pages : 209
Book Description
This book presents the reader with comprehensive insight into various kinds of mathematical modeling and numerical computation for problems arising in several branches of engineering, such as mechanical engineering, computer science engineering, electrical engineering, electronics and communication engineering, and civil engineering. The book: • Discusses topics related to clean and green energy production and storage • Bridges the gap between core theory and costly industrial experiments • Covers advanced biomechanics and nanodrug delivery topics • Explores diversified applications of mathematical techniques to solve practical engineering problems The text in this book emphasizes mathematical treatment of soft computing, image and signal processing, fluid flows in various geometries, biomechanics, biological modeling, a mathematical description of the solar cell, analytical and numerical treatment of problems in fracture mechanics, and antenna design modeling. It also discusses the numerical computations of biomechanics problems and problems arising in cryptography. The text further covers optimization techniques that are useful for real-world problems. This material is primarily written for graduate students and academic researchers in a number of engineering fields, including electrical, electronics and communication, industrial, manufacturing, mechanical, computer science, and mathematics.
Publisher: CRC Press
ISBN: 1000599892
Category : Technology & Engineering
Languages : en
Pages : 209
Book Description
This book presents the reader with comprehensive insight into various kinds of mathematical modeling and numerical computation for problems arising in several branches of engineering, such as mechanical engineering, computer science engineering, electrical engineering, electronics and communication engineering, and civil engineering. The book: • Discusses topics related to clean and green energy production and storage • Bridges the gap between core theory and costly industrial experiments • Covers advanced biomechanics and nanodrug delivery topics • Explores diversified applications of mathematical techniques to solve practical engineering problems The text in this book emphasizes mathematical treatment of soft computing, image and signal processing, fluid flows in various geometries, biomechanics, biological modeling, a mathematical description of the solar cell, analytical and numerical treatment of problems in fracture mechanics, and antenna design modeling. It also discusses the numerical computations of biomechanics problems and problems arising in cryptography. The text further covers optimization techniques that are useful for real-world problems. This material is primarily written for graduate students and academic researchers in a number of engineering fields, including electrical, electronics and communication, industrial, manufacturing, mechanical, computer science, and mathematics.
Modeling and Computing for Geotechnical Engineering
Author: M.S. Rahman
Publisher: CRC Press
ISBN: 0429760213
Category : Mathematics
Languages : en
Pages : 492
Book Description
Modeling and computing is becoming an essential part of the analysis and design of an engineered system. This is also true of "geotechnical systems", such as soil foundations, earth dams and other soil-structure systems. The general goal of modeling and computing is to predict and understand the behaviour of the system subjected to a variety of possible conditions/scenarios (with respect to both external stimuli and system parameters), which provides the basis for a rational design of the system. The essence of this is to predict the response of the system to a set of external forces. The modelling and computing essentially involve the following three phases: (a) Idealization of the actual physical problem, (b) Formulation of a mathematical model represented by a set of equations governing the response of the system, and (c) Solution of the governing equations (often requiring numerical methods) and graphical representation of the numerical results. This book will introduce these phases. MATLAB® codes and MAPLE® worksheets are available for those who have bought the book. Please contact the author at [email protected] or [email protected]. Kindly provide the invoice number and date of purchase.
Publisher: CRC Press
ISBN: 0429760213
Category : Mathematics
Languages : en
Pages : 492
Book Description
Modeling and computing is becoming an essential part of the analysis and design of an engineered system. This is also true of "geotechnical systems", such as soil foundations, earth dams and other soil-structure systems. The general goal of modeling and computing is to predict and understand the behaviour of the system subjected to a variety of possible conditions/scenarios (with respect to both external stimuli and system parameters), which provides the basis for a rational design of the system. The essence of this is to predict the response of the system to a set of external forces. The modelling and computing essentially involve the following three phases: (a) Idealization of the actual physical problem, (b) Formulation of a mathematical model represented by a set of equations governing the response of the system, and (c) Solution of the governing equations (often requiring numerical methods) and graphical representation of the numerical results. This book will introduce these phases. MATLAB® codes and MAPLE® worksheets are available for those who have bought the book. Please contact the author at [email protected] or [email protected]. Kindly provide the invoice number and date of purchase.
Water Engineering Modeling and Mathematic Tools
Author: Pijush Samui
Publisher: Elsevier
ISBN: 0128208775
Category : Technology & Engineering
Languages : en
Pages : 592
Book Description
Water Engineering Modeling and Mathematic Tools provides an informative resource for practitioners who want to learn more about different techniques and models in water engineering and their practical applications and case studies. The book provides modelling theories in an easy-to-read format verified with on-site models for specific regions and scenarios. Users will find this to be a significant contribution to the development of mathematical tools, experimental techniques, and data-driven models that support modern-day water engineering applications. Civil engineers, industrialists, and water management experts should be familiar with advanced techniques that can be used to improve existing systems in water engineering. This book provides key ideas on recently developed machine learning methods and AI modelling. It will serve as a common platform for practitioners who need to become familiar with the latest developments of computational techniques in water engineering. - Includes firsthand experience about artificial intelligence models, utilizing case studies - Describes biological, physical and chemical techniques for the treatment of surface water, groundwater, sea water and rain/snow - Presents the application of new instruments in water engineering
Publisher: Elsevier
ISBN: 0128208775
Category : Technology & Engineering
Languages : en
Pages : 592
Book Description
Water Engineering Modeling and Mathematic Tools provides an informative resource for practitioners who want to learn more about different techniques and models in water engineering and their practical applications and case studies. The book provides modelling theories in an easy-to-read format verified with on-site models for specific regions and scenarios. Users will find this to be a significant contribution to the development of mathematical tools, experimental techniques, and data-driven models that support modern-day water engineering applications. Civil engineers, industrialists, and water management experts should be familiar with advanced techniques that can be used to improve existing systems in water engineering. This book provides key ideas on recently developed machine learning methods and AI modelling. It will serve as a common platform for practitioners who need to become familiar with the latest developments of computational techniques in water engineering. - Includes firsthand experience about artificial intelligence models, utilizing case studies - Describes biological, physical and chemical techniques for the treatment of surface water, groundwater, sea water and rain/snow - Presents the application of new instruments in water engineering
Mathematical Modeling And Computation In Finance: With Exercises And Python And Matlab Computer Codes
Author: Cornelis W Oosterlee
Publisher: World Scientific
ISBN: 1786347962
Category : Business & Economics
Languages : en
Pages : 1310
Book Description
This book discusses the interplay of stochastics (applied probability theory) and numerical analysis in the field of quantitative finance. The stochastic models, numerical valuation techniques, computational aspects, financial products, and risk management applications presented will enable readers to progress in the challenging field of computational finance.When the behavior of financial market participants changes, the corresponding stochastic mathematical models describing the prices may also change. Financial regulation may play a role in such changes too. The book thus presents several models for stock prices, interest rates as well as foreign-exchange rates, with increasing complexity across the chapters. As is said in the industry, 'do not fall in love with your favorite model.' The book covers equity models before moving to short-rate and other interest rate models. We cast these models for interest rate into the Heath-Jarrow-Morton framework, show relations between the different models, and explain a few interest rate products and their pricing.The chapters are accompanied by exercises. Students can access solutions to selected exercises, while complete solutions are made available to instructors. The MATLAB and Python computer codes used for most tables and figures in the book are made available for both print and e-book users. This book will be useful for people working in the financial industry, for those aiming to work there one day, and for anyone interested in quantitative finance. The topics that are discussed are relevant for MSc and PhD students, academic researchers, and for quants in the financial industry.
Publisher: World Scientific
ISBN: 1786347962
Category : Business & Economics
Languages : en
Pages : 1310
Book Description
This book discusses the interplay of stochastics (applied probability theory) and numerical analysis in the field of quantitative finance. The stochastic models, numerical valuation techniques, computational aspects, financial products, and risk management applications presented will enable readers to progress in the challenging field of computational finance.When the behavior of financial market participants changes, the corresponding stochastic mathematical models describing the prices may also change. Financial regulation may play a role in such changes too. The book thus presents several models for stock prices, interest rates as well as foreign-exchange rates, with increasing complexity across the chapters. As is said in the industry, 'do not fall in love with your favorite model.' The book covers equity models before moving to short-rate and other interest rate models. We cast these models for interest rate into the Heath-Jarrow-Morton framework, show relations between the different models, and explain a few interest rate products and their pricing.The chapters are accompanied by exercises. Students can access solutions to selected exercises, while complete solutions are made available to instructors. The MATLAB and Python computer codes used for most tables and figures in the book are made available for both print and e-book users. This book will be useful for people working in the financial industry, for those aiming to work there one day, and for anyone interested in quantitative finance. The topics that are discussed are relevant for MSc and PhD students, academic researchers, and for quants in the financial industry.
Mathematical Modeling and Computation of Real-Time Problems
Author: Rakhee Kulshrestha
Publisher: CRC Press
ISBN: 1000288676
Category : Mathematics
Languages : en
Pages : 172
Book Description
This book covers an interdisciplinary approach for understanding mathematical modeling by offering a collection of models, solved problems related to the models, the methodologies employed, and the results using projects and case studies with insight into the operation of substantial real-time systems. The book covers a broad scope in the areas of statistical science, probability, stochastic processes, fluid dynamics, supply chain, optimization, and applications. It discusses advanced topics and the latest research findings, uses an interdisciplinary approach for real-time systems, offers a platform for integrated research, and identifies the gaps in the field for further research. The book is for researchers, students, and teachers that share a goal of learning advanced topics and the latest research in mathematical modeling.
Publisher: CRC Press
ISBN: 1000288676
Category : Mathematics
Languages : en
Pages : 172
Book Description
This book covers an interdisciplinary approach for understanding mathematical modeling by offering a collection of models, solved problems related to the models, the methodologies employed, and the results using projects and case studies with insight into the operation of substantial real-time systems. The book covers a broad scope in the areas of statistical science, probability, stochastic processes, fluid dynamics, supply chain, optimization, and applications. It discusses advanced topics and the latest research findings, uses an interdisciplinary approach for real-time systems, offers a platform for integrated research, and identifies the gaps in the field for further research. The book is for researchers, students, and teachers that share a goal of learning advanced topics and the latest research in mathematical modeling.
Programming Models for Parallel Computing
Author: Pavan Balaji
Publisher: MIT Press
ISBN: 0262528819
Category : Computers
Languages : en
Pages : 488
Book Description
An overview of the most prominent contemporary parallel processing programming models, written in a unique tutorial style. With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most prominent parallel programming models used in high-performance computing and supercomputing systems today. The chapters describe the programming models in a unique tutorial style rather than using the formal approach taken in the research literature. The aim is to cover a wide range of parallel programming models, enabling the reader to understand what each has to offer. The book begins with a description of the Message Passing Interface (MPI), the most common parallel programming model for distributed memory computing. It goes on to cover one-sided communication models, ranging from low-level runtime libraries (GASNet, OpenSHMEM) to high-level programming models (UPC, GA, Chapel); task-oriented programming models (Charm++, ADLB, Scioto, Swift, CnC) that allow users to describe their computation and data units as tasks so that the runtime system can manage computation and data movement as necessary; and parallel programming models intended for on-node parallelism in the context of multicore architecture or attached accelerators (OpenMP, Cilk Plus, TBB, CUDA, OpenCL). The book will be a valuable resource for graduate students, researchers, and any scientist who works with data sets and large computations. Contributors Timothy Armstrong, Michael G. Burke, Ralph Butler, Bradford L. Chamberlain, Sunita Chandrasekaran, Barbara Chapman, Jeff Daily, James Dinan, Deepak Eachempati, Ian T. Foster, William D. Gropp, Paul Hargrove, Wen-mei Hwu, Nikhil Jain, Laxmikant Kale, David Kirk, Kath Knobe, Ariram Krishnamoorthy, Jeffery A. Kuehn, Alexey Kukanov, Charles E. Leiserson, Jonathan Lifflander, Ewing Lusk, Tim Mattson, Bruce Palmer, Steven C. Pieper, Stephen W. Poole, Arch D. Robison, Frank Schlimbach, Rajeev Thakur, Abhinav Vishnu, Justin M. Wozniak, Michael Wilde, Kathy Yelick, Yili Zheng
Publisher: MIT Press
ISBN: 0262528819
Category : Computers
Languages : en
Pages : 488
Book Description
An overview of the most prominent contemporary parallel processing programming models, written in a unique tutorial style. With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most prominent parallel programming models used in high-performance computing and supercomputing systems today. The chapters describe the programming models in a unique tutorial style rather than using the formal approach taken in the research literature. The aim is to cover a wide range of parallel programming models, enabling the reader to understand what each has to offer. The book begins with a description of the Message Passing Interface (MPI), the most common parallel programming model for distributed memory computing. It goes on to cover one-sided communication models, ranging from low-level runtime libraries (GASNet, OpenSHMEM) to high-level programming models (UPC, GA, Chapel); task-oriented programming models (Charm++, ADLB, Scioto, Swift, CnC) that allow users to describe their computation and data units as tasks so that the runtime system can manage computation and data movement as necessary; and parallel programming models intended for on-node parallelism in the context of multicore architecture or attached accelerators (OpenMP, Cilk Plus, TBB, CUDA, OpenCL). The book will be a valuable resource for graduate students, researchers, and any scientist who works with data sets and large computations. Contributors Timothy Armstrong, Michael G. Burke, Ralph Butler, Bradford L. Chamberlain, Sunita Chandrasekaran, Barbara Chapman, Jeff Daily, James Dinan, Deepak Eachempati, Ian T. Foster, William D. Gropp, Paul Hargrove, Wen-mei Hwu, Nikhil Jain, Laxmikant Kale, David Kirk, Kath Knobe, Ariram Krishnamoorthy, Jeffery A. Kuehn, Alexey Kukanov, Charles E. Leiserson, Jonathan Lifflander, Ewing Lusk, Tim Mattson, Bruce Palmer, Steven C. Pieper, Stephen W. Poole, Arch D. Robison, Frank Schlimbach, Rajeev Thakur, Abhinav Vishnu, Justin M. Wozniak, Michael Wilde, Kathy Yelick, Yili Zheng
Computational Materials Engineering
Author: Koenraad George Frans Janssens
Publisher: Academic Press
ISBN: 0080555497
Category : Technology & Engineering
Languages : en
Pages : 359
Book Description
Computational Materials Engineering is an advanced introduction to the computer-aided modeling of essential material properties and behavior, including the physical, thermal and chemical parameters, as well as the mathematical tools used to perform simulations. Its emphasis will be on crystalline materials, which includes all metals. The basis of Computational Materials Engineering allows scientists and engineers to create virtual simulations of material behavior and properties, to better understand how a particular material works and performs and then use that knowledge to design improvements for particular material applications. The text displays knowledge of software designers, materials scientists and engineers, and those involved in materials applications like mechanical engineers, civil engineers, electrical engineers, and chemical engineers. Readers from students to practicing engineers to materials research scientists will find in this book a single source of the major elements that make up contemporary computer modeling of materials characteristics and behavior. The reader will gain an understanding of the underlying statistical and analytical tools that are the basis for modeling complex material interactions, including an understanding of computational thermodynamics and molecular kinetics; as well as various modeling systems. Finally, the book will offer the reader a variety of algorithms to use in solving typical modeling problems so that the theory presented herein can be put to real-world use. - Balanced coverage of fundamentals of materials modeling, as well as more advanced aspects of modeling, such as modeling at all scales from the atomic to the molecular to the macro-material - Concise, yet rigorous mathematical coverage of such analytical tools as the Potts type Monte Carlo method, cellular automata, phase field, dislocation dynamics and Finite Element Analysis in statistical and analytical modeling
Publisher: Academic Press
ISBN: 0080555497
Category : Technology & Engineering
Languages : en
Pages : 359
Book Description
Computational Materials Engineering is an advanced introduction to the computer-aided modeling of essential material properties and behavior, including the physical, thermal and chemical parameters, as well as the mathematical tools used to perform simulations. Its emphasis will be on crystalline materials, which includes all metals. The basis of Computational Materials Engineering allows scientists and engineers to create virtual simulations of material behavior and properties, to better understand how a particular material works and performs and then use that knowledge to design improvements for particular material applications. The text displays knowledge of software designers, materials scientists and engineers, and those involved in materials applications like mechanical engineers, civil engineers, electrical engineers, and chemical engineers. Readers from students to practicing engineers to materials research scientists will find in this book a single source of the major elements that make up contemporary computer modeling of materials characteristics and behavior. The reader will gain an understanding of the underlying statistical and analytical tools that are the basis for modeling complex material interactions, including an understanding of computational thermodynamics and molecular kinetics; as well as various modeling systems. Finally, the book will offer the reader a variety of algorithms to use in solving typical modeling problems so that the theory presented herein can be put to real-world use. - Balanced coverage of fundamentals of materials modeling, as well as more advanced aspects of modeling, such as modeling at all scales from the atomic to the molecular to the macro-material - Concise, yet rigorous mathematical coverage of such analytical tools as the Potts type Monte Carlo method, cellular automata, phase field, dislocation dynamics and Finite Element Analysis in statistical and analytical modeling
Computational Fluid Dynamics in Fire Engineering
Author: Guan Heng Yeoh
Publisher: Butterworth-Heinemann
ISBN: 0080570038
Category : Technology & Engineering
Languages : en
Pages : 545
Book Description
Fire and combustion presents a significant engineering challenge to mechanical, civil and dedicated fire engineers, as well as specialists in the process and chemical, safety, buildings and structural fields. We are reminded of the tragic outcomes of 'untenable' fire disasters such as at King's Cross underground station or Switzerland's St Gotthard tunnel. In these and many other cases, computational fluid dynamics (CFD) is at the forefront of active research into unravelling the probable causes of fires and helping to design structures and systems to ensure that they are less likely in the future. Computational fluid dynamics (CFD) is routinely used as an analysis tool in fire and combustion engineering as it possesses the ability to handle the complex geometries and characteristics of combustion and fire. This book shows engineering students and professionals how to understand and use this powerful tool in the study of combustion processes, and in the engineering of safer or more fire resistant (or conversely, more fire-efficient) structures.No other book is dedicated to computer-based fire dynamics tools and systems. It is supported by a rigorous pedagogy, including worked examples to illustrate the capabilities of different models, an introduction to the essential aspects of fire physics, examination and self-test exercises, fully worked solutions and a suite of accompanying software for use in industry standard modeling systems. - Computational Fluid Dynamics (CFD) is widely used in engineering analysis; this is the only book dedicated to CFD modeling analysis in fire and combustion engineering - Strong pedagogic features mean this book can be used as a text for graduate level mechanical, civil, structural and fire engineering courses, while its coverage of the latest techniques and industry standard software make it an important reference for researchers and professional engineers in the mechanical and structural sectors, and by fire engineers, safety consultants and regulators - Strong author team (CUHK is a recognized centre of excellence in fire eng) deliver an expert package for students and professionals, showing both theory and applications. Accompanied by CFD modeling code and ready to use simulations to run in industry-standard ANSYS-CFX and Fluent software
Publisher: Butterworth-Heinemann
ISBN: 0080570038
Category : Technology & Engineering
Languages : en
Pages : 545
Book Description
Fire and combustion presents a significant engineering challenge to mechanical, civil and dedicated fire engineers, as well as specialists in the process and chemical, safety, buildings and structural fields. We are reminded of the tragic outcomes of 'untenable' fire disasters such as at King's Cross underground station or Switzerland's St Gotthard tunnel. In these and many other cases, computational fluid dynamics (CFD) is at the forefront of active research into unravelling the probable causes of fires and helping to design structures and systems to ensure that they are less likely in the future. Computational fluid dynamics (CFD) is routinely used as an analysis tool in fire and combustion engineering as it possesses the ability to handle the complex geometries and characteristics of combustion and fire. This book shows engineering students and professionals how to understand and use this powerful tool in the study of combustion processes, and in the engineering of safer or more fire resistant (or conversely, more fire-efficient) structures.No other book is dedicated to computer-based fire dynamics tools and systems. It is supported by a rigorous pedagogy, including worked examples to illustrate the capabilities of different models, an introduction to the essential aspects of fire physics, examination and self-test exercises, fully worked solutions and a suite of accompanying software for use in industry standard modeling systems. - Computational Fluid Dynamics (CFD) is widely used in engineering analysis; this is the only book dedicated to CFD modeling analysis in fire and combustion engineering - Strong pedagogic features mean this book can be used as a text for graduate level mechanical, civil, structural and fire engineering courses, while its coverage of the latest techniques and industry standard software make it an important reference for researchers and professional engineers in the mechanical and structural sectors, and by fire engineers, safety consultants and regulators - Strong author team (CUHK is a recognized centre of excellence in fire eng) deliver an expert package for students and professionals, showing both theory and applications. Accompanied by CFD modeling code and ready to use simulations to run in industry-standard ANSYS-CFX and Fluent software
Modeling Time in Computing
Author: Carlo A. Furia
Publisher: Springer Science & Business Media
ISBN: 3642323324
Category : Computers
Languages : en
Pages : 430
Book Description
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
Publisher: Springer Science & Business Media
ISBN: 3642323324
Category : Computers
Languages : en
Pages : 430
Book Description
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.