An updated and comprehensive review of the theoretical foundation of the finite element method
The revised and updated second edition of Finite Element Analysis: Method, Verification, and Validation offers a comprehensive review of the theoretical foundations of the finite element method and highlights the fundamentals of solution verification, validation, and uncertainty quantification. Written by noted experts on the topic, the book covers the theoretical fundamentals as well as the algorithmic structure of the finite element method. The text contains numerous examples and helpful exercises that clearly illustrate the techniques and procedures needed for accurate estimation of the quantities of interest. In addition, the authors describe the technical requirements for the formulation and application of design rules.
Designed as an accessible resource, the book has a companion website that contains a solutions manual, PowerPoint slides for instructors, and a link to finite element software. This important text:
Offers a comprehensive review of the theoretical foundations of the finite element method
Puts the focus on the fundamentals of solution verification, validation, and uncertainty quantification
Presents the techniques and procedures of quality assurance in numerical solutions of mathematical problems
Contains numerous examples and exercises
Written for students in mechanical and civil engineering, analysts seeking professional certification, and applied mathematicians, Finite Element Analysis: Method, Verification, and Validation, Second Edition includes the tools, concepts, techniques, and procedures that help with an understanding of finite element analysis.
Автор: Mourad Debbabi; Fawzi Hassa?ne; Yosr Jarraya; Andr Название: Verification and Validation in Systems Engineering ISBN: 3642423167 ISBN-13(EAN): 9783642423161 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
Автор: Hough, Peter (middlesex University, Uk) Название: Understanding global security houg ISBN: 1138726834 ISBN-13(EAN): 9781138726833 Издательство: Taylor&Francis Рейтинг: Цена: 25520.00 T Наличие на складе: Нет в наличии. Описание: This fourth edition analyses the variety of ways in which people`s lives are threatened and how these threats can be neutralised. Traditional security studies subjects such as war, deterrence and terrorism are analysed alongside non-military issues such as crime, health, environmental degradation and natural disasters.
Автор: Tiziana Margaria; Bernhard Steffen Название: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 3030034232 ISBN-13(EAN): 9783030034238 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Автор: Leitner Andrea, Watzenig Daniel, Ibanez-Guzman Javier Название: Validation and Verification of Automated Systems: Results of the Enable-S3 Project ISBN: 3030146308 ISBN-13(EAN): 9783030146306 Издательство: Springer Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl.
Автор: Andrea Leitner; Daniel Watzenig; Javier Ibanez-Guz Название: Validation and Verification of Automated Systems ISBN: 3030146278 ISBN-13(EAN): 9783030146276 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization and related initiatives. ENABLE-S3 is an industry-driven EU-project and aspires to substitute todays' cost-intensive verification and validation efforts by more advanced and efficient methods. In addition, the book includes articles about complementary international activities in order to highlight the global importance of the topic and to cover the wide range of aspects that needs to be covered at a global scale.
Автор: Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Название: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 3319892142 ISBN-13(EAN): 9783319892146 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
Автор: Reiner H?hnle; Jens Knoop; Tiziana Margaria; Dietm Название: Leveraging Applications of Formal Methods, Verification, and Validation ISBN: 3642347800 ISBN-13(EAN): 9783642347801 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria.
Автор: Bain William Название: Empire of Security and the Safety of the People ISBN: 0415663954 ISBN-13(EAN): 9780415663953 Издательство: Taylor&Francis Рейтинг: Цена: 56130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Security is an essentially contested concept. This volume interprets the meaning of security as it is intelligible in relation to, and in the context of, other ideas that are central to contemporary international life such as: sovereignty; diplomacy; war; great powers and self-determination.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
