Specification and Compositional Verification of Real-Time Systems, Jozef Hooman
Автор: Oliveira Esposito, Rogeri Название: Compositional Grading in Oil and Gas Reservoirs ISBN: 0128124520 ISBN-13(EAN): 9780128124529 Издательство: Elsevier Science Рейтинг: Цена: 19201.00 р. Наличие на складе: Поставка под заказ.
Описание:
Compositional Grading in Oil and Gas Reservoirs offers instruction, examples, and case studies on how to answer the challenges of modeling a compositional gradient subject. Starting with the basics on PVT analysis, applied thermodynamics, and full derivations of irreversible thermodynamic-based equations, this critical reference explains gravity-modified equations to be applied to reservoirs, enabling engineers to obtain fluid composition at any point of the reservoir from measured data to create a stronger model calibration.
Once model-parameters are re-estimated, new sensibility can be acquired for more accurate modeling of composition, aiding engineers with stronger production curves, reserve estimations, and design of future development strategies. Multiple examples and case studies are included to show the application of the theory from very simple to more complex systems, such as actual reservoirs influenced by thermal diffusion and gravity simultaneously.
Other example include a layer for which asphaltene precipitation takes place in the reservoir and three -phase flash algorithms for liquid-liquid-vapor equilibrium calculations, detailing the techniques necessary to ensure convergence.
The book combines practical studies with the importance in modeling more complex phenomena, filling a gap for current and upcoming reservoir engineers to expand on solutions and make sense of their reservoir's output results.
Автор: Frederic Geurts Название: Abstract Compositional Analysis of Iterated Relations ISBN: 3540655069 ISBN-13(EAN): 9783540655060 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: State-transition systems model machines, programs, and speci?cations 20, 23,284,329], butalsothegrowthanddeclineofantpopulations, ?nancial markets, diseases and crystals 22, 35, 178, 209, 279]. In the last decade, thegrowinguseofdigitalcontrollersinvariousenvironmentshasentailed theconvergenceofcontroltheoryandreal-timesystemstowardhybrids- tems 16] by combining both discrete-event facets of reality with Nature's continuous-time aspects. The computing scientist and the mathematician have re-discovered each other. Indeed, in the late sixties, the programming language Simula, "father" of modern object-oriented languages, had already been speci?cally designed to model dynamical systems 76]. Today, theimportanceofcomputer-basedsystemsinbanks, telecom- nication systems, TVs, planes and cars results in larger and increasingly complex models. Two techniques had to be developed and are now fruitfully used to keep analytic and synthetic processes feasible: composition and - straction.Acompositionalapproachbuildssystemsbycomposingsubsystems that are smaller and more easily understood or built. Abstraction simpli?es unimportantmattersandputstheemphasisoncrucialparametersofsystems. Inordertodealwiththecomplexityofsomestate-transitionsystemsand tobetterunderstandcomplexorchaoticphenomenaemergingoutofthe behaviorofsomedynamicalsystems, theaimofthismonographistopresent ?rststepstowardtheintegratedstudyofcompositionandabstractionin dynamical systems de?ned by iterated relations. Themaininsightsandresultsofthisworkconcernastructuralorm f of complexityobtainedbycompositionofsimpleinteractingsystemspresenting opposedattractingbehaviors.Thiscomplexityexpressesitselfintheevo- tionofcomposedsystems, i.e., theirdynamics, andintherelationsbetween their initial and ?nal states, i.e., the computations they realize. The theor- ical results presented in the monograph are then validated by the analysis ofdynamicalandcomputationalpropertiesoflow-dimensionalprototypesof chaotic systems (e.g. Smale horseshoe map, Cantor relation, logistic map), high-dimensional spatiotemporally complex systems (e.g. cellular automata), and formal systems (e.g. paperfoldings, Turing machines). Acknowledgements. ThismonographisarevisionofmyPhDthesiswhichwas completed at the Universit e catholique de Louvain (Belgium) in March 96. VIII Preface The results presented here have been in?uenced by many people and I would like to take this opportunity to thank them all.
Автор: Sauerland Название: Presupposition and Implicature in Compositional Semantics ISBN: 0230005330 ISBN-13(EAN): 9780230005334 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: All humans can interpret sentences of their native language quickly and without effort. Working from the perspective of generative grammar, the contributors to this volume investigate three mental mechanisms, widely assumed to underlie this ability: compositional semantics, implicature computation and presupposition computation.
Автор: M.T. Rosetta Название: Compositional Translation ISBN: 9048157978 ISBN-13(EAN): 9789048157976 Издательство: Springer Рейтинг: Цена: 17462.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Описание: This investigation is an outgrowth of my doctoral dissertation at Princeton University. I believe that finite-element collocation holds promise as a numer- ical scheme for modeling complicated flows in porous media.
Автор: Josep Antoni Mart?n-Fern?ndez; Santiago Thi?-Henes Название: Compositional Data Analysis ISBN: 3319448102 ISBN-13(EAN): 9783319448107 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The authoritative contributions gathered in this volume reflect the state of the art in compositional data analysis (CoDa). The respective chapters cover all aspects of CoDa, ranging from mathematical theory, statistical methods and techniques to its broad range of applications in geochemistry, the life sciences and other disciplines. The selected and peer-reviewed papers were originally presented at the 6th International Workshop on Compositional Data Analysis, CoDaWork 2015, held in L’Escala (Girona), Spain.Compositional data is defined as vectors of positive components and constant sum, and, more generally, all those vectors representing parts of a whole which only carry relative information. Examples of compositional data can be found in many different fields such as geology, chemistry, economics, medicine, ecology and sociology. As most of the classical statistical techniques are incoherent on compositions, in the 1980s John Aitchison proposed the log-ratio approach to CoDa. This became the foundation of modern CoDa, which is now based on a specific geometric structure for the simplex, an appropriate representation of the sample space of compositional data. The International Workshops on Compositional Data Analysis offer a vital discussion forum for researchers and practitioners concerned with the statistical treatment and modelling of compositional data or other constrained data sets and the interpretation of models and their applications. The goal of the workshops is to summarize and share recent developments, and to identify important lines of future research.
Автор: M.T. Rosetta Название: Compositional Translation ISBN: 0792394623 ISBN-13(EAN): 9780792394624 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Rosetta project is a unique combination of fundamental research and large-scale implementation. The book covers all scientifically interesting results of the project, highlighting the advantages of designing a translation system based on a relation between reversible compositional grammars.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for Compositional Microprogram Control Units ISBN: 3642088791 ISBN-13(EAN): 9783642088797 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents design methods for and hardware amount optimization for compositional microprogram control units (CMCU). It includes new models of control units, methods of their synthesis and a lot of examples.
Автор: H.J. Verkuyl Название: On the Compositional Nature of the Aspects ISBN: 9048183383 ISBN-13(EAN): 9789048183388 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a thesis submitted to the Faculty of Arts of the University of Utrecht. This thesis originates in syntactic research into the Aspects carried out in 1967 under the supervision of Albert Kraak, professor at the University of Nijmegen, who ever since gave much attention to my work in progress.
Автор: van den Boogaart, K. Gerald, Tolosana-Delgado, Raimon Название: Analyzing Compositional Data with R ISBN: 3642368085 ISBN-13(EAN): 9783642368080 Издательство: Springer Рейтинг: Цена: 7406.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers statistical analysis of compositional data sets from basic principles to applications in descriptive exploratory analysis, robust linear models and advanced multivariate statistical methods. Offers many illustrated examples and code chunks.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
