Static Analysis, Mar?a Alpuente; Germ?n Vidal-Oriola

Автор: SAPRU, R. K.
Название: Public Policy: Art and Craft of Policy Analysis - 2/E
ISBN: 8120344383 ISBN-13(EAN): 9788120344389
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 3188.00 р.
Наличие на складе: Поставка под заказ.

Описание: Public policy has assumed considerable importance in response to the complexity of economic downturns, social upheavals, political crises, institutional weaknesses and technology. It is concerned not only with the description but also with the developing scientific knowledge about the forces shaping public policy.This textbook, now in its second edition, provides an in-depth study of the various approaches for policy formulation, implementation and evaluation. It addresses issues in policy analysis, and explains the forces that influence the functioning of executive, legislature, judiciary, civil society and administration. The book reviews and evaluates the public policy literature.It is primarily intended for postgraduate students of Political Science and Public Administration for their courses in Public Policy and Policy Analysis. It will be equally useful for policymakers, planners and bureaucrats concerned with policy management.

Автор: Jens Palsberg; Zhendong Su
Название: Static Analysis
ISBN: 3642032362 ISBN-13(EAN): 9783642032363
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Автор: Petrova Radostina V.
Название: Introduction to Static Analysis Using Solid Works Simulation
ISBN: 1482236184 ISBN-13(EAN): 9781482236187
Издательство: Taylor&Francis
Рейтинг:
Цена: 24499.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Uses Finite Element Analysis (FEA) as Implemented in SolidWorks Simulation Outlining a path that readers can follow to ensure a static analysis that is both accurate and sound, Introduction to Static Analysis using SolidWorks Simulation effectively applies one of the most widely used software packages for engineering design to the concepts of static analysis. This text utilizes a step-by-step approach to introduce the use of a finite element simulation within a computer-aided design (CAD) tool environment. It does not center on formulae and the theory of FEM; in fact, it contains essentially no theory on FEM other than practical guidelines. The book is self-contained and enables the reader to progress independently without an instructor. It is a valuable guide for students, educators, and practicing professionals who wish to forego commercial training programs, but need to refresh or improve their knowledge of the subject. Classroom Tested with Figures, Examples, and Homework Problems The book contains more than 300 illustrations and extensive explanatory notes covering the features of the SolidWorks (SW) Simulation software. The author presents commonly used examples and techniques highlighting the close interaction between CAD modelling and FE analysis. She describes the stages and program demands used during static analysis, details different cases, and explores the impact of selected options on the final result. In addition, the book includes hands-on exercises, program commands, and a summary after each chapter. Explores the static studies of simple bodies to more complex structures Considers different types of loads and how to start the loads property managers Studies the workflow of the run analysis and discusses how to assess the feedback provided by the study manager Covers the generation of graphs Determines how to assess the quality of the created mesh based on the final results and how to improve the accuracy of the results by changing the mesh properties Examines a machine unit with planar symmetrical geometry or with circular geometry exposed to symmetrical boundary conditions Compares 3D FEA to 2D FEA Discusses the impact of the adopted calculating formulation by comparing thin-plate results to thick-plate results Introduction to Static Analysis using SolidWorks Simulation equips students, educators, and practicing professionals with an in-depth understanding of the features of SW Simulation applicable to static analysis (FEA/FEM).

Автор: Rival
Название: Static Analysis
ISBN: 3662534126 ISBN-13(EAN): 9783662534120
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.