Автор: Barna Szabo, Ivo Babuska Название: Finite Element Analysis: Method Verification and Validation ISBN: 1119426421 ISBN-13(EAN): 9781119426424 Издательство: Wiley Рейтинг: Цена: 10639.00 р. 15198.00-30% Наличие на складе: Есть (1 шт.) Описание:
Finite Element Analysis
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 Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Andrea Leitner; Daniel Watzenig; Javier Ibanez-Guz Название: Validation and Verification of Automated Systems ISBN: 3030146278 ISBN-13(EAN): 9783030146276 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Bain William Название: Empire of Security and the Safety of the People ISBN: 0415663954 ISBN-13(EAN): 9780415663953 Издательство: Taylor&Francis Рейтинг: Цена: 8420.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Hough, Peter (middlesex University, Uk) Название: Understanding global security houg ISBN: 1138726834 ISBN-13(EAN): 9781138726833 Издательство: Taylor&Francis Рейтинг: Цена: 3828.00 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Reiner H?hnle; Jens Knoop; Tiziana Margaria; Dietm Название: Leveraging Applications of Formal Methods, Verification, and Validation ISBN: 3642347800 ISBN-13(EAN): 9783642347801 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
